title: Quantization of Lie bialgebras, IV

abstract: This paper is a continuation of "Quantization of Lie bialgebras, III" (q-alg/9610030, revised version). In QLB-III, we introduced the Hopf algebra F(R)_\z associated to a quantum R-matrix R(z) with a spectral parameter, and a set of points \z=(z_1,...,z_n). This algebra is generated by entries of a matrix power series T_i(u), i=1,...,n,subject to Faddeev-Reshetikhin-Takhtajan type commutation relations, and is a quantization of the group GL_N[[t]]. In this paper we consider the quotient F_0(R)_\z of F(R)_\z by the relations \qdet_R(T_i)=1, where \qdet_R is the quantum determinant associated to R (for rational, trigonometric, or elliptic R-matrices). This is also a Hopf algebra, which is a quantization of the group SL_N[[t]]. This paper was inspired by the pioneering paper of I.Frenkel and Reshetikhin. The main goal of this paper is to study the representation theory of the algebra F_0(R)_\z and of its quantum double, and show how the consideration of coinvariants of this double (quantum conformal blocks) naturally leads to the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. Our construction for the rational R-matrix is a quantum analogue of the standard derivation of the Knizhnik-Zamolodchikov equations in the Wess-Zumino-Witten model of conformal field theory, and for the elliptic R-matrix is a quantum analogue of the construction of Kuroki and Takebe. Our result is a generalization of the construction of Enriques and Felder, which appeared while this paper was in preparation. Enriques and Felder gave a derivation of the quantum KZ equations from coinvariants in the case of the rational R-matrix and N=2.


title: Whitney's index formula in higher dimensions and Laplace integrals

abstract: The famous Whitney formula relates the winding number of the smooth generic curve in the real plane to the number of its self-intersection points counted with appropriate signs. We extend this formula to smooth immersions of R^n to R^{2n}. Then use this result together with the general technique of Laplace integrals to get an explicit formula for the generator of the group H^n of Stiefel variety V(n,2n).


title: Hyperbolic Structures on 3-manifolds, II: Surface groups and 3-manifolds which fiber over the circle

abstract: Geometrization theorem, fibered case: Every three-manifold that fibers over the circle admits a geometric decomposition. Double limit theorem: for any sequence of quasi-Fuchsian groups whose controlling pair of conformal structures tends toward a pair of projectively measured laminations that bind the surface, there is a convergent subsequence. This preprint also analyzes the quasi-isometric geometry of quasi-Fuchsian 3-manifolds. This eprint is based on a 1986 preprint, which was refereed and accepted for publication, but which I neglected to correct and return. The referee's corrections have now been incorporated, but it is largely the same as the 1986 version (which was a significant revision of a 1981 version).


title: A tangent bundle on diffeological spaces

abstract: We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.


title: Set-theoretical solutions to the quantum Yang-Baxter equation

abstract: In 1992 V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions to the quantum Yang-Baxter equation, i.e. solutions given by a permutation R of the set $X\times X$, where X is a fixed set. In this paper we study such solutions, which in addition satisfy the unitarity and nondegeneracy conditions. We discuss the geometric and algebraic interpretations of such solutions, introduce several constructions of them, and make first steps towards their classification.


title: Characteristic varieties of arrangements

abstract: The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of this variety coincides with R^1_k(A), one of the cohomology support loci of the Orlik-Solomon algebra. Using work of Arapura and Libgober, we conclude that all positive-dimensional components of V_k(A) are combinatorially determined, and that R^1_k(A) is the union of a subspace arrangement in C^n, thereby resolving a conjecture of Falk. We use these results to study the reflection arrangements associated to monomial groups.


title: The Aarhus integral of rational homology 3-spheres II: Invariance and universality

abstract: We continue the work started in part I (q-alg/9706004) and prove the invariance and universality in the class of finite type invariants of the object defined and motivated there, namely the Aarhus integral of rational homology 3-spheres. Our main tool in proving invariance is a translation scheme that translates statements in multi-variable calculus (Gaussian integration, integration by parts, etc.) to statements about diagrams. Using this scheme the straight-forward "philosophical" calculus-level proofs of part I become straight-forward honest diagram-level proofs here. The universality proof is standard and utilizes a simple "locality" property of the Kontsevich integral.


title: K. Saito's Duality for Regular Weight Systems and Duality for Orbifoldized Poincare Polynomials

abstract: We will show that the duality for regular weight systems introduced by K. Saito can be interpreted as the duality for orbifoldized Poincare polynomials.


title: On a conjecture of Bennewitz, and the behaviour of the Titchmarsh-Weyl matrix near a pole

abstract: For any real limit-$n$ $2n$th-order selfadjoint linear differential expression on $[0,\infty)$, Titchmarsh- Weyl matrices $M(\lambda)$ can be defined. Two matrices of particu lar interest are the matrices $M_D(\lambda)$ and $M_N(\lambda)$ assoc iated respectively with Dirichlet and Neumann boundary conditions at $x=0$. These satisfy $M_D(\lambda) = -M_{N}(\lambda)^{-1}$. It is known that when these matrices have poles (which can only lie on the real axis) the existence of valid HELP inequalities depends on their behaviour in the neighbourhood of these poles. We prove a conjecture of Bennewitz and use it, together with a new algorithm for computing the Laurent expansion of a Titchmarsh-Weyl matrix in the neighbourhood of a pole, to investigate the existence of HELP inequalities for a number of differential equations which have so far proved awkward to analyse


title: Convergence of regular approximations to the spectra of singular fourth order Sturm-Liouville problems

abstract: We prove some new results which justify the use of interval truncation as a means of regularising a singular fourth order Sturm-Liouville problem near a singular endpoint. Of particular interest are the results in the so called lim-3 case, which has no analogue in second order singular problems.


title: Approximate diagonalization in differential systems and an effective algorithm for the computation of the spectral matrix

abstract: This paper reports on recent work to compute the asymptotic solution of a n-th order ordinary differential equation. Symbolic methods are used to compute the asymptotics over a large region. Application is made to the computation of the Titchmarsh-Weyl M-matrix for the fourth order operator.


title: Hofer's diameter and Lagrangian intersections

abstract: We prove that the group of Hamiltonian diffeomorphisms of the 2-sphere has infinite diameter with respect to Hofer's metric. Our approach is based on the theory of Lagrangian intersections.


title: A new algorithm for computing the asymptotic solutions of a class of linear differential systems

abstract: This paper reports on a new algorithm to compute the asymptotic solutions of a linear differential system. A feature of the algorithm is the ability to accommodate periodic coefficients.


title: Extensions of a New Algorithm for the Numerical Solution of Linear Differential Systems on an Infinite Interval

abstract: This paper is part of a series of papers in which the asymptotic theory and appropriate symbolic computer code are developed to compute the asymptotic expansion of the solution of an n-th order ordinary differential equation. The paper examines the situation when the matrix that appears in the Levinson expansion has a double eigenvalue. Application is made to a fourth-order ODE with known special function solution.


title: Valuation of path-dependent American options using a Monte Carlo approach

abstract: It is shown how to obtain accurate values for American options using Monte Carlo simulation. The main feature of the novel algorithm consists of tracking the boundary between exercise and hold regions via optimization of a certain payoff function. We compare estimates from simulation for some types of claims with results from binomial tree calculations and find very good agreement. The novel method allows to calculate so far untractable path-dependent option values.


title: Hyperbolic Structures on 3-manifolds, III: Deformations of 3-manifolds with incompressible boundary

abstract: This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.


title: The shape of a typical boxed plane partition

abstract: Using a calculus of variations approach, we determine the shape of a typical plane partition in a large box (i.e., a plane partition chosen at random according to the uniform distribution on all plane partitions whose solid Young diagrams fit inside the box). Equivalently, we describe the distribution of the three different orientations of lozenges in a random lozenge tiling of a large hexagon. We prove a generalization of the classical formula of MacMahon for the number of plane partitions in a box; for each of the possible ways in which the tilings of a region can behave when restricted to certain lines, our formula tells the number of tilings that behave in that way. When we take a suitable limit, this formula gives us a functional which we must maximize to determine the asymptotic behavior of a plane partition in a box. Once the variational problem has been set up, we analyze it using a modification of the methods employed by Logan and Shepp and by Vershik and Kerov in their studies of random Young tableaux.


abstract: This document is an exposition of an assortment of open problems arising from the exact enumeration of (perfect) matchings of finite graphs. Roughly half have been solved at the time of this writing; see the document "Twenty Open Problems in Enumeration of Matchings: Progress Report" (also available from this server as math.CO/9801061). NOTE: This article has now been superseded by math.CO/9904150.


title: Twenty Open Problems in Enumeration of Matchings: Progress Report

abstract: This document is a brief summary of progress that has been made on the problems posed in the document "Twenty Open Problems in Enumeration of Matchings" (also available from this server as math.CO/9801060). NOTE: This article has now been superseded by math.CO/9904150.


title: Infinite Hopf family of elliptic algebras and bosonization

abstract: Elliptic current algebras E_{q,p}(\hat{g}) for arbitrary simply laced finite dimensional Lie algebra g are defined and their co-algebraic structures are studied. It is shown that under the Drinfeld like comultiplications, the algebra E_{q,p}(\hat{g}) is not co-closed for any g. However putting the algebras E_{q,p}(\hat{g}) with different deformation parameters together, we can establish a structure of infinite Hopf family of algebras. The level 1 bosonic realization for the algebra E_{q,p}(\hat{g}) is also established.


title: On the case of Kovalevskaya and new examples of integrable conservative systems on S^2

abstract: There are new integrable cases due to the construction from the previous version.


title: Examples of non-trivial roots of unity at ideal points of hyperbolic 3-manifolds

abstract: This paper gives examples of hyperbolic 3-manifolds whose SL(2,C) character varieties have ideal points whose associated roots of unity are not 1 or -1. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to whether roots of unity other than 1 and -1 occur.


