title: Parallel spinors and holonomy groups

abstract: In this paper we complete the classification of spin manifolds admitting parallel spinors, in terms of the Riemannian holonomy groups. More precisely, we show that on a given n-dimensional Riemannian manifold, spin structures with parallel spinors are in one to one correspondence with lifts to Spin_n of the Riemannian holonomy group, with fixed points on the spin representation space. In particular, we obtain the first examples of compact manifolds with two different spin structures carrying parallel spinors.


title: Returns to origin of a one-dimensional random walk visiting each site an even number of times

abstract: The class of random walks in one dimension, returning to the origin, restricted by the requirement that any site visited (different from the origin) is visited an even number of times, is analyzed in the present note. We call this class the even-visiting random walks and provide a closed expression to evaluate them.


title: Hakenness and b_1

abstract: Three great theorems of Thurston read: Haken manifolds are hyperbolic; big ramified coverings are hyperbolic; big surgeries are hyperbolic. Recent developments indicate that the later two theorems are essentially a corollary of the first, that is there are much more Haken manifolds than expected by Thurston. In fact Freedman showed very recently that big ramified coverings are Haken. A version of his proof with various improvements was obtained by Cooper-Long and Cooper-Long-Reid. The two main contributions of the present paper are the following. I give an analytic proof of Freedman's result and the improved version of Cooper-Long-Reid. This proof is based on fundamentally different approach than Freedman's and is 10 times shorter, but uses the full forse of the hyperbolization theorem. Secondly, I prove that ANY ramified covering of a tight knot is Haken. Morover any knot becomes tight after a big surgery. So any ramified covering of a big surgery is Haken. Many other results of the paper are better seen from the introduction. The paper uses many different techniques and may be difficult to read for a beginner.


title: Extended and Reshetikhin Twists for sl(3)

abstract: The properties of the set {L} of extended jordanian twists for algebra sl(3) are studied. Starting from the simplest algebraic construction --- the peripheric Hopf algebra U_ P'(0,1)(sl(3)) --- we construct explicitly the complete family of extended twisted algebras {U_ E(\theta)(sl(3))} corresponding to the set of 4-dimensional Frobenius subalgebras {L(\theta)} in sl(3). It is proved that the extended twisted algebras with different values of the parameter \theta are connected by a special kind of Reshetikhin twist. We study the relations between the family {U_E(\theta)(sl(3))} and the one-dimensional set {U_DJR(\lambda)(sl(3))} produced by the standard Reshetikhin twist from the Drinfeld--Jimbo quantization U_DJ(sl(3)). These sets of deformations are in one-to-one correspondence: each element of {U_E(\theta)(sl(3))} can be obtained by a limiting procedure from the unique point in the set {U_DJR(\lambda)(sl(3))}.


title: Bogomolov's Conjecture for Hyperelliptic Curves over Function Fields

abstract: In this paper, we prove the Effective Bogomolov's Conjecture for hyperelliptic curves defined over function fields.


title: A Natural Framing for Asymptotically Flat Integral Homology 3-Sphere

abstract: For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.


title: Fourier-Walsh coefficients for a coalescing flow (discrete time)

abstract: A two-dimensional array of independent random signs produces coalescing random walks. The position of the walk, starting at the origin, after N steps is a highly nonlinear, noise sensitive function of the signs. A typical term of its Fourier-Walsh expansion involves the product of about square roof of N signs.


title: Finite type invariants of knots via their Seifert matrices

abstract: We define a filtration on the vector space spanned by Seifert matrices of knots related to Vassiliev's filtration on the space of knots. Further we show that the invariants of knots derived from the filtration can be expressed by coefficients of the Alexander polynomial.


title: Symplectic singularities

abstract: We discuss a particular class of rational Gorenstein singularities, which we call symplectic. A normal variety V has symplectic singularities if its smooth part carries a closed symplectic 2-form whose pull-back in any resolution X --> V extends to a holomorphic 2-form on X . Our main result is the classification of isolated symplectic singularities with smooth projective tangent cone. They are in one-to-one correspondence with simple complex Lie algebras: to a Lie algebra g corresponds the singularity at 0 of the closure of the minimal (nonzero) nilpotent adjoint orbit in g .


title: A local version of the Fulton-Hansen theorem relating secant and tangential varieties

abstract: Withdrawn by the authors, the main theorem is incorrect


title: Seshadri constants on algebraic surfaces

abstract: Seshadri constants are local invariants, introduced by Demailly, which measure the local positivity of ample line bundles. Recent interest in Seshadri constants stems on the one hand from the fact that bounds on Seshadri constants yield, via vanishing theorems, bounds on the number of points and jets that adjoint linear series separate. On the other hand it has become increasingly clear by now that Seshadri constants are highly interesting invariants quite in their own right. Except in the simplest cases, however, they are already in the case of surfaces very hard to control or to compute explicitly---hardly any explicit values of Seshadri constants are known so far. The purpose of the present paper is to study these invariants on algebraic surfaces. On the one hand, we prove a number of explicit bounds for Seshadri constants and Seshadri submaximal curves, and on the other hand, we give complete results for abelian surfaces of Picard number one. A nice feature of this result is that it allows to explicitly compute the Seshadri constants---as well as the unique irreducible curve that accounts for it---for a whole class of surfaces. It also shows that Seshadri constants have an intriguing number-theoretic flavor in this case.


title: Long Range Scattering and Modified Wave Operators for some Hartree Type Equations II

abstract: We study the theory of scattering for a class of Hartree type equations with long range interactions in space dimension n > 2, including Hartree equations with potential V(x) = lambda |x|^{- gamma}. For 0 < gamma < or =1 we prove the existence of modified wave operators with no size restriction on the data and we determine the asymptotic behaviour in time of solutions in the range of the wave operators,thereby extending the results of a previous paper with the same title (math.AP/9807031) which covered the range 1/2 < gamma <1.


title: Espaces abstraits de morphismes et mutations II

abstract: Let E,F be algebraic vector bundles on a projective algebraic variety. Let G=Aut(E)XAut(F), acting on W=Hom(E,F). In this paper new methods of construction of algebraic quotients of open G-invariant subsets of W are studied. This is done by associating to W a new space of morphisms W'=Hom(E',F') (with group G'=Aut(E')XAut(F')) in such a way that there is a natural bijection between the set of G-orbits of an open subset of W and the set of G'-orbits of an open subset of W'. We can then apply already known construction methods to G'-invariant open subsets of W' and deduce with the correspondance new quotients of open G-invariant subsets of W. This is a new version and a continuation of an older paper.


title: The visual core of a hyperbolic 3-manifold

abstract: We introduce the notion of the visual core of a hyperbolic 3-manifold N and explore its basic properties. The visual core can be thought of as a harmonic analysis analogue of the convex core. We investigate circumstances in which the visual core of a cover N' of N embeds under the covering map from N' to N. We apply this analysis to convergent sequences of Kleinian groups, in order to understand when the visual core of the algebraic limit manifold embeds in the geometric limit manifold. We close with a discussion of the behavior of the visual core under Klein-Maskit combination.


title: Cores of hyperbolic 3-manifolds and limits of Kleinian groups II

abstract: Troels Jorgensen conjectured that the algebraic and geometric limits of an algebraically convergent sequence of isomorphic Kleinian groups agree if there are no new parabolics in the algebraic limit. We prove that this conjecture holds in 'most' cases. In particular, we show that it holds when the domain of discontinuity of the algebraic limit of such a sequence is non-empty. We further show, with the same assumptions, that the limit sets of the groups in the sequence converge to the limit set of the algebraic limit. As a corollary, we verify the conjecture for finitely generated Kleinian groups which are not (non-trivial) free products of surface groups and infinite cyclic groups.


abstract: We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of L) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite dimensional. The minimal number of extremal generators for the Lie algebras of type An, Bn (n>2), Cn (n>1), Dn (n>3), En (n=6,7,8), F4 and G2 are shown to be n+1, n+1, 2n, n, 5, 5, and 4 in the respective cases. These results are related to group theoretic ones for the corresponding Chevalley groups.


title: Annuli in generalized Heegaard splittings and degeneration of tunnel number

abstract: We analyze how a family of essential annuli in a compact 3-manifold will induce, from a strongly irreducible generalized Heegaard splitting of the ambient manifold, generalized Heegaard splittings of the complementary components. There are specific applications to the subadditivity of tunnel number of knots, improving somewhat bounds of Kowng. For example, in the absence of 2-bridge summands, the tunnel number of the sum of n knots is no less than 2/5 the sum of the tunnel numbers.


title: On the GGS Conjecture

abstract: In the 1980's, Belavin and Drinfeld classified solutions r of the classical Yang-Baxter equation (CYBE) for simple Lie algebras \mathfrak g satisfying 0 \neq r + r_{21} \in (S^2 \mathfrak{g})^{\mathfrak{g}}. They proved that all such solutions fall into finitely many continuous families and introduced combinatorial objects to label these families, Belavin-Drinfeld triples. In 1993, Gerstenhaber, Giaquinto, and Schack attempted to quantize such solutions for Lie algebras \mathfrak{sl}(n). As a result, they formulated a conjecture stating that certain explicitly given elements R \in Mat_n(\mathbb C) \otimes Mat_n(\mathbb C) satisfy the quantum Yang-Baxter equation (QYBE) and the Hecke relation. Specifically, the conjecture assigns a family of such elements R to any Belavin-Drinfeld triple of type A_{n-1}. Following a suggestion from Gerstenhaber and Giaquinto, we propose an alternate form for R, given by R_J = q^{r^0} J^{-1} R_s J_{21} q^{r^0}, for a suitable twist J and a diagonal matrix r^0, where R_s is the standard Drinfeld-Jimbo solution of the QYBE. We formulate the ``twist conjecture'', which states that R_J = R_{\text{GGS}} and that R_J satisfies the QYBE. Since R_J by construction satisfies the Hecke relation, this conjecture implies the GGS conjecture. We check the twist conjecture by computer for n \leq 12 and show that it is true modulo \hbar^3. We provide combinatorial formulas for coefficients in the matrices R_J, R_{\text{GGS}} and prove both conjectures in the disjoint case---when \Gamma_1 \cap \Gamma_2 = \emptyset---and in the orthogonal generalized disjoint case, which is a generalization of \Gamma_1 \perp \Gamma_2. Finally, we prove the twist conjecture for the Cremmer-Gervais triple and discuss cases in which it is known that R_J = R_{\text{GGS}}.


