title: A Note on P\'epin's counter examples to the Hasse principle for curves of genus 1

abstract: In a series of articles published in the C.R. Paris more than a century ago, T. P\'epin announced a list of ``theorems'' concerning the solvability of diophantine equations of the type $ax^4 + by^4 = z^2$. In this article, we show how to prove these claims using the structure of 2-class groups of imaginary quadratic number fields. We will also look at a few related results (including FLT for $n = 7$) from a modern point of view.


title: On Tate-Shafarevich groups of some elliptic curves

abstract: This is an updated version of ANT-0166. Generalizing results of Stroeker and Top we show that the 2-ranks of the Tate-Shafarevich groups of the elliptic curves $y^2 = (x+k)(x^2+k^2)$ can become arbitrarily large. We also present a conjecture on the rank of the Selmer groups attached to rational 2-isogenies of elliptic curves.


title: Reduction of points in the group of components

abstract: Let $K$ be a complete discrete valuation field with ring of integers $\co_K$. Let $X/K$ be a proper smooth curve and let $A/K$ denote its jacobian. Let $P$ and $Q$ belong to $X(K)$. The divisor $P - Q$ defines a $K$-rational point of $A/K$. In this article, we study the reduction of $P - Q$ in the N\'eron model ${\cal A}_K/{\cal O}_K$ of $A/K$ in terms of the reductions of the points $P$ and $Q$ in a regular model $\cx/\co_K$ of $X/K$. The author introduced earlier two functorial filtrations of the prime-to-$p$ part of the group of component $\Phi_K$ of ${\cal A}_K/{\cal O}_K$. Filtrations for the full group $\Phi_K$ were later introduced by Bosch and Xarles. Given two points $P$ and $Q$ in $X(K)$, it is natural to wonder whether it is possible to predict when the reduction of $P-Q$ in $\Phi_K$ belongs to one of these functorial subgroups. We give in this paper a sufficient condition on the special fiber of a model $\cx$ for the image of $P-Q$ in $\Phi_K$ to belong to the subgroup $\Psi_{K,L}$. When this condition is satisfied, we are able to provide a formula for the order of this image. We conjecture that the sufficient condition alluded to above is also necessary and we provide evidence in support of this conjecture. We also discuss cases where the image of $P-Q$ belongs to a functorial subgroup of $\Psi_{K,L}$, using a pairing associated to $\Phi_K$.


title: Some properties of second order theta functions on Prym varieties

abstract: Let $P \cup P'$ be the two component Prym variety associated to an \'etale double cover $\tilde{C} \to C$ of a non-hyperelliptic curve of genus $g \geq 6$ and let $|2\Xi_0|$ and $|2\Xi_0'|$ be the linear systems of second order theta divisors on $P$ and $P'$ respectively. The component $P'$ contains canonically the Prym curve $\tilde{C}$. We show that the base locus of the subseries of divisors containing $\tilde{C} \subset P'$ is scheme-theoretically the curve $\tilde{C}$. We also prove canonical isomorphisms between some subseries of $|2\Xi_0|$ and $|2\Xi_0'|$ and some subseries of second order theta divisors on the Jacobian of $C$.


title: Actions of compact groups, C*-index theorem, and families

abstract: We prove the index theorem for elliptic operators acting on sections of bundles where fiber is equal to a projective module over a C*-algebra, in the situation of action of a compact Lie group on this algebra as well as on the total space commuting with symbol. As an application the equivariant index theorem for families over the direct product of base by the space of parameters is obtained.


title: Sections du fibre determinant sur l'espace de modules des faisceaux semi-stables de rang 2 sur le plan projectif

abstract: We provide supporting examples to Le Potier's Strange duality conjecture, in the case of the moduli space M of rank 2 semi-stable sheaves on the projective plane, with even first Chern class, and second Chern class less or equal to 19. We compute in this case the dimension of the space of global sections of the determinant bundle on M.


title: Sur la cohomologie d'un fibre tautologique sur le schema de Hilbert d'une surface

abstract: We compute the cohomology spaces for the tautological bundle tensor the determinant bundle on the punctual Hilbert scheme H of subschemes of length n of a smooth projective surface X. We show that for L and A invertible vector bundles on X, and w the canonical bundle of X, if $w^{-1}\otimes L$, $w^{-1}\otimes A$ and A are ample vector bundles, then the higher cohomology spaces on H of the tautological bundle associated to L tensor the determinant bundle associated to A vanish, and the space of global sections is computed in terms of $H^0(A)$ and $H^0(L\otimes A)$. This result is motivated by the computation of the space of global sections of the determinant bundle on the moduli space of rank 2 semi-stable sheaves on the projective plane, supporting Le Potier's Strange duality conjecture on the projective plane.


title: On the Q-divisor method and its application

abstract: For smooth projective 3-folds of general type, we prove that the relative canonical stability $\mu_s(3)\leq 8$. This is induced from our improved result of Koll\'ar: the m-canonical map of a smooth projective 3-fold of general type is birational whenever $m\geq 5k+6$, provided $P_k(X)\geq 2$. The Q-divisor method is intensively developed to prove our results.


title: Derived Picard Groups of Finite Dimensional Hereditary Algebras

abstract: Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k \Delta is the path algebra of a finite quiver \Delta. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful when\Delta is a tree, and then DPic_k(A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic_k(A). When A is hereditary, DPic_k(A) coincides with the full group of k-linear triangle auto-equivalences of D^b(Mod} A). Hence we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b(Mod A). These include the derived categories of certain noncommutative spaces introduced by Kontsevich-Rosenberg.


title: Intersection Forms and the Adjunction Formula for Four-manifolds via CR Geometry

abstract: This is primarily an expository note showing that earlier work of Lai on CR geometry provides a clean interpretation, in terms of a Gauss map, for an adjunction formula for embedded surfaces in an almost complex four manifold. We will see that if F is a surface with genus g in an almost complex four-manifold M, then 2 - 2 g + F \cdot F - i^{*} c_{1}(M) - 2 F\cdot C = 0, where C is a two-cycle on M pulled back from the cycle of two planes with complex structure in a Grassmannian Gr (2, C^N) via a Gauss map and where i^{*} c_{1}(M) is the restriction of the first Chern class of M to F. The key new term of interest is F \cdot C, which will capture the points of F whose tangent planes inherit a complex structure from the almost complex structure of the ambient manifold M. These complex jump points then determine the genus of smooth representative of a homology class in H_{2}(M, Z). Further, via polarization, we can use this formula to determine the intersection form on M from knowing the nature of the complex jump points of M's surfaces.


title: Points of bounded height on equivariant compactifications of vector groups, II

abstract: We prove asymptotic formulas for the number of rational points of bounded height on certain blow-ups of the projective space.


title: Gradient like Morse-Smale dynamical systems on 4-manifolds

abstract: The complete invariant for gradient like Morse-Smale dynamical systems (vector fields and diffeomorphisms) on closed 4-manifolds are constructed. It is same as Kirby diagram in a case of polar vector field without fixed points of index 3.


title: Distributions on partitions, point processes, and the hypergeometric kernel

abstract: We study a 3-parametric family of stochastic point processes on the one-dimensional lattice originated from a remarkable family of representations of the infinite symmetric group. We prove that the correlation functions of the processes are given by determinantal formulas with a certain kernel. The kernel can be expressed through the Gauss hypergeometric function; we call it the hypergeometric kernel. In a scaling limit our processes approximate the processes describing the decomposition of representations mentioned above into irreducibles. As we showed before, see math.RT/9810015, the correlation functions of these limit processes also have determinantal form with so-called Whittaker kernel. We show that the scaling limit of the hypergeometric kernel is the Whittaker kernel. The integral operator corresponding to the Whittaker kernel is an integrable operator as defined by Its, Izergin, Korepin, and Slavnov. We argue that the hypergeometric kernel can be considered as a kernel defining a `discrete integrable operator'. We also show that the hypergeometric kernel degenerates for certain values of parameters to the Christoffel-Darboux kernel for Meixner orthogonal polynomials. This fact is parallel to the degeneration of the Whittaker kernel to the Christoffel-Darboux kernel for Laguerre polynomials.


title: Edge-bandwidth of graphs

abstract: The edge-bandwidth of a graph is the minimum, over all labelings of the edges with distinct integers, of the maximum difference between labels of two incident edges. We prove that edge-bandwidth is at least as large as bandwidth for every graph, with equality for certain caterpillars. We obtain sharp or nearly-sharp bounds on the change in edge-bandwidth under addition, subdivision, or contraction of edges. We compute edge-bandwidth for cliques, bicliques, caterpillars, and some theta graphs.


title: Lagrangian torus fibration of quintic Calabi-Yau hypersurfaces I: Fermat quintic case

abstract: In this paper we give a construction of Lagrangian torus fibration for Fermat type quintic \cy hypersurfaces via the method of gradient flow. We also compute the monodromy of the expected special Lagrangian torus fibration and discuss structures of singular fibers.


title: A Note on the Representation Theory of Fell Bundles

abstract: We show that every Fell bundle B over a locally compact group G is "proper" in a sense recently introduced by Ng. Combining our results with those of Ng we show that if B satisfies the "approximation property" then it is amenable in the sense that the full and reduced cross-sectional C*-algebras coincide.


title: Nilpotent pairs, dual pairs, and sheets

abstract: Recently, V.Ginzburg introduced the notion of a principal nilpotent pair (= pn-pair) in a semisimple Lie algebra {\frak g}. It is a double counterpart of the notion of a regular nilpotent element. A pair (e_1,e_2) of commuting nilpotent elements is called a pn-pair, if the dimension of their simultaneous centralizer is equal to the rank of {\frak g} and some bi-homogeneity condition is satisfied. Ginzburg proved that many familiar results of the `ordinary' theory have analogues for pn-pairs. The aim of this article is to develop the theory of nilpotent pairs a bit further and to present some applications of it to dual pairs and sheets. It is shown that a large portion of Ginzburg's theory can be extended to the pairs whose simultaneous centraliser is of dimension rk{\frak g}+1. Such pairs are called almost pn-pairs. It is worth noting that the very existence of almost pn-pairs is a purely "double" phenomenon, because the dimension of "ordinary" orbits is always even. We prove that to any principal or almost nilpotent pair one naturally associates a dual pair. Moreover, this dual pair is reductive if and only if e_1 and e_2 can be included in commuting sl_2-triples. We also study sheets containing members of pn-pairs. Some cases are described, where these sheets are smooth and admit a section.