title: Annihilating ideals and tilting functors

abstract: We use Kazhdan-Lusztig tensoring to, first, describe annihilating ideals of highest weight modules over an affine Lie algebra in terms of the corresponding VOA and, second, to classify tilting functors, an affine analogue of projective functors known in the case of a simple Lie algebra. For the sake of completeness, the classification of annihilating ideals is borrowed from our previous work, q-alg/9711011; the part on tilting functors is new.


title: Generating Random Elements of Finite Distributive Lattices

abstract: This survey article describes a method for choosing uniformly at random from any finite set whose objects can be viewed as constituting a distributive lattice. The method is based on ideas of the author and David Wilson for using ``coupling from the past'' to remove initialization bias from Monte Carlo randomization. The article describes several applications to specific kinds of combinatorial objects such as tilings, constrained lattice paths, and alternating-sign matrices.


title: Domino tilings with barriers

abstract: In this paper, we continue the study of domino-tilings of Aztec diamonds. In particular, we look at certain ways of placing ``barriers'' in the Aztec diamond, with the constraint that no domino may cross a barrier. Remarkably, the number of constrained tilings is independent of the placement of the barriers. We do not know of a combinatorial explanation of this fact; our proof uses the Jacobi-Trudi identity.


title: Random Domino Tilings and the Arctic Circle Theorem

abstract: In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby tiles, while in the fifth, central sub-region, differently-oriented tiles co-exist side by side. We show that when n is sufficiently large, the shape of the central sub-region becomes arbitrarily close to a perfect circle of radius n/sqrt(2) for all but a negligible proportion of the tilings. Our proof uses techniques from the theory of interacting particle systems. In particular, we prove and make use of a classification of the stationary behaviors of a totally asymmetric one-dimensional exclusion process in discrete time.


title: Induced coactions of discrete groups on C*-algebras

abstract: Using the close relationship between coactions of discrete groups and Fell bundles, we introduce a procedure for inducing a C*-coaction of a quotient group G/N of a discrete group G to a C*-coaction of G itself on an induced C*-algebra. We show that induced coactions behave in many respects similarly to induced actions. In particular, as an analogue of the well known imprimitivity theorem for induced actions we prove that the crossed products of the original and the induced coactions are always Morita equivalent. We also obtain nonabelian analogues of a theorem of Olesen and Pedersen which show that there is a duality between induced coactions and twisted actions in the sense of Green. We further investigate amenability of Fell bundles corresponding to induced coactions.


title: Characteristic varieties of algebraic curves

abstract: We study tori attached to the fundamental groups of plane curves with arbitrary singularities. These tori provide complete information about homology of finite abelian covers of the plane branched along the curve. We calculate these tori in terms of certain linear systems determined by the singularities of the curve. In the case of the complements to a union of lines they can be calculated from the lattice of the arrangement and are closely related to the components of the space of Aomoto complexes with prescribed homology.


title: Simple Closed Geodesics in Hyperbolic 3-Manifolds

abstract: This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.


title: Quadratic minima and modular forms

abstract: We give upper bounds on the size of the gap between the constant term and the next non-zero Fourier coefficient of an entire modular form of given weight for \Gamma_0(2). Numerical evidence indicates that a sharper bound holds for the weights h \equiv 2 . We derive upper bounds for the minimum positive integer represented by level two even positive-definite quadratic forms. Our data suggest that, for certain meromorphic modular forms and p=2,3, the p-order of the constant term is related to the base-p expansion of the order of the pole at infinity, and they suggest a connection between divisibility properties of the Ramanujan tau function and those of the Fourier coefficients of 1/j.


title: On a Generalisation of the Poincare-Cartan Form to Classical Field Theory

abstract: We present here a possible generalisation of the Poincar\'e-Cartan form in classical field theory in the most general case: arbitrary dimension, arbitrary order of the theory and in the absence of a fibre bundle structure. We use for the kinematical description of the system the $(r,n)$-Grassmann manifold associated to a given manifold $X$, i.e. the manifold of $r$-contact elements of $n$-dimensional submanifolds of $X$. The idea is to define globally a $n+1$ form on this Grassmann manifold, more precisely its class with respect to a certain subspace and to write it locally as the exterior derivative of a $n$ form which is the Poincar\'e-Cartan form. As an important application we obtain a new proof for the most general expression of a variationally trivial Lagrangian.


title: On the evaluation of the norm of an integral operator associated with the stability of one-electron atoms

abstract: The norm of an integral operator occurring in the partial wave decomposition of an operator B introduced by Brown and Ravenhall in a model for relativistic one-electron atoms is determined. The result implies that B is non-negative and has no eigenvalue at 0 when the nuclear charge does not exceed a specified critical value.


title: Lectures on Exotic Algebraic Structures on Affine Spaces