title: Webs, Lenard schemes, and the local geometry of bihamiltonian Toda and Lax structures

abstract: We introduce a criterion that a given bihamiltonian structure allows a local coordinate system where both brackets have constant coefficients. This criterion is applied to the bihamiltonian open Toda lattice in a generic point, which is shown to be locally isomorphic to a Kronecker odd-dimensional pair of brackets with constant coefficients. This shows that the open Toda lattice cannot be locally represented as a product of two bihamiltonian structures. In a generic point the bihamiltonian periodic Toda lattice is shown to be isomorphic to a product of two open Toda lattices (one of which is a (trivial) structure of dimension 1). While the above results might be obtained by more traditional methods, we use an approach based on general results on geometry of webs. This demonstrates a possibility to apply a geometric language to problems on bihamiltonian integrable systems, such a possibility may be no less important than the particular results proven in this paper. Based on these geometric approaches, we conjecture that decompositions similar to the decomposition of the periodic Toda lattice exist in local geometry of the Volterra system, the complete Toda lattice, the multidimensional Euler top, and a regular bihamiltonian Lie coalgebra. We also state general conjectures about geometry of more general ``homogeneous'' finite-dimensional bihamiltonian structures. The class of homogeneous structures is shown to coincide with the class of system integrable by Lenard scheme. The bihamiltonian structures which allow a non-degenerate Lax structure are shown to be locally isomorphic to the open Toda lattice.


title: The Theory of Ultralogics Part I

abstract: As of the date of this version, this monograph (parts I and II) contains all of the known technical results relative to the Robinson-styled nonstandard modeling of natural languages and certain associated linguistic processes such as deduction via consequence operators among other concepts. These results have direct application to the construction of the GGU-model, the GID-model, the GD-model, the MA-model and also apply to philosophy, psychology, properton theory and other aspects of the Nonstandard Physical World (NSP-world).


title: The Theory of Ultralogics Part II

abstract: As of this date of this version, this monograph (part I and II) contains most of the technical results relative to the Robinson-styled nonstandard modeling of natural languages and certain associated linguistic processes such as deduction via consequence operators among other concepts. These results have direct application to the construction of the GGU-model, GID-model, D-world model, MA-model and also apply to philosophy, psychology, properton theory and other aspects of the Nonstandard Physical World (NSP-world).


title: Equivariant aspects of Yang-Mills Floer theory

abstract: We use Floer's exact triangle to study the u-map (cup product with the 4-dimensional class) in the Floer cohomology groups of admissible SO(3) bundles over closed, oriented 3-manifolds. In the case of non-trivial bundles we show that (u^2-64)^n = 0 for some positive integer n. For homology 3-spheres Y the same holds for a certain reduced Floer group, which is obtained from the ordinary one by factoring out interaction with the trivial connection. This leads to a new proof (in the simply-connected case) of the finite type conjecture of Kronheimer and Mrowka concerning the structure of Donaldson polynomials. In the case of rational coefficients, interaction with the trivial connection is measured by a single integer h(Y), which is additive under connected sums and depends only on the rational homology cobordism class of Y.


title: Free stochastic measures via noncrossing partitions

abstract: We consider free multiple stochastic measures in the combinatorial framework of the lattice of all diagonals of an n-dimensional space. In this free case, one can restrict the analysis to only the noncrossing diagonals. We give definitions of what free multiple stochastic measures are, and calculate them for the free Poisson and free compound Poisson processes. We also derive general combinatorial It\^{o}-type relationships between free stochastic measures of different orders. These allow us to calculate, for example, free Poisson-Charlier polynomials, which are the orthogonal polynomials with respect to the free Poisson measure.


title: Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