title: On pluricanonical maps for threefolds of general type, II

abstract: This note mainly studies the generic finiteness of \phi_m of a complex projective 3-fold of general type. A new result on the classification to bicanonical pencil for Gorenstein 3-folds is attached in the last section.


title: Crystallography and Riemann Surfaces

abstract: The level set of an elliptic function is a doubly periodic point set in C. To obtain a wider spectrum of point sets, we consider, more generally, a Riemann surface S immersed in C^2 and its sections (``cuts'') by C. We give S a crystallographic isometry in C^2 by defining a fundamental surface element as a conformal map of triangular domains and S as its extension by reflections in the triangle edges. Our main result concerns the special case of maps of right triangles, with the right angle being a regular point of the map. For this class of maps we show that only seven Riemann surfaces, when cut, form point sets that are discrete in C. Their isometry groups all have a rank-four lattice subgroup, but only three of the corresponding point sets are doubly periodic in C. The remaining surfaces form quasiperiodic point sets closely related to the vertex sets of quasiperiodic tilings. In fact, vertex sets of familiar tilings are recovered in all cases by applying the construction to a piecewise flat approximation of the corresponding Riemann surface. The geometry of point sets formed by cuts of Riemann surfaces is no less ``rigid'' than the geometry determined by a tiling, and has the distinct advantage in having a regular behavior with respect to the complex parameter which specifies the cut.


title: Drinfeld Basis And a Nonclassical Free Boson Representation of Twisted Quantum Affine Superalgebra $U_q[osp(2|2)^{(2)}]$}

abstract: We derive from the super RS algebra the Drinfeld basis of the twisted quantum affine superalgebra $U_q[osp(2|2)^{(2)}]$ by means of the Gauss decomposition technique. We explicitly construct a nonclassical level-one representation of $U_q[osp(2|2)^{(2)}]$ in terms of two $q$-deformed free boson fields.