abstract: These notes are based on the lecture courses given at the Ruhr-Universit{\"a}t-Bochum (03--08.02.1997) and at the Universit{\'e} Paul Sabatier (Toulouse, 08-12.01.1996).


title: Affine modifications and affine hypersurfaces with a very transitive automorphism group

abstract: We study a kind of modification of an affine domain which produces another affine domain. First appeared in passing in the basic paper of O. Zariski (1942), it was further considered by E.D. Davis (1967). The first named author applied its geometric counterpart to construct contractible smooth affine varieties non-isomorphic to Euclidean spaces. Here we provide certain conditions which guarantee preservation of the topology under a modification. As an application, we show that the group of biregular automorphisms of the affine hypersurface $X \subset C^{k+2}$ given by the equation $uv=p(x_1,...,x_k)$ where $p \in C[x_1,...,x_k],$ acts $m-$transitively on the smooth part reg$X$ of $X$ for any $m \in N.$ We present examples of such hypersurfaces diffeomorphic to Euclidean spaces.


title: Symmetric spectra

abstract: The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and study the model category of symmetric spectra, based on simplicial sets and topological spaces. We prove that the category of symmetric spectra is closed symmetric monoidal and that the symmetric monoidal structure is compatible with the model structure. We prove that the model category of symmetric spectra is Quillen equivalent to Bousfield and Friedlander's category of spectra. We show that the monoidal axiom holds, so that we get model categories of ring spectra and modules over a given ring spectrum.


title: On reflection of stationary sets in P_kappa lambda

abstract: We investigate reflection of stationary sets in P_kappa lambda and prove a consistency result for the case when lambda is the successor of kappa.


title: Symmetric ring spectra and topological Hochschild homology

abstract: Symmetric spectra were introduced by Jeff Smith as a symmetric monoidal category of spectra. In this paper, a detection functor is defined which detects stable equivalences of symmetric spectra. This detection functor is useful because the classic stable homotopy groups do not detect stable equivalences in symmetric spectra. One of the advantages of a symmetric monoidal category of spectra is that one can define topological Hochschild homology on ring spectra simply by mimicking the Hochschild complex from algebra. Using the detection functor mentioned above, this definition of topological Hochschild homology is shown to agree with Bokstedt's original definition. In particular, this shows that Bokstedt's definition is correct even for non-connective non-convergent symmetric ring spectra.


title: The local monodromy as a generalized algebraic correspondence

abstract: In the paper we show that for a normal-crossings degeneration $Z$ over the ring of integers of a local field with $X$ as generic fibre, the local monodromy operator and its powers determine invariant cocycle classes under the decomposition group in the cohomology of the product $X \times X$. More precisely, they also define algebraic cycles on the special fibre of a resolution of $Z \times Z$. In the paper, we give an explicit description of these cycles for a degeneration with at worst triple points as singularities. These cycles explain geometrically the presence of poles on specific local factors of the L-function related to $X \times X$.


title: Two geometric character formulas for reductive Lie groups

abstract: In this paper we prove two formulas for the characters of representations of reductive groups. Both express the character of a representation in terms of the same geometric data attached to it. When specialized to the case of a compact Lie group, one of them reduces to Kirillov's character formula in the compact case, and the other, to an application of the Atiyah-Bott fixed point formula to the Borel-Weil realization of the representation.


title: Algebras and modules in monoidal model categories

abstract: We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $\Gamma$-spaces.


title: A General $q$-Oscillator Algebra

abstract: It is well-known that the Macfarlane-Biedenharn $q$-oscillator and its generalization has no Hopf structure, whereas the Hong Yan $q$-oscillator can be endowed with a Hopf structure. In this letter, we demonstrate that it is possible to construct a general $q$-oscillator algebra which includes the Macfarlane-Biedenharn oscillator algebra and the Hong Yan oscillator algebra as special cases.


title: Quantized W-algebra of ${\frak sl}(2,1)$ : a construction from the quantization of screening operators

abstract: Starting from bosonization, we study the operator that commute or commute up-to a total difference with of any quantized screen operator of a free field. We show that if there exists a operator in the form of a sum of two vertex operators which has the simplest correlation functions with the quantized screen operator, namely a function with one pole and one zero, then, the screen operator and this operator are uniquely determined, and this operator is the quantized virasoro algebra. For the case when the screen is a fermion, there are a family of this kind of operator, which give new algebraic structures. Similarly we study the case of two quantized screen operator, which uniquely gives us the quantized W-algebra corresponding to $sl(3)$ for the generic case, and a new algebra, which is a quantized W-algebra corresponding to ${\frak sl}(2,1)$, for the case that one of the two screening operators is or both are fermions.


title: Partial Gauss decomposition, \bf $U_q(\widehat{{{\frak{gl}}}(n-1)})\in U_q(\widehat{{{\frak{gl}}}(n)}) $ and Zamolodchikov algebra

abstract: We use the idea of partial Gauss decomposition to study structures related to $U_q(\widehat{{{\frak{gl}}}(n-1)})$ inside $U_q(\widehat{{{\frak{gl}}}(n)}) $. This gives a description of $U_q(\widehat{{{\frak{gl}}}(n)})$ as an extension of $U_q(\widehat{{{\frak{gl}}}(n-1)})$ with Zamolodchikov algebras, We explain the connection of this new realization with form factors.


title: Algebraic theory of characteristic classes of bundles with connection

abstract: This is a survey on the topic explained in the title, for the proceedings on the K-theory 1997 summer institute in Seattle.


title: n-ary Lie and Associative Algebras

abstract: With the help of the multigraded Nijenhuis-- Richardson bracket and the multigraded Gerstenhaber bracket from [7] for every $n\ge 2$ we define $n$-ary associative algebras and their modules and also $n$-ary Lie algebras and their modules, and we give the relevant formulas for Hochschild and Chevalley cohomogy.


title: Shapes of polyhedra and triangulations of the sphere

abstract: The space of shapes of a polyhedron with given total angles less than 2\pi at each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take place a finite distance from a nonsingular point. The metric completion is a complex hyperbolic cone-manifold. In some interesting special cases, the metric completion is an orbifold. The concrete description of these spaces of shapes gives information about the combinatorial classification of triangulations of the sphere with no more than 6 triangles at a vertex.


title: Descent algebras, hyperplane arrangements, and shuffling cards

abstract: Two notions of riffle shuffling on finite Coxeter groups are given: one using Solomon's descent algebra and another using random walk on chambers of hyperplane arrangements. These coincide for types $A$,$B$,$C$, $H_3$, and rank two groups. Both notions have the same, simple eigenvalues. The hyperplane definition is especially natural and satisfies a positivity property when $W$ is crystallographic and the relevant parameter is a good prime. The hyperplane viewpoint suggests interesting connections with Lie theory and leads to a notion of riffle shuffling for arbitrary real hyperplane arrangements and oriented matroids. Connections with Cellini's descent algebra are given.


title: Bounds on the multiplicity of eigenvalues for fixed membranes

abstract: For a membrane in the plane the multiplicity of the $k$-th eigenvalue is known to be not greater than $2k-1$. Here we prove that it is actually not greater than $2k-3$, for $k\ge 3$.


title: The Dirac Operator on Nilmanifolds and Collapsing Circle Bundles

abstract: We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we use this fact to compute the Dirac eigenvalues on complex projective space including the multiplicities. Finally, we show that there are 1-parameter families of Riemannian nilmanifolds such that the Laplacian on functions and the Dirac operator for certain spin structures have constant spectrum while the Laplacian on 1-forms and the Dirac operator for the other spin structures have nonconstant spectrum. The marked length spectrum is also constant for these families.


title: The Pfaffian Calabi-Yau, its Mirror, and their link to the Grassmannian G(2,7)

abstract: The rank 4 locus of a general skew-symmetric 7x7 matrix gives the pfaffian variety in P^20 which is not defined as a complete intersection. Intersecting this with a general P^6 gives a Calabi-Yau manifold. An orbifold construction seems to give the 1-parameter mirror-family of this. However, corresponding to two points in the 1-parameter family of complex structures, both with maximally unipotent monodromy, are two different mirror-maps: one corresponding to the general pfaffian section, the other to a general intersection of G(2,7) in P^20 with a P^13. Apparently, the pfaffian and G(2,7) sections constitute different parts of the A-model (Kahler structure related) moduli space, and, thus, represent different parts of the same conformal field theory moduli space.


title: On the zeta-function of a polynomial at infinity

abstract: We use the notion of Milnor fibres of the germ of a meromorphic function and the method of partial resolutions for a study of topology of a polynomial map at infinity (mainly for calculation of the zeta-function of a monodromy). It gives effective methods of computation of the zeta-function for a number of cases and a criterium for a value to be atypical at infinity.


title: On a strange observation in the theory of the dimer problem

abstract: This is a contribution to the number theory of the dimer problem. The number of dimer coverings (i.e., perfect matchings) of a square lattice graph is discussed modulo powers of 2.


title: Cyclic operads and homology of graph complexes

abstract: We will consider P-graph complexes, where P is a cyclic operad. P-graph complexes are natural generalizations of Kontsevich's graph complexes -- for P = the operad for associative algebras it is the complex of ribbon graphs, for P = the operad for commutative associative algebras, the complex of all graphs. We construct a `universal class' in the cohomology of the graph complex with coefficients in a theory. The Kontsevich-type invariant is then an evaluation, on a concrete cyclic algebra, of this class. We also explain some results of M. Penkava and A. Schwarz on the construction of an invariant from a cyclic deformation of a cyclic algebra. Our constructions are illustrated by a `toy model' of tree complexes.


title: Stable matching in a common generalization of the marriage and assignment models

abstract: In the theory of two-sided matching markets there are two well-known models: the marriage model (where no money is involved) and the assignment model (where payments are involved). Roth and Sotomayor (1990) asked for an explanation for the similarities in behavior between those two models. We address this question by introducing a common generalization that preserves the two important features: the existence of a stable outcome and the lattice property of the set of stable outcomes.


title: Integral homology of PGL_2 over elliptic curves

abstract: Let E be an elliptic curve defined via a Weierstrass equation F(x,y)=0 over an infinite field k. Denote by A the coordinate ring of E. In this note we compute the integral homology of PGL_2(A). We obtain a rigidity result as a corollary.


title: Low dimensional homology of linear groups over Hensel local rings

abstract: We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn implies the Friedlander-Milnor conjecture in positive characteristic in degrees <=3.


title: Congruence subgroups and twisted cohomology of SL_n(F[t])

abstract: Let F be a field of characteristic zero and let V be an irreducible representation of SL_n(F). In this paper, we compute the first cohomology of SL_n(F[t]) with coefficients in V. It agrees with H^1(SL_n(F),V) if V is not the adjoint representation, while if V = Ad, the two groups differ by an F-vector space X. We show that if n=2, X is infinite dimensional, while if n>2, dim X = 1. We also study the abelianization of the kernel of the map SL_n(F[t])-->SL_n(F) given by setting t=0, where now F is any field. We conjecture that this abelianization is the adjoint representation sl_n(F) if n>2 and F is finite, and prove this in the case n=3, F=F_2, F_3.


title: Relative completions of linear groups over Z[t] and Z[t,t^{-1}]

abstract: We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups.


title: Modular Moonshine III

abstract: In this paper we complete the proof of Ryba's modular moonshine conjectures. We do this by applying Hodge theory to the cohomology of the monster Lie algebra over the ring of p-adic integers in order to calculate the Tate cohomology groups of elements of the monster acting on the monster vertex algebra.


title: Characteristic Classes of Hypersurfaces and Characteristic Cycles

abstract: We give a new formula for the Chern-Schwartz-MacPherson class of a hypersurface in a nonsigular compact complex analytic variety. In particular this formula generalizes our previous result on the Euler characteristic of such a hypersurface. Two different approaches are presented. The first is based on the theory of characteristic cycle and the works of Sabbah, Briancon-Maisonobe-Merle, and Le-Mebkhout. In particular, this approach leads to a simple proof of a formula of Aluffi for the above mentioned class. The second approach uses Verdier's specialization property of the Chern-Schwartz-MacPherson classes. Some related new formulas are also given.


title: The structure of the Bousfield lattice

abstract: Using Ohkawa's theorem that the collection of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of the Bousfield lattice is a frame, and we examine some consequences of this observation. We make several conjectures about the structure of the Bousfield lattice and DL. In particular, we conjecture that DL is obtained by killing "strange" spectra, such as the Brown-Comenetz dual of the sphere. We introduce a new "Boolean algebra of spectra" cBA, which contains Bousfield's BA and is complete. Our conjectures allow us to identify cBA as being isomorphic to the complete atomic Boolean algebra on {K(n) : n>= 0}, {A(n) : n>= 2}, and HF_p. Our conjectures imply that BA is the subBoolean algebra consisting of finite wedges of the K(n) and A(n), and their complements.


title: q-Deformed Minkowski Space based on a q-Lorentz Algebra

abstract: The Hilbert space representations of a non-commutative q-deformed Minkowski space, its momenta and its Lorentz boosts are constructed. The spectrum of the diagonalizable space elements shows a lattice-like structure with accumulation points on the light-cone.


title: Deformed W_N algebras from elliptic sl(N) algebras

abstract: We extend to the sl(N) case the results that we previously obtained on the construction of W_{q,p} algebras from the elliptic algebra A_{q,p}(\hat{sl}(2)_c). The elliptic algebra A_{q,p}(\hat{sl}(N)_c) at the critical level c=-N has an extended center containing trace-like operators t(z). Families of Poisson structures indexed by N(N-1)/2 integers, defining q-deformations of the W_N algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^1/2)^{NM} = q^{-c-N} for M in Z. It becomes Abelian when in addition p=q^{Nh} where h is a non-zero integer. The Poisson structures obtained in these classical limits contain different q-deformed W_N algebras depending on the parity of h, characterizing the exchange structures at p \ne q^{Nh} as new W_{q,p}(sl(N)) algebras.


title: On maximal curves having classical Weierstrass gaps

abstract: We study geometrical properties of maximal curves having classical Weierstrass gaps.


title: On the Classification of Toric Fano 4-folds

abstract: In this paper we explain the complete biregular classification of all 4-dimensional smooth toric Fano varieties. The main result states that there exist exactly 123 different types of toric Fano 4-folds up to isomorphism.


title: A link between two elliptic quantum groups

abstract: We construct a fully faithful functor from the category C_F of finite-dimensional representations of Felder's (dynamical) elliptic quantum group E_{tau,gamma}(gl(n)) to a cretain category D_B of (infinite-dimensional) representations of Belavin's quantum elliptic algebra B by difference operators, and a fully faithful functor from the category C_B of finite-dimensional representations of B to D_B. As a corollary, we show that the abelian subcategories of C_B and C_F generated by tensor products of vector representations are equivalent.


title: Preuve d'une conjecture de Frenkel-Gaitsgory-Kazhdan-Vilonen

abstract: We prove a conjecture of Frenkel-Gaitsgory-Kazhdan-Vilonen on some exponential sums related to the geometric Langlands correspondence. Our main ingredients are the resolution of Lusztig scheme of lattices introduced by Laumon and the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber.


title: Varieties of sums of powers

abstract: The variety of sums of powers of a homogeneous polynomial of degree d in n variables is defined and investigated in some examples, old and new. These varieties are studied via apolarity and syzygies. Classical results of Sylvester (1851), Hilbert (1888), Dixon and Stuart (1906) and some more recent results of Mukai (1992) are presented together with new results for the cases (n,d)=(3,8), (4,2), (5,3). In the last case the variety of sums of 8 powers of a general cubic form is a Fano 5-fold of index 1 and degree 660.


title: An overview of domino and lozenge tilings

abstract: We consider tilings of quadriculated regions by dominoes and of triangulated regions by lozenges. We present an overview of results concerning tileability, enumeration and the structure of the space of tilings.


title: On deformed W-algebras and quantum affine algebras

abstract: We discuss some aspects of the deformed W-algebras W_{q,t}[g]. In particular, we derive an explicit formula for the Kac determinant, and discuss the center when t^2 is a primitive k-th root of unity. The relation of the structure of W_{q,t}[g] to the representation ring of the quantum affine algebra U_q(\hat g), as discovered recently by Frenkel and Reshetikhin, is further elucidated in some examples.


title: A Base Point Free Theorem of Reid Type, II

abstract: Let $X$ be a complete algebraic variety over {\bf C}. We consider a log variety $(X,\Delta)$ that is weakly Kawamata log terminal. We assume that $K_X+\Delta$ is a {\bf Q}-Cartier {\bf Q}-divisor and that every irreducible component of $\lfloor \Delta \rfloor$ is {\bf Q}-Cartier. A nef and big Cartier divisor $H$ on $X$ is called {\it nef and log big} on $(X,\Delta)$ if $H |_B$ is nef and big for every center $B$ of non-"Kawamata log terminal" singularities for $(X,\Delta)$. We prove that, if $L$ is a nef Cartier divisor such that $aL-(K_X+\Delta)$ is nef and log big on $(X,\Delta)$ for some $a \in$ {\bf N}, then the complete linear system $| mL |$ is base point free for $m \gg 0$.


title: An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation

abstract: We give an algorithm to compute the following cohomology groups on $U = \C^n \setminus V(f)$ for any non-zero polynomial $f \in \Q[x_1, ..., x_n]$; 1. $H^k(U, \C_U)$, $\C_U$ is the constant sheaf on $U$ with stalk $\C$. 2. $H^k(U, \Vsc)$, $\Vsc$ is a locally constant sheaf of rank 1 on $U$. We also give partial results on computation of cohomology groups on $U$ for a locally constant sheaf of general rank and on computation of $H^k(\C^n \setminus Z, \C)$ where $Z$ is a general algebraic set. Our algorithm is based on computations of Gr\"obner bases in the ring of differential operators with polynomial coefficients.


title: Curvature of the Virasoro-Bott group

abstract: We consider a natural Riemannian metric on the infinite dimensional manifold of all embeddings from a manifold into a Riemannian manifold, and derive its geodesic equation in the case $\Emb(\Bbb R,\Bbb R)$ which turns out to be Burgers' equation. Then we derive the geodesic equation, the curvature, and the Jacobi equation of a right invariant Riemannian metric on an infinite dimensional Lie group, which we apply to $\Diff(\Bbb R)$, $\Diff(S^1)$, and the Virasoro-Bott group. Many of these results are well known, the emphasis is on conciseness and clarity.


title: Lifting formulas II

abstract: In the present paper we generalize the lifting formulas from [Sh] and obtain the formula for the (2n+2l-1)-cocycle on the LIe algebra of differential operators on a n-dimensional space for arbitrary n and l.


title: Affine Artin groups and the fundamental groups of some moduli spaces

abstract: We define for every affine Coxeter graph a certain factor group of the associated Artin group and prove that some of these groups appear as orbifold fundamental groups of moduli spaces. Examples are the moduli space of nonsingular cubic algebraic surfaces and the universal nonhyperelliptic smooth genus three curve. We use this to obtain a simple presentation of the mapping class group of a compact genus three topological surface with connected boundary. This leads to a modification of Wajnryb's presentation of the mapping class groups in the higher genus case that can be understood in algebro-geometric terms.


title: Degeneration of curves and analytic deformation

abstract: Let C_1 and C_2 be two degenerations of genus g curves. We prove that if two degenerations defines the same conjugacy classes in the mapping class group, they are equivalent under analytic deformations.


title: Categorical Mirror Symmetry: The Elliptic Curve

abstract: We describe an isomorphism of categories conjectured by Kontsevich. If $M$ and $\widetilde{M}$ are mirror pairs then the conjectural equivalence is between the derived category of coherent sheaves on $M$ and a suitable version of Fukaya's category of Lagrangian submanifolds on $\widetilde{M}.$ We prove this equivalence when $M$ is an elliptic curve and $\widetilde{M}$ is its dual curve, exhibiting the dictionary in detail.


title: Toroidal and Boundary-Reducing Dehn Fillings

abstract: Let M be a simple 3-manifold with a toral boundary component partial_0 M. If Dehn filling M along partial_0 M one way produces a toroidal manifold and Dehn filling M along partial_0 M another way produces a boundary-reducible manifold, then we show that the absolute value of the intersection number on partial_0 M of the two filling slopes is at most two. In the special case that the boundary-reducing filling is actually a solid torus and the intersection number between the filling slopes is two, more is said to describe the toroidal filling.


title: On the cohomology of sl(m+1,R) acting on differential operators and sl(m+1,R)-equivariant symbol

abstract: One computes the cohomology of the projective embedding of sl(m+1,R) acting on the differential operators on densities on R^m of various weights. This cohomology is non vanishing only for some special critical values of the weights. This allows us first to explain some strange feature pointed out by Gargoubi in his classification if the module of differential operators on the line. This also allows us to provide a so called sl(m+1,R) invariant symbol for differential operators acting on densities of non critical weights.


title: Conformally equivariant quantization

abstract: Let $(M,g)$ be a pseudo-Riemannian manifold and $F_\lambda(M)$ the space of densities of degree $\lambda$ on $M$. We study the space $D^2_{\lambda,\mu}(M)$ of second-order differential operators from $F_\lambda(M)$ to $F_\mu(M)$. If $(M,g)$ is conformally flat with signature $p-q$, then $D^2_{\lambda,\mu}(M)$ is viewed as a module over the group of conformal transformations of $M$. We prove that, for almost all values of $\mu-\lambda$, the $O(p+1,q+1)$-modules $D^2_{\lambda,\mu}(M)$ and the space of symbols (i.e., of second-order polynomials on $T^*M$) are canonically isomorphic. This yields a conformally equivariant quantization for quadratic Hamiltonians. We furthermore show that this quantization map extends to arbitrary pseudo-Riemannian manifolds and depends only on the conformal class $[g]$ of the metric. As an example, the quantization of the geodesic flow yields a novel conformally equivariant Laplace operator on half-densities, as well as the well-known Yamabe Laplacian. We also recover in this framework the multi-dimensional Schwarzian derivative of conformal transformations.


title: Singularities

abstract: This article recounts the interaction of topology and singularity theory (mainly singularities of complex algebraic varieties) which started in the early part of this century and bloomed in the 1960's with the work of Hirzebruch, Brieskorn, Milnor and others. Some of the topics are followed to the present day. (A chapter for the book "History of Topology", ed. I. M. James)


title: On the case of Goryachev-Chaplygin and new examples of integrable conservative systems on S^2

abstract: The aim of this paper is to describe a class of conservative systems on $S^2$ possessing an integral cubic in momenta. We prove that this class of systems consists off the case of Goryachev-Chaplygin, the one-parameter family of systems which has been found by the author in the previous paper (dg-ga/9711005) and a new two-parameter family of conservative systems on $S^2$ possessing an integral cubic in momenta.


title: Morava E-theory of symmetric groups

abstract: We compute the completed E(n) cohomology of the classifying spaces of the symmetric groups, and relate the answer to the theory of finite subgroups of formal groups.


title: A new algorithm for recognizing the unknot

abstract: The topological underpinnings are presented for a new algorithm which answers the question: `Is a given knot the unknot?' The algorithm uses the braid foliation technology of Bennequin and of Birman and Menasco. The approach is to consider the knot as a closed braid, and to use the fact that a knot is unknotted if and only if it is the boundary of a disc with a combinatorial foliation. The main problems which are solved in this paper are: how to systematically enumerate combinatorial braid foliations of a disc; how to verify whether a combinatorial foliation can be realized by an embedded disc; how to find a word in the the braid group whose conjugacy class represents the boundary of the embedded disc; how to check whether the given knot is isotopic to one of the enumerated examples; and finally, how to know when we can stop checking and be sure that our example is not the unknot.


title: Vector bundles on G(1,4) without intermediate cohomology

abstract: We characterize the vector bundles on G(1,4) that have no intermediate cohomology. We obtain them from extensions of the universal bundles and others related with them. In particular, we get a characterization of the universal vector bundles from their cohomology.


title: On Semisimple Hopf algebras of dimension pq

abstract: In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf algebra H, if H and H^* are of Frobenius type then H or H^* is a group algebra.


title: Semisimple Hopf algebras of dimension pq are trivial

abstract: Masuoka proved that for a prime p, semisimple Hopf algebras of dimension 2p over an algebraically closed field k of characteristic 0, are trivial (i.e. are either group algebras or the dual of group algebras). Westreich and the second author obtained the same result for dimension 3p, and then pushed the analysis further and among the rest obtained the same result for semisimple Hopf algebras H of dimension pq so that H and H^* are of Frobenius type (i.e. the dimensions of their irreducible representations divide the dimension of H). They concluded with the conjecture that any semisimple Hopf algebra H of dimension pq over k, is trivial. In this paper we use Theorem 1.4 in our previous paper q-alg/9712033 to prove that both H and H^* are of Frobenius type, and hence prove this conjecture.


title: On pointed Hopf algebras and Kaplansky's 10th conjecture

abstract: In this paper we construct and study two new families of finite dimensional pointed Hopf algebras which generalize Radford's families. We show that over any infinite field which contains a primitive nth root of unity, one of the families contains infinitely many non-isomorphic Hopf algebras of any dimension of the form Nn^2, where 2<n<N are integers so that n divides N. We thus answer in the negative Kaplansky's 10th conjecture from 1975 on the finite number of types of Hopf algebras of a given dimension.


title: Generalized Barrett-Crane Vertices and Invariants of Embedded Graphs

abstract: We describe q-analogues of the 4-vertices in the Spin(4)-recoupling theory introduced by Barrett and Crane in gr-qc/9709028 using Kauffman-Lins SU(2)-recoupling theory in each factor and generalize them to obtain operators with the symmetry properties of unframed n-vertices. The elementary properties of the resulting invariants of embedded unframed graphs are examined.


title: Skein theory and Witten-Reshetikhin-Turaev Invariants of links in lens spaces

abstract: We study the behavior of the Witten-Reshetikhin-Turaev SU(2) invariants of links in L(p,q) as a function of the level r-2. They are given by 1 over the square root of r times one of p Laurent polynomials evaluated at e to the 2 pi i divided by 4pr. The congruence class of r modulo p determines which polynomial is applicable. If p is zero modulo four, the meridian of L(p,q) is non-trivial in the skein module but has trivial Witten-Reshetikhin-Turaev SU(2) invariants. On the other hand, we show that one may recover the element in the Kauffman bracket skein module of L(p,q) represented by a link from the collection of the WRT invariants at all levels if p is a prime or twice an odd prime. By a more delicate argument, this is also shown to be true for p=9.


title: Topology versus Chern Numbers for Complex 3-Folds

abstract: We show by example that the Chern numbers c_1^3 and c_1 c_2 of a complex 3-fold are not determined by the topology of the underlying smooth compact 6-manifold. In fact, we observe that infinitely many different values of a Chern number can be achieved by (integrable) complex structures on a fixed 6-manifold.


title: Non-resonance D-modules over arrangements of hyperplanes

abstract: The aim of this note is a combinatorial description of a category of $D$-modules over an affine space, smooth along the stratification defined by an arrangement of hyperplanes. These $D$-modules are assumed to satisfy certain non-resonance condition. The main result, see Theorem 4.1, generalizes [S.Khoroshkin, $D$-modules over arrangements of hyperplanes, Comm. in Alg. 23(9) (1995), 3481-3504].


title: Exchange dynamical quantum groups

abstract: For any simple Lie algebra g and any complex number q which is not zero or a nontrivial root of unity, we construct a dynamical quantum group (Hopf algebroid), whose representation theory is essentially the same as the representation theory of the quantum group U_q(g). This dynamical quantum group is obtained from the fusion and exchange relations between intertwining operators in representation theory of U_q(g), and is an algebraic structure standing behind these relations.


title: Quasifinite representations of classical Lie subalgebras of W_{1+infty}

abstract: We show that there are precisely two, up to conjugation, anti-involutions sigma_{\pm} of the algebra of differential operators on the circle preserving the principal gradation. We classify the irreducible quasifinite highest weight representations of the central extension \hat{D}^{\pm} of the Lie subalgebra of this algebra fixed by - sigma_{\pm}, and find the unitary ones. We realize them in terms of highest weight representations of the central extension of the Lie algebra of infinite matrices with finitely many non-zero diagonals over the truncated polynomial algebra C[u] / (u^{m+1}) and its classical Lie subalgebras of B, C and D types. Character formulas for positive primitive representations of \hat{D}^{\pm} (including all the unitary ones) are obtained. We also realize a class of primitive representations of \hat{D}^{\pm} in terms of free fields and establish a number of duality results between these primitive representations and finite-dimensional irreducible representations of finite-dimensional Lie groups and supergroups. We show that the vacuum module V_c of \hat{D}^+ carries a vertex algebra structure and establish a relationship between V_c for half-integral central charge c and W-algebras.


title: Metrics of constant curvature 1 with three conical singularities on 2-sphere

abstract: A necessary and sufficient condition for the existence and uniqueness of a conformal metric on 2-sphere of constant curvature 1 and with three conical singularities of prescribed order is given.


title: Grassmannian of $k((z))$: Picard Group, Equations and Automorphisms

abstract: This paper aims at generalizing some geometric properties of Grassmannians of finite dimensional vector spaces to the case of Grassmannnians of infinite dimensional ones, in particular for that of $k((z))$. It is shown that the Determinant Line Bundle generates its Picard Group and that the Pl\"ucker equations define it as closed subscheme of a infinite projective space. Finally, a characterization of finite dimensional projective spaces in Grassmannians allows us to offer an approach to the study of the automorphism group.


title: A Remark on Formal KMS States in Deformation Quantization

abstract: In the framework of deformation quantization we define formal KMS states on the deformed algebra of power series of functions with compact support in phase space as C[[\lambda]]-linear functionals obeying a formal variant of the usual KMS condition known in the theory of C^*-algebras. We show that for each temperature KMS states always exist and are up to a normalization equal to the trace of the argument multiplied by a formal analogue of the usual Boltzmann factor, a certain formal star exponential.


title: On a $p$-Laplacian type of evolution system and applications to the Bean model in the type-II superconductivity theory

abstract: We study the Cauchy problem for an $p$-Laplacian type of evolution system ${\mathbf H}_{t}+\g [ | \g {\mathbf H}|^{p-2} \g {\mathbf H}|]={\mathbf F}$. This system governs the evolution of a magnetic field ${\bf H}$, where the current displacement is neglected and the electrical resistivity is assumed to be some power of the current density. The existence, uniqueness and regularity of solutions to the system are established. Furthermore, it is shown that the limit solution as the power $p\rightarrow \infty$ solves the problem of Bean's model in the type-II superconductivity theory. The result provides us information about how the superconductor material under the external force to become the normal conductor and vice visa. It also provides an effective method to find numerical solutions to Bean's model.


title: A quantum octonion algebra

abstract: Using the natural irreducible 8-dimensional representation and the two spin representations of the quantum group $U_q$(D$_4$) of D$_4$, we construct a quantum analogue of the split octonions and study its properties. We prove that the quantum octonion algebra satisfies the q-Principle of Local Triality and has a nondegenerate bilinear form which satisfies a q-version of the composition property. By its construction, the quantum octonion algebra is a nonassociative algebra with a Yang-Baxter operator action coming from the R-matrix of $U_q$(D$_4$). The product in the quantum octonions is a $U_q$(D$_4$)-module homomorphism. Using that, we prove identities for the quantum octonions, and as a consequence, obtain at $q = 1$ new ``representation theory'' proofs for very well-known identities satisfied by the octonions. In the process of constructing the quantum octonions we introduce an algebra which is a q-analogue of the 8-dimensional para-Hurwitz algebra.


title: Hypoellipticity: Geometrization and Speculation

abstract: To any finite collection of smooth real vector fields $X_j$ in $\reals^n$ we associate a metric in the phase space $T^*\reals^n$. The relation between the asymptotic behavior of this metric and hypoellipticity of $\sum X_j^2$, in the smooth, real analytic, and Gevrey categories, is explored.


title: A support property for infinite dimensional interacting diffusion processes

abstract: The Dirichlet form associated with the intrinsic gradient on Poisson space is known to be quasi-regular on the complete metric space $\ddot\Gamma=$ $\{Z_+$-valued Radon measures on $\IR^d\}$. We show that under mild conditions, the set $\ddot\Gamma\setminus\Gamma$ is $\e$-exceptional, where $\Gamma$ is the space of locally finite configurations in $\IR^d$, that is, measures $\gamma\in\ddot\Gamma$ satisfying $\sup_{x\in\IR^d}\gamma(\{x\})\leq 1$. Thus, the associated diffusion lives on the smaller space $\Gamma$. This result also holds for Gibbs measures with superstable interactions.


title: Strong uniqueness for certain infinite dimensional Dirichlet operators and applications to stochastic quantization

abstract: Strong and Markov uniqueness problems in $L^2$ for Dirichlet operators on rigged Hilbert spaces are studied. An analytic approach based on a--priori estimates is used. The extension of the problem to the $L^p$-setting is discussed. As a direct application essential self--adjointness and strong uniqueness in $L^p$ is proved for the generator (with initial domain the bounded smooth cylinder functions) of the stochastic quantization process for Euclidean quantum field theory in finite volume $\Lambda \subset \R^2$.


title: Smoluchowski's coagulation equation: uniqueness, non-uniqueness and a hydrodynamic limit for the stochastic coalescent

abstract: Sufficient conditions are given for existence and uniqueness in Smoluchowski's coagulation equation, for a wide class of coagulation kernels and initial mass distributions. An example of non-uniqueness is constructed. The stochastic coalescent is shown to converge weakly to the solution of Smoluchowski's equation.


title: Transition operators of diffusions reduce zero-crossing

abstract: If $u(t,x)$ is a solution of a one--dimensional, parabolic, second--order, linear partial differential equation (PDE), then it is known that, under suitable conditions, the number of zero--crossings of the function $u(t,\cdot)$ decreases (that is, does not increase) as time $t$ increases. Such theorems have applications to the study of blow--up of solutions of semilinear PDE, time dependent Sturm Liouville theory, curve shrinking problems and control theory. We generalise the PDE results by showing that the transition operator of a (possibly time--inhomogenous) one--dimensional diffusion reduces the number of zero--crossings of a function or even, suitably interpreted, a signed measure. Our proof is completely probabilistic and depends in a transparent manner on little more than the sample--path continuity of diffusion processes.


title: Combinatorics of Topological Posets:\ Homotopy complementation formulas

abstract: We show that the well known {\em homotopy complementation formula} of Bj\"orner and Walker admits several closely related generalizations on different classes of topological posets (lattices). The utility of this technique is demonstrated on some classes of topological posets including the Grassmannian and configuration posets, $\widetilde{\mathbf G}_n(R)$ and $\exp_n(X)$ which were introduced and studied by V.~Vassiliev. Among other applications we present a reasonably complete description, in terms of more standard spaces, of homology types of configuration posets $\exp_n(S^m)$ which leads to a negative answer to a question of Vassilev raised at the workshop ``Geometric Combinatorics'' (MSRI, February 1997).


title: Biaccessiblility in quadratic Julia sets I: The locally-connected case

abstract: Let $f:z\mapsto z^2+c$ be a quadratic polynomial whose Julia set $J$ is locally-connected of the set of biaccessible points in $J$ is zero except when $f(z)=z^2-2$ is the Chebyshev quadratic polynomial for which the corresponding measure is one.


title: On biaccessible points in the Julia set of a Cremer quadratic polynomial

abstract: We prove that the only possible biaccessible points in the Julia set of a Cremer quadratic polynomial are the Cremer fixed point and its preimages. This gives a partial answer to a question posed by C. McMullen on whether such a Julia set can contain any biaccessible point at all


title: Biaccessiblility in quadratic Julia sets II: The Siegel and Cremer cases

abstract: Let $f$ be a quadratic polynomial which has an irrationally indifferent fixed point $\alpha$. Let $z$ be a biaccessible point in the Julia set of $f$. Then: 1. In the Siegel case, the orbit of $z$ must eventually hit the critical point of $f$. 2. In the Cremer case, the orbit of $z$ must eventually hit the fixed point $\alpha$. Siegel polynomials with biaccessible critical point certainly exist, but in the Cremer case it is possible that biaccessible points can never exist. As a corollary, we conclude that the set of biaccessible points in the Julia set of a Siegel or Cremer quadratic polynomial has Brolin measure zero.


title: The distributivity numbers of finite products of P(omega) /fin

abstract: Generalizing [ShSi:494], for every n< omega we construct a ZFC-model where the distributivity number of r.o. (P(omega)/fin)^{n+1}, h(n+1), is smaller than the one of r.o.(P(omega)/fin)^{n}. This answers an old problem of Balcar, Pelant and Simon. We also show that Laver and Miller forcing collapse the continuum to h(n) for every n<omega, hence by the first result, consistently they collapse it below h(n)


title: On the classifiability of cellular automata

abstract: Based on computer simulations Wolfram presented in several papers conjectured classifications of cellular automata into 4 types. He distinguishes the 4 classes of cellular automata by the evolution of the pattern generated by applying a cellular automaton to a finite input. Wolfram's qualitative classification is based on the examination of a large number of simulations. In addition to this classification based on the rate of growth, he conjectured a similar classification according to the eventual pattern. We consider here one formalization of his rate of growth suggestion. After completing our major results (based only on Wolfram's work), we investigated other contributions to the area and we report the relation of some of them to our discoveries.


