title: Martin Boundary and Integral Representation for Harmonic Functions of Symmetric Stable Processes

abstract: Martin boundaries and integral representations of positive functions which are harmonic in a bounded domain $D$ with respect to Brownian motion are well understood. Unlike the Brownian case, there are two different kinds of harmonicity with respect to a discontinuous symmetric stable process. One kind are functions harmonic in $D$ with respect to the whole process $X$, and the other are functions harmonic in $D$ with respect to the process $X^D$ killed upon leaving $D$. In this paper we show that for bounded Lipschitz domains, the Martin boundary with respect to the killed stable process $X^D$ can be identified with the Euclidean boundary. We further give integral representations for both kinds of positive harmonic functions. Also given is the conditional gauge theorem conditioned according to Martin kernels and the limiting behaviors of the $h$-conditional stable process, where $h$ is a positive harmonic function of $X^D$. In the case when $D$ is a bounded $C^{1, 1}$ domain, sharp estimate on the Martin kernel of $D$ is obtained.


title: Intrinsic Ultracontractivity, Conditional Lifetimes and Conditional Gauge for Symmetric Stable Processes on Rough Domains

abstract: For a symmetric $\alpha$-stable process $X$ on $\RR^n$ with $0<\alpha <2$, $n\geq 2$ and a domain $D \subset \RR^n$, let $L^D$ be the infinitesimal generator of the subprocess of $X$ killed upon leaving $D$. For a Kato class function $q$, it is shown that $L^D+q$ is intrinsic ultracontractive on a H\"older domain $D$ of order 0. This is then used to establish the conditional gauge theorem for $X$ on bounded Lipschitz domains in $\RR^n$. It is also shown that the conditional lifetimes for symmetric stable process in a H\"older domain of order 0 are uniformly bounded.


title: Compactly-aligned discrete product systems, and generalizations of O_\infty

abstract: The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for a product system p:E\to P, we study those representations of E, called covariant, which respect the lattice structure of P. We identify a class of product systems, which we call compactly aligned, for which there is a purely C*-algebraic characterization of covariance, and study the algebra C*_{cov}(P,E) which is universal for covariant representations of E. Our main theorem is a characterization of the faithful representations of C*_{cov}(P,E) when P is the positive cone of a free product of totally-ordered amenable groups.


title: A new approach to inverse spectral theory, II. General real potentials and the connection to the spectral measure

abstract: We continue the study of the A-amplitude associated to a half-line Schrodinger operator, -d^2/dx^2+ q in L^2 ((0,b)), b <= infinity. A is related to the Weyl-Titchmarsh m-function via m(-\kappa^2) =-\kappa - \int_0^a A(\alpha) e^{-2\alpha\kappa} d\alpha +O(e^{-(2a -\epsilon)\kappa}) for all \epsilon > 0. We discuss five issues here. First, we extend the theory to general q in L^1 ((0,a)) for all a, including q's which are limit circle at infinity. Second, we prove the following relation between the A-amplitude and the spectral measure \rho: A(\alpha) = -2\int_{-\infty}^\infty \lambda^{-\frac12} \sin (2\alpha \sqrt{\lambda})\, d\rho(\lambda) (since the integral is divergent, this formula has to be properly interpreted). Third, we provide a Laplace transform representation for m without error term in the case b<\infty. Fourth, we discuss m-functions associated to other boundary conditions than the Dirichlet boundary conditions associated to the principal Weyl-Titchmarsh m-function. Finally, we discuss some examples where one can compute A exactly.


title: Scattering Theory in the Energy Space for a Class of Hartree Equations

abstract: We study the theory of scattering in the energy space for the Hartree equation in space dimension n>2. Using the method of Morawetz and Strauss, we prove in particular asymptotic completeness for radial nonnegative nonincreasing potentials satisfying suitable regularity properties at the origin and suitable decay properties at infinity. The results cover in particular the case of the potential |x|^(- gamma) for 2 < gamma < Min(4,n).


title: Algebraic geometry and projective differential geometry, Seoul National University concentrated lecture series, 1997

abstract: This is an expanded and updated version of a lecture series I gave at Seoul National University in September 1997. It is in some sense an update of the 1979 Griffiths and Harris paper with a similar title. I discuss: Homogeneous varieties, Topology and consequences Projective differential invariants, Varieties with degenerate Gauss images, When can a uniruled variety be smooth?, Dual varieties, Linear systems of bounded and constant rank, Secant and tangential varieties, Systems of quadrics with tangential defects, Recognizing uniruled varieties, Recognizing intersections of quadrics, Recognizing homogeneous spaces, Complete intersections. This is a preliminary version, so please send me comments, corrections and questions.


title: Metrics and embeddings of generalizations of Thompson's group F

abstract: The distance from the origin in the word metric for generalizations F(p) of Thompson's group F is quasi-isometric to the number of carets in the reduced rooted tree diagrams representing the elements of F(p). This interpretation of the metric is used to prove that every F(p) admits a quasi-isometric embedding into every F(q), and also to study the behavior of the shift maps under these embeddings.


title: The Dirichlet problem for superdegenerate differential operators

abstract: Let $L$ be an infinitely degenerate second-order linear operator defined on a bounded smooth Euclidean domain. Under weaker conditions than those of H\"ormander, we show that the Dirichlet problem associated with $L$ has a unique smooth classical solution. The proof uses the Malliavin calculus. At present, there appears to be no proof of this result using classical analytic techniques.


title: Functorial properties of the hypergeometric map

abstract: The quantized Knizhnik-Zamolodchikov equation is a difference equation defined in terms of rational $R$ matrices. We describe all singularities of hypergeometric solutions to the qKZ equations.


title: Difference subgroups of commutative algebraic groups over finite fields

abstract: The work of Chatzidakis and Hrushovski on the model theory of difference fields in characteristic zero showed that groups defined by difference equations have a very restricted structure. Recent work of Chatzidakis, Hrushovski and Peterzil [CHP] extends the class of difference fields for which this sort of result is known to positive characteristic. In this note, we analyze the subgroups of the torsion points of simple commutative algebraic groups over finite fields that can be constructed by such difference equations. Our results are reasonably complete modulo some well-known conjectures in Number Theory. In one case, we need the $p$-adic version of the four exponentials conjecture and in another we need a version of Artin's conjecture on primitive roots. We recover part of a theorem of Boxall on the intersection of varieties with the group of $m$-power torsion points, but in general this theorem does not follow from the model-theoretic analysis, because there may be no field automorphism $\sigma$ so that the $m$-power torsion group is contained in a modular group definable with $\sigma$. On the other hand, some of the groups defined by modular difference equations are much larger than the group of $m$-power torsion points, so our results are stronger in another direction. In some ways, the model theoretic approach extends the approach of Bogomolov and the original one of Lang.


title: Supersimple fields and division rings

abstract: It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is simple.


title: Lascar and Morley ranks differ in differentially closed fields

abstract: We note here, in answer to a question of Poizat, that the Morley and Lascar ranks need not coincide in differentially closed fields. We approach this through the (perhaps) more fundamental issue of the variation of Morley rank in families.


title: Model companions of theories with an automorphism

abstract: For a theory $T$ in $L, T_\sigma$ is the theory of the models of $T$ with an automorphism $\sigma$. If $T$ is an unstable model complete theory without the independence property, then $T_\sigma$ has no model companion. If $T$ is an unstable model complete theory and $T_\sigma$ has the amalgamation property, then $T_\sigma$ has no model companion. If $T$ is model complete and has the fcp, then $T_\sigma$ has no model completion.


title: A Note on Higher Cohomology Groups of K\"ahler Quotients

abstract: Consider a holomorphic torus action on a possibly non-compact K\"ahler manifold. We show that the higher cohomology groups appearing in the geometric quantization of the symplectic quotient are isomorphic to the invariant parts of the corresponding cohomology groups of the original manifold. For non-Abelian group actions on compact K\"ahler manifolds, this result was proved recently by Teleman and by Braverman. Our approach is applying the holomorphic instanton complex to the prequantum line bundles over the symplectic cuts. We also settle a conjecture of Zhang and the present author on the exact sequence of higher cohomology groups in the context of symplectic cutting.


title: Free probability for probabilists

abstract: This is an introduction to some of the most probabilistic aspects of free probability theory.


title: Some function spaces related to the Brownian motion on simple nested fractals

abstract: In this paper we identify the domain of the Dirichlet form associated with the Brownian motion on simple nested fractals with an integral Lipschitz space. This result generalizes such an identification on the Sierpi\'nski gasket, carried on by Jonsson.


title: Algebraic Shifting Increases Relative Homology