title: The twisted quantum affine algebra $U_q(A^{(2)_2)$ and correlation functions of the Izergin-Korepin model

abstract: We derive the exchange relations of the vertex operators of $U_q(A_2^{(2)})$ and show that these vertex operators give the bosonization of the Izergin-Korepin model. We give an integral expression of the correlation functions of the Izergin-Korepin model and derive the difference equations which they satisfy.


title: Grothendieck's Reconstruction Principle and 2-dimensional Topology and Geometry

abstract: This paper attempts to relate some ideas of Grothendieck in his Esquisse d'un programme and some of the recent results on 2-dimensional topology and geometry. Especially, we shall discuss the Teichm\"uller theory, the mapping class groups, $SL(2, \bold C)$ representation variety of surface groups, and Thurston's theory of measured laminations.


title: Automorphisms of the Complex of Curves

abstract: This goal of the paper is to show that the automorphisms of the complex of curves in a surface are induced by the self-homeomorphisms of the surface except the surface is the 2-holed torus.


title: On the section of a cone

abstract: A problem from Democritus is used to illustrate the building, and use, of infinitesimal covectors from its regularized, finite, counterpart.


title: Scaling limits of loop-erased random walks and uniform spanning trees

abstract: The uniform spanning tree (UST) and the loop-erased random walk (LERW) are related probabilistic processes. We consider the limits of these models on a fine grid in the plane, as the mesh goes to zero. Although the existence of scaling limits is still unproven, subsequential scaling limits can be defined in various ways, and do exist. We establish some basic a.s. properties of the subsequential scaling limits in the plane. It is proved that any LERW subsequential scaling limit is a simple path, and that the trunk of any UST subsequential scaling limit is a topological tree, which is dense in the plane. The scaling limits of these processes are conjectured to be conformally invariant in 2 dimensions. We make a precise statement of the conformal invariance conjecture for the LERW, and show that this conjecture implies an explicit construction of the scaling limit, as follows. Consider the Loewner differential equation ${\partial f\over\partial t} = z {\zeta(t)+z \over \zeta(t)-z} {\partial f\over\partial z}$ with boundary values $f(z,0)=z$, in the range $z\in\U=\{w\in\C\st |w|<1\}$, $t\le 0$. We choose $\zeta(t):= \B(-2t)$, where $\B(t)$ is Brownian motion on $\partial \U$ starting at a random-uniform point in $\partial \U$. Assuming the conformal invariance of the LERW scaling limit in the plane, we prove that the scaling limit of LERW from 0 to $\partial\U$ has the same law as that of the path $f(\zeta(t),t)$. We believe that a variation of this process gives the scaling limit of the boundary of macroscopic critical percolation clusters.


title: Difference Ramsey Numbers and Issai Numbers

abstract: We present a recursive algorithm for finding good lower bounds for the classical Ramsey numbers. Using notions from this algorithm we then give some results for generalized Schur numbers, which we call Issai numbers.


title: A Note on Primitive Equivalence

abstract: Primitive equivalence of graphs and matrices was used by Enomoto, Fujii and Watatani to classify Cuntz-Krieger algebras of 3x3 irreducible matrices. In this paper it is shown that the definition of primitive equivalence can be simplified using primitive transfers of matrices that involve only two rows of the matrix.


title: Duality and Boundary Yangians

abstract: The existence of dual structures in a Yangian Y(g) signify that the latter belongs to multidimensional naturally parametrized variety of Hopf algebras. These varieties have boundaries containing Yangians Y(a) inequivalent to the original Y(g). The new basic algebra $a$ is an algebra of the cotangent bundle attributed to the dual structure. We show how to construct such boundary Yangians and study some of their properties. We prove that the Hopf algebra Y(a) is a quantization of a parametric solution of the classical Yang-Baxter equation. The limiting procedure and the properties of the boundary Yangians are demonstrated explicitly for the case of Y(sl(2)).


title: Groups of Flagged Homotopies and Higher Gauge Theory

abstract: Groups $\Pi_k(X;\sigma)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $\pi_k(X;p)$ is the limit case for flags $\sigma$ contracted to a point $p$. Calculus of exterior forms with values in algebra $A$ is developped of which the limit cases are differential forms calculus (for $A=\bb R$) and gauge theory (for 1-forms). Moduli space of integrable forms with respect to higher gauge transforms (cohomology with coefficients in $A$) is introduced with elements giving representations of $\Pi_k$ in $G=exp A$.


title: The Geometry of the Quantum Euclidean Space

abstract: A detailed study is made of the noncommutative geometry of $R^3_q$, the quantum space covariant under the quantum group $SO_q(3)$. For each of its two $SO_q(3)$-covariant differential calculi we find its metric, the corresponding frame and two torsion-free covariant derivatives that are metric compatible up to a conformal factor and which yield both a vanishing linear curvature. A discussion is given of various ways of imposing reality conditions. The delicate issue of the commutative limit is discussed at the formal algebraic level. Two rather different ways of taking the limit are suggested, yielding respectively $S^2\times R$ and $R^3$ as the limit Riemannian manifold.


title: Similarity submodules and root systems in four dimensions

abstract: Lattices and Z-modules in Euclidean space possess an infinitude of subsets that are images of the original set under similarity transformation. We classify such self-similar images according to their indices for certain 4D examples that are related to 4D root systems, both crystallographic and non-crystallographic. We encapsulate their statistics in terms of Dirichlet series generating functions and derive some of their asymptotic properties.


title: Fourier transform and the Verlinde formula for the quantum double of a finite group

abstract: A Fourier transform S is defined for the quantum double D(G) of a finite group G. Acting on characters of D(G), S and the central ribbon element of D(G) generate a unitary matrix representation of the group SL(2,Z). The characters form a ring over the integers under both the algebra multiplication and its dual, with the latter encoding the fusion rules of D(G). The Fourier transform relates the two ring structures. We use this to give a particularly short proof of the Verlinde formula for the fusion coefficients.


title: The Annihilation theorem for the completely reducible Lie superalgebras

abstract: A well known theorem of Duflo claims that the annihilator of a Verma module in the enveloping algebra of a complex semisimple Lie algebra is generated by its intersection with the centre. For a Lie superalgebra this result fails to be true. For instance, in the case of the orthosymplectic Lie superalgebra osp(1,2), Pinczon gave in [Pi] an example of a Verma module whose annihilator is not generated by its intersection with the centre of universal enveloping algebra. More generally, Musson produced in [Mu1] a family of such "singular" Verma modules for osp(1,2l) cases. In this article we give a necessary and sufficient condition on the highest weight of a $\osp(1,2l)$-Verma module for its annihilator to be generated by its intersection with the centre. This answers a question of Musson.


title: Invariants of generic immersions and Bernoulli numbers

abstract: First order invariants of generic immersions of manifolds of dimension nm-1 into manifolds of dimension n(m+1)-1, m,n>1 are constructed using the geometry of self-intersections. The range of one of these invariants is related to Bernoulli numbers. As by-products some geometrically defined invariants of regular homotopy are found.


title: Recent Trends in Algebraic Geometry -- EuroConference on Algebraic Geometry (Warwick, July 1996)

abstract: This file, provided as bibliographical information, contains the table of contents and editors' foreword from the proceedings of the July 1996 Warwick EuroConference on Algebraic Geometry.


title: Infinitesimal deformations of a Calabi-Yau hypersurface of the moduli space of stable vector bundles over a curve

abstract: Let $X$ be a compact connected Riemann surface of genus $g$, with $g\geq 2$, and ${\cal M}_{\xi}$ a smooth moduli space of fixed determinant semistable vector bundles of rank $n$, with $n\geq 2$, over $X$. Take a smooth anticanonical divisor $D$ on ${\cal M}_{\xi}$. So $D$ is a Calabi-Yau variety. We compute the number of moduli of $D$, namely $\dim H^1(D, T_D)$, to be $3g-4 + \dim H^0({\cal M}_{\xi}, K^{-1}_{{\cal M}_{\xi}})$. Denote by $\cal N$ the moduli space of all such pairs $(X',D')$, namely $D'$ is a smooth anticanonical divisor on a smooth moduli space of semistable vector bundles over the Riemann surface $X'$. It turns out that the Kodaira-Spencer map from the tangent space to $\cal N$, at the point represented by the pair $(X,D)$, to $H^1(D, T_D)$ is an isomorphism. This is proved under the assumption that if $g =2$, then $n\neq 2,3$, and if $g=3$, then $n\neq 2$.


title: The polyhedral Hodge number h^21 and vanishing of obstructions

abstract: We prove a vanishing theorem for the Hodge number h^21 of projective toric varieties provided by a certain class of polytopes. We explain how this Hodge number also gives information about the deformation theory of the toric Gorenstein singularity derived from the same polytope. In particular, the vanishing theorem for h^21 implies that these deformations are unobstructed.


title: On the minimal compactification of a polynomial in two variables

abstract: Consider a primitive polynomial $f$ in two variables, thought of as a map from the affine plane to the affine line. We study the minimimal compactification of $f$; from our result one deduces in particular that if one of the fibers of $f$ has only one fiber at infinity, then all the fibers of $f$ have a simultaneous resolution of singularities at infinity. From this one gets a very simple proof of the Suzuki-Abhyankar-Moh theorem on the embeddings of the affine line in the plane.


title: Fano varieties with high degree

abstract: For any positive integer $k$ and any integer $n$ large enough, we construct a Fano variety $X$ with Picard number $k$ and dimension $n$ such that $((-K_X)^n)^{1/n}$ grows like $n^k/(\log n)^{k-1}$.


title: Geometric Knot Spaces and Polygonal Isotopy

abstract: The space of n-sided polygons embedded in three-space consists of a smooth manifold in which points correspond to piecewise linear or ``geometric'' knots, while paths correspond to isotopies which preserve the geometric structure of these knots. The topology of these spaces for the case n = 6 and n = 7 is described. In both of these cases, each knot space consists of five components, but contains only three (when n = 6) or four (when n = 7) topological knot types. Therefore ``geometric knot equivalence'' is strictly stronger than topological equivalence. This point is demonstrated by the hexagonal trefoils and heptagonal figure-eight knots, which, unlike their topological counterparts, are not reversible. Extending these results to the cases n \ge 8 is also discussed.


title: Iterated Peiffer pairings in the Moore complex of a simplicial group

abstract: We introduce a pairing structure within the Moore complex NG of a simplicial group G and use it to investigate generators for NG_n\cap D_n where D_n is the subgroup generated by degenerate elements. This is applied to the study of algebraic models for homotopy types.


title: Joins for (Augmented) Simplicial Sets

abstract: We introduce a notion of join for (augmented) simplicial sets generalising the classical join of geometric simplicial complexes. The definition comes naturally from the ordinal sum on the base simplicial category $\Delta$.


title: Free crossed resolutions from simplicial resolutions with given CW-basis

abstract: In this paper, we examine the relationship between a CW-basis for a free simplicial group and methods of freely generating the corresponding crossed complex. Attention is concentrated on the case of resolutions, thus comparing free simplicial resolutions with crossed resolutions of a group.


title: Freeness conditions for crossed squares and squared complexes

abstract: Following Ellis, we investigate the notion of totally free crossed squares and related square complexes. It is shown how to interpret the information in a free simplicial group given with a choice of CW-basis, in terms of the data for a totally free crossed square. Results of Ellis then apply to give a description in terms of tensor products of crossed modules. The paper ends with a purely algebraic derivation of a result of Brown and Loday.


title: On the Distributions of the Lengths of the Longest Monotone Subsequences in Random Words

abstract: We consider the distributions of the lengths of the longest weakly increasing and strongly decreasing subsequences in words of length N from an alphabet of k letters. We find Toeplitz determinant representations for the exponential generating functions (on N) of these distribution functions and show that they are expressible in terms of solutions of Painlev\'e V equations. We show further that in the weakly increasing case the generating function gives the distribution of the smallest eigenvalue in the k x k Laguerre random matrix ensemble and that the distribution itself has, after centering and normalizing, an N -> infinity limit which is equal to the distribution function for the largest eigenvalue in the Gaussian Unitary Ensemble of k x k hermitian matrices of trace zero.


title: Almost alternating diagrams and fibered links in S^3

abstract: Let $L$ be an oriented link with an alternating diagram $D$. It is known that $L$ is a fibered link if and only if the surface $R$ obtained by applying Seifert's algorithm to $D$ is a Hopf plumbing. Here, we call $R$ a Hopf plumbing if $R$ is obtained by successively plumbing finite number of Hopf bands to a disk. In this paper, we discuss its extension so that we show the following theorem. Let $R$ be a Seifert surface obtained by applying Seifert's algorithm to an almost alternating diagrams. Then $R$ is a fiber surface if and only if $R$ is a Hopf plumbing. We also show that the above theorem can not be extended to 2-almost alternating diagrams, that is, we give examples of 2-almost alternating diagrams for knots whose Seifert surface obtained by Seifert's algorithm are fiber surfaces that are not Hopf plumbing. This is shown by using a criterion of Melvin-Morton.


title: Quaternionic Gamma functions and their logarithmic derivatives as spectral functions

abstract: We establish Connes's local trace formula (related to the explicit formulae of number theory) for the quaternions. This is done as an application of a study of the central operator H = log(|x|) + log(|y|) in the context of invariant harmonic analysis. The multiplicative analysis of the additive Fourier transform gives a spectral interpretation to generalized ``Tate Gamma functions'' (closely akin to the Godement-Jacquet ``\gamma(s,\pi,\psi)'' functions.) The analysis of H leads furthermore to a spectral interpretation for the logarithmic derivatives of these Gamma functions (which are involved in ``explicit formulae''.)


title: Canonical Bases for Hecke Algebra Quotients

abstract: We establish the existence of an IC basis for the generalized Temperley--Lieb algebra associated to a Coxeter system of arbitrary type. We determine this basis explicitly in the case where the Coxeter system is simply laced and the algebra is finite dimensional.


title: Quantization and ``theta functions''

abstract: Geometric Quantization links holomorphic geometry with real geometry, a relation that is a prototype for the modern development of mirror symmetry. We show how to use this treatment to construct a special basis in every space of conformal blocks. This is a direct generalization of the basis of theta functions with characteristics in every complete linear system on an Abelian variety (see Mumford's "Tata lectures on theta" cite(Mumford)). The same construction generalizes the classical theory of theta functions to vector bundles of higher rank on Abelian varieties and K3 surfaces. We also discuss the geometry behind these constructions.


title: Discrete versions of the Beckman-Quarles theorem

abstract: TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F \subseteq R denote the field of numbers which are constructible by means of ruler and compass. We prove that: (1) if x,y \in R^n (n>1) and |x-y| is an algebraic number then there exists a finite set S(x,y) \subseteq R^n containing x and y such that each map from S(x,y) to R^n preserving all unit distances preserves the distance between x and y; if x,y \in F^n then we can choose S(x,y) \subseteq F^n, (2) only algebraic distances |x-y| have the property from item (1), (3) if X1,X2,...,Xm \in R^n (n>1) lie on some affine hyperplane then there exists a finite set L(X1,X2,...,Xm) \subseteq R^n containing X1,X2,...,Xm such that each map from L(X1,X2,...,Xm) to R^n preserving all unit distances preserves the property that X1,X2,...,Xm lie on some affine hyperplane, (4) if J,K,L,M \in R^n (n>1) and |JK|=|LM| (|JK|<|LM|) then there exists a finite set C(J,K,L,M) \subseteq R^n containing J,K,L,M such that any map f:C(J,K,L,M) \to R^n that preserves unit distance satisfies |f(J)f(K)|=|f(L)f(M)| (|f(J)f(K)|<|f(L)f(M)|).


title: Extremal Kaehler metrics and Ray-Singer analytic torsion

abstract: Let (X,[\omega]) be a compact Kaehler manifold with a fixed Kaehler class [\omega]. Let K_\omega be the set of all Kaehler metrics on X whose Kaehler class equals [\omega]. In this paper we investigate the critical points of the functional Q(g)= |v|_g T_0(X,g)^{1/2} for g \in K_\omega, where v is a fixed nonzero vector of the determinant line \lambda(X) associated to H^*(X) and T_0(X,g) is the Ray-Singer analytic torsion. For a polarized algebraic manifold (X,L) we consider a twisted version Q_L(g) of this functional and assume that c_1(L)=[\omega]. Then the critical points of Q_L are exactly the metrics g\in K_\omega of constant scalar curvature. In particular, if c_1(X)=0 or if c_1(X)<0 and 1/(2\pi)[\omega] = -c_1(X), then K_\omega contains a unique Kaehler-Einstein metric g_{KE} and Q_L attains its absolut maximum at g_{KE}.


title: Polydiagonal compactification of configuration spaces

abstract: A smooth compactification X<n> of the configuration space of n distinct labeled points in a smooth algebraic variety X is constructed by a natural sequence of blowups, with the full symmetry of the permutation group S_n manifest at each stage of the construction. The strata of the normal crossing divisor at infinity are labeled by trees with levels and their structure is studied. This is the maximal wonderful compactification in the sense of DeConcini-Procesi, and it has a strata-compatible surjection onto the Fulton-MacPherson compactification. The degenerate configurations added in the compactification are geometrically described by `polyscreens' similar to screens of Fulton and MacPherson. In characteristic 0, isotropy subgroups of the action of S_n on X<n> are abelian, thus X<n> may be a step toward an explicit resolution of singularities of the symmetric products X^n/S_n.


title: The Xi Operator and its Relation to Krein's Spectral Shift Function

abstract: We explore connections between Krein's spectral shift function $\xi(\lambda,H_0,H)$ associated with the pair of self-adjoint operators $(H_0,H)$, $H=H_0+V$ in a Hilbert space $\calH$ and the recently introduced concept of a spectral shift operator $\Xi(J+K^*(H_0-\lambda-i0)^{-1}K)$ associated with the operator-valued Herglotz function $J+K^*(H_0-z)^{-1}K$, $\Im(z)>0$ in $\calH$, where $V=KJK^*$ and $J=\sgn(V)$. Our principal results include a new representation for $\xi(\lambda,H_0,H)$ in terms of an averaged index for the Fredholm pair of self-adjoint spectral projections $(E_{J+A(\lambda)+tB(\lambda)}((-\infty,0)),E_J((-\infty,0)))$, $t\in\bbR$, where $A(\lambda)=\Re(K^*(H_0-\lambda-i0)^{-1}K)$, $B(\lambda)=\Im(K^*(H_0-\lambda-i0)^{-1}K)$ a.e. Moreover, introducing the new concept of a trindex for a pair of operators $(A,P)$ in $\calH$, where $A$ is bounded and $P$ is an orthogonal projection, we prove that $\xi(\lambda,H_0,H)$ coincides with the trindex associated with the pair $(\Xi(J+K^*(H_0-\lambda-i0)^{-1}K),\Xi(J))$. In addition, we discuss a variant of the Birman-Krein formula relating the trindex of a pair of $\Xi$-operators and the Fredholm determinant of the abstract scattering matrix. We also provide a generalization of the classical Birman-Schwinger principle, replacing the traditional eigenvalue counting functions by appropriate spectral shift functions.


title: Explicit Hilbert spaces for certain unipotent representations II

abstract: We construct an explicit realization of a minimal representation of G, where G is the conformal group of a real Jordan algebra N. We characterize spherical vectors for these representation and prove that they are closely related to the Bessel K-function $K_\tau (z)$. The resulting construction can be used to study tensor powers of the minimal representation and establish an extension of the Howe duality correspondence to some exceptional groups.


title: Th\'eorie de jauge et groupo\"\i des (Gauge theory and groupoids)

abstract: We consider the problem of existence of representations of topological groupoids on a principal bundle and the classification of such representations up to gauge transformation. Such representations naturally occur in various contexts such as gauge theory, lattice gauge fields, equivariant bundles, etc. In the course of the proofs, some new facts about Milnor's classifying spaces and gauge groups are established.


title: On the simplicial volumes of fibre bundles

abstract: We show that surface bundles over surfaces with base and fiber of genus at least 2 have non-vanishing simplicial volume.


title: Invariant CR Structures on Compact Homogeneous Manifolds

abstract: An explicit classification of simply connected compact homogeneous CR manifolds G/L of codimension one, with non-degenerate Levi form, is given. There are three classes of such manifolds: a) the standard CR homogeneous manifolds which are homogeneous S^1-bundles over a flag manifold F, with CR structure induced by an invariant complex structure on F; b) the Morimoto-Nagano spaces, i.e. sphere bundles $S(N)\subset TN$ of a compact rank one symmetric space N = G/H, with the CR structure induced by the natural complex structure of $TN = G^\C/H^\C$; c) the following manifolds: $SU_n/T^1\cdot SU_{n-2}$, $SU_p\times SU_q/T^1 \cdot U_{p-2}\cdot U_{q-2}$, $SU_n/T^1\cdot SU_2\cdot SU_2\cdot SU_{n-4}$, $SO_{10}/T^1\cdot SO_6$, $E_6/T^1\cdot SO_8$; these manifolds admit canonical holomorphic fibrations over a flag manifold (F,J_F) with typical fiber S(S^k), where k = 2, 3, 5, 7 or 9, respectively; the CR structure is determined by the invariant complex structure J_F on F and by an invariant CR structure on the typical fiber, depending on one complex parameter.


title: Operads and Motives in Deformation Quantization

abstract: This paper is dedicated to the memory of Moshe Flato, and will appear in Lett. Math. Phys. 48 (1) It became clear during last 5-6 years that the algebraic world of associative algebras (abelian categories, triangulated categories, etc) has many deep connections with the geometric world of two-dimensional surfaces. One of manifestations of this is Deligne's conjecture (1993) which says that on the cohomological Hochschild complex of any associative algebra naturally acts the operad of singular chains in the little discs operad. Recently D. Tamarkin discovered that the operad of chains of the little discs operad is formal, i.e. it is homotopy equivalent to its cohomology. From this fact and from Deligne's conjecture follows almost immediately my formality result in deformation quantization. I review the situation as it looks now. Also I conjecture that the motivic Galois group acts on deformation quantizations, and speculate on possible relations of higher-dimensional algebras and of motives to quantum field theories.


title: Extremal Optimization: Methods derived from Co-Evolution

abstract: We describe a general-purpose method for finding high-quality solutions to hard optimization problems, inspired by self-organized critical models of co-evolution such as the Bak-Sneppen model. The method, called Extremal Optimization, successively eliminates extremely undesirable components of sub-optimal solutions, rather than ``breeding'' better components. In contrast to Genetic Algorithms which operate on an entire ``gene-pool'' of possible solutions, Extremal Optimization improves on a single candidate solution by treating each of its components as species co-evolving according to Darwinian principles. Unlike Simulated Annealing, its non-equilibrium approach effects an algorithm requiring few parameters to tune. With only one adjustable parameter, its performance proves competitive with, and often superior to, more elaborate stochastic optimization procedures. We demonstrate it here on two classic hard optimization problems: graph partitioning and the traveling salesman problem.


title: Representations of the vertex algebra $W_{1+\infty}$ with a negative integer central charge

abstract: Let $\D$ be the Lie algebra of regular differentialoperators on ${\C} \setminus \{0\}$, and ${\hD}= {\D} + {\C} C$ be the central extension of ${\D}$. Let $W_{1+\infty,-N}$ be the vertex algebra associated to the irreducible vacuum $\hD$-module with the central charge $c=-N$. We show that $W_{1+\infty,-N}$ is a subalgebra of the Heisenberg vertex algebra M(1) with $2 N$ generators, and construct 2N-dimensional family of irreducible $W_{1+\infty,-N}$-modules. Considering these modules as $\hD$-modules, we identify the corresponding highest weights.


title: A fake cusp and a fishtail

abstract: We construct smooth 4-manifolds that are homeomorphic but not diffeomorphic to the "cusp" and the "fishtail", which are certain thickened singular 2-spheres.


title: K3-fibered Calabi-Yau threefolds I, the twist map

abstract: A construction of Calabi-Yaus as quotients of products of lower-dimensional spaces in the context of weighted hypersurfaces is discussed, including desingularisation. The construction leads to Calabi-Yaus which have a fiber structure, in particular one case has K3 surfaces as fibers. These Calabi-Yaus are of some interest in connection with Type II -heterotic string dualities in dimension 4. A section at the end of the paper summarises this for the non-expert mathematician.


title: The Automorphism Group of Linear Sections of the Grassmannians G(1,N)

abstract: The Grassmannians of lines in projective N-space, G(1,N), are embedded by way of the Pl"ucker embedding in the projective space P(\bigwedge^2 C^{N+1}). Let H^l be a general l-codimensional linear subspace in this projective space. We examine the geometry of the linear sections G(1,N)\cap H^l by studying their automorphism groups and list those which are homogeneous or quasihomogeneous.


title: A proof of Kummer's theorem

abstract: Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The second section discusses the new proof, in the third section sketches of similar proofs for Bailey's and Dixon's theorems are given.


title: K3-fibered Calabi-Yau threefolds II, singular fibers

abstract: In part I of this paper we constructed certain fibered Calabi-Yaus by a quotient construction in the context of weighted hypersurfaces. In this paper look at the case of K3 fibrations more closely and study the singular fibers which occur. This differs from previous work since the fibrations we discuss have constant modulus, and the singular fibers have torsion monodromy.


title: On the Chow ring of the classifying stack of PGL_3

abstract: We compute generators for the Chow ring of the classifying space of PGL_3 (over the complex numbers) as defined by Totaro. We also find enough relations after inverting 3. We show that this ring is not generated by Chern classes (this is the first example of this kind among classical groups) and prove that Totaro's refined cycle class map to a quotient of complex cobordism of BPGL_3 is surjective


title: Non-symmetric convex domains have no basis of exponentials

abstract: A conjecture of Fuglede states that a bounded measurable set $\Omega$ in space, of measure 1, can tile space by translations if and only if the Hilbert space $L^2(\Omega)$ has an orthonormal basis consisting of exponentials. If $\Omega$ has the latter property it is called spectral. We generalize a result of Fuglede, that a triangle in the plane is not spectral, proving that every non-symmetric convex domain is not spectral.


title: On the structure of multiple translational tilings by polygonal regions

abstract: We consider polygons with the following ``pairing property'': for each edge of the polygon there is precisely one other edge parallel to it. We study the problem of when such a polygon $K$ tiles the plane multiply when translated at the locations $\Lambda$, where $\Lambda$ is a multiset in the plane. The pairing property of $K$ makes this question particularly amenable to Fourier Analysis. After establishing a necessary and sufficient condition for $K$ to tile with a given lattice $\Lambda$ (which was first found by Bolle for the case of convex polygons-notice that all convex polygons that tile, necessarily have the pairing property and, therefore, our theorems apply to them) we move on to prove that a large class of such polygons tiles only quasi-periodically, which for us means that $\Lambda$ must be a finite union of translated 2-dimensional lattices in the plane. For the particular case of convex polygons we show that all convex polygons which are not parallelograms tile necessarily quasi-periodically, if at all.


title: Packing, tiling, orthogonality and completeness

abstract: Let $\Omega \subseteq {\bf R}^d$ be an open set of measure 1. An open set $D \subseteq {\bf R}^d$ is called a ``tight orthogonal packing region'' for $\Omega$ if $D-D$ does not intersect the zeros of the Fourier Transform of the indicator function of $\Omega$ and $D$ has measure 1. Suppose that $\Lambda$ is a discrete subset of ${\bf R}^d$. The main contribution of this paper is a new way of proving the following result (proved by different methods by Lagarias, Reeds and Wang and, in the case of $\Omega$ being the cube, by Iosevich and Pedersen: $D$ tiles ${\bf R}^d$ when translated at the locations $\Lambda$ if and only if the set of exponentials $E_\Lambda = \{\exp 2\pi i \lambda\cdot x: \lambda\in\Lambda\}$ is an orthonormal basis for $L^2(\Omega)$. (When $\Omega$ is the unit cube in ${\bf R}^d$ then it is a tight orthogonal packing region of itself.) In our approach orthogonality of $E_\Lambda$ is viewed as a statement about ``packing'' ${\bf R}^d$ with translates of a certain nonnegative function and, additionally, we have completeness of $E_\Lambda$ in $L^2(\Omega)$ if and only if the above-mentioned packing is in fact a tiling. We then formulate the tiling condition in Fourier Analytic language and use this to prove our result.


title: A note on duality between measure and category

abstract: A bijection from R to R is called an Erdos-Sierpinski mapping if it maps meager sets onto the first category sets and vice versa. We show that there is no Erdos-Sierpinski mapping preserving addition.


title: Intersection of less than continuum ultrafilters may have measure zero

abstract: The goal of this paper is to prove the theorem in the title.


title: Twisting invariance of link polynomials derived from ribbon quasi-Hopf algebras

abstract: The construction of link polynomials associated with finite dimensional representations of ribbon quasi-Hopf algebras is discussed in terms of the formulation of an appropriate Markov trace. We then show that this Markov trace is invariant under twisting of the quasi-Hopf structure, which in turn implies twisting invariance of the associated link polynomials.


title: The continuity of Deligne's pairing

abstract: In this short note, we will show that the metric of Deligne's pairing is continous.


title: Standard bases with respect to the Newton filtration

abstract: The aim of this article is to introduce standard bases of ideals in polynomial rings with respect to a class of orderings which are not necessarily semigroup orderings. Our approach generalises the concept of standard bases with respect to semigroup orderings described by Graebe and Greuel/Pfister. To compute these standard bases we give a slightly modified version of the Buchberger algorithm. The orderings we consider are refinements of certain filtrations. In the local case these filtrations are Newton filtrations. For a zero dimensional ideal, an algorithm converting standard bases with respect to local orderings is given. As an application, we show how to compute the spectrum of an isolated complex hypersurface singularity $f:(C^n,0)\to(C,0)$ with nondegenerate principal part.


title: On Cantor's singular moments

abstract: In problem 10621 of the American Mathematical Monthly the question was raised whether it is possible to explicitly compute Cantor's singular moment of order -1. This is answered in the affirmative.


title: A canonical Tannaka duality for finite seimisimple tensor categories

abstract: For each finite semisimple tensor category, we associate a quantum group (face algebra) whose comodule category is equivalent to the original one, in a simple natural manner. To do this, we also give a generalization of the Tannaka-Krein duality, which assigns a face algebra for each tensor category equipped with an embedding into a certain kind of bimodule category.


title: Birational cobordisms and factorization of birational maps

abstract: In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally \'etale isomorphic to equivariant flips, blow-ups and blow-downs of toric varieties. A crucial role in the considerations is played by K^*-actions where K is the base field. This paper serves as a basis for proving the weak factorization conjecture on factorization of birational maps in characteristic zero into blow-ups and blow-downs. This is carried out in two subsequent papers, one by the author (Combinatorial structures on toroidal varieties: a proof of the weak Factorization Theorem) and one joint with Abramovich, Karu and Matsuki (Torification and factorization of birational maps). In the last paper, the ideas of the present paper are discussed using geometric invariant theory.


title: The Whittaker model of the center of the quantum group and Hecke algebras

abstract: In 1978 Kostant suggested the Whittaker model of the center of the universal enveloping algebra U(g) of a complex simple Lie algebra g. The main result is that the center of U(g) is isomorphic to a commutative subalgebra in U(b), where b is a Borel subalgebra in g. This observation is used in the theory of principal series representations of the corresponding Lie group G and in the proof of complete integrability of the quantum Toda lattice. In this thesis we generalize the Kostant's construction to quantum groups. In our construction we use quantum analogues of regular nilpotent elements defined in math.QA/9812107. We also show that the Whittaker model has a natural homological interpretation in terms of Hecke algebras introduced by the author in math.QA/9805134. The new Whittaker model is applied to the deformed quantum Toda lattice recently studied by Etingof. We give new proofs of his results which resemble the original Kostant's proofs for the quantum Toda lattice. Finally, we study the ``quasi-classical'' limit of the Whittaker model for U_h(g). Using the cross-section theorem proved in q-alg/9702016 we establish a relation between the Whittaker model and the set of conjugacy classes of regular elements in the corresponding Lie group $G$.


title: Toroidal varieties and the weak Factorization Theorem

abstract: The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the paper). Second we give a proof of the following weak factorization theorem as an application and illustration of the theory: A birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blow ups and blow downs with smooth centers. Another proof of the weak factorization theorem appeared in a joint paper with Abramovich, Karu and Matsuki (math.AG/9904135) In that paper the theorem is stated and proven in general for proper algebraic and analytic spaces.


title: Angles in Complex Vector Spaces

abstract: The article reviews some of the (fairly scattered) information available in the mathematical literature on the subject of angles in complex vector spaces. The following angles and their relations are considered: Euclidean, complex, and Hermitian angles, (Kasner's) pseudo-angle, the Kaehler angle (synonyms for the latter used in the literature are: angle of inclination, characteristic deviation, holomorphic deviation, holomorphy angle, Wirtinger angle, slant angle).


title: Dynamics near Relative Equilibria: Nongeneric Momenta at a 1:1 Group-Reduced Resonance

abstract: An interesting situation occurs when the linearized dynamics of the shape of a formally stable Hamiltonian relative equilibrium at nongeneric momentum 1:1 resonates with a frequency of the relative equilibrium's generator. In this case some of the shape variables couple to the group variables to first order in the momentum perturbation, and the first order perturbation theory implies that the relative equilibrium slowly changes orientation in the same way that a charged particle with magnetic moment moves on a sphere under the influence of a radial magnetic monopole. In the course of showing this a normal form is constructed for linearizations of relative equilibria and for Hamiltonians near group orbits of relative equilibria.


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

abstract: Let V be a finite dimensional complex superspace and G a simple (or a ``close'' to simple) Lie superalgebra of matrix type, i.e., a Lie subsuperalgebra in GL(V). Under the classical invariant theory for G we mean the description of G-invariant elements of the tensor algebra of V. In math.RT/9810113 the invariants are described up to polarization operators. Here we give a complete description of the generators in the algebra of invariants and describe the relations between the invariants of the scalar product type.


title: On some equations that can be brought to the equations of diffusion type

abstract: For the system of second order quasilinear parabolic equations the problem of reducing them to the equations of diffusion type is considered. In non-degenerate case an effective algorithm for solving this problem is suggested.


title: Coribbon Hopf (face) algebras generated by lattice models

abstract: By studying ``points of the underlying quantum groups''of coquasitriangular Hopf (face) algebras, we construct ribbon categories for each lattice models without spectral parameter of both vertex and face type. Also, we give a classification of the braiding and the ribbon structure on quantized classical groups and modular tensor categories closely related to quantum SU(N)_L-invariants of 3-manifolds.


title: Face algebras and unitarity of SU(N)_L-TQFT

abstract: Using face algebras (i.e. algebras of L-operators of IRF models), we construct modular tensor categories with positive definite inner product, whose fusion rules and S-matrices are the same as (or slightly different from) those obtained by $U_q (\frak{sl}_{N})$ at roots of unity. Also we obtain state-sums of ABF models on framed links which give quantum SU(2)-invariants of corresponding 3-manifolds.


title: Arithmetic Hirzebruch Zagier cycles

abstract: We define special cycles on arithmetic models of twisted Hilbert-Blumenthal surfaces at primes of good reduction. These are arithmetic versions of these cycles. In particular, we characterize the non-degenerate intersections and partially determine the generating series formed from the intersection numbers of them relating it to the value at the center of symmetry of the derivative of a certain metaplectic Eisenstein series in 6 variables. These results are analogous to those obtained by us in the case of Siegel threefolds (alg-geom/9711025). We also study the case of degenerate intersections and show that in this case the intersection locus is a configuration of projective lines whose dual graph is described in terms of subcomplexes of the Bruhat-Tits building of PGL(2,F), where F is an unramified quadratic extension of Q_p.


title: Vertex operators for standard bases of the symmetric functions

abstract: We present a formulas to add a row or a column to the power, monomial, forgotten, Schur, homogeneous and elementary symmetric functions. As an application of these operators we show that the operator that adds a column to the Schur functions can be used to calculate a formula for the number of pairs of standard tableaux the same shape and height less than or equal to a fixed $k$.


title: Convergence and finite determination of formal CR mappings

abstract: It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds, convergence is proved e.g. under the assumption that the source is of finite type, the target does not contain a nontrivial holomorphic variety, and the mapping is finite. Finite determination (by jets of a predetermined order) of formal mappings between smooth generic submanifolds is also established.


title: A Lefschetz (1,1) Theorem for normal projective complex varieties

abstract: We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective variety. We show that the classes of Cartier divisors in $H^2(X,Z)$ are precisely the classes $x$ such that (i) the image of $x$ in $H^2(X,C)$ (cohomology with complex coefficients) lies in $F^1 H^2(X,C)$ (first level of the Hodge filtration for Deligne's mixed Hodge structure), and (ii) $x$ is Zariski-locally trivial, i.e., there is a covering of $X$ by Zariski open sets $U$ such that $x$ has zero image in $H^2(U,Z)$. For normal quasi-projective varieties, this positively answers a question of Barbieri-Viale and Srinivas (J. Reine Ang. Math. 450 (1994)), where examples are given to show that divisor classes are not characterized by either one of the above conditions (i), (ii), taken by itself, unlike in the case of non-singular varieties. The present paper also contains an example of a non-normal projective variety for which (i) and (ii) do not suffice to characterize divisor classes.


title: The KO-theory of Toric Manifolds

abstract: We use the Adams spectral sequence to compute the KO-theory of all toric manifolds and certain singular toric varieties.


title: Gau{\ss}-Manin determinants for rank one irregular connections on curves

abstract: see the old abstract and the comments here.


title: On Homology of Virtual Braids and Burau Representation

abstract: Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. Virtual braids correspond naturally to virtual knots. We consider the group of virtual braids on n strings VB_n and its Burau representation, in particular we study their homological properties. We prove that the plus-construction of the classifying space of the virtual braid group on the infinite number of strings is an infinite loop space which is equivalent to a product of Q(S^0), S^1 and an infinite loop space Y. Connections with the K-functor of the integers are discussed.


title: Hirzebruch Surfaces: Degenerations, Related Braid Monodromy, Galois Covers

abstract: We describe various properties of Hirzebruch surfaces and related constructions: degenerations, braid monodromy, Galois covers and their Chern classes.


title: Weighted Tango Bundles And Their Moduli Spaces

abstract: We define a new class of holomorphic (n-1)-bundles on the n-dimensional complex projective space, that contains the Tango bundles and their stable Horrock's pull-backs; we show that these bundles are invariant under small deformations and that their isomorphism classes correspond to smooth points of moduli spaces.


title: Discriminant of theta divisors and Quillen metrics

abstract: We show that analytic torsion of smooth theta divisor is represented by a Siegel modular form characterizing the Andreotti-Mayer locus if its dimension is positive.


title: On eigenfunction approximations for typical non-self-adjoint Schroedinger operators

abstract: We construct efficient approximations for the eigenfunctions of non-self-adjoint Schroedinger operators in one dimension. The same ideas also apply to the study of resonances of self-adjoint Schroedinger operators which have dilation analytic potentials. In spite of the fact that such eigenfunctions can have surprisingly complicated structures with multiple local maxima, we show that a suitable adaptation of the JWKB method is able to provide accurate lobal approximations to them.


title: Morita-Rieffel Equivalence and Spectral Theory for Integrable Automorphism Groups of C*-Algebras

abstract: Given a C*-dynamical system (A,G,\alpha), we discuss conditions under which subalgebras of the multiplier algebra M(A) consisting of fixed points for \alpha are Morita-Rieffel equivalent to ideals in the crossed product of A by G. In case G is abelian we also develop a spectral theory, giving a necessary and sufficient condition for \alpha to be equivalent to the dual action on the cross-sectional C*-algebra of a Fell bundle. In our main application we show that a proper action of an abelian group on a locally compact space is equivalent to a dual action.


title: On the Cobordism Class of the Hilbert Scheme of a Surface

abstract: Let S be a smooth projective surfaces and S^[n] the Hilbert scheme of zero-dimensional subschemes of S of length n. We proof that the class of S^[n] in the complex cobordism ring depends only on the class of the surface itself. Moreover, we compute the cohomology and holomorphic Euler characterisitcs of certain tautological sheaves on S^[n] and prove results on the general structure of certain integrals over polynomials in Chern classes of tautological sheaves.


title: On Loops Representing Elements of the Fundamental Group of a Complete Manifold with Nonnegative Ricci Curvature

abstract: This paper concerns complete noncompact manifolds with nonnegative Ricci curvature. Roughly, we say that M has the loops to infinity property if given any noncontractible closed curve, C, and given any compact set, K, there exists a closed curve contained in M\K which is homotopic to C. The main theorems in this paper are the following. Theorem I: If M has positive Ricci curvature then it has the loops to infinity property. Theorem II: If M has nonnegative Ricci curvature then it either has the loops to infinity property or it is isometric to a flat normal bundle over a compact totally geodesic submanifold and its double cover is split. Theorem III: Let M be a complete riemannian manifold with the loops to infinity property along some ray starting at a point, p. Let D containing p be a precompact region with smooth boundary and S be any connected component of the boundary containing a point, q, on the ray. Then the map from the fundamental group of S based at q to the fundamental group of Cl(D) based at p induced by the inclusion map is onto.


title: An asymptotic existence theorem for plane curves with prescribed singularities

abstract: Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d > d_0(m)$ then the linear system $L$ of plane curves of degree $d$ having a multiplicity at least $m_i$ at each point $P_i$ has the expected dimension ; moreover, if $L$ is not empty, there exists an irreducible plane curve of degree $d$, smooth away from the $r$ points $P_i$, and having an ordinary singularity of the prescribed multiplicity $m_i$ at each point $P_i$. This curve may be isolated in $L$.


title: On a Conjecture of Kac-Wakimoto

abstract: We prove a conjecture about mininmal index of certain representations of Coset Algebraic Conformal Field Theories under general conditions as formulated previously by us. As a by-product, the Kac-Wakimoto Conjecture (KWC) which is related to the asympotics of the coset characters is true under the same conditions. The same idea in the proof also proves a recent conjecture related to subfactors from conformal inclusions.


title: Stokes Matrices and Monodromy of the Quantum Cohomology of Projective Spaces

abstract: We compute Stokes matrices and monodromy for the quantum cohomology of projective spaces. We prove that the Stokes' matrix of the quantum cohomology coincides with the Gram matrix in the theory of derived categories of coherent sheaves.


title: The Burau representation is not faithful for n = 5

abstract: The Burau representation is a natural action of the braid group B_n on the free Z[t,t^{-1}]-module of rank n-1. It is a longstanding open problem to determine for which values of n this representation is faithful. It is known to be faithful for n=3. Moody has shown that it is not faithful for n>8 and Long and Paton improved on Moody's techniques to bring this down to n>5. Their construction uses a simple closed curve on the 6-punctured disc with certain homological properties. In this paper we give such a curve on the 5-punctured disc, thus proving that the Burau representation is not faithful for n>4.


title: A new algebra which transmutes to the braided algebra

abstract: We find a new braided Hopf structure for the algebra satisfied by the entries of the braided matrix $BSL_q(2)$. A new nonbraided algebra whose coalgebra structure is the same as the braided one is found to be a two parameter deformed algebra. It is found that this algebra is not a comodule algebra under adjoint coaction. However, it is shown that for a certain value of one of the deformation parameters the braided algebra becomes a comodule algebra under the coaction of this nonbraided algebra. The transmutation of the nonbraided algebra to the braided one is constructed explicitly.


title: Restriction of stable rank two vector bundles in arbitrary characteristic

abstract: Let $X$ be a smooth variety defined over an algebraically closed field of arbitrary characteristic and $\O_X(H)$ be a very ample line bundle on $X$. We show that for a semistable $X$-bundle $E$ of rank two, there exists an integer $m$ depending only on $\Delta(E).H^{\dim(X)-2}$ and $H^{\dim(X)}$ such that the restriction of $E$ to a general divisor in $|mH|$ is again semistable. As corollaries we obtain boundedness results, and weak versions of Bogomolov's theorem and Kodaira's vanishing theorem for surfaces in arbitrary characteristic.


title: Quons as su(2) Irreducible Tensor Operators

abstract: We prove that, for the quon algebra, which interpolates between the Bose and Fermi statistics and depends on a free parameter q,it is possible to build an su(2) irreducible representation. One of the consequences of this fact is that the quons couple via the same angular momentum coupling rules obeyed by ordinary bosons and fermions.


title: Equivalence of Borcherds G-Vertex Algebras and Axiomatic Vertex Algebras

abstract: In this paper we build an abstract description of vertex algebras from their basic axioms. Starting with Borcherds' notion of a vertex group, we naturally construct a family of multilinear singular maps parameterised by trees. These singular maps are defined in a way which focusses on the relations of singularities to their inputs. In particular we show that this description of a vertex algebra allows us to present generalised notions of rationality, commutativity and associativity as natural consequences of the definition. Finally, we show that for a certain choice of vertex group, axiomatic vertex algebras correspond bijectively to algebras in the relaxed multilinear category of representations of a vertex group.


title: Shifted Quasi-Symmetric Functions and the Hopf algebra of peak functions

abstract: In his work on P-partitions, Stembridge defined the algebra of peak functions Pi, which is both a subalgebra and a retraction of the algebra of quasi-symmetric functions. We show that Pi is closed under coproduct, and therefore a Hopf algebra, and describe the kernel of the retraction. Billey and Haiman, in their work on Schubert polynomials, also defined a new class of quasi-symmetric functions --- shifted quasi-symmetric functions --- and we show that Pi is strictly contained in the linear span Xi of shifted quasi-symmetric functions. We show that Xi is a coalgebra, and compute the rank of the n-th graded component.


title: Tree-level invariants of three-manifolds, Massey products and the Johnson homomorphism

abstract: Two references added and the introduction slightly expanded. We show that the tree-level part of a recent theory of invariants of 3-manifolds (due, independently, to Goussarov and Habiro) is essentially given by classical algebraic topology in terms of the Johnson homomorphism and Massey products, for arbitrary 3-manifolds. A key role of our proof is played by the notion of a homology cylinder, viewed as an enlargement of the mapping class group, and an apparently new Lie algebra of graphs colored by the first homology of a closed surface, closely related to deformation quantization on a surface as well as to a Lie algebra that encodes the symmetries of Massey products and the Johnson homomorphism. In addition, we present a realization theorem for Massey products and the Johnson homomorphism on homology cylinders.


title: A self-dual poset on objects counted by the Catalan numbers and a type-B analogue

abstract: We introduce two partially ordered sets, $P^A_n$ and $P^B_n$, of the same cardinalities as the type-A and type-B noncrossing partition lattices. The ground sets of $P^A_n$ and $P^B_n$ are subsets of the symmetric and the hyperoctahedral groups, consisting of permutations which avoid certain patterns. The order relation is given by (strict) containment of the descent sets. In each case, by means of an explicit order-preserving bijection, we show that the poset of restricted permutations is an extension of the refinement order on noncrossing partitions. Several structural properties of these permutation posets follow, including self-duality and the strong Sperner property. We also discuss posets $Q^A_n$ and $Q^B_n$ similarly associated with noncrossing partitions, defined by means of the excedence sets of suitable pattern-avoiding subsets of the symmetric and hyperoctahedral groups.


title: The triangulated Hopf category n_+SL(2)

abstract: We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for structure isomorphisms. In particular, the Hopf category is monoidal.


title: On $\alpha$-induction, chiral generators and modular invariants for subfactors

abstract: We consider a type III subfactor $N\subset M$ of finite index with a finite system of braided $N$-$N$ morphisms which includes the irreducible constituents of the dual canonical endomorphism. We apply $\alpha$-induction and, developing further some ideas of Ocneanu, we define chiral generators for the double triangle algebra. Using a new concept of intertwining braiding fusion relations, we show that the chiral generators can be naturally identified with the $\alpha$-induced sectors. A matrix $Z$ is defined and shown to commute with the S- and T-matrices arising from the braiding. If the braiding is non-degenerate, then $Z$ is a ``modular invariant mass matrix'' in the usual sense of conformal field theory. We show that in that case the fusion rule algebra of the dual system of $M$-$M$ morphisms is generated by the images of both kinds of $\alpha$-induction, and that the structural information about its irreducible representations is encoded in the mass matrix $Z$. Our analysis sheds further light on the connection between (the classifications of) modular invariants and subfactors, and we will construct and analyze modular invariants from $SU(n)_k$ loop group subfactors in a forthcoming publication, including the treatment of all $SU(2)_k$ modular invariants.

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


title: The Bott Formula for Toric Varieties

abstract: The purpose of this paper is to give an explicit formula which allows one to compute the dimension of the cohomology groups of the sheaf $\Omega_{\P}^p(D)$ of p-th differential forms of Zariski twisted by an ample invertible sheaf on a complete simplicial toric variety. The formula involves some combinatorial sums of integer points over all faces of the support polytope for ${\O_X}(D)$. We also introduce a new combinatorial object, the so-called p-th Hilbert-Erhart polynomial, which generalizes the usual notion and behaves similar. Namely, there exists a generalization of the inversion law for a usual Hilbert-Erhart polynomial. Some applications of the Bott formula are discussed.


title: The big q-Jacobi function transform

abstract: We give a detailed description of the resolution of the identity of a second order $q$-difference operator considered as an unbounded self-adjoint operator on two different Hilbert spaces. The $q$-difference operator and the two choices of Hilbert spaces naturally arise from harmonic analysis on the quantum group $SU_q(1,1)$ and $SU_q(2)$. The spectral analysis associated to $SU_q(1,1)$ leads to the big $q$-Jacobi function transform together with its Plancherel measure and inversion formula. The dual orthogonality relations give a one-parameter family of non-extremal orthogonality measures for the continuous dual $q^{-1}$-Hahn polynomials with $q^{-1}>1$, and explicit sets of functions which complement these polynomials to orthogonal bases of the associated Hilbert spaces. The spectral analysis associated to $SU_q(2)$ leads to a functional analytic proof of the orthogonality relations and quadratic norm evaluations for the big $q$-Jacobi polynomials.


title: The BV-algebra of a Jacobi manifold

abstract: We show that the Gerstenhaber algebra of the 1-jet Lie algebroid of a Jacobi manifold has a canonical exact generator, and discuss duality between its homology and the Lie algebroid cohomology. We also discuss a new example of a Lie bialgebroid on Poisson manifolds.


title: PBW and duality theorems for quantum groups and quantum current algebras

abstract: We give proofs of the PBW and duality theorems for the quantum Kac-Moody algebras and quantum current algebras, relying on Lie bialgebra duality. We also show that the classical limit of the quantum current algebras associated with an untwisted affine Cartan matrix is the enveloping algebra of a quotient of the corresponding toroidal algebra; this quotient is trivial in all cases except the $A_1^{(1)}$ case.


title: Components of spaces of representations and stable triples

abstract: We consider the moduli spaces of representations of the fundamental group of a surface of genus g greater than 2 in the Lie groups SU(2,2) and Sp(4,R). It is well known that there is a characteristic number of such a representation, whose absolute value is less than or equal to 2g-2. This allows one to write the moduli space as a union of subspaces indexed by the characteristic number, each of which is a union of connected components. The main result of this paper is that the subspaces with characteristic number plus or minus 2g-2 are connected in the case of representations in SU(2,2), while they break up into 2^{2g+1}+2g-3 connected components in the case of representations in Sp(4,R). We obtain our results using the interpretation of the moduli space of representations as a moduli space of Higgs bundles, and an important step is an identification of certain subspaces as moduli spaces of stable triples, as studied by Bradlow and Garcia-Prada.


title: Discrete product systems of Hilbert bimodules

abstract: A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with a multiplication which implements isomorphisms X_s\otimes_A X_t \to X_{st}; such a family is a called a product system. We define a generalized Cuntz- Pimsner algebra O_X, and we show that every twisted crossed product of A by P can be realized as O_X for a suitable product system X. Assuming P is quasi- lattice ordered in the sense of Nica, we analyze a certain Toeplitz extension T_{cov}(X) of O_X by embedding it in a crossed product B_P \times_{\tau,X} P which has been ``twisted'' by X; our main Theorem is a characterization of the faithful representations of B_P \times_{\tau,X} P.


title: Discrete product systems of finite-dimensional Hilbert spaces, and generalized Cuntz algebras

abstract: To each discrete product system E of finite-dimensional Hilbert spaces we associate a C*-algebra O_E. When E is the n-dimensional product system over N, O_E is the Cuntz algebra O_n, and the irrational rotation algebras appear as O_E for certain one-dimensional product systems over N^2. We give conditions which ensure that O_E is simple, purely infinite, and nuclear. Our main examples are the lexicographic product systems, for which we obtain slightly stronger results.


title: Assignments and Abstract Moment Maps

abstract: moment maps arise as a generalization of genuine moment maps on symplectic manifolds when the symplectic structure is discarded, but the relation between the mapping and the action is kept. Particular examples of abstract moment maps had been used in Hamiltonian mechanics for some time, but the abstract notion originated in the study of cobordisms of Hamiltonian group actions. In this paper we answer the question of existence of a (proper) abstract moment map for a torus action and give a necessary and sufficient condition for an abstract moment map to be associated with a pre-symplectic form. This is done by using the notion of an assignment, which is a combinatorial counterpart of an abstract moment map. Finally, we show that the space of assignments fits as the zeroth cohomology in a series of certain cohomology spaces associated with a torus action on a manifold. We study the resulting "assignment cohomology" theory.


title: A reflection principle for real-analytic submanifolds of complex spaces

abstract: We give an invariant nondegeneracy condition for CR--maps between generic submanifolds in different dimensions and use it to prove a reflection principle for these maps.


title: Weak Convergence and Deterministic Approach to Turbulent Diffusion

abstract: The purpose of this contribution is to show that some of the basic ideas of turbulence can be addressed in a deterministic setting instead of introducing random realizations of the fluid. Weak limits of oscillating sequences of solutions are considered and along the same line the Wigner transform replaces the Kolmogorov definition of the spectra of turbulence. One of the main issue is to show that, at least in some cases, this weak limit is the solution of an equation with an extra diffusion (the name turbulent diffusion appears naturally). In particular for a weak limit of solutions of the incompressible Euler equation (which is time reversible) such process would lead to the appearance of irreversibility. In the absence of proofs, following a program initiated by P. Lax, the diffusive property of the limit is analyzed, with the tools of Lax and Levermore or Jin Levermore and Mc Laughlin, on the zero dispersion limit of the Korteweg-deVries equation and of the Non Linear Schrodinger equation. The three authors are extremely happy to have the opportunity to publish this contribution in a volume dedicated to Walter Strauss as a mark of friendship and admiration for his achievement. They hope that this paper concerned with non linear fluid mechanics, non linear instabilities and inverse scattering, will find its place in the different domains that have interested Walter.


title: The Expected Number of Real Roots of a Multihomogeneous System of Polynomial Equations

abstract: Theorem 1 is a formula expressing the mean number of real roots of a random multihomogeneous system of polynomial equations as a multiple of the mean absolute value of the determinant of a random matrix. Theorem 2 derives closed form expressions for the mean in special cases that include earlier results of Shub and Smale (for the general homogeneous system) and Rojas (for ``unmixed'' multihomogeneous systems). Theorem 3 gives upper and lower bounds for the mean number of roots, where the lower bound is the square root of the generic number of complex roots, as determined by Bernstein's theorem. These bounds are derived by induction from recursive inequalities given in Theorem 4.


title: Riemann-Roch Theorems via deformation quanitzation I

abstract: We deduce the Riemann-Roch type formula expressing the microlocal Euler class of a perfect complex of D-modules in terms of the Chern character of the associated symbol complex and the Todd class of the manifold from the Riemann-Roch type theorem for periodic cyclic cocycles of a symplectic deformation quantization. The proof of the latter is contained in the sequel to this paper.


title: Methods for the approximation of the matrix exponential in a Lie-algebraic setting

abstract: Discretization methods for ordinary differential equations based on the use of matrix exponentials have been known for decades. This set of ideas has come off age and acquired greater urgency recently, within the context of geometric integration and discretization methods on manifolds based on the use of Lie-group actions. In the present paper we study the approximation of the matrix exponential in a particular context: given a Lie group $G$ and its Lie algebra $g$, we seek approximants $F(tB)$ of $\exp(tB)$ such that $F(tB)\in G$ if $B\in g$. Having fixed a basis of the Lie algebra, we write $F(tB)$ as a composition of exponentials of the basis elements pre-multiplied by suitable scalar functions.


title: A geometric estimate for a periodic Schr\"odinger operator whose potential is the curvature of a spherical curve

abstract: We estimate from below by geometric data the eigenvalues of the periodic Sturm-Liouville operator $- 4 d^2/ds^2 + \kappa^2 (s)$ with potential given by the curvature of a closed curve.


title: On the Shafarevich conjecture for surfaces of general type over function fields

abstract: For a non-isotrivial family of surfaces of general type over a complex projective curve, we give upper bounds for the degree of the direct images of powers of the relative dualizing sheaf. They imply that, fixing the curve and the possible degeneration locus, the induced morphisms to the moduli scheme of stable surfaces of general type are parameterized by a scheme of finite type. The method extends to families of canonically polarized manifolds, but the modular interpretation requires the existence of relative minimal models.


title: On endomorphisms of surface mapping class groups

abstract: We prove that every endomorphism of the mapping class group of an orientable surface onto a subgroup of finite index is in fact an automorphism.


title: Elliptic Genera and Applications to Mirror Symmetry

abstract: The paper contains a proof that elliptic genus of a Calabi-Yau manifold is a Jacobi form, finds in which dimensions the elliptic genus is determined by the Hodge numbers and shows that elliptic genera of a Calabi-Yau hypersurface in a toric variety and its mirror coincide up to sign. The proof of the mirror property is based on the extension of elliptic genus to Calabi-Yau hypersurfaces in toric varieties with Gorenstein singularities.


title: The Charge Quantum Numbers of Gauge Invariant Quasi-free Endomorphisms

abstract: The representations of a group of gauge automorphisms of the canonical commutation or anticommutation relations which appear on the Hilbert spaces of isometries H_\rho implementing quasi-free endomorphisms \rho on Fock space are studied. Such a representation, which characterizes the "charge" of \rho in local quantum field theory, is determined by the Fock space structure of H_\rho itself: Together with a "basic" representation of the group, all higher symmetric or antisymmetric tensor powers thereof also appear. Hence \rho is reducible unless it is an automorphism. It is further shown by the example of the massless Dirac field in two dimensions that localization and implementability of quasi-free endomorphisms are compatible with each other.

categories: math.OA hep-th math-ph math.FA math.MP math.RT


title: Condition number bounds for problems with integer coefficients

abstract: An apriori bound for the condition number associated to each of the following problems is given: general linear equation solving, minimum squares, non-symmetric eigenvalue problems, solving univariate polynomials, solving systems of multivariate polynomials. It is assumed that the input has integer coefficients and is not on the degenerate locus of the respective problem (i.e. the condition number is finite). Then condition numbers are bounded in terms of the dimension and of the bit-size of the input. In the same setting, bounds are given for the speed of convergence of the following iterative algorithms: QR without shift for the symmetric eigenvalue problem, and Graeffe iteration for univariate polynomials.


title: Lower bounds for some decision problems over C

abstract: Lower bounds for some explicit decision problems over the complex numbers are given.


title: Ultimate Polynomial Time

abstract: The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that $\mathcal{UP}$ does not contain the class of non-deterministic polynomial time problems definable without constants over $\mathbb C$. This latest statement implies that $\mathcal P \ne \mathcal{NP}$ over $\mathbb C$. A notion of `ultimate complexity' of a problem is suggested. It provides lower bounds for the complexity of structured problems.


title: Rigidity of Secondary Characteristic Classes

abstract: In this paper we study the variability and rigidity of secondary characteristic classes which arise from flat connections on a manifold. Considering the connection as a Lie-algebra valued one-form, we study the characteristic map from Lie algebra cohomology to de Rham cohomology of the manifold, and prove that if the Leibniz cohomology of the Lie algebra vanishes, then all secondary characteristic classes are rigid. In the case of codimension one foliations (with trivial normal bundle), we show that a characteristic map from the Leibniz cohomology of formal vector fields to the de Rham cohomology of the manifold detects a one-parameter variation of the Godbillon-Vey class. Recall that Leibniz cohomology groups are invariants of Lie algebras defined by J-L. Loday.


title: Formality conjecture for chains

abstract: We state the analogs of Kontsevich's formality conjecture for Hochschild and cyclic chains, as well as their


title: Explicit constructions of universal R-trees and asymptotic geometry of hyperbolic spaces

abstract: We present some explicit constructions of universal R-trees with applications to the asymptotic geometry of hyperbolic spaces. In particular, we show that any asymptotic cone of a complete simply connected manifold of negative curvature is a complete homogeneous R-tree with the valency $2^{\aleph_0}$ at every point. It implies that all these asymptotic cones are isometric depending neither on a manifold nor on an ultrafilter. It is also proved that the same R-tree can be isometrically embedded at infinity into such a manifold or into a non-abelian free group.


title: Statistics of closest returns for some non-uniformly hyperbolic systems

abstract: For non uniformly hyperbolic maps of the interval with exponential decay of correlations we prove that the law of closest return to a given point when suitably normalized is almost surely asymptotically exponential. A similar result holds when the reference point is the initial point of the trajectory. We use the framework for non uniformly hyperbolic dynamical systems developed by L.S.Young.


title: Torification and Factorization of Birational Maps

abstract: Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blowings up and blowings down with smooth centers. Such a factorization exists which is functorial with respect to absolute isomorphisms, and compatible with a normal crossings divisor. The same holds for algebraic and analytic spaces. Another proof of the main theorem by the fourth author appeared in math.AG/9904076.


title: Convergence of numerical ODE solvers and Lyapunov's theory of stability

abstract: For the ordinary differential equation (ODE) $\dot{x}(t) = f(t,x)$, $x(0) = x_0$, $t\geq 0$, $x\in R^d$, assume $f$ to be at least continuous in $t$ and locally Lipshitz in $x$, and if necessary, several times continuously differentiable in $t$ and $x$. We associate a conditioning function $E(t)$ with each solution $x(t)$ which captures the accumulation of global error in a numerical approximation in the following sense: if $\tilde{x}(t;h)$ is an approximation derived from a single step method of time step $h$ and order $r$ then $\norm{\tilde{x}(t;h) - x(t)} < K(E(t)+\epsilon)h^r$ for $0\leq t\leq T$, any $\epsilon > 0$, sufficiently small $h$, and a constant $K>0$. Using techniques from the stability theory of differential equations, this paper gives conditions on $x(t)$ for $E(t)$ to be upper bounded linearly or by a constant for $t\geq 0$. More concretely, these techniques give constant or linear bounds on $E(t)$ when $x(t)$ is a trajectory of a dynamical system which falls into a stable, hyperbolic fixed point; or into a stable, hyperbolic cycle; or into a normally hyperbolic and contracting manifold with quasiperiodic flow on the manifold.


title: Scattering theory for geometrically finite groups

abstract: We develop a geometric scattering theory for a geometrically finite group acting on (a vector bundle over) a symmetric space of negative curvature. In particular, we obtain the meromorphic continuation of Eisenstein series and scattering matrices and their functional equations.


title: Real Schubert Calculus: Polynomial systems and a conjecture of Shapiro and Shapiro

abstract: Boris Shapiro and Michael Shapiro have a conjecture concerning the Schubert calculus and real enumerative geometry and which would give infinitely many families of zero-dimensional systems of real polynomials (including families of overdetermined systems)--all of whose solutions are real. It has connections to the pole placement problem in linear systems theory and to totally positive matrices. We give compelling computational evidence for its validity, prove it for infinitely many families of enumerative problems, show how a simple version implies more general versions, and present a counterexample to a general version of their conjecture.


title: Projective modules over non-commutative tori: classification of modules with constant curvature connection

abstract: We study finitely generated projective modules over noncommutative tori. We prove that for every module $E$ with constant curvature connection the corresponding element $[E]$ of the K-group is a generalized quadratic exponent and, conversely, for every positive generalized quadratic exponent $\mu$ in the K-group one can find such a module $E$ with constant curvature connection that $[E] = \mu $. In physical words we give necessary and sufficient conditions for existence of 1/2 BPS states in terms of topological numbers.


title: Coloring of Trees with Minimum Sum of Colors

abstract: The chromatic sum of a graph is the smallest sum of colors among all proper colorings with natural numbers. The strength is the minimum number of colors needed to achieve the chromatic sum. We construct for each positive integer k a tree with strength k that has maximum degree only 2k-2. The result is best possible.


title: A formula in the theory of finite type invariants

abstract: A formula for the difference of Vassiliev invariants of degree k+1 of two knots all of whose Vassiliev invariants of degree k agree is proven. The proof uses K. Habiro's C-moves and his theorem which relates them to Vassiliev invariants.


title: Cross Product Bialgebras - Part II

abstract: This is the central article of a series of three papers on cross product bialgebras. We present a universal theory of bialgebra factorizations (or cross product bialgebras) with cocycles and dual cocycles. We also provide an equivalent (co-)modular co-cyclic formulation. All known examples as for instance bi- or smash, doublecross and bicross product bialgebras as well as double biproduct bialgebras and bicrossed or cocycle bicross product bialgebras are now united within a single theory. Furthermore our construction yields various novel types of cross product bialgebras.


title: Truncations of the ring of number-theoretic functions

abstract: We study the ring of all functions from the positive integers to some field. This ring, which we call \emph{the ring of number-theoretic functions}, is an inverse limit of the ``truncations'' \Gamma_n consisting of all functions f for which f(m)=0 whenever m > n. Each \Gamma_n is a zero-dimensional, finitely generated (K)-algebra, which may be expressed as the quotient of a finitely generated polynomial ring with a \emph{reversely stable} monomial ideal. Using the description of the free minimal resolution of stable ideals, given by Eliahou-Kervaire, and some additional arguments by Aramova-Herzog and Peeva, we give the Poincar\'e-Betti series for \Gamma_n.


title: Large Schubert varieties

abstract: For a semisimple adjoint algebraic group $G$ and a Borel subgroup $B$, consider the double classes $BwB$ in $G$ and their closures in the canonical compactification of $G$: we call these closures large Schubert varieties. We show that these varieties are normal and Cohen-Macaulay; we describe their Picard group and the spaces of sections of their line bundles. As an application, we construct geometrically van der Kallen's filtration of the algebra of regular functions on $B$. We also construct a degeneration of the flag variety $G/B$ embedded diagonally in $G/B\times G/B$, into a union of Schubert varieties. This leads to formulae for the class of the diagonal in $T$-equivariant $K$-theory of $G/B\times G/B$, where $T$ is a maximal torus of $B$.


title: Deformations of homotopy algebras

abstract: Let $k$ be a field of characteristic zero, $\CO$ be a dg operad over $k$ and let $A$ be an $\CO$-algebra. In this note we define formal deformations of $A$, construct the deformation functor $$\Def_A:\dgar(k)\to\simpl$$ from the category of artinian local dg algebras to the category of simplicial sets. In the case $\CO$ and $A$ are non-positively graded, we prove that $\Def_A$ is governed by the tangent Lie algebra $T_A$ (defined as derivations of a cofibrant resolution of $A$). A very easy example shows that the result does not hold without this condition.


title: A GIT proof of W{\l}odarczyk's weighted factorization theorem

abstract: We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns.


title: Nonemptiness of Brill-Noether loci

abstract: Let $X$ be a non-singular algebraic curve of genus $g$. We prove that the Brill-Noether locus $\bns $ is non-empty if $d= nd' +d'' $ with $0< d'' <2n$, $1\le s\le g$, $d'\geq (s-1)(s+g)/s $, $n\leq d''+(n-k)g$, $(d'',k)\ne(n,n)$. These results hold for an arbitrary curve of genus $\ge 2$, and allow us to construct a region in the associated ``Brill-Noether $\pa$-map'' of points for which the Brill-Noether loci are non-empty. Even for the generic case, the region so constructed extends beyond that defined by the so-called ``Teixidor parallelograms.'' For hyperelliptic curves, the same methods give more extensive and precise results.


title: Cohomology of a Hamiltonian T-space with involution

abstract: Let $M$ be a compact symplectic manifold on which a compact torus $T$ acts Hamiltonialy with a moment map $\mu$. Suppose there exists a symplectic involution $\theta:M\to M$, such that $\mu\circ\theta=-\mu$. Assuming that 0 is a regular value of $\mu$, we calculate the trace of the action of $\theta$ on the cohomology of $M$ in terms of the trace of the action of $\theta$ on the symplectic reduction $\mu^{-1}(0)/T$ of $M$. This result generalizes a theorem of R. Stanley, who considered the case when $M$ was a toric variety.


title: On the Stochastic Kuramoto-Sivashinsky Equation

abstract: In this article we study the solution of the Kuramoto-Sivashinsky equation (for surface erosion or surface growth) on a bounded interval subject to a random forcing term. We show that a unique solution to the equation exists for all time and depends continuously on the initial data.

categories: math.DS math-ph math.AP math.FA math.MP math.PR


title: Enumeration of Matchings: Problems and Progress

abstract: This document is built around a list of thirty-two problems in enumeration of matchings, the first twenty of which were presented in a lecture at MSRI in the fall of 1996. I begin with a capsule history of the topic of enumeration of matchings. The twenty original problems, with commentary, comprise the bulk of the article. I give an account of the progress that has been made on these problems as of this writing, and include pointers to both the printed and on-line literature; roughly half of the original twenty problems were solved by participants in the MSRI Workshop on Combinatorics, their students, and others, between 1996 and 1999. The article concludes with a dozen new open problems. (Note: This article supersedes math.CO/9801060 and math.CO/9801061.)