title: Possible Size of an ultrapower of omega

abstract: Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is (1) a singular strong limit cardinal, (2) a strongly inaccessible cardinal. This answers two questions in [CK], modulo the assumption of supercompactness. In section 2 we construct several lambda-Archimedean ultrapowers of omega under some large cardinal assumptions. For example, we show that, assuming the consistency of a measurable cardinal, there may exist a lambda-Archimedean ultrapower of omega for some uncountable cardinal lambda. This answers a question in [KS], modulo the assumption of measurability.


title: A model with no magic sets

abstract: We will prove that there exists a model of ZFC+``c= omega_2'' in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c there exists a continuous function f:R-> R with f[X]=[0,1]. In particular in this model there is no magic set, i.e., a set M subseteq R such that the equation f[M]=g[M] implies f=g for every continuous nowhere constant functions f,g:R-> R .


title: On Ciesielski's problems

abstract: We discuss some problems posed by Ciesielski. For example we show that, consistently, d_c is a singular cardinal and e_c<d_c. Next we prove that the Martin Axiom for sigma --centered forcing notions implies that for every function f:R^2 ---> R there are functions g_n,h_n:R ---> R, n< omega, such that f(x,y)= sum_{n=0}^{infty} g_n(x)h_n(y). Finally, we deal with countably continuous functions and we show that in the Cohen model they are exactly the functions f with the property that (for all U in [R]^{aleph_1})(exists U^* in [U]^{aleph_1}) (f restriction U^* is continuous).