abstract: \newcommand{\rhomi}[1]{\widetilde{H}_{#1}} \newcommand{\rbeti}[1]{\beta_{#1}} \newcommand{\kk}{\mathbf k} \newcommand{\dimk}{\dim_{\kk}} We show that algebraically shifting a pair of simplicial complexes weakly increases their relative homology Betti numbers in every dimension. More precisely, let $\Delta(K)$ denote the algebraically shifted complex of simplicial complex $K$, and let $\rbeti{j}(K,L)=\dimk \rhomi{j}(K,L;\kk)$ be the dimension of the $j$th reduced relative homology group over a field $\kk$ of a pair of simplicial complexes $L \subseteq K$. Then $\rbeti{j}(K,L) \leq \rbeti{j}(\Delta(K),\Delta(L))$ for all $j$. The theorem is motivated by somewhat similar results about Gr\"obner bases and generic initial ideals. Parts of the proof use Gr\"obner basis techniques.


title: On Hanf numbers of the infinitary order property

abstract: We study several cardinal, and ordinal--valued functions that are relatives of Hanf numbers. Let kappa be an infinite cardinal, and let T subseteq L_{kappa^+, omega} be a theory of cardinality <= kappa, and let gamma be an ordinal >= kappa^+. For example we look at (1) mu_{T}^*(gamma, kappa):= min {mu^* for all phi in L_{infinity, omega}, with rk(phi)< gamma, if T has the (phi, mu^*)-order property then there exists a formula phi'(x;y) in L_{kappa^+, omega}, such that for every chi >= kappa, T has the (phi', chi)-order property}; and (2) mu^*(gamma, kappa):= sup{mu_T^*(gamma, kappa)| T in L_{kappa^+,omega}}.


title: Categoricity of abstract classes with amalgamation

abstract: Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number chi_0 if chi_0 < lambda_0 <= lambda_1, and K is categorical in lambda^+_1 then it is categorical in lambda_0 .


title: Borel Whitehead groups

abstract: We investigate the Whiteheadness of Borel abelian groups (aleph_1-free, wlog, as otherwise this is trivial). We show that CH (and even WCH) implies any such abelian group is free, and always aleph_2-free.


title: More Jonsson algebras

abstract: We prove that on many inaccessible there is a Jonsson algebra, so e.g. the first regular Jonsson cardinal lambda which is lambda x omega-Mahlo. We give further restrictions on successor of singulars which are Jonsson cardinals. E.g. there is a Jonsson algebra on the successor of beth_omega. Lastly, we give further information on guessing of clubs.


title: The Generalized Continuum Hypothesis revisited

abstract: We argue that we solved Hilbert's first problem positively (after reformulating it just to avoid the known consistency results) and give some applications. Let lambda to the revised power of kappa, denoted lambda^{[kappa]}, be the minimal cardinality of a family of subsets of lambda each of cardinality kappa such that any other subset of lambda of cardinality kappa is included in the union of <kappa members of the family. The main theorem says that almost always this revised power is equal to lambda. Our main result is The Revised GCH Theorem: Assume we fix an uncountable strong limit cardinal mu (i.e., mu>aleph_0, (for all theta<mu)(2^theta<mu)), e.g. mu=beth_omega. Then for every lambda >= mu for some kappa<mu we have: (a) kappa <= theta < mu => lambda^{[theta]}= lambda and (b) there is a family P of lambda subsets of lambda each of cardinality < mu such that every subset of lambda of cardinality mu is equal to the union of < kappa members of P .


title: On quantification with a finite universe

abstract: We consider a finite universe U (more exactly - a family U of them) and second order quantifiers Q_K, where for each U this means quantifying over a family of n(K)-place relations closed under permuting U. We define some natural orders and shed some light on the classification problem of those quantifiers.


title: Universal graphs with forbidden subgraphs and algebraic closure

abstract: We apply model theoretic methods to the problem of existence of countable universal graphs with finitely many forbidden connected subgraphs. We show that to a large extent the question reduces to one of local finiteness of an associated''algebraic closure'' operator. The main applications are new examples of universal graphs with forbidden subgraphs and simplified treatments of some previously known cases.


title: Large deviations for the Fleming-Viot process with neutral mutation and selection

abstract: Large deviation principles are established for the Fleming-Viot processes with neutral mutation and selection, and the corresponding equilibrium measures as the sampling rate goes to 0. All results are first proved for the finite allele model, and then generalized, through the projective limit technique, to the infinite allele model. Explicit expressions are obtained for the rate functions.


title: Large deviations and queueing networks: methods for rate function identification

abstract: This paper considers the problem of rate function identification for multidimensional queueing models with feedback. A set of techniques are introduced which allow this identification when the model possesses certain structural properties. The main tools used are representation formulas for exponential integrals, weak convergence methods, and the regularity properties of associated Skorokhod Problems. Two examples are treated as special cases of the general theory: the classical Jackson network and a model for processor sharing.


title: Bounded arithmetic AID for Frege system

abstract: In this paper we introduce a system AID (Alogtime Inductive Definitions) of bounded arithmetic. The main feature of AID is to allow a form of inductive definitions, which was extracted from Buss' propositional consistency proof of Frege systems F. We show that AID proves the soundness of F, and conversely any \Sigma^b_0-theorem in AID yields boolean sentences of which F has polysize proofs. Further we define \Sigma^b_1-faithful interpretations between AID + \Sigma b^_0 - CA and a quantified theory QALV of an equational system ALV in P. Clote. Hence ALV also proves the soundness of F.


title: Iwasawa theory for elliptic curves

abstract: We study this subject by first proving that the p-primary subgroup of the classical Selmer group for an elliptic curve with good, ordinary reduction at a prime p has a very simple and elegant description which involves just the Galois module of p-power torsion points. We then prove theorems of Mazur, Schneider, and Perrin-Riou on the basis of this description. The final section, which is half of this long paper, contains a number of results and examples including a thorough study of the mu-invariant.


title: Explicit classification for torsion subgroups of rational points of elliptic curves

abstract: The classification of elliptic curves E over the rationals Q is studied according to their torsion subgroups E_{tors}(Q) of rational points. Explicit criteria for the classification are given when E_{tors}(Q) are cyclic groups with even orders. The generator points P of E_{tors}(Q) are also explicitly presented in each case. These results, together with recent results of K. Ono, completely solve the problem of the mentioned explicit classification when E has a rational point of order 2.


title: Steinitz class of Mordell groups of elliptic curves with complex multiplication

abstract: Let E be an elliptic curve having Complex Multiplication by the full ring O_K of integers of K=Q(\sqrt{-D}), let H=K(j(E)) be the Hilbert class field of K. Then the Mordell-Weil group E(H) is an O_K-module, and its structure denpends on its Steinitz class St(E), which is studied here. In partucular, when D is a prime number, it is proved that St(E)=1 if D\equiv 3 (mod 4); and St(E)=[P]^t if D\equiv 1 (mod 4), where [P] is the ideal class of K represented by prime factor P of 2 in K, t is a fixed integer. General structures are also discussed for St(E) and for modules over Dedekind domain. These results develop the results by D. Dummit and W. Miller for D=10 and some elliptic curves to more general D and general elliptic curves.


title: On relations between Jacobians of certain modular curves

abstract: The topic of this paper concerns a certain relation between the jacobians of various quotients of the modular curve $X(p)$, which relates the jacobian of the quotient of $X(p)$ by the normaliser of a non-split Cartan subgroup of $GL_2(F_p)$ to the jacobians of more standard modular curves. In this paper, we confirm a conjecture of Merel found in a paper of Darmon-Merel, "Winding quotients and some variants of Fermat's Last Theorem", Crelle, v. 490, p. 81-100, 1997, which describes this relation in terms of explicit correspondences. The method used is to reduce the conjecture to showing a certain $Z[GL_2(F_p)]$-module homomorphism is an isomorphism. This is accomplished by using some peculiar relations between double coset operators to find a expression for the eigenvalues of this homomorphism in terms of Legendre character sums and Soto-Andrade sums. A ramification argument then shows that these eigenvalues are non-zero.


title: Large torsion subgroups of split Jacobians of curves of genus two or three

abstract: We construct examples of families of curves of genus 2 or 3 over Q whose Jacobians split completely and have various large rational torsion subgroups. For example, the rational points on a certain elliptic surface over P^1 of positive rank parameterize a family of genus-2 curves over Q whose Jacobians each have 128 rational torsion points. Also, we find the genus-3 curve 15625(X^4 + Y^4 + Z^4) - 96914(X^2 Y^2 + X^2 Z^2 + Y^2 Z^2) = 0, whose Jacobian has 864 rational torsion points. This paper has appeared in Forum Math. 12 (2000) 315-364.


title: Safarevic's theorem on solvable groups as Galois groups

abstract: In this paper we present a complete proof of I.R.Safarevic's famous theorem that every finite solvable group occurs as a Galois group over Q.


title: Congruences between Selmer groups

abstract: In this paper we study when two congruent $l$-adic Galois representations have congruent Selmer groups. We obtain results for representations from cyclotomic characters, Hecke characters and adjoints of modular forms.


title: A Theory of Lorentzian Kac-Moody algebras

abstract: We present a variant of the Theory of Lorentzian (i. e. with a hyperbolic generalized Cartan matrix) Kac-Moody algebras recently developed by V. A. Gritsenko and the author. It is closely related with and strongly uses results of R. Borcherds. This theory should generalize well-known Theories of finite Kac-Moody algebras (i. e. classical semisimple Lie algebras corresponding to positive generalized Cartan matrices) and affine Kac-Moody algebras (corresponding to semi-positive generalized Cartan matrices). Main features of the Theory of Lorentzian Kac-Moody algebras are: One should consider generalized Kac-Moody algebras introduced by Borcherds. Denominator function should be an automorphic form on IV type Hermitian symmetric domain (first example of this type related with Leech lattice was found by Borcherds). The Kac-Moody algebra is graded by an integral hyperbolic lattice $S$. Weyl group acts in the hyperbolic space related with $S$ and has a fundamental polyhedron $\Cal M$ of finite (or almost finite) volume and a lattice Weyl vector. There are results and conjectures which permit (in principle) to get a ``finite'' list of all possible Lorentzian Kac-Moody algebras. Thus, this theory looks very similar to Theories of finite and affine Kac-Moody algebras but is much more complicated. There were obtained some classification results on Lorentzian Kac-Moody algebras and many of them were constructed.


title: Flag vectors

abstract: This paper defines for each object $X$ that can be constructed out of a finite number of vertices and cells a vector $fX$ lying in a finite dimensional vector space. This is the flag vector of $X$. It is hoped that the quantum topological invariants of a manifold $M$ can be expressed as linear functions of the flag vector of the $i$-graph that arises from any suitable triangulation $T$ of $M$. Flag vectors are also defined for finite groups and more generally for $n$-ary relations. Some problems, and suggested connections with other constructions, particularly that of the associahedron and so on, conclude the presentation.


title: Conformal Nets, Maximal Temperature and Models from Free Probability

abstract: We consider conformal nets on $S^1$ of von Neumann algebras, acting on the full Fock space, arising in free probability. These models are twisted local, but non-local. We extend to the non-local case the general analysis of the modular structure. The local algebras turn out to be $III_1$-factors associated with free groups. We use our set up to show examples exhibiting arbitrarily large maximal temperatures, but failing to satisfy the split property, then clarifying the relation between the latter property and the trace class conditions on $e^{-\b L}$, where $L$ is the conformal Hamiltonian.


title: A Geometric Effective Nullstellensatz

abstract: We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety X, with previous results corresponding to the case when X is projective space. In this setting we prove a local effective Nullstellensatz for ideal sheaves, and a corresponding global division theorem for adjoint-type bundles. We also make explicit the connection with the intersection theory of Fulton and MacPherson. Finally, constructions involving products of prime ideals that appear in earlier work are replaced by geometrically more natural conditions involving order of vanishing along subvarieties. The main technical inputs are vanishing theorems, which are used to give a simple algebro-geometric proof of a theorem of Skoda type, which may be of independent interest.


title: Algebras related to matroids represented in characteristic zero

abstract: Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the structure of these algebras. In return, the numerical properties of the Hilbert function of A yield some information about the Tutte polynomial of the corresponding matroid. Isomorphism classes of these algebras correspond to equivalence classes of hyperplane arrangements under the action of the general linear group.


title: Kazhdan-Laumon representations of finite Chevalley groups, character sheaves and some generalization of the Lefschetz-Verdeier trace formula

abstract: In this paper we investigate the representations of reductive groups over a finite field, introduced in 1987 by D.Kazhdan and G.Laumon. We show that generically these representations are irreducible and that their character is equal to the function obtained by traces of Frobenius morphism on the stalks of the corresponding Lusztig's character sheaf. This, together with the corresponding result by G.Lusztig, implies that generic Kazhdan-Laumon representations are isomorphic to the corresponding Deligne-Lusztig representations. In the second half of the paper we give a direct geometric construction of this isomorphism, assuming that certain generalization of the Lefschetz-Verdier trace formula holds.


title: Noncomplex smooth 4-manifolds with genus-2 Lefschetz fibrations

abstract: We construct noncomplex smooth 4-manifolds which admit genus-2 Lefschetz fibrations over S^2. The fibrations are necessarily hyperelliptic, and the resulting 4-manifolds are not even homotopy equivalent to complex surfaces. Furthermore, these examples show that fiber sums of holomorphic Lefschetz fibrations do not necessarily admit complex structures.


title: Ribbon tableaux and q-analogues of fusion rules in WZW conformal field theories

abstract: Starting from known $q$-analogues of ordinary SU(n) tensor products multiplicities, we introduce $q$-analogues of the fusion coefficients of the WZW conformal field theories associated with SU(n). We conjecture combinatorial interpretations of these polynomials, which can be proved in special cases. This allows us to derive in a simple way various kinds of branching functions, the simplest ones being the characters of the minimal unitary series of the Virasoro algebra. We also obtain $q$-analogues of the dimensions of spaces of nonabelian theta functions.


title: Biquantization of Lie bialgebras

abstract: For any finite-dimensional Lie bialgebra $g$, we construct a bialgebra $A_{u,v}(g)$ over the ring $C[u][[v]]$, which quantizes simultaneously the universal enveloping bialgebra $U({g})$, the bialgebra dual to $U(g^*)$, and the symmetric bialgebra $S(g)$. We call $A_{u,v}(g)$ a biquantization of $S(g)$. We show that the bialgebra $A_{u,v}(g^*)$ quantizing $U(g^*)$, $U(g)^*$, and $S(g^*)$ is essentially dual to the bialgebra obtained from $A_{u,v}(g)$ by exchanging $u$ and $v$. Thus, $A_{u,v}(g)$ contains all information about the quantization of $g$. Our construction extends Etingof and Kazhdan's one-variable quantization of $U(g)$.


title: A local proof of Petri's conjecture at the general curve

abstract: A proof of Petri's general conjecture on the unobstructedness of linear systems on a general curve is proposed, using only the local properties of the deformation space of the pair (curve, line bundle).


title: On the braided Fourier transform in the n-dimensional quantum space

abstract: We work out a theory of integrability on the braided covector Hopf algebra and braided vector Hopf algebra of type A_n as introduced by Kempf and Majid. Starting by their definition of braided Fourier transform we prove n-dimensional analogues to results by Koornwinder expressing the correspondence between products of q^2-Gaussians times monomials and products of q^2-Gaussians times q^2-Hermite polynomials under the transform. We invert the correspondence finding a suitable inverse to the transform, different from that by Kempf and Majid (our integral is not bosonic) and we show that in this case the (q-)Plancherel measure will depend on the parity of the generalized functions that we are transforming.


title: Spaces of Rational Loops on a Real Projective Space

abstract: We show that the loop spaces of real projective spaces are topologically approximated by the spaces of rational maps from RP(1) to RP(n). As a byproduct of our constructions we obtain an interpretation of the Kronecker characteristic (degree) of an ornament via particle spaces.


title: Point Processes and the Infinite Symmetric Group. Part IV: Matrix Whittaker kernel

abstract: We study a 2-parametric family of probability measures on the space of countable point configurations on the punctured real line (the points of the random configuration are concentrated near zero). These measures (or, equivalently, point processes) have been introduced in Part II (A. Borodin, math.RT/9804087) in connection with the problem of harmonic analysis on the infinite symmetric group. The main result of the present paper is a determinantal formula for the correlation functions. The formula involves a kernel called the matrix Whittaker kernel. Each of its two diagonal blocks governs the projection of the process on one of the two half-lines; the corresponding kernel on the half-line was studied in Part III (A. Borodin and G. Olshanski, math/RT/9804088). While the diagonal blocks of the matrix Whitaker kernel are symmetric, the whole kernel turns out to be $J$-symmetric, i.e., symmetric with respect to a natural indefinite inner product. We also discuss a rather surprising connection of our processes with the recent work by B. Eynard and M. L. Mehta (cond-mat/9710230) on correlations of eigenvalues of coupled random matrices.

categories: math.RT cond-mat gr-qc hep-th math.PR nlin.SI solv-int


title: Point processes and the infinite symmetric group. Part V: Analysis of the matrix Whittaker kernel

abstract: The matrix Whittaker kernel has been introduced by A. Borodin in Part IV of the present series of papers. This kernel describes a point process -- a probability measure on a space of countable point configurations. The kernel is expressed in terms of the Whittaker confluent hypergeometric functions. It depends on two parameters and determines a $J$-symmetric operator $K$ in $L^2(R_+)\oplus L^2(R_+)$. It turns out that the operator $K$ can be represented in the form $L(1+L)^{-1}$, where $L$ is a rather simple integral operator: the kernel of $L$ is expressed in terms of elementary functions only. This is our main result; it elucidates the nature of the matrix Whittaker kernel and makes it possible to directly verify the existence of the associated point process. Next, we show that the matrix Whittaker kernel can be degenerated to a family of kernels expressed through the Bessel and Macdonald functions. In this way one can obtain both the well-known Bessel kernel (which arises in random matrix theory) and certain interesting new kernels.

categories: math.RT cond-mat hep-th math.PR nlin.SI solv-int


title: Point processes and the infinite symmetric group. Part VI: Summary of results

abstract: We give a summary of the results from Parts I-V (math.RT/9804086, math.RT/9804087, math.RT/9804088, math.RT/9810013, math.RT/9810014). Our work originated from harmonic analysis on the infinite symmetric group. The problem of spectral decomposition for certain representations of this group leads to a family of probability measures on an infinite-dimensional simplex, which is a kind of dual object for the infinite symmetric group. To understand the nature of these measures we interpret them as stochastic point processes on the punctured real line and compute their correlation functions. The correlation functions are given by multidimensional integrals which can be expressed in terms of a multivariate hypergeometric series (the Lauricella function of type B). It turns out that after a slight modification (`lifting') of the processes the correlation functions take a common in Random Matrix Theory (RMT) determinantal form with a certain kernel. The kernel is expressed through the classical Whittaker functions. It depends on two parameters and admits a variety of degenerations. They include the well-known in RMT sine and Bessel kernels as well as some other Bessel-type kernels which, to our best knowledge, are new. The explicit knowledge of the correlation functions enables us to derive a number of conclusions about the initial probability measures. We also study the structure of our kernel; this finally leads to a constructive description of the initial measures. We believe that this work provides a new promising connection between RMT and Representation Theory.


title: The Rigid Dualizing Complex of a Universal Enveloping Algebra

abstract: Let k be a field and A a noetherian (noncommutative) k-algebra. The rigid dualizing complex of A was introduced by Van den Bergh. When A = U(g), the enveloping algebra of a finite dimensional Lie algebra g, Van den Bergh conjectured that the rigid dualizing complex is (U(g) \otimes \wedge^{n} g)[n], where n = dim g. We prove this conjecture, and give a few applications in representation theory and Hochschild cohomology.


title: Basic Bicategories

abstract: A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.


title: $q$-Trinomial identities

abstract: We obtain connection coefficients between $q$-binomial and $q$-trinomial coefficients. Using these, one can transform $q$-binomial identities into a $q$-trinomial identities and back again. To demonstrate the usefulness of this procedure we rederive some known trinomial identities related to partition theory and prove many of the conjectures of Berkovich, McCoy and Pearce, which have recently arisen in their study of the $\phi_{2,1}$ and $\phi_{1,5}$ perturbations of minimal conformal field theory.


title: Rhombus Tilings of a Hexagon with Two Triangles Missing on the Symmetry Axis

abstract: We compute the number of rhombus tilings of a hexagon with sides n, n, N, n, n, N, where two triangles on the symmetry axis touching in one vertex are removed. The case of the common vertex being the center of the hexagon solves a problem posed by Propp.


title: Signature via Novikov numbers

abstract: It is shown that the signature of a manifold with a symplectic circle action having only isolated fixed points, equals the alternating sum of the Novikov numbers corresponding to the cohomology class of the generalized moment map. The same is true for more general fixed point sets.


title: Wick algebras approach to physics of 2D systems

abstract: The notion of anyonic Wick algebras is introduced and the corresponding second quantisation procedure is discussed. Applications to the physics of 2D anyonic matter are presented. In particular the existence of thermodynamics in the infinite volume for the case of Leinaas-Myrheim potentials is presented. Additionally a new class of states corresponding to quasifree thermal states on some Wick algebras is described.


title: Active Libraries: Rethinking the roles of compilers and libraries

abstract: We describe Active Libraries, which take an active role in compilation. Unlike traditional libraries which are passive collections of functions and objects, Active Libraries may generate components, specialize algorithms, optimize code, configure and tune themselves for a target machine, and describe themselves to tools (such as profilers and debuggers) in an intelligible way. Several such libraries are described, as are implementation technologies.


title: Rotations of the three-sphere and symmetry of the Clifford torus

abstract: We describe decomposition formulas for rotations of $R^3$ and $R^4$ that have special properties with respect to stereographic projection. We use the lower dimensional decomposition to analyze stereographic projections of great circles in $S^2 \subset R^3$. This analysis provides a pattern for our analysis of stereographic projections of the Clifford torus ${\mathcal C}\subset S^3 \subset R^4$. We use the higher dimensional decomposition to prove a symmetry assertion for stereographic projections of ${\mathcal C}$ which we believe we are the first to observe and which can be used to characterize the Clifford torus among embedded minimal tori in $S^3$---though this last assertion goes beyond the scope of this paper. An effort is made to intuitively motivate all necessary concepts including rotation, stereographic projection, and symmetry.


title: The Symbolic Dynamics of Tiling the Integers

abstract: A finite collection $P$ of finite sets tiles the integers iff the integers can be expressed as a disjoint union of translates of members of $P$. We associate with such a tiling a doubly infinite sequence with entries from $P$. The set of all such sequences is a sofic system, called a tiling system. We show that, up to powers of the shift, every shift of finite type can be realized as a tiling system.


title: A Pieri-type formula for isotropic flag manifolds

abstract: We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type $B$ (respectively, type $C$) Schubert polynomial by the Schur $P$-polynomial $p_m$ (respectively, the Schur $Q$-polynomial $q_m$). Geometric constructions and intermediate results allow us to ultimately deduce this from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the Coxeter group ${\mathcal B}_\infty$, identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show these identities follow from the Pieri-type formula, except some `hidden symmetries' of the structure constants. Our analysis leads to a new partial order on the Coxeter group ${\mathcal B}_\infty$ and formulas for many of these structure constants.


title: Holonomic and Legendrian parametrizations of knots

abstract: Let $f:S^1\to R$ be a generic map. We may use $f$ to define a new map $\tilde{f}:S^1\to R^3$ by $\tilde{f}(t) = (-f(t),f'(t),-f''(t))$, and if $f$ is an embedding then the image of $\tilde{f}$ will be a knot. Knots defined by such parametrizations are called holonomic knots. They were introduced in 1997 by Vassiliev, who proved that every knot type can be represented by a holonomic knot. Our main result is that any two holonomic knots which represent the same knot type are isotopic in the space of holonomic knots. A second result emerges through the techniques used to prove the main result: strong and unexpected connections between the topology of knots and the algebraic solution to the conjugacy problem in the braid groups, via the work of Garside. We also discuss related parametrizations of Legendrian knots, and uncover connections between the concepts of holonomic and Legendrian parametrizations of knots.


title: A Concise and Direct Proof of "Fermat's Last Theorem"

abstract: The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor was offered as being, possibly the proof Fermat had in mind. The present proof being brief, direct and concise is a candidate for being what Fermat had in mind. It is also completely accessible to any one trained in common algebra. That critical suggestions offered by significant mathematics authorities have been unable to invalidate this concise and direct proof would tend to be major confirmation that: The proof stands, valid and not validly challenged.


title: A characterization of depth 2 subfactors of II_1 factors

abstract: We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion N\subset M, then B=M^\prime \cap M_2 has a natural structure of a weak C*-Hopf algebra and there is a minimal action of B on M_1 such that M is the fixed point subalgebra of M_1, and M_2 is isomorphic to the crossed product of M_1 and B. This extends the well-known results for irreducible depth 2 inclusions.


title: Absolute torsion

abstract: In this paper we use the results of our previous work in order to compute the phase of the torsion of an Euler structure in terms of its characteristic class. Also, we introduce here a new notion of an absolute torsion, which does not require a choice of any additional topological information (like an Euler structure). We prove that in the case of closed 3-manifolds obtained by 0-framed surgery on a classical knot the absolute torsion is equivalent to the Conway polynomial. Hence the absolute torsion can be viewed as a high-dimensional generalization of the Conway polynomial.


title: Massey products and critical points

abstract: In this note I use cup-products and higher Massey products to find topological lower bounds on the number of geometrically distinct critical points of any closed 1-form in a given cohomology class.


title: A Remark on Projective Embeddings of Varieties with Non-Negative Cotangent Bundles

abstract: We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X.


title: The Yang-Mills flow near the boundary of Teichmueller space

abstract: We study the behavior of the Yang-Mills flow for unitary connections on compact and non-compact oriented surfaces with varying metrics. The flow can be used to define a one dimensional foliation on the space of SU(2) representations of a once punctured surface. This foliation universalizes over Teichm\"uller space and is equivariant with respect to the action of the mapping class group. It is shown how to extend the foliation as a singular foliation over the Strebel boundary of Teichm\"uller space, and continuity of this extension is the main result of the paper.


title: Character varieties and harmonic maps to R-trees

abstract: We show that the Korevaar-Schoen limit of the sequence of equivariant harmonic maps corresponding to a sequence of irreducible $SL_2({\mathbb C})$ representations of the fundamental group of a compact Riemannian manifold is an equivariant harmonic map to an ${\mathbb R}$-tree which is minimal and whose length function is projectively equivalent to the Morgan-Shalen limit of the sequence of representations. We then examine the implications of the existence of a harmonic map when the action on the tree fixes an end.


title: On the Morgan-Shalen compactification of the SL(2,C) character varieties of surface groups

abstract: A gauge theoretic description of the Morgan-Shalen compactification of the $\SL$ character variety of the fundamental group of a hyperbolic surface is given in terms of a natural compactification of the moduli space of Higgs bundles via the Hitchin map.


title: Algebraic Coset Conformal field theories

abstract: All unitary Rational Conformal Field Theories (RCFT) are conjectured to be related to unitary coset Conformal Field Theories, i.e., gauged Wess-Zumino-Witten (WZW) models with compact gauge groups. In this paper we use subfactor theory and ideas of algebraic quantum field theory to approach coset Conformal Field Theories. Two conjectures are formulated and their consequences are discussed. Some results are presented which prove the conjectures in special cases. In particular, one of the results states that a class of representations of coset $W_N$ ($N\geq 3$) algebras with critical parameters are irreducible, and under the natural compositions (Connes' fusion), they generate a finite dimensional fusion ring whose structure constants are completely determined, thus proving a long-standing conjecture about the representations of these algebras.


title: Flows on homogeneous spaces and Diophantine approximation on manifolds

abstract: We present a new approach to metric Diophantine approximation on manifolds based on the correspondence between approximation properties of numbers and orbit properties of certain flows on homogeneous spaces. This approach yields a new proof of a conjecture of Mahler, originally settled by V. Sprindzhuk in 1964. We also prove several related hypotheses of A. Baker and V. Sprindzhuk formulated in 1970s. The core of the proof is a theorem which generalizes and sharpens earlier results on non-divergence of unipotent flows on the space of lattices.


title: New approach to octonions and cayley algebras

abstract: We announce a new approach to the octonions as quasiassociative algebras. We strip out the categorical and quasi-quantum group considerations of our longer paper and present here (without proof) some of the more algebraic conclusions


title: Some Remarks on Braided Group Reconstruction and Braided Doubles

abstract: The cross coproduct braided group $Aut(C) \rcocross B$ is obtained by Tannaka-Krein reconstruction from $C^B\to C$ for a braided group $B$ in braided category $C$. We apply this construction to obtain partial solutions to two problems in braided group theory, namely the tensor problem and the braided double. We obtain $Aut(C)\rcocross Aut(C)\isom Aut(C)\lcross Aut(C)$ and higher braided group `spin chains'. The example of the braided group $B(R)\lcross B(R)\lcross...\lcross B(R)$ is described explicitly by R-matrix relations. We also obtain $Aut(C)\rcocross Aut(C)^*$ as a dual quasitriangular `codouble' braided group by reconstruction from the dual category $C^\circ\to C$. General braided double crossproducts $B\dcross C$ are also considered.


title: Surgery, quantum cohomology and birational geometry

abstract: This is an expository article about the recent results on the relation between the naturality problem of quantum cohomology and birational geometry. We give a short survey on Li-Ruan's results. Some conjecture-proposals are discussed.


title: Short Ropes and Long Knots

abstract: A rope is a non-singular embedding of a closed interval into R^3, which sends the ends of the interval to some fixed points A and B such that |AB|=1. A rope is short if its length is less than 3. The main result of the paper is that the fundamental group of the space of short ropes is naturally isomorphic to the group completion of the semigroup of knots.


title: Canonical Infinitesimal Deformations

abstract: This paper gives a canonical construction, in terms of additive cohomological functors, of the universal formal deformation of a compact complex manifold without vector fields (more generally of a faithful $g$-module, where $g$ is a sheaf of Lie algebras without sections). The construction is based on a certain (multivariate) Jacobi complex $J(g)$ associatd to $g$: indeed ${\mathbb C}\oplus {\mathbb H}^0(J(g))^*$ is precisely the base ring of the universal deformation.


title: Symplectic Lefschetz fibrations with arbitrary fundamental groups

abstract: In this paper we give an explicit construction of a symplectic Lefschetz fibration whose total space is a smooth compact four dimensional manifold with a prescribed fundamental group. We also study the numerical properties of the sections in symplectic Lefschetz fibrations and their relation to the structure of the monodromy group.


title: Path generating transforms

abstract: We study combinatorial aspects of q-weighted, length-L Forrester-Baxter paths, P^{p, p'}_{a, b, c}(L), where p, p', a, b, c \in Z_{+}, 0 < p < p', 0 < a, b, c < p', c = b \pm 1, L+a-b \equiv 0 (mod 2), and p and p' are co-prime. We obtain a bijection between P^{p, p'}_{a, b, c}(L) and partitions with certain prescribed hook differences. Thereby, we obtain a new description of the q-weights of P^{p, p'}_{a, b, c}(L). Using the new weights, and defining s_0 and r_0 to be the smallest non-negative integers for which |p s_0 - p' r_0|=1, we restrict the discussion to P^{p, p'}_{s_0} \equiv P^{p, p'}_{s_0,s_0,s_0+1}(L), and introduce two combinatorial transforms: 1. A Bailey-type transform B: P^{p, p'}_{s_0}(L) -> P^{p, p'+p}_{s_0 + r_0}(L'), L \leq L', 2. A duality-type transform D: P^{p, p'}_{s_0}(L) -> P^{p'-p, p'}_{s_0}(L). We study the action of B and D, as q-polynomial transforms on the P^{p, p'}_{s_0}(L) generating functions, \chi^{p, p'}_{s_0}(L). In the limit L -> \infinity, \chi^{p, p'}_{s_0}(L) reduces to the Virasoro characters, \chi^{p, p'}_{r_0, s_0}, of minimal conformal field theories M^{p, p'}, or equivalently, to the one-point functions of regime-III Forrester-Baxter models. As an application of the B and D transforms, we re-derive the constant-sign expressions for \chi^{p, p'}_{r_0, s_0}, first derived by Berkovich and McCoy.

categories: math.QA hep-th math-ph math.CO math.MP math.RT


title: Removal of the resolvent-like dependence on the spectral parameter from perturbations

abstract: The spectral problem (A + V(z))\psi=z\psi is considered with A, a self-adjoint operator. The perturbation V(z) is assumed to depend on the spectral parameter z as resolvent of another self-adjoint operator A': V(z)=-B(A'-z)^{-1}B^{*}. It is supposed that the operator B has a finite Hilbert-Schmidt norm and spectra of the operators A and A' are separated. Conditions are formulated when the perturbation V(z) may be replaced with a ``potential'' W independent of z and such that the operator H=A+W has the same spectrum and the same eigenfunctions (more precisely, a part of spectrum and a respective part of eigenfunctions system) as the initial spectral problem. The operator H is constructed as a solution of the non-linear operator equation H=A+V(H) with a specially chosen operator-valued function V(H). In the case if the initial spectral problem corresponds to a two-channel variant of the Friedrichs model, a basis property of the eigenfunction system of the operator H is proved. A scattering theory is developed for H in the case where the operator A has continuous spectrum.


title: Braided n-categories and $\Sigma$-structures

abstract: We associate to a braided 2-stack ${\cal C}$ a torsor, endowed with a symmetric cube structure (or $\Sigma$-structure), whose triviality is equivalent to the existence on ${\cal C}$ of a fully symmetric monoidal structure. In order to perform the analogous construction for braided 4-stacks, it is necessary to introduce the notion of a $\Gamma_3$-torsor pair, which is in the same relation to cubic forms as torsors with $\Sigma$-structure are to quadratic ones.


title: Intersection cohomology of $S^1$ symplectic quotients and small resolutions

abstract: We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.


title: The linearization of the central limit operator in free probability theory

abstract: We interpret the Central Limit Theorem as a fixed point theorem for a certain operator, and consider the problem of linearizing this operator. In classical as well as in free probability theory, we consider two methods giving such a linearization, and interpret the result as a weak form of the CLT. In the classical case the analysis involves dilation operators; in the free case more general composition operators appear.


title: Universal variations of Hodge structure and Calabi-Yau Schottky relations

abstract: This paper is a sequel to math.AG/9810041 (whose abstract should have mentioned the fact that a version of the jacobi complex and higher-order Kodaira-Spencer maps were also discovered independently by Esnault and Viehweg). We give a canonical algebraic construction for the variation of Hodge structure associated to the universal m-th order deformation of a compact Kahler manifold without vector fields. Specializing to the case of a Calabi-Yau manifold, we give a formula for the mth derivative of its period map and deduce formal defining equations for the image (Schottky relations).


title: Duality for actions of weak Kac algebras and crossed product inclusions of II_1 factors

abstract: We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite II_1 factor. The corresponding crossed product inclusion of II_1 factors has depth 2 and an integer index. Its first relative commutant is, in general, non-trivial, so we derive some arithmetic properties of weak Kac algebras from considering reduced subfactors.


title: There are no infinite order polynomially complete lattices after all

abstract: A lattice L is called opc if every monotone function f : L^n -> L is induced by a polynomial. We show here: If L is a lattice with the interpolation property whose cardinality is a strong limit cardinal of uncountable cofinality, then some finite power L^n has an antichain of size kappa. Using our previous result (math.LO/9707203 in the xxx archive) that the cardinality of an infinite opc lattice must be inaccessible, we can now conclude that there are no infinite opc lattices. However, the existence of strongly amorphous sets implies (in ZF) the existence of infinite opc lattices.


title: Grothendieck group invariants for partly self-adjoint operator algebras

abstract: Various partially ordered Grothendieck group invariants are introduced for general operator algebras and these are used in the classification of direct systems and direct limits of finite-dimensional complex incidence algebras with common reduced digraph H (systems of H-algebras). In particular the dimension distribution group G(A; C), defined for an operator algebra A and a self-adjoint subalgebra C, generalises both the K0 group of a sigma unital C*-algebra B and the spectrum (fundamental relation) R(A) of a regular limit A of triangular digraph algebras. This invariant is more economical and computable than the so called regular Grothendieck group which nevertheless forms the basis for a complete classification of regular systems of H-algebras.


title: Density of rational points on Enriques surfaces

abstract: Let $X$ be an Enriques surface defined over a number field $K$. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.


title: General Operads and Multicategories

abstract: Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to certain conditions on S and *. Different choices of S and * give some of the existing notions of operad and multicategory. We then describe the `algebras' for an (S,*)-multicategory and, finally, present a tentative selection of further developments. Our approach makes possible concise descriptions of Baez and Dolan's opetopes and Batanin's operads; both of these are included.


title: Geometric Proofs of Some Results of Morita

abstract: In this note we give geometric formulations and proofs of three results of S. Morita. These results relate certain two dimensional cohomology classes of various moduli spaces of curves. We also give a geometric interpretation of a fourth result of Morita. One motivation of this work is to facilitate the application of these results in our work (in preparation) on the Arakelov geometry of moduli spaces of curves.


title: The q-characters of representations of quantum affine algebras and deformations of W-algebras

abstract: We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.


title: What is supertopology?

abstract: We discuss the problem of finding an analogue of the concept of a topological space in supergeometry, motivated by a search for a procedure to compactify a supermanifold along odd coordinates. In particular, we examine the topologies naturally arising on the sets of points of locally ringed superspaces, and show that in the presence of a nontrivial odd sector such topologies are never compact. The main outcome of our discussion is that not only the usual framework of supergeometry (the theory of locally ringed spaces), but the more general approach of the functor of points, need to be further enlarged.


title: On smooth rational threefolds of P^5 with rational non-special hyperplane section

abstract: It is known that the smooth rational threefolds of P^5 having a rational non-special surface of P^4 as general hyperplane section have degree d=3,... ,7. We study such threefolds X from the point of view of linear systems of surfaces in P^3, looking in each case fosr an explicit description of a birational map from P^3 to X. For d=3,..., 6 we prove that there exists a line L on X such that the projection map of X centered at L is birational; we completely describe the base loci B of the linear systems found in this way and give a description of any such threefold X as a suitable blowing-down of the blowing-up of P^3 along B. If d=7, i.e. if X is a Palatini scroll, we prove that, conversely, a similar projection never exists.


title: On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories

abstract: We show that if $2k\geq n$, then a k-connected weak n-category $A$ can be ``delooped'' to a k+1-connected weak n+1-category $Y$ with $Hom_Y(y,y)\cong A$. This is the essential part of the ``stabilization hypothesis'' of Baez and Dolan q-alg/9503002, math/9802029.


title: Homotopy types of strict 3-groupoids

abstract: We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.


title: On composite systems and quaqntum statistics

abstract: An algebraic formalism for the study of a system of charged particles interacting with an external quantum field is developed. The notion of monoidal categories with duality is used for the description of composite systems and corresponding quantum statistics. The Fock space representation is also discussed.


title: Duals and dual hulls of classes of analytic functions

abstract: In the paper new representations are obtained for duals and dual hulls of the classes of analytic functions. The Ruscheweyh duality principle is shown to hold under somewhat weaker assumptions. For a compact class of functions its subclass is constructed having the same dual as the original one.


title: Commuting difference operators arising from the elliptic C_2^{(1)}-face model

abstract: We study a pair of commuting difference operators arising from the elliptic C_2^{(1)}-face model. The operators, whose coefficients are expressed in terms of the Jacobi's elliptic theta function, act on the space of meromorphic functions on the weight space of the C_2 type simple Lie algebra. We show that the space of functions spanned by the level one characters of the affine Lie algebra sp(4,C) is invariant under the action of the difference operators.


title: Spectral Instability for Some Schroedinger Operators

abstract: We define the concept of instability index of an isolated eigenvalue of a non-self-adjoint operator, and prove some of its general properties. We also describe a stable procedure for computing this index for Schroedinger operators in one dimension, and apply it to the complex resonances of a typical operator with a dilation analytic potential.


title: Symmetric pairs and moment spaces

abstract: For a Lie group G, we seek the right definition of a "moment space" for G. One axiom is clear, involving a closed equivariant three-form. We construct this form for symmetric spaces associated to a symmetric pair (H,G) with an additional structure. Furthermore, we prove a decomposition theorem for these pairs over a compact, connected, and semisimple Lie group.


title: On existence of nonformal simply connected symplectic manifolds

abstract: Examples of nonformal simply connected symplectic manifolds are constructed.


title: Deformations formelles des revetements sauvagement ramifies de courbes algebriques

abstract: In this paper we study formal moduli for wildly ramified Galois covering. We prove a local-global principle. We then focus on the infinitesimal deformations of the Z/pZ-covers. We explicitly compute a deformation of an automorphism of order p which implies a universal obstruction for p>2. By deforming Artin-Schreier equations we obtain a lower bound on the dimension of the local versal deformation ring. At last, by comparing the global versal deformation ring to the complete local ring in a point of a moduli space, we determine the dimensions of the global and local versal deformation ring.


title: Particle Spaces on Manifolds and Generalized Poincar\'e Dualities

abstract: It is quite an interesting phenomenon in Topology that configuration spaces on a manifold M are intrinsically related to certain mapping spaces from M. In this paper we interpret and greatly expand on this relationship. Building (mainly) on work of Segal, we introduce a new class of configuration spaces; the particle spaces, and these include the classical configuration spaces of distinct points, symmetric products, truncated products, divisor spaces, positive and negative particles of McDuff, as well as many others. We show that there are "scanning" maps that relate these spaces of particles on smooth manifolds to section spaces of appropriate bundles. These correspondences we prove are homology equivalences always and in some identifiable cases homotopy equivalences. Applications of this to both algebraic geometry and algebraic topology are given. We recover old as well as prove some new results on configuration spaces, bounded multiplicity polynomials and loop spaces. Our methods provide interesting insight into the stability phenomenon of holomorphic mapping spaces discovered in the early eighties and asserting that some spaces of rational maps give good topological approximations to second loop spaces. Finally, we rediscover a beautiful space level description of the classical duality theorems of Poincar\'e, Alexander and Lefshetz (first given by Gajer), and further extend it to include Spanier-Whitehead duality.


title: An Interpolation between Homology and Stable Homotopy

abstract: By considering labeled configurations of ``bounded multiplicity'', one can construct a functor that fits between homology and stable homotopy. Based on previous work, we are able to give an equivalent description of this labeled construction in terms of loop space functors and symmetric products. This yields a direct generalization of the May-Milgram model for iterated loop spaces, and answers questions of Carlsson and Milgram posed in the handbook. We give a classifying space formulation of our results hence extending an older result of Segal. We finally relate our labeled construction to a theory of Lesh and give a generalization of a well-known theorem of Quillen, Barratt and Priddy.


title: On the topology of the group of invertible elements

abstract: We give a survey on the homotopy theory of the regular group of Banach algebras with emphasis on the unstable K-Theory of real and complex C*-algebras


title: Weak C^*-Hopf Algebras and Multiplicative Isometries

abstract: We show how the data of a finite dimensional weak C^*-Hopf algebra can be encoded into a pair (H,V) where H is a finite dimensional Hilbert space and V: H \o H --> H \o H is a partial isometry satisfying, among others, the pentagon equation. In case of V being unitary we recover the Baaj-Skandalis multiplicative unitary of the discrete compact type. Relation to the pseudo- multiplicative unitary approach proposed by J.-M. Vallin and M. Enock is also discussed.


title: Contact structures and periodic fundamental groups

abstract: By using cobordism theoretic arguments similar to those in the literature on positive scalar curvature metrics we prove the existence of contact structures on 5-dimensional spin manifolds whose fundamental group is a group of odd order (not divisible by 9) and finite cohomological period.


title: Some covering properties of the $\alpha$-topology

abstract: Recently, Mr\v{s}evi\'{c} and Reilly discussed some covering properties of a topological space and its associated $\alpha$-topology in both topological and bitopological ways. The main aim of this paper is to investigate some common and controversial covering properties of $\cal T$ and ${\cal T}^{\alpha}$.


title: Finite Type Invariants of Classical and Virtual Knots

abstract: We observe that any knot invariant extends to virtual knots. The isotopy classification problem for virtual knots is reduced to an algebraic problem formulated in terms of an algebra of arrow diagrams. We introduce a new notion of finite type invariant and show that the restriction of any such invariant of degree n to classical knots is an invariant of degree at most n in the classical sense. A universal invariant of degree at most n is defined via a Gauss diagram formula. This machinery is used to obtain explicit formulas for invariants of low degrees. The same technique is also used to prove that any finite type invariant of classical knots is given by a Gauss diagram formula. We introduce the notion of n-equivalence of Gauss diagrams and announce virtual counter-parts of results concerning classical n-equivalence.


title: Unification approach to the separation axioms between $T_0$ and completely Hausdorff

abstract: The aim of this paper is to introduce a new weak separation axiom that generalizes the separation properties between $T_1$ and completely Hausdorff. We call a topological space $(X,\tau)$ a $T_{\kappa,\xi}$-space if every compact subset of $X$ with cardinality $\leq \kappa$ is $\xi$-closed, where $\xi$ is a general closure operator. We concentrate our attention mostly on two new concepts: kd-spaces and $T_{1/3}$-spaces.


title: Idealization of some weak separation axioms

abstract: An ideal is a nonempty collection of subsets closed under heredity and finite additivity. The aim of this paper is to unify some weak separation properties via topological ideals. We concentrate our attention on the separation axioms between $T_0$ and $T_2$. We prove that if $(X,\tau,{\cal I})$ is a semi-Alexandroff $T_{\cal I}$-space and $\cal I$ is a $\tau$-boundary, then $\cal I$ is completely codense.


title: A remark on $\beta$-locally closed sets

abstract: The aim of this note is to show that every subset of a given topological space is the intersection of a preopen and a preclosed set, therefore $\beta$-locally closed, and that every topological space is $\beta$-submaximal.


title: An answer to a question of Coleman on scattered sets

abstract: The aim of this paper is to show that every scattered subset of a dense-in-itself semi-$T_D$-space is nowhere dense. We are thus able to answer a recent question of Coleman in the affirmative. In terms of Digital Topology, we prove that in semi-$T_D$-spaces with no open screen, trace spaces have no consolidations.


title: On p-closed spaces

abstract: In this paper we will continue the study of p-closed spaces. This class of spaces is strictly placed between the class of strongly compact spaces and the class of quasi-H-closed spaces. We will provide new characterizations of p-closed spaces and investigate their relationships with some other classes of topological spaces.


title: Contra-semicontinuous Functions

abstract: The aim of this paper is to introduce and study the concept of a contra-semicontinuous function and further investigate the class of strongly $S$-closed spaces. We obtain some new decompositions of generalized continuous functions.


title: G.\Lambda_s-sets and G.V_s-sets

abstract: In this paper we define the concepts of $g.\Lambda_s$-sets and $g.V_s$-sets and we use them in order to obtain new characterizations of semi-T_1-, semi-R_0- and semi-T_{1/2}-spaces.


title: Gromov-Witten Invariants of Blow-ups Along Points and Curces

abstract: In this paper, using the gluing formula of Gromov-Witten invariants under symplectic cutting, due to Li and Ruan, we studied the Gromov-Witten invariants of blow-ups at a smooth point or along a smooth curve. We established some relations between Gromov-Witten invariants of M and its blow-ups at a smooth point or along a smooth curve.


title: The grafting map of Teichmuller space

abstract: Grafting is a method of obtaining new projective structures from a hyperbolic structure, basically by gluing a flat cylinder into a surface along a closed geodesic in the hyperbolic structure, or by limits of that procedure. This induces a map of Teichmuller space to itself. We prove that this map is a homeomorphism by analyzing harmonic maps between pairs of grafted surfaces. As a corollary we obtain bending coordinates for the Bers embedding of Teichmuller space.


title: Vector Sheaves Associated with Principal Sheaves

abstract: In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a vector sheaf. Moreover, under some natural assumptions on the compatibility of the representation with the Maurer-Cartan (or, logarithmic) differentials of the structural sheaves involved, we also show that the connections of the principal sheaf induce A-connections of the associated vector sheaf. We thus recover a result of the classical Differential Geometry within a purely algebro-topological context, without any smoothness assumption.


title: M. P. Appell's function and vector bundles of rank 2 on elliptic curve

abstract: This paper is devoted to the function introduced by M. P. Appell in connection with decomposition of elliptic functions of the third kind into simple elements. We show that this function (which appeared as a Fukaya triple product in math.AG/9803017) is related to global sections of rank-2 vector bundles on elliptic curves. We derive analogues of theta-identities for this function and prove the divisibility property for the action of modular group which should be considered as a replacement for functional equation.


title: Bijective arithmetic codings of hyperbolic automorphisms of the 2-torus, and binary quadratic forms

abstract: We study the arithmetic codings of hyperbolic automorphisms of the 2-torus, i.e. the continuous mappings acting from a certain symbolic space of sequences with a finite alphabet endowed with an appropriate structure of additive group onto the torus which preserve this structure and turn the two-sided shift into a given automorphism of the torus. This group is uniquely defined by an automorphism, and such an arithmetic coding is a homomorphism of that group onto the 2-torus. The necessary and sufficient condition of the existence of a bijective arithmetic coding is obtained; it is formulated in terms of a certain binary quadratic form constructed by means of a given automorphism. Furthermore, we describe all bijective arithmetic codings in terms the Dirichlet group of the corresponding quadratic field. The minimum of that quadratic form over the nonzero elements of the lattice coincides with the minimal possible order of the kernel of a homomorphism described above.


title: Quantum integrable Toda like systems

abstract: Using deformation quantization and suitable 2 by 2 quantum $R$-matrices we show that a list of Toda like classical integrable systems given by Y.B.Suris is quantum integrable in the sense that the classical conserved quantities (which are already in involution with respect to the Poisson bracket) commute with respect to the standard star-product of Weyl type in flat $2n$-dimensional space.


title: Remarks on critical points of phase functions and norms of Bethe vectors

abstract: We consider a tensor product of a Verma module and the linear representation of $sl(n+1)$. We prove that the corresponding phase function, which is used in the solutions of the KZ equation with values in the tensor product, has a unique critical point and show that the Hessian of the logarithm of the phase function at this critical point equals the Shapovalov norm of the corresponding Bethe vector.


title: Topological description of U_q(sl_2)-representations

abstract: We prove there is an equivalence of ribbon categories between a category introduced by Turaev whose morphisms are planar diagrams and a full subcategory of the category of finite-dimensional modules over U_q(sl_2).


title: Uniformly perfect sets, rational semigroups, Kleinian groups and IFS's

abstract: We show that the Julia set of a non-elementary rational semigroup G is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of G. This also proves that the limit set of a non-elementary Moebius group is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of the group and this implies that the limit set of a finitely generated non-elementary Kleinian group is uniformly perfect.


title: Completely invariant Julia sets of polynomial semigroups

abstract: Let G be a semigroup of rational functions of degree at least two, under composition of functions. Suppose that G contains two polynomials with non-equal Julia sets. We prove that the smallest closed subset of the Riemann sphere which contains at least three points and is completely invariant under each element of G, is the sphere itself.


title: An exploration of the permanent-determinant method

abstract: The permanent-determinant method and its generalization, the Hafnian-Pfaffian method, are methods to enumerate perfect matchings of plane graphs that was discovered by P. W. Kasteleyn. We present several new techniques and arguments related to the permanent-determinant with consequences in enumerative combinatorics. Here are some of the results that follow from these techniques: 1. If a bipartite graph on the sphere with 4n vertices is invariant under the antipodal map, the number of matchings is the square of the number of matchings of the quotient graph. 2. The number of matchings of the edge graph of a graph with vertices of degree at most 3 is a power of 2. 3. The three Carlitz matrices whose determinants count a x b x c plane partitions all have the same cokernel. 4. Two symmetry classes of plane partitions can be enumerated with almost no calculation.


title: Crystal Bases for the Quantum Superalgebra $U_q(gl(m,n))$

abstract: We develop a crystal base theory for the general linear Lie superalgebra $gl(m,n)$. We prove that any irreducible $U_q(gl(m,n))$-module in some category has a crystal base, and prove that its associated crystal base is parameterized by semistandard tableaux.


title: On the thermodynamic limit for a one-dimensional sandpile process

abstract: Considering the standard abelian sandpile model in one dimension, we construct an infinite volume Markov process corresponding to its thermodynamic (infinite volume) limit. The main difficulty we overcome is the strong non-locality of the dynamics. However, using similar ideas as in recent extensions of the standard Gibbs formalism for lattice spin systems, we can identify a set of `good' configurations on which the dynamics is effectively local. We prove that every configuration converges in a finite time to the unique invariant measure.


title: The restriction of the Ising model to a layer

abstract: We discuss the status of recent Gibbsian descriptions of the restriction (projection) of the Ising phases to a layer. We concentrate on the projection of the two-dimensional low temperature Ising phases for which we prove a variational principle.


title: Hopf plumbing, arborescent Seifert surfaces, baskets, espaliers, and homogeneous braids

abstract: Four constructions of Seifert surfaces - Hopf plumbing, arborescent plumbing, basketry, and T-bandword handle decomposition - are described, and some interrelationships found, e.g.: arborescent Seifert surfaces are baskets; Hopf-plumbed baskets are precisely homogeneous T-bandword surfaces. A Seifert surface is Hopf-plumbed if it is a 2-disk D or if it can be constructed by plumbing a positive or negative Hopf annulus A(O,-1) or A(O,1) to a Hopf-plumbed surface along a proper arc. A Seifert surface is a basket if it is D or it can be constructed by plumbing an n-twisted unknotted annulus A(O,n) to a basket along a proper arc in D. A Seifert surface is arborescent if it is D, or it is A(O,n), or it can be constructed by plumbing A(O,n) to an arborescent Seifert surface along a transverse arc of an annulus plumband. Every arborescent Seifert surface is a basket. A tree T embedded in the complex plane C determines a set of generators for a braid group. An espalier is a tree in the closed lower halfplane with vertices on the real line R. If T is an espalier then words b in the T-generators correspond nicely to T-bandword surfaces S(b). (For example, if I is an espalier with an edge from p to p+1 for p=1,...,n-1, then the I-generators of the n-string braid group are the standard generators; when Seifert's algorithm is applied to the closed braid diagram of a word in those generators, the result is an I-bandword surface.) Theorem. For any espalier T, a T-bandword surface S(b) is a Hopf-plumbed basket iff b is homogeneous iff S(b) is a fiber surface iff S(b) is connected and incompressible. A Hopf-plumbed basket S (for instance, an arborescent fiber surface) is isotopic to a homogeneous T-bandword surface for some espalier T.


title: Hermitian Structures and Compatible Connections on A-bundles

abstract: A-manifolds and A-bundles are manifolds and vector bundles modelled on a projective finitely generated module over a topological algebra A. In this paper we investigate the conditions under which an A-bundle is provided with an A-valued hermitian structure and a compatible connection, in case A is a commutative complete locally m-convex C*-algebra with unit. In this investigation two obstacles appear: first, A-manifolds do not admit partitions of unity in the classical sence, and, secondly, the existence of a hermitian structure is not equivalent to the reduction of the structural group of the bundle to a certain subgroup. However, we prove that if the bundle has a trivializing covering whose transition functions take values in the group of the "A-hermitian product preserving" automorphisms of the fibre type and the base space admits at least one A-valued partition of unity (subordinate to this covering), then the A-bundle admits an A-hermitian structure and a compatible connection.


title: Blow-ups of canonical singularities

abstract: In this paper we apply Shokurov's inductive method to study terminal and canonical singularities. As an easy consequence of the Minimal Model Program we show that for any three-dimensional log terminal singularity there exists some special, so called, plt blow-up. We discuss properties of them and construct some examples.


title: On open 3-manifolds proper homotopy equivalent to geometrically-simply connected polyhedra

abstract: We prove that an open 3-manifold proper homotopy equivalent to a geometrically simply connected polyhedron is simply connected at infinity, generalizing a theorem of V.Poenaru.


title: Completely invariant sets of normality for rational semigroups

abstract: Let G be a semigroup of rational functions of degree at least two where the semigroup operation is composition of functions. We prove that the largest open subset of the Riemann sphere on which the semigroup G is normal and is completely invariant under each element of G, can have only 0, 1, 2, or infinitely many components.


title: C*-equivalences of graphs

abstract: Several relations on graphs, including primitive equivalence, explosion equivalence and strong shift equivalence, are examined and shown to preserve either the graph groupoid, a construction of Kumjian, Pask, Raeburn, and Renault, or the groupoid of a pointed version of the graph. Thus these relations preserve either the isomorphism class or the Morita equivalence class of the graph C*-algebra, as defined by Kumjian, Pask, and Raeburn.


title: The relation between compact and non-compact equivariant cobordisms

abstract: We show that the theory of stable complex $G$-cobordisms, for a torus $G$, is embedded into the theory of stable complex $G$-cobordisms of not necessarily compact manifolds equipped with proper abstract moment maps. Thus the introduction of such non-compact cobordisms in the stable complex $G$-cobordism theory does not lead to new relations.


title: Projective Contact Manifolds

abstract: We prove that a projective contact manifold X with second Betti number at least 2 whose canonical bundle K_X is not nef, is always the projectivised tangent bundle P(T_Y) of a projective manifold Y. It is expected that the canonical bundle of a projective contact manifold is never nef; we prove this unless possibly K_X^2 = 0 and K_X is not numerically trivial. Moreover we study more generally nef subsheaves of rank 1 in the cotangent bundle which are proportional to the canonical bundle.


title: Le probleme de Brill-Noether pour les fibre's de Steiner et application aux courbes gauches

abstract: A Steiner bundle over the projective 3-space is the kernel in a trivial bundle of a morphism defined by a matrix of linear forms. We produce various Steiner bundles E of rank n such that E(1) has n-1 sections, the dependency locus of which is a smooth curve.


title: Polynomial approximation in $L_p(R, d\mu)$. I

abstract: Final representation of all those measures $\mu$ for which algebraic polynomials are dense in $L_p(R, d\mu)$ is found. The weighted analogue of the Weierstrass polynomial approximation theorem and a new version of the M. Krein's theorem about partial fraction decomposition of reciprocal of an entire function are established.


title: On the Distribution of the Length of the Longest Increasing Subsequence of Random Permutations

abstract: The authors consider the length, $l_N$, of the length of the longest increasing subsequence of a random permutation of $N$ numbers. The main result in this paper is a proof that the distribution function for $l_N$, suitably centered and scaled, converges to the Tracy-Widom distribution [TW1] of the largest eigenvalue of a random GUE matrix. The authors also prove convergence of moments. The proof is based on the steepest decent method for Riemann-Hilbert problems, introduced by Deift and Zhou in 1993 [DZ1] in the context of integrable systems. The applicability of the Riemann-Hilbert technique depends, in turn, on the determinantal formula of Gessel [Ge] for the Poissonization of the distribution function of $l_N$.

categories: math.CO math-ph math.MP nlin.SI solv-int


title: Moduli of bundles on the blown-up plane

abstract: Let M(j) denote the moduli space of bundles on the blown-up plane which restrict to the exceptional divisor as O(j)+O(-j). We show that there is a topological embedding of M(j) into M(j+1).


title: Analysis and Geometry of Boundary-Manifolds of Bounded Geometry

abstract: In this paper, we investigate analytical and geometric properties of certain non-compact boundary-manifolds, namely manifolds of bounded geometry. One result are strong Bochner type vanishing results for the L^2-cohomology of these manifolds: if e.g. a manifold admits a metric of bounded geometry which outside a compact set has nonnegative Ricci curvature and nonnegative mean curvature (of the boundary) then its first relative L^2-cohomology vanishes (this in particular answers a question of Roe). We prove the Hodge-de Rham-theorem for L^2-cohomology of oriented boundary-manifolds of bounded geometry. The technical basis is the study of (uniformly elliptic) boundary value problems on these manifolds, applied to the Laplacian.


title: Uniformizers for elliptic sheaves

abstract: In this paper we associate to t-motives with level structures a finite dimensional vector subspace (subspace of uniformizers). We study the particular case of elliptic sheaves finding some relations with some objects from conformal field theory.


title: Irreducible representations of solvable Lie superalgebras

abstract: The description of irreducible finite dimensional representations of finite dimensional solvable Lie superalgebras over complex numbers given by V.~Kac is refined. In reality these representations are not just induced from a polarization but twisted, as infinite dimensional representations of solvable Lie algebras. Various cases of irreducibility (general and of type Q) are classified.


title: Orthogonal polynomials and Lie superalgebras

abstract: For the orthogonal Lie algebra O(2n+1), in addition to the conventional set of orthogonal polynomials, another set is produced with the help of the Lie superalgebra OSP(1|2n). Difficulties related with expression of Dyson's constant for the Lie superalgebras are discussed.


title: The invariant polynomials on simple Lie superalgebras

abstract: Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant polynomials on G with the algebra of W-invariant polynomals on H, where W is the Weyl group of G, (2) each G-invariant polynomial is a linear combination of the powers of traces tr r(x), where r is a finite dimensional representation of G. None of these facts is necessarily true for simple Lie superalgebras. We reformulate Chevalley's theorem so as to embrace Lie superalgebras. Chevalley's theorem for anti-invariant polynomials is also given.


title: Invariant functions on supermatrices

abstract: There are two superanalogs of the general linear group: GL(m|n) and GQ(n). For any supercommutative superalgebra C let G(C) be the set of C-points of the supermanifold G. Here there are described the GQ(n; C)-invariant functions on Q(n; C) and GL(n; C)-invariant functions on the odd subspace of Mat (n|n; C), more exactly, the invariants of the action of Lie supergroups GQ(n) and GL(n|n) on the supermanifolds corresponding to Q(n; C) and the odd subspace of Mat(n|n; C). The obtained answer is interpreted in terms of GL(n; C)-invariants on Q(n; C) and GL(n|n; C)-invariants on the odd subspace of Mat (n|n; C) described functorially in (i.e., independently of) C.


title: An analog of the classical invariant theory for Lie superlagebras

abstract: Let V be a finite-dimensional superspace and G a simple (or a ``close'' to simple) matrix Lie superalgebra, i.e., a Lie subsuperalgebra in GL(V). Under the classical invariant theory for G we mean the description of G-invariant elements of the tensor algebra of V. We give such description for GL(V), SL(V) and OSP(V) and their ``odd'' analogs: Q(V), SQ(V); Pe(V) and SPe(V).


title: Von Neumann Betti numbers and Novikov type inequalities

abstract: It is shown that the Novikov inequalities for critical points of closed 1-forms hold with the von Neumann Betti numbers replacing the Novikov numbers. As a corollary we obtain a vanishing theorem for $L^2$ cohomology, generalizing a theorem of W. Lueck. We also prove that von Neumann Betti numbers coincide with the Novikov numbers for free abelian coverings.

categories: math.DG math-ph math.AT math.MP math.RT math.SG


title: Center and Universal R-matrix for Quantized Borcherds Superalgebras

abstract: We construct a nondegenerate symmetric bilinear form on quantized enveloping algebras associated to Borcherds superalgebras. With this, we study its center and its universal R-matrix.


title: Omega Admissible Theory II: New metrics on determinant of cohomology And Their applications to moduli spaces of punctured Riemann surfaces

abstract: For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on moduli spaces of punctured Riemann surfaces, and then give a more geometric interpretation of our determinant metrics in terms of Selberg zeta functions. We end this paper by proposing an arithmetic factorization for Weil-Petersson metrics, cuspidal metrics and Selberg zeta functions.


title: Relative Bott-Chern Secondary Characteristic Classes

abstract: In this paper, we introduce six axioms for relative Bott-Chern secondary characteristic classes and prove the uniqueness and existence theorem for them. Such a work provides us a natural way to understand and hence to prove the arithmetic Grothendieck-Riemann-Roch theorem.


title: The isolated saddle-node bifurcation occurring inside a horseshoe

abstract: In this paper, we consider a smooth arc of diffeomorphisms which has a saddle-node bifurcation inside a nontrivial invariant set which is a deformation of a horseshoe. We show that this saddle-node bifurcation is isolated, that is, its hyperbolicity is maintained before and after the saddle-node bifurcation. Moreover we construct a $C^2$-open set of arcs having the same property.


title: Multiparametric Passive Linear Stationary Dynamical Scattering Systems: Discrete Case, II: Existence of Conservative Dilations

abstract: In the present paper we introduce the notion of dilation of a multiparametric linear stationary dynamical system (systems of this type, in particular passive, and conservative scattering ones were first introduced in func-an/9804130). We establish the criterion for existence of a conservative dilation of a multiparametric passive scattering system. This allows to distinguish the class of so-called $N$-passive systems preserving the most important properties of one-parametric passive scattering systems.


title: Abelian surfaces with two plane cubic curve fibrations and Calabi-Yau threefolds

abstract: (1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities.


title: K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds

abstract: The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/0611533), where we establish that the general VSP(F,10) is in fact a new symplectic 4-fold different from the family of lines on a cubic 4-fold.


title: A limit of toric symplectic forms that has no periodic Hamiltonians

abstract: We calculate the Riemann-Roch number of some of the pentagon spaces defined in [Klyachko,Kapovich-Millson,HK1]. Using this, we show that while the regular pentagon space is diffeomorphic to a toric variety, even symplectomorphic to one under arbitrarily small perturbations of its symplectic structure, it does not admit a symplectic circle action. In particular, within the cohomology classes of symplectic structures, the subset admitting a circle action is not closed.


title: The Classification of Limits of 2n-cycle Algebras

abstract: We obtain a complete classification of the locally finite algebras and the operator algebras, given as algebraic inductive limits and Banach algebraic inductive limits respectively, of direct systems: A_1 contained in A_2 contained in A_3 and so on. Here the A_k are 2n-cycle algebras, where n is at least 3 and the inclusions are of rigid type. The complete isomorphism invariant is essentially the triple (K_0(A), H_1(A), Sigma(A)) where K_0(A) is viewed as a scaled ordered group, H_1(A) is a partial isometry homology group and Sigma(A), contained in the direct sum of K_0(A) and H_1(A), is the 2n-cycle joint scale.


title: Spectral theory, Hausdorff dimension and the topology of hyperbolic 3-manifolds

abstract: Let M be a compact 3-manifold whose interior admits a complete hyperbolic structure. We let Lambda(M) be the supremum of the bottom eigenvalue of the Laplacian of N, where N varies over all hyperbolic 3-manifolds homeomorphic to the interior of M. Similarly, we let D(M) be the infimum of the Hausdorff dimensions of limit sets of Kleinian groups whose quotients are homeomorphic to the interior of M. We observe that Lambda(M)=D(M)(2-D(M)) if M is not handlebody or a thickened torus. We characterize exactly when Lambda(M)=1 and D(M)=1 in terms of the characteristic submanifold of the incompressible core of M.


title: Coadjoint orbits, moment polytopes, and the Hilbert-Mumford criterion

abstract: Consider a compact Lie group and a closed subgroup. Generalizing a result of Klyachko, we give a necessary and sufficient criterion for a coadjoint orbit of the subgroup to be contained in the projection of a given coadjoint orbit of the ambient group. The criterion is couched in terms of the ``relative'' Schubert calculus of the flag varieties of the two groups.


title: Annular and boundary reducing Dehn fillings

abstract: A manifold M is simple if it contains no essential disk, sphere, annulus or torus. If M is simple and two Dehn fillings M(r_1), M(r_2) are nonsimple, then there is an upper bound on \Delta(r_1,r_2), the geometric intersection number between r_1 and r_2. There are 10 possibilities, depending on the types of M(r_i). In this paper it will be shown that if M(r_1) contains an essential disk and M(r_2) contains an essential annulus, then \Delta(r_1,r_2) is at most two. This completes the determination of the best possible upper bounds on \Delta(r_1, r_2) for all ten cases.


title: Another Combinatorial Determinant

abstract: We present a variation and generalization of a determinant evaluation of Wilf (math.CO/9809120). His result concerns a matrix whose entries are the coefficients of powers of a given power series; we replace the powers by repeated compositions and obtain similar results.


title: Locally 1-to-1 maps and 2-to-1 retractions

abstract: This paper considers the question of which continua are 2-to-1 retracts of continua.


title: Exactly k-to-1 maps: from pathological functions with finitely many discontinuities to well-behaved covering maps

abstract: Many mathematicians encounter k-to-1 maps only in the study of covering maps. But, of course, k-to-1 maps do not have to be open. This paper touches on covering maps, and simple maps, but concentrates on ordinary k-to-1 functions (both continuous and finitely discontinuous) from one metric continuum to another. New results, old results and ideas for further research are given; and a baker's dozen of questions are raised.


title: Semiconfiguration Spaces of Planar Linkages

abstract: This paper characterizes which subsets of C^n can be the set of positions of n points on a linkage in the complex plane C. For example, assuming compactness they are just compact semialgebraic sets. Noncompact configuration spaces are semialgebraics sets invariant under the Euclidean group, with compact quotient.


title: Compact endomorphisms of H infinity of D

abstract: When G is a region in the complex plane, compact composition operators on the uniform algebra of bounded analytic functions on G and the spectra of these operators were described by D. Swanton, Compact composition operators on B(D), Proc. Amer. Math. Soc. 56 (1976). In this short note we characterize all compact endomorphisms, not necessarily those induced by composition operators, on the uniform algebra of bounded analytic functions on the open unit disc, and determine their spectra. This research was supported by EPSRC grant GR/M31132


title: Weak Frobenius manifolds

abstract: We establish a new universal relation between the Lie bracket and $\circ$-multiplication of tangent fields on any Frobenius (super)manifold. We use this identity in order to introduce the notion of ``weak Frobenius manifold'' which does not involve metric as part of structure. As another application, we show that the powers of an Euler field generate (a half of) the Virasoro algebra on an arbitrary, not necessarily semisimple, Frobenius supermanifold.


title: L2-index theorem for manifolds with boundary

abstract: Suppose M is a compact manifold with boundary. Let N be a normal covering of M. Suppose (A,T) is an elliptic differential boundary value problem on M with lift (\tilde A,\tilde T) to N. Then the von Neumann dimension of kernel and cokernel of this lift are defined. The main result of this paper is: these numbers are finite, and their difference, by definition the von Neumann index, equals the index of (A,T). In this way, we extend the classical L^2-index theorem of Atiyah to manifolds with boundary.