abstract: We establish a close link between the amenability of a unitary representation $\pi$ of a group $G$ (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system $(\s_\pi,G)$, where $\s_\H$ is the unit sphere the Hilbert space of representation. We prove that $\pi$ is amenable if and only if either $\pi$ contains a finite-dimensional subrepresentation or the maximal uniform compactification of $\s_\pi$ has a $G$-fixed point. Equivalently, the latter means that the $G$-space $(\s_\pi,G)$ has the concentration property: every finite cover of the sphere $\s_\pi$ contains a set $A$ such that for every $\e>0$ the $\e$-neighbourhoods of the translations of $A$ by finitely many elements of $G$ always intersect. As a corollary, amenability of $\pi$ is equivalent to the existence of a $G$-invariant mean on the uniformly continuous bounded functions on $\s_\pi$. As another corollary, a locally compact group $G$ is amenable if and only if for every strongly continuous unitary representation of $G$ in an infinite-dimensional Hilbert space $\mathcal H$ the system $(\s_\H,G)$ has the property of concentration.


title: On symplectic folding

abstract: We study the rigidity and flexibility of symplectic embeddings of simple shapes. It is first proved that under the condition $r_n^2 \le 2 r_1^2$ the symplectic ellipsoid $E(r_1, ..., r_n)$ with radii $r_1 \le ... \le r_n$ does not embed in a ball of radius strictly smaller than $r_n$. We then use symplectic folding to see that this condition is sharp and to construct some nearly optimal embeddings of ellipsoids and polydiscs into balls and cubes. It is finally shown that any connected symplectic manifold of finite volume may be asymptotically filled with skinny ellipsoids or polydiscs.


title: Duistermaat-Heckman distributions for group valued moment maps

abstract: We introduce equivariant Liouville forms and Duistermaat-Heckman distributions for Hamiltonian group actions with group valued moment maps. The theory is illustrated by applications to moduli spaces of flat connections on 2-manifolds.


title: Intermediate Semigroups are Groups

abstract: We consider the lattice of subsemigroups of the general linear group over an Artinian ring containing the group of diagonal matrices and show that every such semigroup is actually a group.


title: The large scale geometry of nilpotent Lie groups

abstract: In this paper, we prove results concerning the large scale geometry of connected, simply connected nonabelian nilpotent Lie groups equipped with left invariant Riemannian metrics. Precisely, we prove that there do not exist quasi-isometric embeddings of such a nilpotent Lie group into either a CAT(0) metric space or an Alexandrov metric space with curvature bounded below. The main technical aspect of this work is the proof of a limited metric differentiability of Lipschitz maps between connected graded nilpotent Lie groups equipped with left invariant Carnot-Caratheodory metrics and complete metric spaces.


title: The algebraic construction of the Novikov complex of a circle-valued Morse function

abstract: The Novikov complex of a circle-valued Morse function is constructed algebraically from the Morse-Smale complex of the restriction to a fundamental domain of the real-valued Morse function on the pullback infinite cyclic cover.


title: Prime spectra of quantized coordinate rings

abstract: This paper is partly a report on current knowledge concerning the structure of (generic) quantized coordinate rings and their prime spectra, and partly propaganda in support of the conjecture that since these algebras share many common properties, there must be a common basis on which to treat them. The first part of the paper is expository. We survey a number of classes of quantized coordinate rings, as well as some related algebras that share common properties, and we record some of the basic properties known to occur for many of these algebras, culminating in stratifications of the prime spectra by the actions of tori of automorphisms. As our main interest is in the generic case, we assume various parameters are not roots of unity whenever convenient. In the second part of the paper, which is based on joint work with E. S. Letzter in [The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras (to appear in Trans. Amer. Math. Soc.)], we offer some support for the conjecture above, in the form of an axiomatic basis for the observed stratifications and their properties. At present, the existence of a suitable supply of normal elements is taken as one of the axioms; the search for better axioms that yield such normal elements is left as an open problem.


title: Cubic Laurent Series in Characteristic 2 with Bounded Partial Quotients

abstract: There is a theory of continued fractions for Laurent series in x^{-1} with coefficients in a field F. This theory bears a close analogy with classical continued fractions for real numbers with Laurent series playing the role of real numbers and the sum of the terms of non-negative degree in x playing the role of the integral part. In this paper we survey the Laurent series u, with coefficients in a finite extension of gf(2), that satisfy an irreducible equation of the form a_0(x)+ a_1(x)u+a_2(x)u^2 + a_3(x)u^3=0 with a_3 \ne 0 and where the a_i are polynomials of low degree in x with coefficients in gf(2). We are particularly interested in the cases in which the sequence of partial quotients is bounded (only finitely many distinct partial quotients occur). We find that there are three essentially different cases when the a_i(x) have degree \le 1. We also make some empirical observations concerning relations between different Laurent series roots of the same cubic.


title: Two Dimensional Fractional Supersymmetry from the Quantum Poincare Group at Roots of Unity

abstract: A group theoretical understanding of the two dimensional fractional supersymmetry is given in terms of the quantum Poincare group at roots of unity. The fractional supersymmetry algebra and the quantum group dual to it are presented and the pseudo-unitary, irreducible representations of them are obtained. The matrix elements of these representations are explicitly constructed.


title: Transitive factorisations in the symmetric group, and combinatorial aspects of singularity theory

abstract: We consider the determination of the number $c_k(\alpha)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $\alpha$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct holomorphic functions on the 2-sphere that preserve a given number of elementary branch point singularities. In this case the monodromy group is the alternating group, and this is another case that, in principle, is of considerable interest. We conjecture an explicit form, for arbitrary k, for the generating series for $c_k(\alpha)$, and prove that it holds for factorisations of permutations with one, two and three cycles ($\alpha$ is a partition with at most three parts). The generating series is naturally expressed in terms of the symmetric functions dual to those introduced by Macdonald for the ``top'' connection coefficients in the class algebra of the symmetric group. Our approach is to determine a differential equation for the generating series from a combinatorial analysis of the creation and annihilation of cycles in products under the minimality condition.


title: Extinction for two parabolic stochastic PDE's on the lattice

abstract: It is well known that, starting with finite mass, the super-Brownian motion dies out in finite time. The goal of this article is to show that with some additional work, one can prove finite time die-out for two types of systems of stochastic differential equations on the lattice Z^d. Our first system involves the heat equation on the lattice Z^d, with a nonlinear noise term u(t,x)^gamma dB_x(t), with 1/2 <= gamma < 1. The B_x are independent Brownian motions. When gamma = 1/2, the measure which puts mass u(t,x) at x is a super-random walk and it is well-known that the process becomes extinct in finite time a.s. Finite-time extinction is known to be a.s. false if gamma = 1. For 1/2 < gamma < 1, we show finite-time die-out by breaking up the solution into pieces, and showing that each piece dies in finite time. Our second example involves the mutually catalytic branching system of stochastic differential equations on Z^d, which was first studied by Dawson and Perkins. Roughly speaking, this process consists of 2 superprocesses with the continuous time simple random walk as the underlying spatial motion. Furthermore, each process stimulates branching and dying in the other process. By using a somewhat different argument, we show that, depending on the initial conditions, finite time extinction of one type may occur with probability 0, or with probability arbitrarily close to 1.


title: Algebraic Conformal Field Theories II

abstract: Some mathematical questions relating to Coset Conformal Field Theories (CFT) are considered in the framework of Algebraic Quantum Field Theory as developed previously by us. We consider the issue of fixed point resolution in the diagonal coset of type A, and show how to decompose reducible representations into irreducibles. We show the corresponding coset CFT gives rise to a unitary tensor modular category in the sense of Turaev, and therefore may be used to construct 3-manifold invariants. We also show that Kac-Wakimoto Hypothesis (KWH) and Kac-Wakimoto Conjecture (KWC) are equivalent under general conditions which can be checked in examples, a result which seems to be hard to prove by purely representation considerations. Examples are also presented.


title: On local uniformization in arbitrary characteristic, I

abstract: We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then alternatively, F' can be obtained from F by at most two Galois extensions; if in addition P is zero-dimensional, then we only need one Galois extension. Certain rational places of rank 1 can be uniformized already on F. We introduce the notion of "relative uniformization" for arbitrary finitely generated extensions of valued fields. Our proofs are based solely on valuation theoretical theorems, which are of fundamental importance in positive characteristic.


title: Geometric aspects of the Daugavet property

abstract: Let X be a closed subspace of a Banach space Y and J be the inclusion map. We say that the pair (X,Y) has the Daugavet property if for every rank one bounded linear operator T from X to Y the following equality \|J+T\|=1+\|T\| holds. A new characterization of the Daugavet property in terms of weak open sets is given. It is shown that the operators not fixing copies of l_1 on a Daugavet pair satisfy the Daugavet equation. Some hereditary properties are found: if X is a Daugavet space and Y is its subspace, then Y is also a Daugavet space provided X/Y has the Radon-Nikodym property; if Y is reflexive, then X/Y is a Daugavet space. Becides, we prove that if (X,Y) has the Daugavet property and Y \subset Z, then Z can be renormed so that (X,Z) possesses the Daugavet property and the equivalent norm coincides with the original one on Y.


title: Stability Theorems for Spaces of Rational Curves

abstract: Let X be a smooth algebraic variety on which a solvable Lie group acts freely on a dense open orbit. Such varieties include generalized flag varieties, toric varieties, Bott-Samelson varieties, and many spherical varieties, as well as equivariant blow-ups of these. We prove that the space of based holomorphic maps from the Riemann sphere to X approximates in an appropriate sense, both in homology and in homotopy the space of all continuous based maps from the 2-sphere to X, that is the 2-fold loop space of X.


title: Periodic orbits of Hamiltonian flows near symplectic critical submanifolds

abstract: In this paper we produce a lower bound for the number of periodic orbits of certain Hamiltonian vector fields near Bott-nondegenerate symplectic critical submanifolds. This result is then related to the problem of finding closed orbits of the motion of a charged low energy particle on a Riemannian manifold under the influence of a magnetic field


title: Constant mean curvature surfaces with three ends

abstract: We announce the classification of complete, almost embedded surfaces of constant mean curvature, with three ends and genus zero: they are classified by triples of points on the sphere whose distances are the asymptotic necksizes of the three ends.


title: The largest linear space of operators satisfying the Daugavet Equation in L_1

abstract: We find the largest linear space of bounded linear operators on L_1(Omega), that being restricted to any L_1(A), A \subset Omega, satisfy the Daugavet equation.


title: Some Remarks on Vector-Valued Integration

abstract: The article presents a new method of integration of functions with values in Banach spaces. This integral and related notions prove to be a useful tool in the study of Banach space geomtry.


title: Multi-interval Subfactors and Modularity of Representations in Conformal Field Theory

abstract: We describe the structure of the inclusions of factors A(E) contained in A(E')' associated with multi-intervals E of R for a local irreducible net A of von Neumann algebras on the real line satisfying the split property and Haag duality. In particular, if the net is conformal and the subfactor has finite index, the inclusion associated with two separated intervals is isomorphic to the Longo-Rehren inclusion, which provides a quantum double construction of the tensor category of superselection sectors of A. As a consequence, the index of A(E) in A(E')' coincides with the global index associated with all irreducible sectors, the braiding symmetry associated with all sectors is non-degenerate, namely the representations of A form a modular tensor category, and every sector is a direct sum of sectors with finite dimension. The superselection structure is generated by local data. The same results hold true if conformal invariance is replaced by strong additivity and there exists a modular PCT symmetry.


title: Coherent state embeddings, polar divisors and Cauchy formulas

abstract: For arbitrary quantizable compact Kaehler manifolds, relations between the geometry given by the coherent states based on the manifold and the algebraic (projective) geometry realised via the coherent state mapping into projective space, are studied. Polar divisors, formulas relating the scalar products of coherent vectors on the manifold with the corresponding scalar products on projective space (Cauchy formulas), two-point, three-point and more generally cyclic m-point functions are discussed. The three-point function is related to the shape invariant of geodesic triangles in projective space.

categories: math.DG math-ph math.AG math.MP math.QA math.SG quant-ph


title: Solving the sextic by iteration: A complex dynamical approach

abstract: Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, the its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This symmetry-breaking provides for a reliable or "generally-convergent" quintic-solving algorithm: with almost any fifth-degree equation, associate a rational mapping that has reliable dynamics and whose attractor consists of points from which one computes a root. An algorithm that solves the sixth-degree equation requires a dynamical system with the symmetry of the alternating group on six things. This group does not act on the Riemmann sphere, but does act on the complex projective plane--this is the Valentiner group. The present work exploits the resulting 2-dimensional geometry in finding a Valentiner-symmetric rational mapping whose elegant dynamics experimentally appear to be reliable in the above sense---transferred to the 2-dimensional setting. This map provides the central feature of a conjecturally-reliable sextic-solving algorithm analogous to that employed in the quintic case.


title: Transformation Laws for Theta functions

abstract: We prove some results which extend the classical theory, due to Hecke-Schoeneberg, of the transformation laws of theta functions. Although our results are classical in natural, they were suggested by recent work involving modular-invariance in conformal field theory.


title: A weight system derived from the multivariable Conway potential function

abstract: A weight system is defined from the (multivariable) Conway potential function. We also show that it can be calculated recursively by using five axioms.


title: Even Sets of Lines on Quartic Surfaces

abstract: An effective divisor D on a smooth (compact complex) surface X is called even, if its class $[D] \in H^2(X,\Z)$ is divisible by 2. D may be assumed reduced w.l.o.g. Then D being even is equivalent to the existence of a double cover $Y \to X$ branched exactly over D. The aim of this note is to study arrangements of $n \leq 10$ distinct lines on a smooth quartic surface $X \subset \P_3$, which form an even divisor in this sense. The result is that for $n \leq 8$ there are no unexpected ones (one type of six lines, four types of eight lines). And for n=10 a partial classification is given in the following sense: Each even set of ten lines on a smooth quartic surface is of one of eleven different types. At the moment I do not know which of these types do actually occur. The proof for these facts is messy, essentially checking cases.


title: Induced representations of affine Hecke algebras and singularities of R-matrices

abstract: We give an explicit criterion for the irreducibility of some induction products of evaluation modules of affine Hecke algebras of type A. This allows to describe the form of the singularities of the trigonometric R-matrix associated to any evaluation module of U_v(sl^_N).


title: Solving the sextic by iteration: A study in complex geometry and dynamics

abstract: Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This symmetry-breaking provides for a reliable or "generally-convergent" quintic-solving algorithm: with almost any fifth-degree equation, associate a rational map that has reliable dynamics and whose attractor consists of points from which one computes a root. An algorithm that solves the sixth-degree equation requires a dynamical system with the symmetry of the alternating group on six things. This group does not act on the Riemmann sphere, but does act on the complex projective plane--this is the Valentiner group. The present work exploits the resulting 2-dimensional geometry in finding a Valentiner-symmetric rational map whose elegant dynamics experimentally appear to be reliable in the above sense--transferred to the 2-dimensional setting. This map provides the central feature of a conjecturally-reliable sextic-solving procedure analogous to that employed in the quintic case. The paper culminates in an explicit description of the algorithm.


title: A Rokhlin Conjecture and Smooth Quotients by the Complex Conjugation of Singular Real Algebraic Surfaces

abstract: The topology of the orbit space, $Y$, for the action of the complex conjugation on a complex surface, $X$, defined over reals, is studied. I give a criterion for blow-up stable triviality of $Y$ (which implies vanishing of its Seiberg-Witten invariants). The main result concerns the double planes branched along the complexification of reducible real curves with 2 non-singular components. In connection with it, I analize the real singularities of $X$ which become smooth in $Y$ (after taking quotient).


title: Generating functions for the coefficients of the Cremmer-Gervais R-matrices

abstract: The coefficients of certain operators on $V\otimes V$ can be constructed using generating functions. Necessary and sufficient conditions are given for some such operators to satisfy the Yang-Baxter equation. As a corollary we obtain a simple, direct proof that the Cremmer-Gervais R-matrices satisfy the Yang-Baxter equation. This approach also clarifies Cremmer and Gervais's original proof via the dynamical Yang-Baxter equation.


title: On absolutely divergent series

abstract: We show that in the aleph_2-stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(omega)/fin. This complements Vojtas' result, that under cf(c)=p the two algebras are isomorphic


title: Decomposition of the vertex operator algebra V_{\sqrt{2}A_3}

abstract: For vertex operator algebra V_{\sqrt{2}A_l} associated to the even lattice \sqrt{2}A_l which is \sqrt{2} times root lattice of type A_l, it was shown by Dong-Li-Maosn-Norton that the Virasoro vector is a sum of l+1 mutually orthogonal conformal vectors with central charges c_i=1-6/(i+2)(i+3) for i=1,...,l and c_{l+1}=2l/(l+3) and the subalgebra T generated by these vectors is a tensor product of Virasoro vertex operator algebras L(c_i,0). In this paper we determine the decomposition of V_{\sqrt{2}A_3} into the sum of irreducible T-modules completely.


title: On incomparability and related cardinal functions on ultraproducts of Boolean algebras

abstract: Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, pi-character, hereditary Lindelof number, hereditary density. It is shown to be consistent that there exists a sequence <B_i:i<kappa> of Boolean algebras and an ultrafilter D on kappa such that C(prod_{i<kappa}B_i/D)<|prod_{i<kappa}C(B_i)/D|. This answers a number of problems posed by Monk.


title: On Z-graded associative algebras and their N-graded modules

abstract: Let $A$ be a $Z$-graded associative algebra and let $\rho$ be an irreducible $N$-graded representation of $A$ on $W$ with finite-dimensional homogeneous subspaces. Then it is proved that $\rho(\tilde{A})=gl_{J}(W)$, where $\tilde{A}$ is the completion of $A$ with respect to a certain topology and $gl_{J}(W)$ is the subalgebra of $\End W$, generated by homogeneous endomorphisms. It is also proved that an $N$-graded vector space $W$ with finite-dimensional homogeneous spaces is the only continuous irreducible $N$-graded $gl_{J}(W)$-module up to equivalence, where $gl_{J}(W)$ is considered as a topological algebra in a certain natural way, and that any continuous $N$-graded $gl_{J}(W)$-module is a direct sum of some copies of $W$. A duality for certain subalgebras of $gl_{J}(W)$ is also obtained.


title: Scattering poles for asymptotically hyperbolic manifolds

abstract: For a class of manifolds that includes quotients of real hyperbolic space by a convex co-compact discrete group, we show that the resonances of the meromorphically continued resolvent kernel for the Laplacian coincide, with multiplicities, with the poles of the meromorphically continued scattering operator. In order to carry out the proof, we use Shmuel Agmon's perturbation theory of resonances to show that both resolvent resonances and scattering poles are simple for generic potential perturbations.


title: Dirac structures and dynamical r-matrices

abstract: The purpose of this paper is to establish a connection between various subjects such as dynamical r-matrices, Lie bialgebroids, and Lagrangian subalgebras. Our method relies on the theory of Dirac structures developed in dg-ga/9508013 and dg-ga/9611001. In particular, we give a new method of classifying dynamical r-matrices of simple Lie algebras $\frak g$, and prove that dynamical r-matrices are in one-one correspondence with certain Lagrangian subalgebras of ${\frak g}\oplus \frak g$.


title: Down-Up Algebras and Representation Theory

abstract: A class of algebras called down-up algebras was introduced by G. Benkart and T. Roby. We classify the finite dimensional simple modules over Noetherian down-up algebras and show that in some cases every finite dimensional module is semisimple. We also study the question of when two down-up algebras are isomorphic.


title: Scaling limit of Fourier-Walsh coefficients (a framework)

abstract: Independent random signs can govern various discrete models that converge to non-isomorphic continuous limits. Convergence of Fourier-Walsh spectra is established under appropriate conditions.


title: Asymptotic Behavior of Positive Solutions of the Equation $\Delta u + K u^{(n + 2)/(n - 2)} = 0$ in R^n and Positive Scalar Curvature

abstract: We study asymptotic behavior of positive smooth solutions of the conformal scalar curvature equation in ${\bf R}^n$. We consider the case when the scalar curvature of the conformal metric is bounded between two positive numbers outside a compact set. It is shown that the solution has slow decay if the radial change is controlled. For a positive solution with slow decay, the corresponding conformal metric is found to be complete if and only if the total volume is infinite. We also determine the sign of the Pohozaev number in some situations and show that if the Pohozaev is equal to zero, then either the solution has fast decay, or the conformal metric corresponding to the solution is complete and the corresponding solution in ${\bf R} \times S^{n - 1}$ has a sequence of local maxima that approach the standard spherical solution.


title: Characters of irreducible modules with non-critical highest weights over affine Lie algebras

abstract: We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.


title: Generalized periods and mirror symmetry in dimensions n>3

abstract: The predictions of the Mirror Symmetry are extended in dimensions n>3 and are proven for projective complete intersections Calabi-Yau varieties. Precisely, we prove that the total collection of rational Gromov-Witten invariants of such variety can be expressed in terms of certain invariants of a new generalization of variation of Hodge structures attached to the dual variety. To formulate the general principles of Mirror Symmetry in arbitrary dimension it is necessary to introduce the ``extended moduli space of complex structures'' M. An analog M\to H*(X,C)[n] of the classical period map is described and is shown to be a local isomorphism. The invariants of the generalized variations of Hodge structures are introduced. It is proven that their generating function satisfies the system of WDVV-equations exactly as in the case of Gromov-Witten invariants. The basic technical tool utilized is the Deformation theory.


title: T-comitants and the Problem of a Center for Quadratic Differential Systems

abstract: The new necessary and sufficient affine invariant conditions for the existence and for determining the number of centers for general quadratic system are pointed out. These conditions correspond to the partition of 12-dimensional coefficient space of indicated system with respect to the number and the multiplicity of its finite critical points.


title: On the Grushin operator and hyperbolic symmetry

abstract: Complexity of geometric symmetry for differential operators with mixed homogeniety is examined here. Sharp Sobolev estimates are calculated for the Grushin operator in low dimensions using hyperbolic symmetry and conformal geometry.


title: Vortex Structures for an SO(5) Model of High-T_C Superconductivity and Antiferromagnetism

abstract: We study the structure of symmetric vortices in a Ginzburg-Landau model based on S. C. Zhang's SO(5) theory of high temperature superconductivity and antiferromagnetism. We consider both a full Ginzburg-Landau theory (with Ginzburg-Landau scaling parameter kappa) and a high-kappa limiting model. In all cases we find that the usual superconducting vortices (with normal phase in the central core region) become unstable (not energy minimizing) when the chemical potential crosses a threshold level, giving rise to a new vortex profile with antiferromagnetic ordering in the core region. We show that this phase transition in the cores is due to a bifurcation from a simple eigenvalue of the linearized equations. In the limiting large kappa model we prove that the antiferromagnetic core solutions are always nondegenerate local energy minimizers and prove an exact multiplicity result for physically relevent solutions.

categories: math.AP cond-mat.supr-con math-ph math.MP


title: Z_n Quasialgebras

abstract: Recently we have reformulated the octonions as quasissociative algebras (quasialgebras) living in a symmetric monoidal category. In this note we provide further examples of quasialgebras, namely ones where the nonassociativity is induced by a Z_n-grading and a nontrivial 3-cocycle


title: Partial Representations and Partial Group Algebras

abstract: The partial group algebra of a group G over a field K, denoted by K_{par}(G), is the algebra whose representations correspond to the partial representations of G over K-vector spaces. In this paper we study the structure of the partial group algebra K_{par}(G), where G is a finite group. In particular, given two finite abelian groups G_1 and G_2, we prove that if the characteristic of K is zero, then K_{par}(G_1) is isomorphic to K_{par}(G_2) if and only if G_1 is isomorphic to G_2.


title: Configurations of curves and geodesics on surfaces

abstract: We study configurations of immersed curves in surfaces and surfaces in 3-manifolds. Among other results, we show that primitive curves have only finitely many configurations which minimize the number of double points. We give examples of minimal configurations not realized by geodesics in any hyperbolic metric.


title: On a Result of Atkin and Lehner

abstract: We wish to give a new proof of one of the main results of Atkin and Lehner. Their theory depends, among other things, on a theorem characterizing forms in S_k(Gamma_0(N)) whose Fourier coefficients satisfy a certain vanishing condition. Our proof involves rephrasing this vanishing condition in terms of representation theory; this, together with an elementary linear algebra argument, allows us to rewrite the problem as a collection of local problems. Furthermore, the classical phrasing of the theorem makes the resulting local problems trivial; this is in contrast to the method of Casselman, whose local problem relies upon knowledge of the structure of irreducible representations of GL_2(Q_p). Our proof is therefore much more accessible to mathematicians who aren't specialists in the representation theory of p-adic groups; the method is also applicable to other Atkin-Lehner-style problems.


title: On the cohomology of discriminantal arrangements and Orlik-Solomon algebras

abstract: We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orlik-Solomon algebra.


title: Counting zeros of closed 1-forms

abstract: The paper suggests new topological lower bounds for the number of zeros of closed 1-forms within a given cohomology class. The main new technical tool is the deformation complex, which allows to pass to a singular limit and reduce the original problem with a closed 1-form to a traditional problem with a Morse function. We show by examples that the suggested approach may provide stronger estimates than the Novikov inequalities. The technique of the paper also applies to study topology of the set of zeros of closed 1-forms under Bott non-degeneracy assumptions.


title: Shape Fluctuations and Random Matrices

abstract: We study a certain random groeth model in two dimensions closely related to the one-dimensional totally asymmetric exclusion process. The results show that the shape fluctuations, appropriately scaled, converges in distribution to the Tracy-Widom largest eigenvalue distribution for the Gaussian Unitary Ensemble.


title: Quandle Cohomology and State-sum Invariants of Knotted Curves and Surfaces

abstract: The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for classical knots and knotted surfaces is developed via a cohomology theory of racks and quandles (also known as distributive groupoids). A quandle is a set with a binary operation --- the axioms of which model the Reidemeister moves in the classical theory of knotted and linked curves in 3-space. Colorings of diagrams of knotted curves and surfaces by quandle elements, together with cocycles of quandles, are used to define state-sum invariants for knotted circles in 3-space and knotted surfaces in 4-space. Cohomology groups of various quandles are computed herein and applied to the study of the state-sum invariants of classical knots and links and other linked surfaces. Non-triviality of the invariants are proved for variety of knots and links, including the trefoil and figure-eight knots, and conversely, knot invariants are used to prove non-triviality of cohomology for a variety of quandles.


title: Regular flip equivalence of surface triangulations

abstract: Any two triangulations of a closed surface with the same number of vertices can be transformed into each other by a sequence of regular flips, provided the number of vertices exceeds a number N depending on the surface. Examples show that in general N is bigger than the minimal number of vertices of a triangulation. The existence of N was known, but no estimate. This paper provides an estimate for N that is linear in the Euler characteristic of the surface.


title: A class of sheaves satisfying Kodaira's vanishing theorem

abstract: This paper contains a Kawamata-Viehweg-Koll\'ar type vanishing theorem for vector bundles. In order to formulate and prove this cleanly, we introduce a class of sheaves that automatically satisfies a vanishing theorem. This is obtained by closing up the subclass of sheaves of adjoint type under extensions, direct images, and taking direct summands.


title: Commensurability and locally free Kleinian groups

abstract: We show that there exist infinitely many commensurability classes of finite volume hyperbolic 3-manifolds whose fundamental group contains a subgroup which is locally free but not free. The main technical tool is the fact that a collection of hyperbolic 3-manifolds of bounded volume contains infinitely many commensurability classes. The result then by an application of Thurston's hyperbolization theorem for Haken 3-manifolds.


title: A Characterization of Compact-friendly Multiplication Operators

abstract: Answering in the affirmative a question posed in [Y.A.Abramovich, C.D.Aliprantis and O.Burkinshaw, Multiplication and compact-friendly operators, Positivity 1 (1997), 171--180], we prove that a positive multiplication operator on any $L_p$-space (resp. on a $C(\Omega)$-space) is compact-friendly if and only if the multiplier is constant on a set of positive measure (resp. on a non-empty open set). In the process of establishing this result, we also prove that any multiplication operator has a family of hyperinvariant bands -- a fact that does not seem to have appeared in the literature before. This provides useful information about the commutant of a multiplication operator.


title: Novikov - Shubin signatures, I

abstract: Torsion objects of von Neumann categories describe the phenomen "spectrum near zero" discovered by S. Novikov and M. Shubin. In this paper we classify Hermitian forms on torsion objects of a finite von Neumann category. We prove that any such form can be represented as a discriminant form of a degenerate Hermitian form on a projective module. We also find a relation between the Hermitian forms on projective modules which holds if and only if their discriminant forms are congruent. A notion of superfinite von Neumann category is introduced. It is proven that the classification of torsion Hermitian forms in a superfinite category can be completely reduced to the isomorphisn types of their positive and negative parts.


title: Absolute torsion and eta-invariant

abstract: In a recent joint work with V. Turaev (cf. math.DG/9810114) we defined a new concept of combinatorial torsion which we called absolute torsion. Compared with the classical Reidemeister torsion it has the advantage of having a well-defined sign. Also, the absolute torsion is defined for arbitrary orientable flat vector bundles, and not only for unimodular ones, as is classical Reidemeister torsion. In this paper I show that the sign behavior of the absolute torsion, under a continuous deformation of the flat bundle, is determined by the eta-invariant and the Pontrjagin classes.


title: A characterization of operators preserving disjointness in terms of their inverse

abstract: The characterization mentioned in the title is found.


title: Prime ideals in certain quantum determinantal rings

abstract: The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.


title: An Enumeration of Certain Equivalence Classes of Directed Multigraphs Having 0 to 5 Nodes with Each Node Having 2 Incoming and 2 Outgoing Arcs

abstract: An enumeration is given of certain equivalence classes of directed multigraphs having 0 to 5 nodes with each node having 2 incoming and 2 outgoing arcs.


title: Determining Asymptotics of Magnetic Fields from Fixed Energy Scattering Data

abstract: The problem of recovering the asymptotics of a short range perturbation of the Euclidean Laplacian on n dimensional Eudlidean space from fixed energy scattering data is studied. It is shown that for greater than or equal to three that a magnetic potential is determined, modulo Gauge invariance, by its scattering matrix at a fixed non-zero energy. This result also holds for a wide class of scattering manifolds.


title: Kuga-Satake varieties and the Hodge conjecture

abstract: This paper gives an introduction to Kuga-Satake varieties and discusses some aspects of the Hodge conjecture related to them. Kuga-Satake varieties are abelian varieties associated to certain weight two Hodge structures, for example the second cohomology group of a K3 surface. We give a detailed account of the construction of Kuga-Satake varieties and of their decomposition in simple subvarieties. We recall the Hodge conjecture and we point out a connection between the Hodge conjecture for abelian fourfolds and Kuga-Satake varieties. We discuss the implications of the Hodge conjecture on the geometry of surfaces whose second cohomology group has a Kuga-Satake variety. We conclude with some recent results on Kuga-Satake varieties of Hodge structures on which an imaginary quadratic field acts.


title: The homology groups of some two-step nilpotent Lie algebras associated to symplectic vector spaces

abstract: Let H be a symplectic vector space, let V be a vector space, and consider the nilpotent Lie algebra L_H(V) = H \otimes V + S^2(V) with bracket [(h_1 \otimes v_1;a_1),(h_2 \otimes v_2;a_2)] = (0,<h_1,h_2> v_1 v_2) . In this paper, we calculate the Lie algebra homology of L_H(V) as a polynomial functor of V. This has applications to the analysis of the Leray-Serre spectral sequence of the fibrations of moduli spaces of pointed curves M_{1,n}->M_{1,1} and M_{g,n}->M_g.


title: Approximation de m\'etriques de Yang-Mills pour un fibr\'e E=E0 partir de m\'etriques induites de $H^{0}(X,E(n))$

abstract: Let $E_{n}$ be an holomorphic bundle of rank two on an algebraic curve $X$ (the degree of $E_{n}$ is $n$ apart from an additive constant). Note by $Met(E_{n})$ the space of hermitian metrics $h$ on $E_{n}$. Also, consider $Met(W_{n})$, the space of metrics on $H^{0}(X,E_{n})$. Although $Met(W_{n})$ is finite dimensional, it's dimension grows with $n$. So we can ask how to obtain a way to describe particular metrics of $Met(E_{n})$ using $Met(W_{n})$. First, we link these two spaces by two morphisms $L_{n}$ and $I_{n}$. Donaldson gave a criterion for detecting Einstein Hermitian metrics on $Met(E_{n})$, using a functional $\mathcal M$. We construct another functional on $Met(W_{n})$, $\mathcal KN_{n}$, using an algebraic idea of Kempf and Ness. In our investigations we prove that the variation of the analytic torsion, when $h$ varies, becomes small when $n$ grows . However our main result is that $\mathcal M-\mathcal KN\circ L_{n}$ becomes small when $n$ grows. Moreover, with some hypotheses, we show that Yang-Mills minimum can be characterized(appromimately) by $\mathcal KN_{n}$. The proof of our main theorem is based on constructing "concentrated" sections of $E_{n}$, in a way similar to Donaldson's recent work on symplectic varieties.


title: Combinatorics of geometrically distributed random variables: Inversions and a parameter of Knuth

abstract: For words of length $n$, generated by independent geometric random variables, we consider the mean and variance of the number of inversions and of a parameter of Knuth from permutation in situ. In this way, $q$--analogues for these parameters from the usual permutation model are obtained.


title: Integrable systems in projective differential geometry

abstract: Some of the most important classes of surfaces in projective 3-space are reviewed: these are isothermally asymptotic surfaces, projectively applicable surfaces, surfaces of Jonas, projectively minimal surfaces, etc. It is demonstrated that the corresponding projective "Gauss-Codazzi" equations reduce to integrable systems which are quite familiar from the modern soliton theory and coincide with the stationary flows in the Davey-Stewartson and Kadomtsev-Petviashvili hierarchies, equations of the Toda lattice, etc. The corresponding Lax pairs can be obtained by inserting a spectral parameter in the equations of the Wilczynski moving frame.


title: Covariant (hh')-Deformed Bosonic and Fermionic Algebras as Contraction Limits of q-Deformed Ones

abstract: $GL_h(n) \times GL_{h'}(m)$-covariant (hh')-bosonic (or (hh')-fermionic) algebras ${\cal A}_{hh'\pm}(n,m)$ are built in terms of the corresponding R_h and $R_{h'}$-matrices by contracting the $GL_q(n) \times GL_{q^{\pm1}}(m)$-covariant q-bosonic (or q-fermionic) algebras ${\cal A}^{(\alpha)}_{q\pm}(n,m)$, $\alpha = 1, 2$. When using a basis of ${\cal A}^{(\alpha)}_{q\pm}(n,m)$ wherein the annihilation operators are contragredient to the creation ones, this contraction procedure can be carried out for any n, m values. When employing instead a basis wherein the annihilation operators, as the creation ones, are irreducible tensor operators with respect to the dual quantum algebra $U_q(gl(n)) \otimes U_{q^{\pm1}}(gl(m))$, a contraction limit only exists for $n, m \in \{1, 2, 4, 6, ...\}$. For n=2, m=1, and n=m=2, the resulting relations can be expressed in terms of coupled (anti)commutators (as in the classical case), by using $U_h(sl(2))$ (instead of sl(2)) Clebsch-Gordan coefficients. Some U_h(sl(2)) rank-1/2 irreducible tensor operators, recently constructed by Aizawa, are shown to provide a realization of ${\cal A}_{h\pm}(2,1)$.


title: Real embeddings and the Atiyah-Patodi-Singer index theorem for Dirac operators

abstract: We present the details of our embedding proof of the Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary.


title: Three-player impartial games

abstract: Past efforts to classify impartial three-player combinatorial games (the theories of Li and Straffin) have made various restrictive assumptions about the rationality of one's opponents and the formation and behavior of coalitions. One may instead adopt an agnostic attitude towards such issues, and seek only to understand in what circumstances one player has a winning strategy against the combined forces of the other two. By limiting ourselves to this more modest theoretical objective, and by regarding two games as being equivalent if they are interchangeable in all disjunctive sums,as far as single-player winnability is concerned, we can obtain an interesting analogue of Grundy values for three-player impartial games.


title: Hodge theory and $A_{\infty}$ structures on cohomology

abstract: We use Hodge theory and a construction of Merkulov to construct $A_{\infty}$ structures on de Rham cohomology and Dolbeault cohomology.


title: On Lunn-Senior's Mathematical Model of Isomerism in Organic Chemistry. Part I

abstract: The aim of this paper is to present a generalization of Lunn-Senior's mathematical model of isomerism in organic chemistry. The main idea of Lunn and Senior is that if the type of isomerism is fixed, a molecule with a fixed skeleton and d univalent substituents has a symmetry group $W\leq S_d$ which is generally not the molecule's 3-dimensional symmetry group. The unit character of W induces a representation of the symmetric group $S_d$ which governs the combinatorics of the isomers of the given molecule. Lunn-Senior's thesis is that certain non-negative integers established by this representation are upper boundaries of the corresponding numbers, yielded by the experiment (and often coincide with them). Moreover, the authors define (in a particular case) a partial order among the objects of the model, such that some simple substitution reactions correspond to inequalities. These two groups of data determine the group W, and produce so called "type properties" of the molecule (properties which do not depend on the nature of the univalent substituents). Our hypothesis is that if we replace the unit character of $W$ by any one-dimensional character of $W$ (thus we count only a part of the isomers - those having a maximum property), we also get a type property of the molecule. An instance of that is the inventory of the stereoisomers called chiral pairs. The formalism can be generalized naturally and produces some preliminary chemical results. Especially the partial order is defined and studied in the general case and indicates the possible genetic relations among the corresponding molecules. An important result of E. Ruch which connects the dominance order among partitions and the existence of chiral pairs is obtained as a consequence of a more general statement.


title: d-independence and d-bases in vector lattices

abstract: This article contains the results of two types. First we give a complete characterization of band preserving projection operators on Dedekind complete vector lattices. This is done in Theorem~3.4. Let us mention also Theorem~3.2 that contains a description of such operators on arbitrary laterally complete vector lattices. The central role in these descriptions is played by d-bases, one of two principal tools utilized in our work [{\it Inverses of Disjointness Preserving Operators}, Memoirs of the Amer. Math. Soc., forthcoming]. The concept of a d-basis has been applied so far only to vector lattices with a large amount of projection bands. The absence of the projection bands has been the major obstacle for extending, otherwise very useful concept of d-bases, to arbitrary vector lattices. In Section~4 we overcome this obstacle by finding a new way to introduce d-independence in an arbitrary vector lattice. This allows us to produce a new definition of a d-basis which is free of the existence of projection bands. We illustrate this by proving several results devoted to cardinality of d-bases. Theorems~4.13 and~4.15 are the main of them and they assert that, under very general conditions, a vector lattice either has a singleton d-basis of else this d-basis must be infinite.


title: Dynkin diagrams and crepant resolutions of quotient singularities

abstract: Let $V$ be a complex vector space on which a finite group $G$ acts by linear transformations. Let $W = V \oplus V^*$ be the sum of $V$ with its dual $V^*$. We prove that if the quotient $W/G$ admits a smooth crepant resolution, then the subgroup $G \subset Aut V$ is generated by complex reflections. We also obtain some results on the structure of smooth crepant resolutions of the quotients $W/G$, where $W$ is a symplectic vector space, and $G \subset Aut W$ is a finite group of symplectic linear transformations of the vector space $W$.


title: On the Casson knot invariant

abstract: We study the Vassiliev knot invariant v_2 of degree 2. We present it via the degrees of maps of various configuration spaces related to a knot to products of spheres. This gives rise to numerous geometrical and combinatorial formulas for this invariant.


title: A duality of a twisted group algebra of the hyperoctahedral group and the queer Lie superalgebra

abstract: We establish a duality relation between one of the twisted group algebras of the hyperoctahedral groupf H_k and a Lie superalgebra q(n_0) \oplus q(n_1) for any integers k and n_0, n_1, where q(n_0) and q(n_1) denote the ``queer'' Liesuperalgebras. Note that this twisted group algebra \B'_k belongs to a different cocycle from the one \B_k used by A. N. Sergeev in [8] and by the present author in [11]. We will use the supertensor product \C_k \otimes \B'_k of the 2^k-dimensional Clifford algebra \C_k and \B'_k, as an intermediary for establishing our duality. We show that the algebra \C_k \otimes B'_k and q(n_0) \oplus q(n_1) act on the k-fold tensor product W=V^{\otimes k} of the natural representation V of q(n_0+n_1) ``as mutual centralizers of each other'' (Theorem 4.1). Moreover, we show that \B'_k and q(n_0) \oplus q(n_1) act on a subspace W' of W ``as mutual centralizers of each other'' (Theorem 4.2). This duality relation gives a formula for character values of simple B'_k-modules. This formula is di fferent from a formula (Theorem D) obtained by J. R. Stembridge (cf. [10, Lem 7.5]).


title: The surprise examination or unexpected hanging paradox

abstract: The apparently trifling unexpected hanging paradox has generated an enormous philosophical literature. We introduce the mathematician to this literature, paying special attention to aspects that involve nontrivial mathematics. This xxx version of the paper contains an exhaustive bibliography that the editors of the Monthly deemed too lengthy to publish. The bibliography will be continually updated and readers are encouraged to inform the author of any omissions that they discover.


title: Finite Order q-Invariants of Immersions of Surfaces into 3-Space

abstract: Given a surface F, we are interested in Z/2 valued invariants of immersions of F into R^3, which are constant on each connected component of the complement of the quadruple point discriminant in Imm(F,R^3). Such invariants will be called ``q-invariants.'' Given a regular homotopy class A in Imm(F,R^3), we denote by V_n(A) the space of all q-invariants on A of order <= n. We show that if F is orientable, then for each regular homotopy class A and each n, dim(V_n(A) / V_{n-1}(A)) <= 1.


title: Essential dimensions of algebraic groups and a resolution theorem for G-varieties

abstract: Let G be an algebraic group and let X be a generically free G-variety. We show that X can be transformed, by a sequence of blowups with smooth G-equivariant centers, into a G-variety X' with the following property: the stabilizer of every point of X' is isomorphic to a semidirect product of a unipotent group U and a diagonalizable group A. As an application of this and related results, we prove new lower bounds on essential dimensions of some algebraic groups. We also show that certain polynomials in one variable cannot be simplified by a Tschirnhaus transformation.


title: Non-abelian (p,p) classes

abstract: In this paper we generalize to the non-abelian context a classical theorem of Griffiths which studies the behavior of the $(p,q)$-components of a horizontal section in a variation of Hodge structures over a smooth projective variety.


title: Orbit equivalence and topological conjugacy of affine actions on compact abelian groups

abstract: In this paper we study topological rigidity of affine actions on compact connected metrizable abelian groups. We also classify one-parameter flows of translations upto orbit equivalence and discrete group actions by translations upto topological conjugacy.


title: The weak-type (1,1) of L \log L homogeneous convolution operators

abstract: We show that a homogeneous convolution kernel on an arbitrary homogeneous group which is L \log L on the unit annulus is bounded on L^p for 1 < p < \infty and is of weak-type (1,1), generalizing the result of Seeger. The proof is in a similar spirit to that of Christ and Rubio de Francia.


title: An improved bound on the Minkowski dimension of Besicovitch sets in R^3

abstract: A Besicovitch set is a set which contains a unit line segment in any direction. It is known that the Minkowski and Hausdorff dimensions of such a set must be greater than or equal to 5/2 in \R^3. In this paper we show that the Minkowski dimension must in fact be greater than 5/2 + \epsilon for some absolute constant \epsilon > 0. One observation arising from the argument is that Besicovitch sets of near-minimal dimension have to satisfy certain strong properties, which we call ``stickiness,'' ``planiness,'' and ``graininess.'' The purpose of this paper is to improve upon the known bounds for the Minkowski dimension of Besicovitch sets in three dimensions. As a by-product of the argument we obtain some strong conclusions on the structure of Besicovitch sets with almost-minimal Minkowski dimension.


title: A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$-pretopoi

abstract: Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial localization $L(M)$; (ii) $A$ admits all small homotopy colimits, and there is a small subset of objects of $A$ which are $A$-small, and which generate $A$ by homotopy colimits; (iii) There exists a small 1-category $C$ and a morphism $g:C\to A$ sending objects of $C$ to $A$-small objects, which induces a fully faithful inclusion $i:A\to \hat{C}$, such that $i$ admits a left homotopy-adjoint $\psi$. We call a Segal category $A$ which satisfies these equivalent conditions, an $\infty$-pretopos. Note that (i) implies that $A$ admits all small homotopy limits too. If furthermore there exists $C\to A$ as in (iii) such that the adjoint $\psi$ preserves finite homotopy limits, then we say that $A$ is an ``$\infty$-topos''.


title: Contact reductions, mechanics and duality

abstract: Contact reduction is very closely related to symplectic reduction, but it allows symmetries that are not manifest in Hamiltonian mechanics and moreover, solution of the reduced problems yields solution of the original problem without further integration.


title: Permutations Containing and Avoiding 123 and 132 Patterns

abstract: We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern equals (n-2)2^(n-3). We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is (n-3)(n-4)2^(n-5).


title: The Number of Permutations With A Prescribed Number of 132 and 123 Patterns

abstract: Here we present the reasoning behind, and program to find, the generating functions for the number of permutations in the title. The article duals as the "accompanying" Maple package.


title: The Almost Rigidity of Manifolds with Lower Bounds on Ricci Curvature and Minimal Volume Growth

abstract: We consider complete noncompact Riemannian manifolds with quadratically decaying lower Ricci curvature bounds and minimal volume growth. We first prove a rigidity result showing that ends with strongly minimal volume growth are isometric to warped product manifolds. Next we consider the almost rigid case in which manifolds with nonnegative and quadratically decaying lower Ricci curvature bounds have minimal volume growth. Compact regions in such manifolds are shown to be asymptotically close to warped products in the Gromov-Hausdorff topology. Manifolds with nonnegative Ricci curvature and linear volume growth are shown to have regions which are asymptotically close to being isometric products. The proofs involve a careful analysis of the Busemann functions on these manifolds using the recently developed Cheeger-Colding Almost Rigidity Theory. In addition, we show that the diameters of the level sets of Busemann functions in such manifolds grow sublinearly.


title: Harmonic Functions on Manifolds with Nonnegative Ricci Curvature and Linear Volume Growth

abstract: Lower bounds on Ricci curvature limit the volumes of sets and the existence of harmonic functions on Riemannian manifolds. In 1975, Shing Tung Yau proved that a complete noncompact manifold with nonnegative Ricci curvature has no nonconstant harmonic functions of sublinear growth. In the same paper, Yau used this result to prove that a complete noncompact manifold with nonnegative Ricci curvature has at least linear volume growth. In this paper, we prove the following theorem concerning harmonic functions on these manifolds. Theorem: Let M be a complete noncompact manifold with nonnegative Ricci curvature and at most linear volume growth. If there exists a nonconstant harmonic function, f, of polynomial growth of any given degree q, then the manifold splits isometrically, M= N x R.


title: The Geometry of R-covered foliations

abstract: We study R-covered foliations of 3-manifolds from the point of view of their transverse geometry. For an R-covered foliation in an atoroidal 3-manifold M, we show that M-tilde can be partially compactified by a canonical cylinder S^1_univ x R on which pi_1(M) acts by elements of Homeo(S^1) x Homeo(R), where the S^1 factor is canonically identified with the circle at infinity of each leaf of F-tilde. We construct a pair of very full genuine laminations transverse to each other and to F, which bind every leaf of F. This pair of laminations can be blown down to give a transverse regulating pseudo-Anosov flow for F, analogous to Thurston's structure theorem for surface bundles over a circle with pseudo-Anosov monodromy. A corollary of the existence of this structure is that the underlying manifold M is homotopy rigid in the sense that a self-homeomorphism homotopic to the identity is isotopic to the identity. Furthermore, the product structures at infinity are rigid under deformations of the foliation F through R-covered foliations, in the sense that the representations of pi_1(M) in Homeo((S^1_univ)_t) are all conjugate for a family parameterized by t. Another corollary is that the ambient manifold has word-hyperbolic fundamental group. Finally we speculate on connections between these results and a program to prove the geometrization conjecture for tautly foliated 3-manifolds.


title: Zero Assignment, Pole Placement and Matrix Extension Problems: A Common Point of View

abstract: The paper studies a general inverse eigenvalue problem which contains as special cases many well studied pole placement and matrix extension problems. It is shown that the studied problem corresponds on the geometric side to a central projection from some projective variety. The degree for this variety is computed in the critical dimension.


title: Holomorphic symplectic geometry and orbifold singularities

abstract: Let G be a finite group acting on a symplectic complex vector space V. Assume that the quotient V/G has a holomorphic symplectic resolution. We prove that G is generated by "symplectic reflectionsd"', i.e. symplectomorphisms with fixed space of codimension 2 in V. Symplectic resolutions are always semismall. A crepant resolution of V/G is always symplectic. We give a symplectic version of Nakamura conjectures.


title: Random Matrices and Random Permutations

abstract: We prove the conjecture of Baik, Deift, and Johansson which says that with respect to the Plancherel measure on the set of partitions of $n$, the 1st, 2nd, and so on, rows behave, suitably scaled, like the 1st, 2nd, and so on, eigenvalues of a Gaussian random Hermitian matrix as $n$ goes to infinity. Our proof is based on an interplay between maps on surfaces and ramified coverings of the sphere. We also establish a connection of this problem with intersection theory on the moduli spaces of curves.


title: The point spectrum of the Dirac operator on noncompact symmetric spaces

abstract: In this note, we consider the Dirac operator $D$ on a Riemannian symmetric space $M$ of noncompact type. Using representation theory we show that $D$ has point spectrum iff the $\hat A$-genus of its compact dual does not vanish. In this case, if $M$ is irreducible then $M = U(p,q)/U(p) \times U(q)$ with $p+q$ odd, and $Spec_p(D) = \{0\}$.


title: Arrangements of hyperplanes I: Rational functions and Jeffrey-Kirwan residue

abstract: Consider the space $R_{\Delta}$ of rational functions of several variables with poles on a fixed arrangement $\Delta$ of hyperplanes. We obtain a decomposition of $R_{\Delta}$ as a module over the ring of differential operators with constant coefficients. We generalize to the space $R_{\Delta}$ the notions of principal part and of residue, and we describe its relations to Laplace transforms of locally polynomial functions. This explains algebraic aspects of work by L. Jeffreys and F. Kirwan about integrals of equivariant cohomology classes on Hamiltonian manifolds. As another application, we will construct multidimensional versions of Eisenstein series in a subsequent article, and we will obtain another proof of a residue formula of A. Szenes for Witten zeta functions.


title: Castelnuovo function, zero-dimensional schemes and singular plane curves

abstract: We study families V of curves in P^2 of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a constant factor. To obtain the results, we study the Castelnuovo function, prove the irreducibility of the Hilbert scheme of zero-dimensional schemes associated to a cluster of infinitely near points of the singularities and deduce new vanishing theorems for ideal sheaves of zero-dimensional schemes in P^2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where the fundamental groups of P^2 \ C coincide (and are abelian) for all C in V.


title: Arrangements of hyperplanes II: Szenes formula and Eisenstein series

abstract: The aim of this article is to generalize in several variables some formulae for Eisenstein series in one variable. For example the formula $2\zeta(2k) = (2\pi)^{2k} \frac{B_{2k}}{(2k)!} = Res_{z=0}(\frac{1}{z^{2k}(1-e^z)})$ for the values of zeta functions at even integers in functions of Bernoulli numbers. A. Szenes proved in several variables a similar residue formula for the values of the zeta function introduced by Witten. We introduce some Eisenstein series by averaging over a lattice rational functions with poles in an arrangement of hyperplanes. We give another proof of Szenes residue formula by relating it to the constant term of these Eisenstein series.


title: Parabolic sheaves on surfaces and affine Lie algebra $\hat{gl}_n$

abstract: We give an example of geometric construction (via Hecke correspondences) of certain representations of the affine Lie algebra $\hat{gl}_n$. The construction is similar to the one of [FK] for the Lie algebra $sl_n$. Given a surface with a smooth embedded curve $C$ we consider the moduli spaces $K_\alpha$ of rank $n$ parabolic sheaves satisfying certain conditions. The top dimensional irreducible components of $K_\alpha$ are numbered by the isomorphism classes of $\alpha$-dimensional nilpotent representations of the cyclic quiver $\tilde{A}_{n-1}$. Summing up over all $\alpha\in{\Bbb N}[{\Bbb Z}/n{\Bbb Z}]$ we obtain a vector space $M$ with a basis of fundamental classes of top dimensional components of $K_\alpha$. The natural correspondences give rise to the action of Chevalley generators $e_i,f_i\in\hat{sl}_n$ on $M$. We compute explicitly the matrix coefficients of $e_i,f_i$ in the above basis. The central charge of $M$ depends on the genus of the curve $C$ and the degree of its normal bundle.


title: Zero Divisors in Associative Algebras over Infinite Fields

abstract: Let F be an infinite field. We prove that the right zero divisors of a three-dimensional associative F-algebra A must form the union of at most finitely many linear subspaces of A. The proof is elementary and written with students as the intended audience.


title: On the cyclic Formality conjecture

abstract: We conjecture an explicit formula for a cyclic analog of the Formality $L_{\infty}$-morphism [K]. We prove that its first Taylor component, the cyclic Hochschild-Kostant-Rosenberg map, is in fact a morphism (and a quasiisomorphism) of the complexes. To prove it we construct a cohomological version of the Connes-Tsygan bicomplex in cyclic homology. As an application of the cyclic Formality conjecture, we obtain an explicit formula for cyclically invariant deformation quantization.We show that (a more precise version of) the Connes-Flato-Sternheimer conjecture [CFS] on the existence of closed star-products on a symplectic manifold also follows from our conjecture.


title: Characterization of Abelian Varieties

abstract: We prove that any smooth complex projective variety $X$ with plurigenera $P_1(X)=P_2(X)=1$ and irregularity $q(X)=dim (X)$ is birational to an abelian variety.


title: A degree one Borsuk-Ulam theorem

abstract: We observe that the classical Borsuk-Ulam theorem has an easy generalization to maps from an n-manifold M^n to R^n. We point out a geometric corollary.


title: Some Applications of the Spectral Shift Operator

abstract: The recently introduced concept of a spectral shift operator is applied in several instances. Explicit applications include Krein's trace formula for pairs of self-adjoint operators, the Birman-Solomyak spectral averaging formula and its operator-valued extension, and an abstract approach to trace formulas based on perturbation theory and the theory of self-adjoint extensions of symmetric operators.


title: Motivic integration, quotient singularities and the McKay correspondence

abstract: The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic integration on arbitrary singular spaces.


title: On Bergman completeness of pseudoconvex Reinhardt domains

abstract: We give a precise description of Bergman complete bounded pseudoconvex Reinhardt domains.


title: On the Linking Principle

abstract: We give a linking theorem that strengthens and unifies some many minimax theorems including Ambrosetti-Rabinowitz ``mountain pass theorem'', Rabinowitz ``multidimensional mountain pass theorem'', Rabinowitz ``saddle point theorem'' and Silva's variants of these results. We focus our attention especially on ``the limiting case'', known to be true for the mountain pass principle, where some information on the location of the critical points is given. Two forms of this theorem are given: the first one is established via a deformation lemma and we use Ekeland's variational principle to get the second one.


title: Coherent states, phases and symplectic areas of geodesic triangles

abstract: On certain manifolds, the phase which appears in the scalar product of two coherent state vectors is twice the symplectic area of the geodesic triangle determined by the corresponding points on the manifold and the origin of the system of coordinates. This result is proved for compact Hermitian symmetric spaces using the generalization via coherent states of the shape invariant for geodesic triangles and re-obtained on the complex Grassmannian by brute- force calculation.


title: Deformations of Batalin-Vilkovisky algebras

abstract: We show that a graded commutative algebra A with any square zero odd differential operator is a natural generalization of a Batalin-Vilkovisky algebra. While such an operator of order 2 defines a Gerstenhaber (Lie) algebra structure on A, an operator of an order higher than 2 (Koszul-Akman definition) leads to the structure of a strongly homotopy Lie algebra (L$_\infty$-algebra) on A. This allows us to give a definition of a Batalin-Vilkovisky algebra up to homotopy. We also make a conjecture which is a generalization of the formality theorem of Kontsevich to the Batalin-Vilkovisky algebra level.


title: Enumerating singular curves on surfaces

abstract: We enumerate the singular algebraic curves in a complete linear system on a smooth projective surface. The system must be suitably ample in a rather precise sense. The curves may have up to eight nodes, or a triple point of a given type and up to three nodes. The curves must also pass through appropriately many general points. The number of curves is given by a universal polynomial in four basic Chern numbers. To justify the enumeration, we make a rudimentary classification of the types of singularities using Enriques diagrams, obtaining results like Arnold's. We show that the curves in question do, in fact, appear with multiplicity 1 using the versal deformation space, Shustin's codimension formula, and Gotzmann's regularity theorem. Finally, we relate our work to Vainsencher's work with up to seven nodes.


title: Algebraic surfaces holomorphically dominable by C^2

abstract: Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by C^2 except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is rational without any logarithmic 1-form. More specifically, in the case when X is compact (namely projective), we need to exclude only the case when X is birationally equivalent to a K3 surface (a simply connected compact complex surface which admits a globally non-vanishing holomorphic 2-form) that is neither elliptic nor Kummer. With the exceptions noted above, we show that for any algebraic surface of Kodaira dimension less than 2, dominability by C^2 is equivalent to the apparently weaker requirement of the existence of a holomorphic image of C which is Zariski dense in the surface. With the same exceptions, we will also show the very interesting and revealing fact that dominability by C^2 is preserved even if a sufficiently small neighborhood of any finite set of points is removed from the surface. In fact, we will provide a complete classification in the more general category of (not necessarily algebraic) compact complex surfaces before tackling the problem in the case of non-compact algebraic surfaces.


title: Uniqueness for a class of one-dimensional stochastic PDEs using moment duality

abstract: For independent nearest-neighbour bond percolation on Z^d with d >> 6, we prove that the incipient infinite cluster's two-point function and three-point function converge to those of integrated super-Brownian excursion (ISE) in the scaling limit. The proof is based on an extension of the new expansion for percolation derived in a previous paper, and involves treating the magnetic field as a complex variable. A special case of our result for the two-point function implies that the probability that the cluster of the origin consists of n sites, at the critical point, is given by a multiple of n^{-3/2}, plus an error term of order n{-3/2-\epsilon} with \epsilon > 0. This is a strong statement that the critical exponent \delta is given by \delta = 2.


title: A residue scalar product for algebraic function fields over a number field

abstract: In 1952 Peter Roquette gave an arithmetic proof of the Riemann hypothesis for algebraic function fields of a finite constants field, which was proved by Andr\'e Weil in 1940. The construction of Weil's scalar product is essential in Roquette's proof. In this paper a scalar product for algebraic function fields over a number field is constructed which is the analogue of Weil's scalar product.


title: Large character sums

abstract: Assuming the Generalized Riemann Hypothesis, the authors study when a character sum over all n <= x is o(x); they show that this holds if log x / log log q -> infinity and q -> infinity (q is the size of the finite field).


title: Transition mean values of real characters

abstract: We evaluate the character sum sigma_m sigma_n (m/n) where the two sums are of approximately the same length. The answer is surprising.


title: Contact Lie algebras of vector fields on the plane

abstract: The paper is devoted to the complete classification of all real Lie algebras of contact vector fields on the first jet space of one-dimensional submanifolds in the plane. This completes Sophus Lie's classification of all possible Lie algebras of contact symmetries for ordinary differential equations. As a main tool we use the abstract theory of filtered and graded Lie algebras. We also describe all differential and integral invariants of new Lie algebras found in the paper and discuss the infinite-dimensional case.


title: Local inequalities for plurisubharmonic functions

abstract: The main objective of this paper is to prove a new inequality for plurisubharmonic functions estimating their supremum over a ball by their supremum over a measurable subset of the ball. We apply this result to study local properties of polynomial, algebraic and analytic functions. The paper has much in common with an earlier paper of the author.


title: An analytic solution to the Busemann-Petty problem on sections of convex bodies

abstract: We derive a formula connecting the derivatives of parallel section functions of an origin-symmetric star body in R^n with the Fourier transform of powers of the radial function of the body. A parallel section function (or (n-1)-dimensional X-ray) gives the ((n-1)-dimensional) volumes of all hyperplane sections of the body orthogonal to a given direction. This formula provides a new characterization of intersection bodies in R^n and leads to a unified analytic solution to the Busemann-Petty problem: Suppose that K and L are two origin-symmetric convex bodies in R^n such that the ((n-1)-dimensional) volume of each central hyperplane section of K is smaller than the volume of the corresponding section of L; is the (n-dimensional) volume of K smaller than the volume of L? In conjunction with earlier established connections between the Busemann-Petty problem, intersection bodies, and positive definite distributions, our formula shows that the answer to the problem depends on the behavior of the (n-2)-nd derivative of the parallel section functions. The affirmative answer to the Busemann-Petty problem for n\le 4 and the negative answer for n\ge 5 now follow from the fact that convexity controls the second derivatives, but does not control the derivatives of higher orders.


title: Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness Conjecture

abstract: We prove the Feigenbaum-Coullet-Tresser conjecture on the hyperbolicity of the renormalization transformation of bounded type. This gives the first computer-free proof of the original Feigenbaum observation of the universal parameter scaling laws. We use the Hyperbolicity Theorem to prove Milnor's conjectures on self-similarity and "hairiness" of the Mandelbrot set near the corresponding parameter values. We also conclude that the set of real infinitely renormalizable quadratics of type bounded by some N>1 has Hausdorff dimension strictly between 0 and 1. In the course of getting these results we supply the space of quadratic-like germs with a complex analytic structure and demonstrate that the hybrid classes form a complex codimension-one foliation of the connectedness locus.


title: Quillen stratification for the Steenrod algebra

abstract: Let A be the mod 2 Steenrod algebra, and let Q denote the category of exterior sub-Hopf algebras of A, where the morphisms are given by inclusions. The restriction maps Ext_A (Z/2,Z/2) --> Ext_E (Z/2,Z/2), for E in Q, can be assembled into a map i:Ext_A (Z/2, Z/2) --> lim_Q Ext_E (Z/2,Z/2). There is an action of A on this inverse limit, and i factors through the invariants under this action, giving a map g:Ext_A (Z/2, Z/2) --> ( lim_Q Ext_E (Z/2,Z/2) )^A. We show that g is an F-isomorphism.


title: On Calder\'on's conjecture

abstract: This paper is a successor of \cite{laceyt}. In that paper we considered bilinear operators of the form H_alpha(f_1,f_2)(x) = p.v. \int f_1(x-t) f_2(x + alpha t)/t dt, which are originally defined for f_1, f_2 in the Schwartz class S(R). The natural question is whether estimates of the form H_alpha(f_1,f_2)|_p <= C_{alpha,p_1,p_2} |f_1|_{p_1} |f_2|_{p_2} with constants C_{alpha,p_1,p_2} depending only on alpha,p_1,p_2 and p = p_1p_2/(p_1+p_2) hold. The purpose of the current paper is to extend the range of exponents p_1 and p_2 for which the estimate is known. In particular, the case p_1=2, p_2=\infty is solved to the affirmative. This was originally considered to be the most natural case and is known as Calder\'on's conjecture.


title: Some results on Green's higher Abel-Jacobi map

abstract: We study the higher Abel-Jacobi invariant defined recently by M. Green. We first construct a counterexample to the injectivity of Green's higher Abel-Jacobi map. On the other hand, we prove that the higher Abel-Jacobi map governs Mumford's pull-back of holomorphic forms. We deduce from this that if a surface has holomorphic 2-forms, the image of the higher Abel-Jacobi map, defined on its group of zero-cycles Albanese equivalent to 0, has infinite dimensional image.


title: A positive solution to the Busemann-Petty problem in R^4

abstract: H. Busemann and C. M. Petty posed the following problem in 1956: If K and L are origin-symmetric convex bodies in R^n and for each hyperplane H through the origin the volumes of their central slices satisfy vol(K cap H) < vol(L cap H), does it follow that the volumes of the bodies themselves satisfy vol(K) < vol(L)? The problem is trivially positive in R^2. However, a surprising negative answer for n <= 12 was given by Larman and Rogers in 1975. Subsequently, a series of contributions were made to reduce the dimensions to n >= 5 by a number of authors. That is, the problem has a negative answer for n >= 5. It was proved by Gardner that the problem has a positive answer for n=3. The case of n=4 was considered in [Ann. of Math. (2) 140 (1994), 331-346], but the answer given there is not correct. This paper presents the correct solution, namely, the Busemann-Petty problem has a positive solution in R^4, which, together with results of other cases, brings the Busemann-Petty problem to a conclusion.


title: Arithmetical properties of Laplacians of graphs

abstract: Let $M \in M_n (\mathbb Z)$ denote any matrix. Thinking of $M$ as a linear map $M:{\mathbb Z}^n \to {\mathbb Z}^n$, we denote by ${\Image}(M)$ the $\mathbb Z$-span of the column vectors of $M$. Let $e_1, ..., e_n,$ denote the standard basis of ${\mathbb Z}^n$, and let $E_{ij}: = e_i - e_j$, $ (i \neq j)$. In this article, we are interested in the group ${\mathbb Z}^n /{\Image}(M)$, and in particular in the elements of this group defined by the images $\tau_{ij}$ of the vectors $E_{ij}$ under the quotient ${\mathbb Z}^n \to {\mathbb Z}^n / {\Image} (M)$. Most of this article is devoted to the study of the case where $M$ is the laplacian of a graph. In this case, the elements $\tau_{ij}$ have finite order, and we study how the geometry of the graph relates to these orders. Applications to the theory of semistable reduction of curves will appear in a forthcoming article.