title: Einstein metrics and smooth structures

abstract: We prove that there are infinitely many pairs of homeomorphic non-diffeomorphic smooth 4-manifolds, such that in each pair one manifold admits an Einstein metric and the other does not. We also show that there are closed 4-manifolds with two smooth structures which admit Einstein metrics with opposite signs of the scalar curvature.


title: Corestriction Principle in non-abelian Galois cohomology

abstract: This is a revision of a McMaster University preprint, with extension. In this paper we prove that over local or global fields of characteristic 0, the Corestriction Principle holds for kernel and image of all maps which are connecting maps in group cohomology and the groups of $R$-equivalences. Some related questions over arbitrary fields of characteristic 0 are also discussed. AMS Mathematics Subject Classification (1991): Primary 11E72, Secondary 18G50, 20G10


title: The Riemann Hypothesis for the Goss zeta function for F_q[T]

abstract: Let q be a power of a prime p. We prove an assertion of Carlitz which takes q as parameter. Diaz-Vargas' proof of the Riemann Hypothesis for the Goss zeta function for F_p[T] depends on his verification of Carlitz's assertion for the specific case q = p. Our proof of the general case allows us to extend Diaz-Vargas' proof to F_q[T].


abstract: We construct a certain solution to the Witten--Dijkgraf--Verlinde--Verlinde equation related to the small quantum cohomology ring of flag variety, and study the t-deformation of quantum Schubert polynomials corresponding to this solution.


title: Elliptic algebra U_{q,p}(^sl_2): Drinfeld currents and vertex operators

abstract: We investigate the structure of the elliptic algebra U_{q,p}(^sl_2) introduced earlier by one of the authors. Our construction is based on a new set of generating series in the quantum affine algebra U_q(^sl_2), which are elliptic analogs of the Drinfeld currents. They enable us to identify U_{q,p}(^sl_2) with the tensor product of U_q(^sl_2) and a Heisenberg algebra generated by P,Q with [Q,P]=1. In terms of these currents, we construct an L operator satisfying the dynamical RLL relation in the presence of the central element c. The vertex operators of Lukyanov and Pugai arise as `intertwiners' of U_{q,p}(^sl_2) for level one representation, in the sense to be elaborated on in the text. We also present vertex operators with higher level/spin in the free field representation.


title: Fiber-preserving diffeomorphisms and imbeddings

abstract: Around 1960, R. Palais and J. Cerf proved a fundamental result relating spaces of diffeomorphisms and imbeddings of manifolds: If V is a submanifold of M, then the map from Diff(M) to Imb(V,M) that takes f to its restriction to V is locally trivial. We extend this and related results into the context of fibered manifolds, and fiber-preserving diffeomorphisms and imbeddings. That is, if M fibers over B, with compact fiber, and V is a vertical submanifold of M, then the restriction from the space FDiff(M) of fiber-preserving diffeomorphisms of M to the space of imbeddings of V into M that take fibers to fibers is locally trivial. Also, the map from FDiff(M) to Diff(B) that takes f to the diffeomorphism it induces on B is locally trivial. The proofs adapt Palais' original approach; the main new ingredient is a version of the exponential map, called the aligned exponential, which has better properties with respect to fiber-preserving maps. Versions allowing certain kinds of singular fibers are proven, using equivariant methods. These apply to almost all Seifert-fibered 3-manifolds. As an application, we reprove an unpublished result of F. Raymond and W. Neumann that each component of the space of Seifert fiberings of a Haken 3-manifold is weakly contractible.


title: Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups

abstract: These lectures given in Montreal in Summer 1997 are mainly based on, and form a condensed survey of, the book by N. Chriss and V. Ginzburg: `Representation Theory and Complex Geometry', Birkhauser 1997. Various algebras arising naturally in Representation Theory such as the group algebra of a Weyl group, the universal enveloping algebra of a complex semisimple Lie algebra, a Quantum group or the Iwahori-Hecke algebra of bi-invariant functions (under convolution) on a p-adic group, are considered. We give a uniform geometric construction of these algebras in terms of homology of an appropriate "Steinberg-type" variety Z (or its modification, such as K-theory or elliptic cohomology of Z, or an equivariant version thereof). We then explain how to obtain a complete classification of finite dimensional irreducible representations of the algebras in question, using our geometric construction and perverse sheaves methods. Similar techniques can be applied to other algebras, e.g. the Double-affine Hecke algebras, Elliptic algebras, quantum toroidal algebras.


title: Logarithmic forms with twisted coefficients

abstract: Given a compact Kaehler manifold, we consider the complement U of a divisor with normal crossings and a unitary local system V on it. We consider a differential graded Lie algebra (DGLA) of forms with holomorphic logarithmic singularities and vanishing residues. We construct a spectral sequence corresponding to the anti-holomorphic filtration of this algebra and compute its E1 term. This spectral sequence converges to the L2 cohomology H2*(U, V). We show that this DGLA is formal, although it does not always satisfy to the d'd''-Lemma.


title: Remarks on formal deformations and Batalin-Vilkovisky algebras

abstract: This note consists of two parts. Part I is an exposition of (a part of) the V.Drinfeld's letter, [D]. The sheaf of algebras of polyvector fields on a Calabi-Yau manifold, equipped with the Schouten bracket, admits a structure of a Batalin-Vilkovisky algebra. This fact was probably first noticed by Z.Ran, [R]. Part II is devoted to some generalizations of this remark.


title: On the cyclic homology of ringed spaces and schemes

abstract: We prove that the cyclic homology of a scheme with an ample line bundle coincides with the cyclic homology of its category of algebraic vector bundles. As a byproduct of the proof, we obtain a new construction of the Chern character of a perfect complex on a ringed space.


title: Phantom Maps and Homology Theories

abstract: We study phantom maps and homology theories in a stable homotopy category S via a certain Abelian category A. We express the group P(X,Y) of phantom maps X -> Y as an Ext group in A, and give conditions on X or Y which guarantee that it vanishes. We also determine P(X,HB). We show that any composite of two phantom maps is zero, and use this to reduce Margolis's axiomatisation conjecture to an extension problem. We show that a certain functor S -> A is the universal example of a homology theory with values in an AB 5 category and compare this with some results of Freyd.


title: On the Severi varieties of surfaces in P^3

abstract: The Severi variety V_{n,d} of a smooth projective surface S is defined as the subvariety of the linear system |O_S(n)|, which parametrizes curves with d nodes. We show that, for a general surface S of degree k in P^3 and for all n>k-1, d=0,...,dim(|O_S(n)|), there exists one component of V_{n,d} which is reduced, of the expected dimension dim(|O_S(n)|)-d. Components of the expected dimension are the easiest to handle, trying to settle an enumerative geometry for singular curves on surfaces. On the other hand, we also construct examples of reducible Severi varieties, on general surfaces of degree k>7 in P^3.


title: Equisingularity and simultaneous resolution of singularities

abstract: The purpose, mainly expository and speculative, of this paper---an outgrowth of a survey lecture at the September 1997 Obergurgl working week---is to indicate some (not all) of the efforts that have been made to interpret equisingularity, and connections among them; and to suggest directions for further exploration. Zariski defined equisingularity on an n-dimensional hypersurface V via stratification by ``dimensionality type," an integer associated to a point by means of a generic local projection to affine n-space. A possibly more intuitive concept of equisingularity can be based on stratification by simultaneous resolvability of singularities. The two approaches are known to be equivalent for families of plane curve singularities. In higher dimension we ask whether constancy of dimensionality type along a smooth subvariety W of V implies the existence of a simultaneous resolution of the singularities of V along W. (The converse is false.) The underlying idea is to follow the classical inductive strategy of Jung--begin by desingularizing the discriminant of a generic projection--to reduce to asking if there is a canonical resolution process which when applied to quasi-ordinary singularities depends only on their characteristic monomials. This appears to be so in dimension 2. In higher dimensions the question is quite open.


title: New Period Mappings for Plane Curve Singularities

abstract: For plane curve singularities we construct a mixed Hodge structure (MHS) over the integers on the fundamental group of the Milnor fiber. The concept nearby fundamental group is introduced and we develop a theory of iterated integrals along elements of this group. We give an example for which the MHS on the nearby fundamental group detects a modulus which is invisible for the MHS on the vanishing cohomology.


title: Riemann-Roch for tensor powers

abstract: Mapping a locally free module to its l-th tensor power gives rise to a natural map from the Grothendieck group of all locally free modules to the Grothendieck group of all locally free representations of the l-th symmetric group. In this paper, we prove some formulas of Riemann-Roch type for the behaviour of this tensor power operation with respect to the push-forward homomorphism associated with a projective morphism between schemes. We furthermore establish analogous formulas for higher K-groups.


title: Castelnuovo regularity for smooth projective varieties of dimensions 3 and 4

abstract: Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree. This conjecture is known to be true for curves (Gruson-Lazarsfeld-Peskine) and smooth surfaces (Pinkham, Lazarsfeld), but not in general. The purpose of this paper is to give new bounds for the regularity of smooth varieties in dimensions 3 and 4 that are only slightly worse than the optimal ones suggested by the conjecture. Our method yields new bounds up to dimension 14, but as they get progressively worse for higher dimensions, we have not written them down here.


title: The outer derivation of a complex Poisson manifold

abstract: We introduce a canonical outer vector field on a Poisson manifold, also due independently to A. Weinstein. We view it as a global section of the sheaf of Poisson vector fields modulo the subsheaf of hamiltonian vector fields. We study this outer derivation mostly in the case of holomorphic Poisson manifolds.


title: Noncommutative Riemann integration and and Novikov-Shubin invariants for open manifolds

abstract: Given a C*-algebra A with a semicontinuous semifinite trace tau acting on the Hilbert space H, we define the family R of bounded Riemann measurable elements w.r.t. tau as a suitable closure, a la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions, and show that R is a C*-algebra, and tau extends to a semicontinuous semifinite trace on R. Then, unbounded Riemann measurable operators are defined as the closed operators on H which are affiliated to A'' and can be approximated in measure by operators in R, in analogy with unbounded Riemann integration. Unbounded Riemann measurable operators form a tau-a.e. bimodule on R, denoted by R^, and such bimodule contains the functional calculi of selfadjoint elements of R under unbounded Riemann measurable functions. Besides, tau extends to a bimodule trace on R^. Type II_1 singular traces for C*-algebras can be defined on the bimodule of unbounded Riemann-measurable operators. Noncommutative Riemann integration, and singular traces for C*-algebras, are then used to define Novikov-Shubin numbers for amenable open manifolds, show their invariance under quasi-isometries, and prove that they are (noncommutative) asymptotic dimensions.


title: A Generalization of an Alternating Sum Formula for Finite Coxeter Groups

abstract: For W a finite Coxeter group, a formula is found for the size of W equivalence classes of subsets of a base. The proof is a case-by-case analysis using results and tables of Carter and Orlik/Solomon. As a corollary we obtain an alternating sum identity which generalizes a well-known identity from the theory of Coxeter groups.


title: Trace Formulae, Zeta Functions, Congruences and Reidemeister Torsion in Nielsen Theory

abstract: In this paper we prove trace formulae for the Reidemeister number of a group endomorphism. This result implies the rationality of the Reidemeister zeta function in the following cases: the group is a direct product of a finite group and a finitely generated Abelian group; the group is finitely generated, nilpotent and torsion free. We continue to study analytical properties of the Nielsen zeta function. We connect the Reidemeister zeta function of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group with the Lefschetz zeta function of the induced map on the unitary dual of the group. As a consequence we obtain a relation between a special value of the Reidemeister zeta function and a certain Reidemeister torsion. We also prove congruences for Reidemeister numbers of iterates of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group which are the same as those found by Dold for Lefschetz numbers.


title: On the Cohomology of Twisting Sheaves on Toric Varieties

abstract: Using the homogeneous coordinate ring construction of a toric variety IP defined by a complete simplicial fan and the methods of local cohomology theory we develop a framework for the calculation of cohomology groups H^{*}(IP, O(p)) of twisting sheaves O(p) on IP.


title: Towards a Mori theory on compact Kaehler threefolds,II

abstract: We prove the existence of a Mori contraction on a compact Kaehler threefold whose canonical bundle is (analytically) not nef if the threefold can be approximated by projective threefolds or if the algebraic dimension is 2.


title: Castelnuovo-Mumford Regularity of Smoth Threefolds in P^5

abstract: Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ in P^5 and that the only varieties on the boundary are the Segre threefold and the complete intersection of two quadrics. Furthermore, every smooth threefold $X$ in P^5 is $k$-normal for all $k \ge deg(X)-4$, which is the optimal bound as the Palatini 3-fold of degree 7 shows.


title: A Mayer-Vietoris Theorem for the Kauffman Bracket Skein Module

abstract: The nth relative Kauffman bracket skein modules are defined and two theorems are given relating them to the Kauffman bracket skein module of a 3-manifold. The first theorem covers the case when the 3-manifold is split along a separating closed orientable surface and the second theorem addresses the case when the surface is nonseparating.


title: Cyclic surgery, degrees of maps of character curves, and volume rigidity for hyperbolic manifolds

abstract: This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. The key lemma, which should be of independent interest, is that for certain components of the character variety of M, the map on character varieties induced by the inclusion of boundary M into M is a birational isomorphism onto its image. This in turn depends on a fancy version of Mostow rigidity due to Gromov, Thurston, and Goldman.


title: Skein Modules and Lattice Gauge Field Theory

abstract: See q-alg/9710003 for the corrected version of this paper.


title: Threefolds with nef anticanonical bundles

abstract: We prove that the Albanese map of a smooth projective threefold, whose anticanonical bundle is nef, is a surjective submersion. We also investigate morphisms of threefolds to curves and surfaces whose relative anticanonical bundle are nef.


title: Bandwidth and density for block graphs

abstract: The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result is best possible in various ways. Furthermore, for two classes of graphs that are ``almost'' caterpillars, the bandwidth problem is NP-complete.


title: The bricklayer problem and the Strong Cycle Lemma

abstract: We introduce a combinatorial enumeration problem that is solved using generalized Catalan numbers. We also study generalizations of the Cycle Lemma beyond the computation of the generalized Catalan numbers.


title: Effective procedure of point-classification for the equation $y'' = P + 3 Q y' + 3 R {y'}^2 + S {y'}^3$

abstract: For the equations of the form $y''=P(x,y)+3 Q(x,y) y'+3 R(x,y) {y'}^2 +S(x,y) {y'}^3$ the problem of equivalence in the class of point transformations is considered. Effective procedure for determining the class of point equivalence for the given equation is suggested. This procedure is based on explicit formulas for the invariants.


title: Cross Product Bialgebras - Part I

abstract: The subject of this article are cross product bialgebras without co-cycles. We establish a theory characterizing cross product bialgebras universally in terms of projections and injections. Especially all known types of biproduct, double cross product and bicross product bialgebras can be described by this theory. Furthermore the theory provides new families of (co-cycle free) cross product bialgebras. Besides the universal characterization we find an equivalent (co-)modular description of certain types of cross product bialgebras in terms of so-called Hopf data. With the help of Hopf data construction we recover again all known cross product bialgebras as well as new and more general types of cross product bialgebras. We are working in the general setting of braided monoidal categories which allows us to apply our results in particular to the braided category of Hopf bimodules over a Hopf algebra. Majid's double biproduct is seen to be a twisting of a certain tensor product bialgebra in this category. This resembles the case of the Drinfel'd double which can be constructed as a twist of a specific cross product.


title: Categorification

abstract: Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called `coherence laws'. Iterating this process requires a theory of `n-categories', algebraic structures having objects, morphisms between objects, 2-morphisms between morphisms and so on up to n-morphisms. After a brief introduction to n-categories and their relation to homotopy theory, we discuss algebraic structures that can be seen as iterated categorifications of the natural numbers and integers. These include tangle n-categories, cobordism n-categories, and the homotopy n-types of the loop spaces Omega^k S^k. We conclude by describing a definition of weak n-categories based on the theory of operads.


title: The symplectic Floer homology of composite knots

abstract: We develop a method of calculation for the symplectic Floer homology of composite knots. The symplectic Floer homology of knots defined in \cite{li} naturally admits an integer graded lifting, and it formulates a filtration and induced spectral sequence. Such a spectral sequence converges to the symplectic homology of knots in \cite{li}. We show that there is another spectral sequence which converges to the $\Z$-graded symplectic Floer homology for composite knots represented by braids.


title: Varietes de modules alternatives

abstract: Let X be a projective irreducible smooth algebraic variety. A "fine moduli space" of sheaves on X is a family F of coherent sheaves on X parametrized by an integral variety M such that : F is flat on M; for all distinct points x, y of M the sheaves F_x, F_y on X are not isomorphic and F is a complete deformation of F_x; F has an obvious local universal property. We define also a "fine moduli space defined locally", where F is replaced by a family (F_i), where F_i is defined on an open subset U_i of M, the U_i covering M. This paper is devoted to the study of such fine moduli spaces. We first give some general results, and apply them in three cases on the projective plane : the fine moduli spaces of prioritary sheaves, the fine moduli spaces consisting of simple rank 1 sheaves, and those which come from moduli spaces of morphisms. In the first case we give an exemple of a fine moduli space defined locally but not globally, in the second an exemple of a maximal non projective fine moduli space, and in the third we find a projective fine moduli space consisting of simple torsion free sheaves, containing stable sheaves, but which is different from the corresponding moduli space of stable sheaves.


title: On Perturbative PSU(n) Invariants of Rational Homology 3-Spheres

abstract: We construct power series invariants of rational homology 3-spheres from quantum PSU(n)-invariants. The power series can be regarded as perturbative invariants corresponding to the contribution of the trivial connection in the hypothetical Witten's integral. This generalizes a result of Ohtsuki (the $n=2$ case) which led him to the definition of finite type invariants of 3-manifolds. The proof utilizes some symmetry properties of quantum invariants (of links) derived from the theory of affine Lie algebras and the theory of the Kontsevich integral.


title: Cartan Spinor Bundles on Manifolds

abstract: The aim of this paper is the construction of spinor bundles of Cartan type over certain non-orientable manifolds.


title: Deformation Quantization of Certain Non-linear Poisson Structures

abstract: As a generalization of the linear Poisson bracket on the dual space of a Lie algebra, we introduce certain non-linear Poisson brackets which are ``cocycle perturbations'' of the linear Poisson bracket. We show that these special Poisson brackets are equivalent to Poisson brackets of central extension type, which resemble the central extensions of an ordinary Lie bracket via Lie algebra cocycles. We are able to formulate (strict) deformation quantizations of these Poisson brackets by means of twisted group C*-algebras. We also indicate that these deformation quantizations can be used to construct some specific non-compact quantum groups.


title: On the virial theorem for the relativistic operator of Brown and Ravenhall, and the absence of embedded eigenvalues

abstract: A virial theorem is established for the operator proposed by Brown and Ravenhall as a model for relativistic one-electron atoms. As a consequence, it is proved that the operator has no eigenvalues greater than $\max(m c^2, 2 \alpha Z - \frac{1}{2})$, where $\alpha$ is the fine structure constant, for all values of the nuclear charge $Z$ below the critical value $Z_c$: in particular there are no eigenvalues embedded in the essential spectrum when $Z \leq 3/4 \alpha$. Implications for the operators in the partial wave decomposition are also described.


title: Quantum Kac-Moody Algebras and Vertex Representations

abstract: We introduce an affinization of the quantum Kac-Moody algebra associated to a symmetric generalized Cartan matrix. Based on the affinization, we construct a representation of the quantum Kac-Moody algebra by vertex operators from bosonic fields. We also obtain a combinatorial indentity about Hall-Littlewood polynomials.


title: Rational Curves on the Space of Determinantal Nets of Conics

abstract: We describe the Hilbert scheme components parametrizing lines and conics on the space of determinantal nets of conics, N. As an application, we use the quantum Lefschetz hyperplane principle to compute the instanton numbers of rational curves on a complete intersection Calabi-Yau threefold in N. We also compute the number of lines and conics on some Calabi-Yau sections of non-decomposable vector bundles on N. The paper contains a brief summary of the A-model theory leading up to Givental-Kim's quantum Lefschetz hyperplane principle.


title: More On Generalized Symmetries of Partial Differential Equations and Quasiexact Solvability

abstract: For the class of systems of PDEs, for which infinitesimal translations (with respect to some (in)dependent variables) possess specific finite-dimensional invariant subspaces of the space of generalized symmetries of the system considered. We establish when there exist generalized symmetries from these subspaces, which depend from the above-mentioned variables.

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


title: Associative algebras satisfying a semigroup identity

abstract: Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an identity in these semigroups in terms of the Lie structure of R. Namely, we prove that the following conditions on R are equivalent: the semigroup (R,*) satisfies an identity; the semigroup (R,.) satisfies a reduced identity; and, the associated Lie algebra of R satisfies the Engel condition. When R is finitely generated these conditions are each equivalent to R being upper Lie nilpotent.


title: Generalized counterexamples to the Seifert conjecture

abstract: Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets have codimension 1. In particular, the 3-sphere S^3 has a real analytic dynamical system such that all limit sets are 2-dimensional. We also prove that a 1-dimensional foliation of a manifold of dimension at least 3 can be modified in a piecewise-linear fashion so that there are no closed leaves but all minimal sets are 1-dimensional. These theorems provide new counterexamples to the Seifert conjecture, which asserts that every dynamical system on S^3 with no singular points has a periodic trajectory.


title: Noncommutative geometry based on commutator expansions

abstract: We develop an approach to noncommutative algebraic geometry ``in the perturbative regime" around ordinary commutative geometry. Let R be a noncommutative algebra and A=R/[R,R] its commutativization. We describe what should be the formal neighborhood of M=Spec(A) in the (nonexistent) space Spec(R). This is a ringed space (M,O) where O is a certain sheaf of noncommutative rings on M. Such ringed spaces can be glued together to form more global objects called NC-schemes. We are especially interested in NC-manifolds, NC-schemes for which the completion of O at every point of M is isomorphic to the algebra of noncommutative power series (completion of the free associative algebra). An explicit description of the simplest NC-manifold, the affine space, is given by using the Feynman-Maslov calculus of ordered operators. We show that many familiar algebraic varieties can be naturally enlarged to NC-manifolds. Among these are all the classical flag varieties and all the smooth moduli spaces of vector bundles.


title: A generalization of Springer theory using nearby cycles

abstract: Let g be a complex semisimple Lie algebra, and f : g --> g/G the adjoint quotient map. Springer theory of Weyl group representations can be seen as the study of the singularities of f. We give a generalization of Springer theory to visible, polar representations. It is a class of rational representations of complex reductive groups, for which the invariant theory works by analogy with the adjoint representations. Let G|V be such a representation, f : V --> V/G the quotient map, and P the sheaf of nearby cycles of f. We show that the Fourier transform of P is an intersection homology sheaf on V*. Associated to G|V, there is a finite complex reflection group W, called the Weyl group of G|V. We describe the endomorphism ring of P as a deformation of the group algebra of W.


title: Group algebras and enveloping algebras with nonmatrix and semigroup identities

abstract: Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity not satisfied by the algebra of all 2-by-2 matrices over K. Then we examine those R for which I satisfies a semigroup identity (that is, a polynomial identity which can be written as the difference of two monomials).


title: Index 1 covers of log terminal surface sigularities

abstract: We shall investigate index 1 covers of 2-dimensional log terminal singularities. The main result is that the index 1 cover is canonical if the characteristic of the base field is different from 2 or 3. We also give some counterexamples in the case of characteristic 2 or 3. By using this result, we correct an error in a previous paper.


title: Stochastic bifurcation models

abstract: We study an ordinary differential equation controlled by a stochastic process. We present results on existence and uniqueness of solutions, on associated local times (Trotter and Ray-Knight theorems), and on time and direction of bifurcation. A relationship with Lipschitz approximations to Brownian paths is also discussed.


title: Economical numbers

abstract: A number $n$ is said to be economical if the prime power factorisation of $n$ can be written with no more digits than $n$ itself. We show that under a plausible hypothesis, related to the twin prime conjecture, there are arbitrarily long sequences of consecutive economial numbers, and exhibit such a sequence of length 9.


title: Zeros of reliability polynomials and f-vectors of matroids

abstract: For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.