title: A Hierarchical Method for obtaining Eigenvalue Enclusures

abstract: We propose a method for obtaining rigorous and accurate upper and lower bounds on the eigenvalues of ordinary and partial differential operators in bounded regions of Euclidean space. It uses a boundary condition homotopy method starting from a decomposition of the region into several simpler regions for which the eigenvalues can already be computed accurately. Several numerical examples are presented.


title: Riemann-Roch Theorems for Deligne-Mumford Stacks

abstract: The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a Grothendieck-Riemann-Roch theorem for the Riemann-Roch transformation it defines. As a corollary we obtain an Hirzebruch-Riemann-Roch formula for the Euler characteristic of a coherent sheaf, and some formulas for the different topological Euler characteristics of complex algebraic stacks.


title: Loop and Path Spaces and Four-Dimensional BF Theories: Connections, Holonomies and Observables

abstract: We study the differential geometry of principal G-bundles whose base space is the space of free paths (loops) on a manifold M. In particular we consider connections defined in terms of pairs (A,B), where A is a connection for a fixed principal bundle P(M,G) and B is a 2-form on M. The relevant curvatures, parallel transports and holonomies are computed and their expressions in local coordinates are exhibited. When the 2-form B is given by the curvature of A, then the so-called non-abelian Stokes formula follows. For a generic 2-form B, we distinguish the cases when the parallel transport depends on the whole path of paths and when it depends only on the spanned surface. In particular we discuss generalizations of the non-abelian Stokes formula. We study also the invariance properties of the (trace of the) holonomy under suitable transformation groups acting on the pairs (A,B). In this way we are able to define observables for both topological and non-topological quantum field theories of the BF type. In the non topological case, the surface terms may be relevant for the understanding of the quark-confinement problem. In the topological case the (perturbative) four-dimensional quantum BF-theory is expected to yield invariants of imbedded (or immersed) surfaces in a 4-manifold M.


title: Local factorization and monomialization of morphisms

abstract: Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X and Y' to Y so that X' to Y' is a monomial mapping at the center of v. We deduce from this that a birational morphism of nonsingular varieties can be factored along a valuation by a sequence of blowups and blowdowns with nonsingular centers.


title: Diagrams of representations

abstract: For a representation of a Lie algebra, one can construct a diagram of the representation, i. e. a directed graph with edges labeled by matrix elements of the representation. This article explains how to use these diagrams to describe normal forms, orbits and invariants of the representation, especially for the case of nilpotent Lie algebras.


title: Parallel spinors and holonomy groups on pseudo-Riemannian spinmanifolds

abstract: We describe the possible holonomy groups of simply connected irreducible non-locally symmetric pseudo-Riemannian spin manifolds which admit parallel spinors.


title: Generic immersions of curves, knots, monodromy and gordian number

abstract: Starting from a divide, i.e. a generic immersion of finitely many copies of the interval [0,1] in the disk, we construct a classical link in the 3-sphere. We prove that the link's complement fibers over the circle, if the divide is connected. Moreover, we compute the monodromy diffeomorphism from the combinatorics of the divide. We added to this version of the paper the theorem about the gordian number of the link of a divide. The gordian number of the link of a divide equals the number of double points of the divide.


title: The Carmichael numbers up to $10^{16}$

abstract: We extend our previous computations to show that there are 246683 Carmichael numbers up to $10^{16}$. As before, the numbers were generated by a back-tracking search for possible prime factorisations together with a ``large prime variation''. We present further statistics on the distribution of Carmichael numbers.


title: Lagrangian two-spheres can be symplectically knotted

abstract: This paper shows that there are symplectic four-manifolds M with the following property: a single isotopy class of smooth embedded two-spheres in M contains infinitely many Lagrangian submanifolds, no two of which are isotopic as Lagrangian submanifolds. The examples are constructed using a special class of symplectic automorphisms ("generalized Dehn twists"). The proof uses Floer homology. Revised version: one footnote removed, one reference added


title: Symplectic automorphisms of T^*S^2

abstract: Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It turns out that S is weakly homotopy equivalent to \Z. \pi_0(S) is generated by the class of the standard "generalized Dehn twist". As a consequence, we show that there are different connected components of S which lie in the same connected component of the corresponding group of diffeomorphisms.


title: On the group of symplectic automorphisms of $\C P^m \times \C P^n$

abstract: Let M be the product of \C P^m and \C P^n, with the standard integral symplectic form. We prove that the inclusion map from the group of symplectic automorphisms of M to its diffeomorphism group is not surjective on homotopy groups. More precisely, it is not surjective on \pi_j for all odd j \leq \max\{2m-1,2n-1\}. This is a weak higher-dimensional analogue of Gromov's results for \C P^1 \times \C P^1. The proof uses parametrized Gromov-Witten invariants in a new (?) way. We also give some information about the symplectic automorphism groups of M with differently weighted product symplectic structures.


title: Integral and Theta Formulae for Solutions of Sl_N Knizhnik-Zamolodchikov Equations at Level Zero

abstract: The solutions of the sl_N Knizhnik-Zamolodchikov(KZ) equations at level 0 are studied. We present the integral formula which is obtained as a quasi-classical limit of the integral formula for form factors of the SU(N) invariant Thirring model due to F. Smirnov. A proof is given that those integrals satisfy sl_N KZ equation of level 0. The relation of the integral formulae with the chiral Szego kernel is clarified. As a consequence the integral formula with the special choice of cycles is rewritten in terms of the Riemann theta functions associated with the Z_N curve. This formula gives a generalization of Smirnov's formula for sl_2.


title: Some new embeddings and nonimmersions of real projective spaces

abstract: We use obstruction theory to prove that if alpha(n)=2, then RP^{16n+8} cannot be immersed in R^{32n+3} and RP^{16n+10} cannot be immersed in R^{32n+11}, and that if alpha(n)>2, then RP^{8n+4} can be embedded in R^{16n+1}. These are new results.


title: On the Noncommutative Geometry of the Endomorphism Algebra of a Vector Bundle

abstract: In this letter we investigate some aspects of the noncommutative differential geometry based on derivations of the algebra of endomorphisms of an oriented complex hermitian vector bundle. We relate it, in a natural way, to the geometry of the underlying principal bundle and compute the cohomology of its complex of noncommutative differential forms.


title: Twistor spinors on Lorentzian symmetric spaces

abstract: We solve the twistor equation on all indecomposable Lorentzian symmetric spaces explicity.


title: Lorentzian twistor spinors and CR-geometry

abstract: We prove that there exist global solutions of the twistor equation on the Fefferman spaces of strictly pseudoconvex spin manifolds of arbitrary dimension and we study their properties.


title: Chern Classes of Tautological Sheaves on Hilbert Schemes

abstract: We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification of the cohomology ring of Hilbert schemes of the affine plane with a ring of differential operators on a Fock space. We end with the computation of the top Segre classes of tautological bundles associated to line bundles on Hilb^n up to n=7, and give a conjecture for the generating series.


title: Quantum Double-Torus

abstract: A symmetry extending the $T^2$-symmetry of the noncommutative torus $T^2_q$ is studied in the category of quantum groups. This extended symmetry is given by the quantum double-torus defined as a compact matrix quantum group consisting of the disjoint union of $T^2$ and $T^2_{q^2}$. The bicross-product structure of the polynomial Hopf algebra of the quantum double-torus is computed. The Haar measure and the complete list of unitary irreducible representations of the quantum double-torus are determined explicitly.


title: Weyl Curvature, Einstein Metrics, and Seiberg-Witten Theory

abstract: We show that solutions of the Seiberg-Witten equations lead to non-trivial lower bounds for the L2-norm of the Weyl curvature of a compact Riemannian 4-manifold. These estimates are then used to derive new obstructions to the existence of Einstein metrics. These results considerably refine those previously obtained using scalar-curvature estimates alone.


title: On a series of Gorenstein cyclic quotient singularities admitting a unique projective crepant resolution

abstract: In this paper we prove that the Gorenstein cyclic quotient singularities of type \frac 1l (1,..., 1,l-(r-1)) with $l\geq r\geq 2$, have a \textit{unique}torus-equivariant projective, crepant, partial resolution, which is ``full'' iff either $l\equiv 0$ mod $% (r-1) $ or $l\equiv 1$ mod $(r-1) $. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full desingularization consists of $\lfloor \frac{l}{r-1} \rfloor$ prime divisors, $\lfloor \frac{l}{r-1}\rfloor - 1$ of which are isomorphic to the total spaces of $\Bbb{P}_{\Bbb{C}}^1$-bundles over $\Bbb{P}_{\Bbb{C}%}^{r-2}$. Moreover, it is shown that intersection numbers are computable explicitly and that the resolution morphism can be viewed as a composite of successive (normalized) blow-ups. Obviously, the monoparametrized singularity-series of the above type contains (as its ``first member'') the well-known Gorenstein singularity defined by the origin of the affine cone which lies over the $r$-tuple Veronese embedding of $\Bbb{P}_{\Bbb{C}}^{r-1}$.


title: Representations of the Generalized Lie Algebra sl(2)_q

abstract: We construct finite-dimensional irreducible representations of two quantum algebras related to the generalized Lie algebra $\ssll (2)_q$ introduced by Lyubashenko and the second named author. We consider separately the cases of $q$ generic and $q$ at roots of unity. Some of the representations have no classical analog even for generic $q$. Some of the representations have no analog to the finite-dimensional representations of the quantised enveloping algebra $U_q(sl(2))$, while in those that do there are different matrix elements.


title: On crepant resolutions of 2-parameter series of Gorenstein cyclic quotient singularities

abstract: An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces $\Bbb{C}^{r}/G$ in dimensions $r\geq 4$ would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and sufficient conditions under which 2-parameter series of Gorenstein cyclic quotient singularities have torus-equivariant resolutions of this specific sort in all dimensions.


title: Real polynomials with all roots on the unit circle and abelian varieties over finite fields

abstract: In this paper we prove several theorems about abelian varieties over finite fields by studying the set of monic real polynomials of degree 2n all of whose roots lie on the unit circle. In particular, we consider a set V_n of vectors in R^n that give the coefficients of such polynomials. We calculate the volume of V_n and we find a large easily-described subset of V_n. Using these results, we find an asymptotic formula --- with explicit error terms --- for the number of isogeny classes of n-dimensional abelian varieties over F_q. We also show that if n>1, the set of group orders of n-dimensional abelian varieties over F_q contains every integer in an interval of length roughly q^{n-1/2} centered at q^n+1. Our calculation of the volume of V_n involves the evaluation of the integral over the simplex {(x_1,...,x_n) | 0 < x_1 < ... < x_n < 1} of the determinant of the n-by-n matrix whose (i,j)th entry is x_j^{e_i-1}, where the e_i are positive real numbers.


title: Block LU factorization of M-matrices

abstract: It is well known that any nonsingular M-matrix admits an LU factorization into M-matrices (with L and U lower and upper triangular respectively) and any singular M-matrix is permutation similar to an M-matrix which admits an LU factorization into M-matrices. Varga and Cai establish necessary and sufficient conditions for a singular M-matrix (without permutation) to allow an LU factorization with L nonsingular. We generalize these results in two directions. First, we find necessary and sufficient conditions for the existence of an LU factorization of a singular M-matrix where L and U are both permitted to be singular. Second, we establish the minimal block structure that a block LU factorization of a singular M-matrix can have when L and U are M-matrices.


title: On position operator spectral measure for deformed oscillator in the case of indetermine Hamburger moment problem

abstract: The spectral measure of the position (momentum) operator $X$ for $q$-deformed oscillator is calculated in the case of the indetermine Hamburger moment problem. The exposition is given for concrete choice of generators for $q$-oscillator algebra, although developed technique apply for every other cases with indetermine moment problem. The Stieltjes transformation $m(z)$ of spectral measure is expressed in terms of the entries of Jacobi matrix $X$ only. The direct connection between values of parameters labeling the spectral measures and related selfadjoint extensions of $X$ is established.


title: A Simple Path to Biggins' Martingale Convergence for Branching Random Walk

abstract: We give a simple non-analytic proof of Biggins' theorem on martingale convergence for branching random walks.


title: A survey of 4-manifolds through the eyes of surgery

abstract: The title says it all.


title: Symplectic tensor invariants, wave graphs and S-tris

abstract: The spaces of invariants of tensor powers of the defining representation of Sp(2n) are provided with the bases parametrized by symplectic wave graphs introduced here especially for this purpose. The proof utilizes a game similar to Tetris, named here S-tris. This work continues my previous work on the tensor invariants of SL(n), wave graphs and L-tris.


title: On a conjecture of Le Bruyn

abstract: Given a generic field extension F/k of degree n>3 (i.e. the Galois group of the normal closure of F is isomorphic to the symmetric group $S_n$), we prove that the norm torus, defined as the kernel of the norm map $N:R_{F/k}(G_m)\to\G_m$, is not rational over k.


title: Tressages des groupe de Poisson formels \`a dual quasitriangulaire

abstract: Let $ \mathfrak{g} $ be a quasitriangular Lie bialgebra over a field $ K $ of characteristic zero, and let $ \mathfrak{g}^* $ be its dual Lie bialgebra. We prove that the formal Poisson group $ K\big[\big[\mathfrak{g}^*\big]\big] $ is a braided Hopf algebra, thus generalizing a result due to Reshetikhin (in the case $ \, \mathfrak{g} = \mathfrak{sl}(2,K) \, $). The proof is via quantum groups, using the existence of a quasitriangular quantization of $ \mathfrak{g}^* $, as well as the fact that this one provides also a quantization of $ K\big[\big[\mathfrak{g}^*\big]\big] \, $.


title: Power Weakly Mixing Infinite Transformations

abstract: We construct a rank one infinite measure preserving transformation $T$ such that for all sequences of nonzero integers $\{k_{1},..., k_{r}\}$, $T^{k_{1}}\times...\times T^{k_{r}}$ is ergodic.


title: Flat pencils of metrics and Frobenius manifolds

abstract: This paper is based on the author's talk at 1997 Taniguchi Symposium ``Integrable Systems and Algebraic Geometry''. We consider an approach to the theory of Frobenius manifolds based on the geometry of flat pencils of contravariant metrics. It is shown that, under certain homogeneity assumptions, these two objects are identical. The flat pencils of contravariant metrics on a manifold $M$ appear naturally in the classification of bihamiltonian structures of hydrodynamics type on the loop space $L(M)$. This elucidates the relations between Frobenius manifolds and integrable hierarchies.


title: Painleve' transcendents and two-dimensional topological field theory

abstract: Lecture 1. Algebraic properties of correlators in 2D topological field theory. Moduli of a 2D TFT and WDVV equations of associativity. Lecture 2. Equations of associativity and Frobenius manifolds. Deformed flat connection and its monodromy at the origin. Lecture 3. Semisimplicity and canonical coordinates. Lecture 4. Classification of semisimple Frobenius manifolds. Lecture 5. Monodromy group and mirror construction for semisimple Frobenius manifolds.


title: Mirror Symmetry and Toric Degenerations of Partial Flag Manifolds

abstract: In this paper we propose and discuss a mirror construction for complete intersections in partial flag manifolds $F(n_1, ..., n_l, n)$. This construction includes our previous mirror construction for complete intersection in Grassmannians and the mirror construction of Givental for complete flag manifolds. The key idea of our construction is a degeneration of $F(n_1, ..., n_l, n)$ to a certain Gorenstein toric Fano variety $P(n_1, ..., n_l, n)$ which has been investigated by Gonciulea and Lakshmibai. We describe a natural small crepant desingularization of $P(n_1, ..., n_l, n)$ and prove a generalized version of a conjecture of Gonciulea and Lakshmibai on the singular locus of $P(n_1, ..., n_l, n)$.


title: Foliations Transverse to Triangulations of 3-Manifolds

abstract: We investigate the combinatorial analogues, in the context of normal surfaces, of taut and transversely measured (codimension 1) foliations of 3-manifolds. We establish that the existence of certain combinatorial structures, a priori weaker than the existence of the corresponding foliation, is sufficient to guarantee that the manifold in question satisfies certain properties, e.g. irreducibility. The finiteness of our combinatorial structures allows us to make our results quantitative in nature and has (coarse) geometrical consequences for the manifold. Furthermore, our techniques give a straightforward combinatorial proof of Novikov's theorem.


title: Function Theory in the Quantum Matrix Ball: an Invariant Integral

abstract: This work considers the algebras of functions in the quantum matrix ball. An explicit formula for a positive invariant integral is presented.


title: Triades et familles de courbes gauches

abstract: Let $A$ be a noetherian ring and $R_A$ be the graded ring $A[X,Y,Z,T]$. In this article we introduce the notion of a triad, which is a generalization to families of curves in ${\bf P}^3_A$ of the notion of Rao module. A triad is a complex of graded $R_A$-modules $(L_1 \to L_0 \to L_{-1})$ with certain finiteness hypotheses on its cohomology modules. A pseudo-isomorphism between two triads is a morphism of complexes which induces an isomorphism on the functors $ h_0 (L\otimes .)$ and a monomorphism on the functors $h_{-1} (L\otimes .)$. One says that two triads are pseudo-isomorphic if they are connected by a chain of pseudo-isomorphisms. We show that to each family of curves is associated a triad, unique up to pseudo-isomorphism, and we show that the map $\{\hbox{families of curves}\}\to \{\hbox{triads}\}$ has almost all the good properties of the map $\{\hbox{curves}\}\to \{\hbox{Rao modules}\}$. In a section of examples, we show how to construct triads and families of curves systematically starting from a graded module and a sub-quotient (that is a submodule of a quotient module), and we apply these results to show the connectedness of $H_{4,0}$.


title: Albanese and Picard 1-motives

abstract: We define, in a purely algebraic way, 1-motives $Alb^{+}(X)$, $Alb^{-}(X)$, $Pic^{+}(X)$ and $Pic^{-}(X)$ associated with any algebraic scheme $X$ over an algebraically closed field of characteristic zero. For $X$ over $\C$ of dimension $n$ the Hodge realizations are, respectively, $H^{2n-1}(X)(n)$, $H_{1}(X)$, $H^{1}(X)(1)$ and $H_{2n-1}(X)(1-n)$.


title: Grothendieck's theorem on non-abelian H^2 and local-global principles

abstract: A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of this theorem. The generalization -- to the context of perfect fields of virtual cohomological dimension one -- takes the form of a local-global principle for the H^2-sets with respect to the orderings of the field. This principle asserts in particular that an element in H^2 is neutral precisely when it is neutral in the real closure with respect to every ordering in a dense subset of the real spectrum of k. Our techniques provide a new proof of Grothendieck's original theorem. An application to homogeneous spaces over k is also given.


title: Hecke algebras, modular categories and 3-manifolds quantum invariants

abstract: We construct modular categories from Hecke algebras at roots of unity. For a special choice of the framing parameter, we recover the Reshetikhin-Turaev invariants of closed 3-manifolds constructed from the quantum groups U_q sl(N) by Reshetikhin-Turaev and Turaev-Wenzl, and from skein theory by Yokota. We then discuss the choice of the framing parameter. This leads, for any rank N and level K, to a modular category \tilde H^{N,K} and a reduced invariant \tilde\tau_{N,K}. If N and K are coprime, then this invariant coincides with the known PSU(N) invariant at level K. If gcd(N,K)=d>1, then we show that the reduced invariant admits spin or cohomological refinements, with a nice decomposition formula which extends a theorem of H. Murakami.


title: Notes on the horizontal cohomology

abstract: This paper is devoted to the horizontal (``characteristic'') cohomology of systems of differential equations. Recent results on computing the horizontal cohomology via the compatibility complex are generalized. New results on the Vinogradov C-spectral sequence and the Krasil'shchik C-cohomology are obtained. As an application of general theory, the examples of an evolution equation and a p-form gauge theory are explicitly worked out.

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


title: Monstrous Moonshine of higher weight

abstract: We determine the space of 1-point correlation functions associated with the Moonshine module: they are precisely those modular forms of non-negative integral weight which are holomorphic in the upper half plane, have a pole of order at most 1 at infinity, and whose Fourier expansion has constant 0. There are Monster-equivariant analogues in which one naturally associates to each element in the Monster a modular form of fixed weight k, the case k=0 corresponding to the original ``Moonshine'' of Conway and Norton.


title: The Dolbeault complex in infinite dimensions. II

abstract: We prove that the equation d-bar u = f can be solved on a ball B(R) of radius R in the Banach space l^1 if f is a closed Lipschitz continuous (0,1) form on B(R). We also present examples of closed (0,1) forms f of various regularities on the spaces l^p that are not exact. In particular, in the first result above, it is not enough to assume that f is merely continuous, rather than Lipschitz continuous.


title: Twisted sectors for tensor product vertex operator algebras associated to permutation groups

abstract: Let V be a vertex operator algebra, and for k a positive integer, let g be a k-cycle permutation of the vertex operator algebra V^{\otimes k}. We prove that the categories of weak, weak admissible and ordinary g-twisted modules for the tensor product vertex operator algebra V^{\otimes k} are isomorphic to the categories of weak, weak admissible and ordinary V-modules, respectively. The main result is an explicit construction of the weak g-twisted V^{\otimes k}-modules from weak V-modules. For an arbitrary permutation automorphism g of V^{\otimes k} the category of weak admissible g-twisted modules for V^{\otimes k$ is semisimple and the simple objects are determined if V is rational. In addition, we extend these results to the more general setting of \gamma g-twisted V^{\otimes k}-modules for \gamma a general automorphism of V acting diagonally on V^{\otimes k} and a g a permutation automorphism of V^{\otimes k}.


abstract: We show how Chern classes of a Calabi Yau hypersurface in a toric Fano manifold can be expressed in terms of the holomorphic at a maximal degeneracy point period of its mirror. We also consider the relation between Chern classes and the periods of mirrors for complete intersections in Grassmanian Gr(2,5).


title: McKay correspondence and Hilbert schemes in dimension three

abstract: Let $G$ be a nontrivial finite subgroup of $\SL_n(\C)$. Suppose that the quotient singularity $\C^n/G$ has a crepant resolution $\pi\colon X\to \C^n/G$ (i.e. $K_X = \shfO_X$). There is a slightly imprecise conjecture, called the McKay correspondence, stating that there is a relation between the Grothendieck group (or (co)homology group) of $X$ and the representations (or conjugacy classes) of $G$ with a ``certain compatibility'' between the intersection product and the tensor product (see e.g. \cite{Maizuru}). The purpose of this paper is to give more precise formulation of the conjecture when $X$ can be given as a certain variety associated with the Hilbert scheme of points in $\C^n$. We give the proof of this new conjecture for an abelian subgroup $G$ of $\SL_3(\C)$.


title: Holomorphic 2-forms on Complex Threefolds

abstract: We study holomorphic 2-forms on projective (or compact Kaehler) threefolds not of general type and prove that in almost all cases the 2-form is created by some standard process. This means roughly that every 2-form is induced by a meromorphic map to a surface, a torus or a symplectic manifold. If the 2-form has only finitely many zeroes, more precise results hold. Finally we prove that compact Kaehler threefolds with negative Kodaira dimension are uniruled unles they are simple, i.e. there is no positive dimensional compact subvariety through the general point of the manifold (these simple threefolds are expected not to exist). This generalises the fundamental result of Miyaoka and Mori to the Kaehler (non-simple) case.


title: Notes on Compact Quantum Groups

abstract: We have written down a set of notes on compact quantum groups from which all the different aspects can be learned in an easy way and such that a lot of insight can be obtained without too much effort. Compact quantum groups have been studied by several authors, from different points of view. The difference lies mainly in the choice of the axioms and consequently, in the way the main results are proven. These results however are essentially the same in all these cases. In these notes, we mainly follow the approach of Woronowicz and we extensively motivate this choice. We give a complete and rather detailed treatment, starting from a simple set of axioms and obtaining the main results. We also discuss the most common examples and show how they fit into the framework. During this process, we compare with the existing other treatments.


title: Pseudo-Anosov maps and simple closed curves on surfaces

abstract: Given a pair of curves C_1 and C_2 on a hyperbolic surface F, when does there exist a pseudo-Anosov map sending one to another? More generally, one may ask the same question for C_i to be sets of disjoint simple closed curves. We will give necessary and sufficient conditions for the existence of such maps.


title: A note on the symplectic structure on the space of G-monopoles

abstract: Let $G$ be a semisimple complex Lie group with a Borel subgroup $B$. Let $X=G/B$ be the flag manifold of $G$. Let $C=P^1\ni\infty$ be the projective line. Let $\alpha\in H_2(X,{\Bbb Z})$. The moduli space of $G$-monopoles of topological charge $\alpha$ (see e.g. [Jarvis]) is naturally identified with the space $M_b(X,\alpha)$ of based maps from $(C,\infty)$ to $(X,B)$ of degree $\alpha$. The moduli space of $G$-monopoles carries a natural hyperk\"ahler structure, and hence a holomorphic symplectic structure. We propose a simple explicit formula for the symplectic structure on $M_b(X,\alpha)$. It generalizes the well known formula for $G=SL_2$ (see e.g. [Atiyah-Hitchin]). Let $P\supset B$ be a parabolic subgroup. The construction of the Poisson structure on $M_b(X,\alpha)$ generalizes verbatim to the space of based maps $M=M_b(G/P,\beta)$. In most cases the corresponding map $T^*M\to TM$ is not an isomorphism, i.e. $M$ splits into nontrivial symplectic leaves. These leaves are explicilty described.


title: Inverse tridiagonal Z-matrices

abstract: In this paper, we consider matrices whose inverses are tridiagonal Z--matrices. Based on a characterization of symmetric tridiagonal matrices by Gantmacher and Krein, we show that a matrix is the inverse of a tridiagonal Z--matrix if and only if, up to a positive scaling of the rows, it is the Hadamard product of a so called weak type $\D$ matrix and a flipped weak type $\D$ matrix whose parameters satisfy certain quadratic conditions. We predict from these parameters to which class of Z--matrices the inverse belongs to. In particular, we give a characterization of inverse tridiagonal M--matrices. Moreover, we characterize inverses of tridiagonal M--matrices that satisfy certain row sum criteria. This leads to the cyclopses that are matrices constructed from type $\D$ and flipped type $\D$ matrices. We establish some properties of the cyclopses and provide explicit formulae for the entries of the inverse of a nonsingular cyclops. We also show that the cyclopses are the only generalized ultrametric matrices whose inverses are tridiagonal.


title: A note on the factorization theorem of toric birational maps after Morelli and its toroidal extension

abstract: The recent two proofs for the (weak) factorization theorem for birational maps, one by W{\l}odarczyk and the other by Abramovich-Karu-Matsuki-W{\l}odarczyk rely on the results of Morelli. The former uses the process for $\pi$-desingularization (the most subtle part of Morelli's combinatorial algorithm), while the latter uses the strong factorization of toric (toroidal) birational maps directly. This paper provides a coherent account of Morelli's work (and its toroidal extension) clarifying some discrepancies in the original argument.


title: Frame, cotangent and tangent bundles of the quantum plane

abstract: We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus.


title: Enumeration of walks on lattices. I

abstract: This work develops a methodical approach to counting of walks on cartesian products, biproducts, symmetric and exterior powers and bipowers, Schur operations, coverings and semicoverings of weighted graphs. For weight and root lattices of semisimple Lie algebras, this approach allows us to compute various combinatorial and representation-theoretical constants, in particular, the number of plane symplectic wave graphs with given number of vertices.


title: Semi-classical States for Non-self-adjoint Schrodinger Operators

abstract: We prove that the spectrum of certain non-self-adjoint Schrodinger operators is unstable in the semi-classical limit. Similar results hold for a fixed operator in the high energy limit. The method involves the construction of approximate semi-classical modes of the operator by the JWKB method for energies far from the spectrum.


title: Enumeration of symmetry classes of convex polyominoes in the square lattice

abstract: This paper concerns the enumeration of rotation-type and congruence-type convex polyominoes on the square lattice. These can be defined as orbits of the groups C4, of rotations, and D4, of symmetries of the square acting on (translation- type) polyominoes. In virtue of Burnside's Lemma, it is sufficient to enumerate the various symmetry classes (fixed points) of polyominoes defined by the elements of C4 and D4. Using the Temperley--Bousquet-Melou methodology, we solve this problem and provide explicit or recursive formulas for their generating functions according to width, height and area. We also enumerate the class of asymmetric convex polyominoes, using Moebius inversion, and prove that their number is asymptotically equivalent to the number of convex polyominoes, a fact which is empirically evident.


title: An Algorithm for Fat Points on P2

abstract: Let $F$ be a line bundle on the blow-up $X$ of $P^2$ at $r$ general points $p_1, ..., p_r$ and let $L$ be the pullback to $X$ of the line bundle coming from a line on $P^2$. Under reasonable hypotheses that are conjectured always to hold if the points $p_1, ..., p_r$ are sufficiently general, it is shown that the computation of the dimension of the cokernel of the natural map $\mu_F:\Gamma(F)\otimes\Gamma(L)\to\Gamma(F\otimes L)$ reduces to the case that $F$ is ample. As an application, a complete determination of the dimension of the cokernel of $\mu_F$ is obtained when $r\le 7$, thereby solving the Ideal Generation Problem for fat point subschemes involving up to 7 general points of the plane and giving an algorithm depending only on the multiplicities $m_i$ for determining the modules in a minimal free resolution of the ideal defining a fat point subscheme $m_1p_1+...+ m_7p_7$ for general points $p_i$. All results hold for an arbitrary algebraically closed ground field $k$.


title: On the Cohomology Ring of an Algebra

abstract: We define several versions of the cohomology ring of an associative algebra. These ring structures unify some well known operations from homological algebra and differential geometry. They have some formal resemblance with the quantum multiplication on Floer cohomology of free loop spaces. We discuss some examples, as well as applications to index theorems, characteristic classes and deformations.


title: Applications of Topological *-Algebras of Unbounded Operators

abstract: In this paper we discuss some physical applications of topological *-algebras of unbounded operators. Our first example is a simple system of free bosons. Then we analyze different models which are related to this one. We also discuss the time evolution of two interacting models of matter and bosons. We show that for all these systems it is possible to build up a common framework where the thermodynamical limit of the algebraic dynamics can be conveniently studied and obtained.


title: Projections in Rotation Algebras and Theta Functions

abstract: For each $\alpha \in (0,1)$, $A_\alpha$ denotes the universal $C^*$-algebra generated by two unitaries $u$ and $v$, which satisfy the commutation relation $uv=\exp (2\pi i\alpha)vu$. We consider the order four automorphism $\sigma$ of $A_\alpha$ defined by $\sigma (u)=v$, $\sigma (v)=u^{-1}$ and describe a method for constructing projections in the fixed point algebra $A_\alpha^\sigma$, using Rieffel's imprimitivity bimodules and Jacobi's theta functions. In the case $\alpha =q^{-1}$, $q\in {\mathbf Z}$, $q\geq 2$, we give explicit formulae for such projections and find a lower bound for the norm of the Harper operator $u+u^* +v+v^*$.


title: Dolbeault Cohomology of compact Nilmanifolds

abstract: Let $M= G/\Gamma$ be a compact nilmanifold endowed with an invariant complex structure. We prove that, on an open set of any connected component of the moduli space ${\cal C} ({\frak g})$ of invariant complex structures on $M$, the Dolbeault cohomology of $M$ is isomorphic to the one of the differential bigraded algebra associated to the complexification $\cg^\C$ of the Lie algebra of $G$. To obtain this result, we first prove the above isomorphism for compact nilmanifolds endowed with a rational invariant complex structure. This is done using a descending series associated to the complex structure and the Borel spectral sequences for the corresponding set of holomorphic fibrations. Then we apply the theory of Kodaira-Spencer for deformations of complex structures.


title: Witten deformation and polynomial differential forms

abstract: As is well-known, the Witten deformation of the De Rham complex computes the De Rham cohomology. In this paper we study the Witten deformation on a noncompact manifold and restrict it to differential forms which behave polynomially near infinity. Such polynomial differential forms naturally appear on manifolds with a cylindrical structure. We prove that the cohomology of the Witten deformation acting on the complex of the polynomially growing forms can be computed as the relative cohomology of the manifold with respect to the negative remote fiber of the function. We show that the assumptions of our main theorem are satisfied in a number of interesting special cases, including generic real polynomials.


title: Poincar\'e - Reidemeister metric, Euler structures, and torsion

abstract: In this paper we define a Poincar\'e-Reidemeister scalar product on the determinant line of the cohomology of any flat vector bundle over a closed orientable odd-dimensional manifold. It is a combinatorial "torsion-type" invariant which refines the PR-metric, introduced earlier by the first author, and contains an additional sign or phase information. We compute the PR-scalar product in terms of the torsions of Euler structures, introduced earlier by the second author. We show that the sign of our PR-scalar product is determined by the Stiefel-Whitney classes and the semi-characteristic of the manifold. As an application, we compute the Ray-Singer analytic torsion via the torsions of Euler structures. Another application: a computation of the twisted semi-characteristic in terms of the Stiefel-Whitney classes.


title: The Multivariable Alexander Polynomial for a Closed Braid

abstract: A simple multivariable version of the reduced Burau matrix is constructed for any braid. It is shown how the multivariable Alexander polynomial for the closure of the braid can be found directly from this matrix.


title: Amalgamated free products, unstable homotopy invariance, and the homology of SL_2(Z[t])

abstract: We show that if R is an integral domain with many units, then the inclusion E_2(R) --> E_2(R[t]) induces an isomorphism in integral homology. This is a consequence of the existence of an amalgamated free product decomposition for E_2(R[t]). We also use this decomposition to study the homology of E_2(Z[t]). We show that H_i(E_2(Z[t]),Z) contains a countable rank free summand for each i>0 and that this summand maps nontrivially into H_i(SL_2(Z[t]),Z); hence, the latter is not finitely generated. This improves on a result of Grunewald, et.al., which states that SL_2(Z[t]) has free quotients of countable rank (and hence, H_1(SL_2(Z[t]) is not finitely generated).


title: Fukaya Type Categories for Associative Algebras

abstract: We define for an associative algebra an $A_{\infty}$ category whose objects are automorphisms of this algebra. This construction has some resemblance with Fukaya'a categories related to Floer cohomology.


title: Loop Grassmannian cohomology, the principal nilpotent and Kostant theorem

abstract: Given a complex projective algebraic variety, write H(X) for its cohomology with complex coefficients and IH(X) for its Intersection cohomology. We first show that, under some fairly general conditions, the canonical map H(X)\to IH(X) is injective. Now let Gr = G((z))/G[[z]] be the loop Grassmannian for a complex semisimple group G, and let X be the closure of a G[[z]]-orbit in Gr. We prove, using the general result above, a conjecture of D. Peterson describing the cohomology algebra H(X) in terms of the centralizer of the principal nilpotent in the Langlands dual of Lie(G). In the last section we give a new "topological" proof of Kostant's theorem about the polynomial algebra of a semisimple Lie algebra, based on purity of the equivariant intersection cohomology groups of G[[z]]-orbits on Gr.


title: (P,Q)-Special Functions

abstract: It is suggested that the (p,q)-hypergeometric series studied by Burban and Klimyk (in Integral Transforms and Special Functions, 2 (1994) 15 - 36) can be considered as a special case of a more general (P,Q)-hypergeometric series.


title: Jacobian Conjecture and Nilpotent Mappings

abstract: We prove the equivalence of the Jacobian Conjecture (JC(n)) and the Conjecture on the cardinality of the set of fixed points of a polynomial nilpotent mapping (JN(n)) and prove a series of assertions confirming JN(n).


title: On a Chisini Conjecture

abstract: Chisini's conjecture asserts that for a cuspidal curve $B\subset \mathbb P^2$ a generic morphism $f$ of a smooth projective surface onto $\mathbb P^2$ of degree $\geq 5$, branched along $B$, is unique up to isomorphism. We prove that if $\deg f$ is greater than the value of some function depending on the degree, genus, and number of cusps of $B$, then the Chisini conjecture holds for $B$. This inequality holds for many different generic morphisms. In particular, it holds for a generic morphism given by a linear subsystem of the $m$th canonical class for almost all surfaces with ample canonical class.


title: 3-fold log flips according to V.V.Shokurov

abstract: In this paper, I review the section 8 of V.V.Shokurov's paper '3-fold log flips'.


title: Transformation formulae for multivariable basic hypergeometric series

abstract: We study multivariable (bilateral) basic hypergeometric series associated with (type $A$) Macdonald polynomials. We derive several transformation and summation properties for such series including analogues of Heine's ${}_2\phi_1$ transformation, the $q$-Pfaff-Kummer and Euler transformations, the $q$-Saalsch\"utz summation formula and Sear's transformation for terminating, balanced ${}_4\phi_3$ series. For bilateral series, we rederive Kaneko's analogue of the ${}_1\psi_1$ summation formula and give multivariable extensions of Bailey's ${}_2\psi_2$ transformations.


title: Tensor Operators for Uh(sl(2))

abstract: Tensor operators for the Jordanian quantum algebra Uh(sl(2)) are considered. Some explicit examples of them, which are obtained in the boson or fermion realization, are given and their properties are studied. It is also shown that the Wigner-Eckart's theorem can be extended to Uh(sl(2)).


title: Almost Representations and Asymptotic Representations of Discrete Groups

abstract: We define for discrete finitely presented groups a new property related to their asymptotic representations. Namely we say that a groups has the property AGA if every almost representation generates an asymptotic representation. We give examples of groups with and without this property. For our example of a group $G$ without AGA the group $K^0(BG)$ cannot be covered by asymptotic representations of $G$.


title: A 2-coloring of [1,n] can have (n^2)/22 + O(n) monochromatic Schur triples, but not less!

abstract: We prove that the minimum number (asymptotically) of monochromatic Schur triples that a 2-coloring of [1,n] can have is (n^2)/22 + O(n). This was solved independently by Tomasz Schoen.


title: Universality theorems for configuration spaces of planar linkages

abstract: We prove realizability theorems for vector-valued polynomial mappings, real-algebraic sets and compact smooth manifolds by moduli spaces of planar linkages. We also establish a relation between universality theorems for moduli spaces of mechanical linkages and projective arrangements.


title: Raising operators of row type for Macdonald polynomials

abstract: Raising operators of row type are constructed by means of an interpolation method. These are a dual version of the raising operators of column type by A.N.Kirillov and M.Noumi. An extension of the q-binomial coefficients is introduced in relation to the raising operators.


title: On the minimal free resolution of non-special curves in P^3

abstract: Here we prove that the minimal free resolution of a general space curve of large degree (e.g. a general space curve of degree d and genus g with d g+3, except for finitely many pairs (d,g)) is the expected one. A similar result holds even for general curves with special hyperplane section and, roughly, d g/2. The proof uses the so-called methode d'Horace.


title: An Adiabatic Theorem without a Gap Condition: Two level system coupled to quantized radiation field

abstract: We prove an adiabatic theorem for the ground state of the Dicke model in a slowly rotating magnetic field and show that for weak electron-photon coupling, the adiabatic time scale is close to the time scale of the corresponding two level system--without the quantized radiation field. There is a correction to this time scale which is the Lamb shift of the model. The photon field affect the rate of approach to the adiabatic limit through a logarithmic correction originating from an infrared singularity characteristic of QED.

categories: math.FA math-ph math.MP math.SP physics.atom-ph quant-ph


title: On the Cappell-Lee-Miller glueing theorem

abstract: We formulate a more conceptual interpretation of the Cappell-Lee-Miller glueing/splitting theorem using the new language of asymptotic maps and asymptotic exactness. Additionally, we present an asymptotic description of the Mayer-Vietoris sequence naturally associated to the Cech cohomology of the sheaf of local solutions of a Dirac type operator. We discuss applications to eigenvalue estimates, approximation of obstruction bundles and glueing of determinant line bundles frequently arising in gauge theoretic problems. The operators involved in all these results need not be translation invariant.


title: Double quantization of $\cp$ type orbits by generalized Verma modules

abstract: It is known that symmetric orbits in ${\bf g}^*$ for any simple Lie algebra ${\bf g}$ are equiped with a Poisson pencil generated by the Kirillov-Kostant-Souriau bracket and the reduced Sklyanin bracket associated to the "canonical" R-matrix. We realize quantization of this Poisson pencil on $\cp$ type orbits (i.e. orbits in $sl(n+1)^*$ whose real compact form is $ CP^n$) by means of q-deformed Verma modules.


title: Grafting Boardman's Cherry Trees to Quantum Field Theory

abstract: Michael Boardman has been a major contributor to the theory of infinite loop spaces and higher homotopy algebra. Indeed Boardman was the first to refer to `homotopy everything'. One particular contribution which has had major progeny is his use of `geometric' trees, combinatorial tress with lengths attached to edges. Here is a modified version of the talk given to honor Mike on the occassion of his 60th birthday. It is an idiosyncratic survey of parts of homotopy algebra from Poincar\'e to the present day, with emphasis on Boardman's original ideas, starting with his cubical subdivision of the associahedra through recent applications in mathematical physics via compactifications of moduli spaces.


title: The structure of a solvmanifold's Heegaard splittings

abstract: We classify isotopy classes of irreducible Heegaard splittings of solvmanifolds. If the monodromy of the solvmanifold can be expressed as a 2 x 2 matrix with 0 in the lower right hand corner (as always is true when the absolute value of the trace is 3), then any irreducible splitting is strongly irreducible and of genus two. If furthermore the absolute value of the trace is 4 or greater, then any two such splittings are isotopic. If the absolute value of the trace is 3 then, up to isotopy, there are exactly two irreducible splittings, their associated hyperelliptic involutions commute, and the product of the involutions is the central involution of the solvmanifold. If the monodromy cannot be expressed as a 2 x 2 matrix with 0 in the lower right hand corner, then the splitting is weakly reducible, of genus three and unique up to isotopy.


title: A new variant of the Schwarz-Pick-Ahlfors lemma

abstract: We prove a ``general shrinking lemma'' that resembles the Schwarz--Pick--Ahlfors Lemma and its many generalizations, but differs in applying to maps of a finite disk into a disk, rather than requiring the domain of the map to be complete. The conclusion is that distances to the origin are all shrunk, and by a limiting procedure we can recover the original Ahlfors Lemma, that {\em all} distances are shrunk. The method of proof is also different in that it relates the shrinking of the Schwarz--Pick--Ahlfors-type lemmas to the comparison theorems of Riemannian geometry.


title: Down-up Algebras

abstract: The algebra generated by the down and up operators on a differential partially ordered set (poset) encodes essential enumerative and structural properties of the poset. Motivated by the algebras generated by the down and up operators on posets, we introduce here a family of infinite-dimensional associative algebras called down-up algebras. We show that down-up algebras exhibit many of the important features of the universal enveloping algebra $U(\fsl)$ of the Lie algebra $\fsl$ including a Poincar\'e-Birkhoff-Witt type basis and a well-behaved representation theory. We investigate the structure and representations of down-up algebras and focus especially on Verma modules, highest weight representations, and category $\mathcal O$ modules for them. We calculate the exact expressions for all the weights, since that information has proven to be particularly useful in determining structural results about posets.


title: The Stable Manifold Theorem for Stochastic Differential Equations

abstract: We formulate and prove a {\it Local Stable Manifold Theorem\/} for stochastic differential equations (sde's) that are driven by spatial Kunita-type semimartingales with stationary ergodic increments. Both Stratonovich and It\^o-type equations are treated. Starting with the existence of a stochastic flow for a sde, we introduce the notion of a hyperbolic stationary trajectory. We prove the existence of invariant random stable and unstable manifolds in the neighborhood of the hyperbolic stationary solution. For Stratonovich sde's, the stable and unstable manifolds are dynamically characterized using forward and backward solutions of the anticipating sde. The proof of the stable manifold theorem is based on Ruelle-Oseledec multiplicative ergodic theory.


title: Liftez les Sylows! Une suite \`a ``Sous-groupes periodiques d'un groupe stable''

abstract: If $G$ is an omega-stable group with a normal definable subgroup $H$, then the Sylow-$2$-subgroups of $G/H$ are the images of the Sylow-$2$-subgroups of $G$.


title: Stochastic analysis on configuration spaces: basic ideas and recent results

abstract: The purpose of this paper is to provide a both comprehensive and summarizing account on recent results about analysis and geometry on configuration spaces $\Gamma_X$ over Riemannian manifolds $X$. Particular emphasis is given to a complete description of the so--called ``lifting--procedure'', Markov resp. strong resp. $L^1$--uniqueness results, the non--conservative case, the interpretation of the constructed diffusions as solutions of the respective classical ``heuristic'' stochastic differential equations, and a self--contained presentation of a general closability result for the corresponding pre--Dirichlet forms. The latter is presented in the general case of arbitrary (not necessarily pair) potentials describing the singular interactions. A support property for the diffusions, the intrinsic metric, and a Rademacher theorem on $\Gamma_X$, recently proved, are also discussed.


title: On the h-function

abstract: The paper is devoted to study the $H$-function defined by the Mellin-Barnes integral $$H^{m,n}_{\thinspace p,q}(z)={\frac1{2\pi i}}\int_{\Lss} \HHs^{m,n}_{\thinspace p,q}(s)z^{-s}ds,$$ where the function $\HH^{m,n}_{\thinspace p,q}(s)$ is a certain ratio of products of Gamma functions with the argument $s$ and the contour $\LL$ is specially chosen. The conditions for the existence of $H^{m,n}_{\thinspace p,q}(z)$ are discussed and explicit power and power-logarithmic series expansions of $H^{m,n}_{p,q}(z)$ near zero and infinity are given. The obtained results define more precisely the known results.


title: Matrix-variate growth-decay models

abstract: Input-output, growth-decay, production-consumption type situations abound in many practical problems. When the input and output variables are independently gamma distributed, various aspects of the residual effect are already tackled by the author. Matrix-variate analogues, their connections to quadratic and bilinear forms, matrix-variate Whittaker functions, and many properties of such matrix-variate functions, in the real as well as complex case, are discussed here.


title: Expansions of _4F_3 when the upper parameters differ by integers

abstract: In this article three expansion formulas for a generalized hypergeometric function $_4F_3$ are derived, when its upper parameters differ by integers. Though the results are special cases of a general continuation formula for $_pF_q$, they are sufficiently general and unify a number of known results.


title: On inversion of H-Transform in $\eufb114_{\nu ,r}$-space

abstract: The paper is devoted to study the inversion of the integral transform $$(\mbox{\boldmath$H$}f)(x)=\int^\infty_0H^{m,n}_{\thinspace p,q} \left[xt\left|\begin{array}{c}(a_i,\alpha_i)_{1,p}\\[1mm](b_j,\beta_j)_{1,q} \end{array}\right.\right]f(t)dt$$ involving the $H$-function as the kernel in the space $\euf114_{\nu ,r}$ of functions $f$ such that $$\int^\infty_0\left|t^\nu f(t)\right|^r\frac{dt}t<\infty\quad(1<r<\infty, \ \nu\in\msb122).$$


title: Strongly almost disjoint sets and weakly uniform bases

abstract: A combinatorial principle CECA is formulated and its equivalence with GCH+ certain weakenings of Box_lambda for singular lambda is proved. CECA is used to show that certain ``almost point- < tau'' families can be refined to point- < tau families by removing a small set from each member of the family. This theorem in turn is used to show the consistency of ``every first countable T_1-space with a weakly uniform base has a point-countable base.''


title: A natural framing of knots

abstract: Given a knot K in the 3-sphere, consider a singular disk bounded by K and the intersections of K with the interior of the disk. The absolute number of intersections, minimised over all choices of singular disk with a given algebraic number of intersections, defines the framing function of the knot. We show that the framing function is symmetric except at a finite number of points. The symmetry axis is a new knot invariant, called the natural framing of the knot. We calculate the natural framing of torus knots and some other knots, and discuss some of its properties and its relations to the signature and other well-known knot invariants.


title: Torsion points of abelian varieties in abelian extensions

abstract: Let A be an abelian variety defined over a number field K and let Kab be the maximal abelian extension of K. We show that there only finitely many torsion points of A which are defined over Kab iff A has no abelian subvariety with complex multiplication over K. We use this to give another proof of Ribet's result that A has only finitely many torsion points which are defined over the cyclotomic extension of K.


title: Finite arithmetic subgroups of GL_n

abstract: We discuss the following conjecture of Kitaoka: if a finite subgroup $G$ of $GL_{n}(O_{K})$ is invariant under the action of $Gal(K/\Bbb Q)$ then it is contained in $GL_{n}(K^{ab})$. Here $O_{K}$ is the ring of integers in a finite, Galois extension $K$ of $\Bbb Q$ and $K^{ab}$ is the maximal, abelian subextension of $K$. Our main result reduces this conjecture to a special case of elementary abelian $p-$groups $G$. Also, we construct some new examples which negatively answer a question of Kitaoka.


title: Selmer groups and the Eisenstein-Klingen ideal

abstract: In this article, we set up a strategy to prove one divisibility towards the main Iwasawa conjecture for the Selmer groups attached to the twisted adjoint modular Galois representations associated to Hida families. This conjecture asserts the equality of the p-adic L-function interpoling the critical values of the symmetric square of the modular forms in these families and the characteristic ideal of the associated Selmer group. The idea is to introduce a third characteristic ideal containing informations on the congruences between cuspidal Siegel modular forms of genus 2 and the Klingen type Eisenstein series and to prove the two divisibilities: The p-adic L-function divides the Eisenstein ideal and that the Eisenstein ideal divides the characteristic ideal of the Selmer group. In that paper we proved the latter divisibility.


title: New invariant tensors in CR structures and a normal form for real hypersurfaces at a generic Levi degeneracy

abstract: We introduce new invariant tensors in CR structures which can be viewed as higher order Levi forms. Using the second and third order tensors, we give a complete formal normal form (in the sense of Chern-Moser) for a real hypersurface at a generic Levi degeneracy. (We say that M has a generic Levi degeneracy at p if the Levi determinant vanishes at p but its differential does not, and the set of Levi degenerate points of M is transverse to the Levi null space at p.) By applying a convergence theorem for formal mappings due to the author, Baouendi, and Rothschild, we conclude that the above mentioned formal normal form provides a complete set of biholomorphic invariants for real-analytic hypersurfaces at generic Levi degeneracies.


title: Renormings of $L^p(L^q)$

abstract: We investigate the best order of smoothness of $L^p(L^q)$. We prove in particular that there exists a $C^\infty$-smooth bump function on $L^p(L^q)$ if and only if $p$ and $q$ are both even integers and $p$ is a multiple of $q$.


title: Positive links are strongly quasipositive

abstract: Let S(D) be the surface produced by applying Seifert's algorithm to the oriented link diagram D. I prove that if D has no negative crossings then S(D) is a quasipositive Seifert surface, that is, S(D) embeds incompressibly on a fiber surface plumbed from positive Hopf annuli. This result, combined with the truth of the `local Thom Conjecture', has various interesting consequences; for instance, it yields an easily-computed estimate for the slice euler characteristic of the link L(D) (where D is arbitrary) that extends and often improves the `slice-Bennequin inequality' for closed-braid diagrams; and it leads to yet another proof of the chirality of positive and almost positive knots.


title: An independent set axiomatization for symplectic matroids

abstract: One of the simplest axiomatizations of a matroid is in terms of independent sets. Curiously, no such independent set axiomatization is known for Gelfand and Serganova's WP-matroids (which are ``Coxeter group analogues'' of matroids). Here we state and prove such an axiomatization in the special case of symplectic matroids. No prior knowledge of WP-matroids is assumed; we believe the paper should be accessible and interesting to anyone with some interest in matroids.


title: Rings with Auslander Dualizing Complexes

abstract: A ring with an Auslander dualizing complex is a generalization of an Auslander-Gorenstein ring. We show that many results which hold for Auslander-Gorenstein rings also hold in the more general setting. On the other hand we give criteria for existence of Auslander dualizing complexes which show these occur quite frequently. The most powerful tool we use is the Local Duality Theorem for connected graded algebras over a field. Filtrations allow the transfer of results to non-graded algebras. We also prove some results of a categorical nature, most notably the functoriality of rigid dualizing complexes.


title: Universal R-matrix for esoteric quantum group

abstract: The universal $R$-matrix for a class of esoteric (non-standard) quantum groups ${\cal U}_q(gl(2N+1))$ is constructed as a twisting of the universal $R$-matrix ${\cal R}_S$ of the Drinfeld-Jimbo quantum algebras. The main part of the twisting element ${\cal F}$ is chosen to be the canonical element of appropriate pair of separated Hopf subalgebras (quantized Borel's ${\cal B}(N) \subset {\cal U}_q(gl(2N+1))$), providing the factorization property of ${\cal F}$. As a result, the esoteric quantum group generators can be expressed in terms of the Drinfeld-Jimbo ones.


title: On convergency properties of meromorphic functions and mappings

abstract: We give several unequivalent notions of convergency of meromorphic functions and more generally meromorphic mappings (strong, weak, $\Gamma $-convergency and some others). Relations between them are investigated. A version of Rouche theorem for the strongly converging sequences of meromorphic mappings is given. Further we investigate the sets of normality of families of meromorphic mappings, connections with extension properties of those mappings, some apriori estimates for the volume. Finally we apply the technique developped to the study of Fatou sets of meromorphic endomorphisms of K\"ahler surfaces.


title: Complex Plateau problem in non K\"ahler manifolds

abstract: We consider a complex Plateau problem for strongly pseudoconvex contours in non K\"ahler manifolds. A positive solution in the case of manifolds carrying a pluriclosed Hermitian metric forms is given. For the general case we propose a conjecture.


title: One example in concern with extension and separate analyticity properties of meromorphic mappings

abstract: We construct a (non K\"ahler) compact complex 3-dimensional manifold $X$ having two following properties: 1) for any domain $D$ in $C^2$ every meromorphic map $f$ from this domain into $X$ extends to a meromorphic map from the envelope of meromorphy $\hat D$ of $D$ into $X$; 2) but there exist a meromorphic map $F$ from a punctured ball $B_*$ in $C^3$ into $X$ which doens't extend meromorphically to the origin. In other words, one can allways remove the singularities of complex codimesion two for the meromorphic maps into this $X$, but only up to some subset of complex codimension three. A description of the appearing obstructions in the terms of Lelong numbers is given. Further some applications of the techniques, developped in this paper, to the questions of separate analyticity are also described.


title: Percolation Perturbations in Potential Theory and Random Walks

abstract: We show that on a Cayley graph of a nonamenable group, almost surely the infinite clusters of Bernoulli percolation are transient for simple random walk, that simple random walk on these clusters has positive speed, and that these clusters admit bounded harmonic functions. A principal new finding on which these results are based is that such clusters admit invariant random subgraphs with positive isoperimetric constant. We also show that percolation clusters in any amenable Cayley graph almost surely admit no nonconstant harmonic Dirichlet functions. Conversely, on a Cayley graph admitting nonconstant harmonic Dirichlet functions, almost surely the infinite clusters of $p$-Bernoulli percolation also have nonconstant harmonic Dirichlet functions when $p$ is sufficiently close to 1. Many conjectures and questions are presented.


title: Mumford's Degree of Contact and Diophantine Approximations

abstract: The Schmidt Subspace Theorem affirms that the solutions of some particular system of diophantine approximations in projective spaces accumulates on a finite number of proper linear subspaces. Given a subvariety $X$ of a projective space $P^n$, does there exists a system of diophantine approximations on $P^n$ whose solutions are Zariski dense in $P^n$, but lie in finitely many proper subvarieties of $X$? One can gain insight into this problem using a theorem of G. Faltings and G. W\"ustholz. Their construction requires the hypothesis that the sum of some expected values has to be large. This sum turns out to be proportional to a degree of contact of a weighted flag of sections over the variety $X$. This invariant measures the semistability of the Chow (or Hilbert) point of $X$ under the action of an appropriate reductive algebraic group. Whence, the lower bound in the Faltings-W\"ustholz theorem may be translated into a GIT language. This means that in order to show that a system of diophantine approximations on $X$ is not under the control of Schmidt Subspace Theorem, we must check the Chow-unstability of $X^s$, for some large $s>0$.


title: Chow quotients and projective bundle formulas for Euler-Chow series

abstract: Given a projective algebraic variety $X$, let $\Pi_p(X)$ denote the monoid of effective algebraic equivalence classes of effective algebraic cycles on $X$. The $p$-th Euler-Chow series of $X$ is an element in the formal monoid-ring $Z[[\Pi_p(X)]]$ defined in terms of Euler characteristics of the Chow varieties $\cvpd{p}{\alpha}{X}$ of $X$, with $\alpha \in\Pi_p(X)$. We provide a systematic treatment of such series, and give projective bundle formulas which generalize previous results by B. Lawson and S.S.Yau and Elizondo. The techniques used involve the Chow quotients introduced by Kapranov, and this allows the computation of various examples including some Grassmannians and flag varieties. There are relations between these examples and representation theory, and further results point to interesting connections between Euler-Chow series for certain varieties and the topology of the closure of moduli spaces $M_{0,n+1}$.


title: Faisceaux pervers, homomorphisme de changement de base et lemme fondamental de Jacquet et Ye

abstract: We give a geometric interpretation of the base change homomorphism between the Hecke algebra of GL(n) for an unramified extension of local fields of positive characteristic. For this, we use some results of Ginzburg, Mirkovic and Vilonen related to the geometric Satake isomorphism. We give new proof for these results in the positive characteristic case. By using that geometric interpretation of the base change homomorphism, we prove the fundamental lemma of Jacquet and Ye for arbitrary Hecke function in the the equal characteristic case.


title: Pseudo-holomorphic curves and envelopes of meromorphy of two-spheres in $CP^2$

abstract: We prove that the envelope of meromorphy of any imbedded symplectic sphere in $CP^2$ coincides with the whole $CP^2$. As a tool for the proof we use the Gromov theory of pseudo-holomorphic curves. Several results in this subject, such as adjunction formula, smoothness of moduli space in the neighborhood of a cusp-curve are improved. We introduce a natural holomorphic structure on the pulled back tangent bundle, in which the differential of a ps.-hol. map in an analytic morphism and describe cusps of ps.-hol. curves using Bennequin index.


title: Representations of compact quantum groups and subfactors

abstract: We associate Popa systems (= standard invariants of subfactors) to the finite dimensional representations of compact quantum groups. We characterise the systems arising in this way: these are the ones which can be ``represented'' on finite dimensional Hilbert spaces. This is proved by an universal construction. We explicitely compute (in terms of some free products) the operation of going from representations of compact quantum groups to Popa systems and then back via the universal construction. We prove a Kesten type result for the co-amenability of compact quantum groups, which allows us to compare it with the amenability of subfactors.


title: Hopf algebras and subfactors associated to vertex models

abstract: If H is a Hopf algebra whose square of the antipode is the identity, $v\in\l (V)\otimes H$ is a corepresentation, and $\pi :H\to\l (W)$ is a representation, then $u=(id\otimes\pi)v$ satisfies the equation $(t\otimes id)u^{-1}=((t\otimes id)u)^{-1}$ of the vertex models for subfactors. A universal construction shows that any solution $u$ of this equatio n arises in this way. A more elaborate construction shows that there exists a ``minimal'' triple $(H,v,\pi)$ satisfying $(id\otimes\pi)v=u$. This paper is devoted to the study of this latter construction of Hopf algebras. If $u$ is unitary we construct a $\c^*$-norm on $H$ and we find a new description of the standard invariant of the subfactor associated to $u$. We discuss also the ``twisted'' (i.e. $S^2\neq id$) case.


title: A Holstein-Primakoff and a Dyson realization for the quantum algebra $U_q[sl(n+1)]$

abstract: The known Holstein-Primakoff and Dyson realizations of the Lie algebra $sl(n+1), n=1,2,...$ in terms of Bose operators (Okubo S 1975 J. Math. Phys. 16 528) are generalized to the class of the quantum algebras $U_q[sl(n+1)]$ for any $n$. It is shown how the elements of $U_q[sl(n+1)]$ can be expressed via $n$ pairs of Bose creation and annihilation operators.

categories: math.QA cond-mat hep-th math-ph math.MP nucl-th


title: Linear Systems of Plane Curves with Base Points of Equal Multiplicity

abstract: In this article we address the problem of computing the dimension of the space of plane curves of degree $d$ with $n$ general points of multiplicity $m$. A conjecture of Harbourne and Hirschowitz implies that when $d \geq 3m$, the dimension is equal to the expected dimension given by the Riemann-Roch Theorem. Also, systems for which the dimension is larger than expected should have a fixed part containing a multiple $(-1)$-curve. We reformulate this conjecture by explicitly listing those systems which have unexpected dimension. Then we use a degeneration technique developed in a previous article ("Degenerations of Planar Linear Systems", alg-geom/9702015) to show that the conjecture holds for all $m \leq 12$.


title: Non-compact quantum groups arising from Heisenberg type Lie bialgebras

abstract: The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized as a ``cocycle perturbation'' of the linear Poisson bracket. We construct a certain twisted group C*-algebra A, which is shown to be a strict deformation quantization of G. Motivated by the data at the Poisson (classical) level, we then construct on A its locally compact quantum group structures: comultiplication, counit, antipode and Haar weight, as well as its associated multiplicative unitary operator. We also find a quasitriangular ``quantum universal R-matrix'' type operator for A, which agrees well with the quasitriangularity at the Lie bialgebra level.


title: Braided chord diagrams

abstract: The notion of a braided chord diagram is introduced and studied. An equivalence relation is given which identifies all braidings of a fixed chord diagram. It is shown that finite-type invariants are stratified by braid index for knots which can be represented as closed 3-braids. Partial results are obtained about spanning sets for the algebra of chord diagrams of braid index 3.


title: Finite dimensional quantum group covariant differential calculus on a complex matrix algebra

abstract: Using the fact that the algebra M(3,C) of 3 x 3 complex matrices can be taken as a reduced quantum plane, we build a differential calculus Omega(S) on the quantum space S defined by the algebra C^\infty(M) \otimes M(3,C), where M is a space-time manifold. This calculus is covariant under the action and coaction of finite dimensional dual quantum groups. We study the star structures on these quantum groups and the compatible one in M(3,C). This leads to an invariant scalar product on the later space. We analyse the differential algebra Omega(M(3,C)) in terms of quantum group representations, and consider in particular the space of one-forms on S since its elements can be considered as generalized gauge fields.


title: Deformation Quantization of Polynomial Poisson Algebras

abstract: This paper discusses the notion of a deformation quantization for an arbitrary polynomial Poisson algebra A. We examine the Hochschild cohomology group H^3(A) and find that if a deformation of A exists it can be given by bidifferential operators. We then compute an explicit third order deformation quantization of A and show that it comes from a quantized enveloping algebra. We show that the deformation extends to a fourth order deformation if and only if the quantized enveloping algebra gives a fourth order deformation; moreover we give an example where the deformation does not extend. A correction term to the third order quantization given by the enveloping algebra is computed, which precisely cancels the obstruction.


title: Another low-technology estimate in convex geometry

abstract: We give a short argument that for some C > 0, every n-dimensional Banach ball K admits a 256-round subquotient of dimension at least C n/(log n). This is a weak version of Milman's quotient of subspace theorem, which lacks the logarithmic factor.


title: Twisting cocycles in fundamental representation and triangular bicrossproduct Hopf algebras

abstract: We find the general solution to the twisting equation in the tensor bialgebra $T({\bf R})$ of an associative unital ring ${\bf R}$ viewed as that of fundamental representation for a universal enveloping Lie algebra and its quantum deformations. We suggest a procedure of constructing twisting cocycles belonging to a given quasitriangular subbialgebra ${\cal H}\subset T({\bf R})$. This algorithm generalizes Reshetikhin's approach, which involves cocycles fulfilling the Yang-Baxter equation. Within this framework we study a class of quantized inhomogeneous Lie algebras related to associative rings in a certain way, for which we build twisting cocycles and universal $R$-matrices. Our approach is a generalization of the methods developed for the case of commutative rings in our recent work including such well-known examples as Jordanian quantization of the Borel subalgebra of $sl(2)$ and the null-plane quantized Poincar\'e algebra by Ballesteros at al. We reveal the role of special group cohomologies in this process and establish the bicrossproduct structure of the examples studied.


title: The Smallest Solution of \phi(30n+1)<\phi(30n) is ...

abstract: It is known that there are infinitely many solutions to the inequality \phi(30n+1)<\phi(30n), where \phi is the familiar Euler totient function. However, there are no solutions with n<20,000,000, and computing a solution would seem to involve factoring integers with hundreds of digits. In this note, we describe how to get around the need to factor such large integers in addressing inequalities of this type, and we explicitly compute the smallest solution n of \phi(30n+1)<\phi(30n), a number with 1116 digits.


title: Factorization of completely bounded bilinear operators and injectivity

abstract: We characterize injectivity of von Neumann algebras in terms of factoring bilinear maps as products of linear maps.


title: Biorthogonal ensembles

abstract: One object of interest in random matrix theory is a family of point ensembles (random point configurations) related to various systems of classical orthogonal polynomials. The paper deals with a one--parametric deformation of these ensembles, which is defined in terms of the biorthogonal polynomials of Jacobi, Laguerre and Hermite type. Our main result is a series of explicit expressions for the correlation functions in the scaling limit (as the number of points goes to infinity). As in the classical case, the correlation functions have determinantal form. They are given by certain new kernels which are described in terms of the Wright's generalized Bessel function and can be viewed as a generalization of the well--known sine and Bessel kernels. In contrast to the conventional kernels, the new kernels are non--symmetric. However, they possess other, rather surprising, symmetry properties. Our approach to finding the limit kernel also differs from the conventional one, because of lack of a simple explicit Christoffel--Darboux formula for the biorthogonal polynomials.

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


title: Studying surfaces via closed braids

abstract: This is a review article on the Bennequin-Birman-Menasco machinery for studying embedded incompressible surfaces in 3-space via their `braid foliations'. Two cases are investigated: case (1) The surface has non-empty boundary; the boundary is a knot or link which is represented as a closed braid, Case (2) The surface is closed, but it lies in the complement of a knot or link which is represented as a closed braid. The main results in the area are established with full proofs, in a systematic fashion, with an eye toward making them accessible to the beginning reader. There are some new contributions, described in detail in the introduction.


title: On the intermediate integral for Monge-Ampere equations

abstract: Goursat showed that in the presence of an intermediate integral, the problem of solving a second-order Monge-Ampere equation can be reduced to solving a first-order equation, in the sense that the generic solution of the first-order equation will also be a solution of the original equation. An attempt by Hermann to give a rigorous proof of this fact contains an error; we show that there exists an essentially unique counterexample to Hermann's assertion and state and prove a correct theorem.


title: Milnor and finite type invariants of plat-closures

abstract: We show that for an $n$-component, $n$-bridge link and a positive integer $m$, the following is true: If the longitudes of $L$ lie in the $(m+2)$-th term of the lower central series of the link group then all the finite type invariants of orders $\leq m$ for $L$ are the same as these of the $n$-component unlink.


title: Measures on contour, polymer or animal models. A probabilistic approach

abstract: We present a new approach to study measures on ensembles of contours, polymers or other objects interacting by some sort of exclusion condition. For concreteness we develop it here for the case of Peierls contours. Unlike existing methods, which are based on cluster-expansion formalisms and/or complex analysis, our method is strictly probabilistic and hence can be applied even in the absence of analyticity properties. It involves a Harris graphical construction of a loss network for which the measure of interest is invariant. The existence of the process and its mixing properties depend on the absence of infinite clusters for a dual (backwards) oriented percolation process which we dominate by a multitype branching process. Within the region of subcriticality of this branching process the approach yields: (i) exponential convergence to the equilibrium (=contour) measures, (ii) standard clustering and finite-effect properties of the contour measure, (iii) a particularly strong form of the central limit theorem, and (iv) a Poisson approximation for the distribution of contours at low temperature.


title: Regular Seifert surfaces and Vassiliev knot invariants

abstract: We show that the Vassiliev invariants of orders $\leq n$ of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group. As a consequence of this, we obtain that the Vassiliev invariants of the knot $K=\partial S$ are null-concordance obstructions of certain links that can be obtained from regular spines of S. We also discuss various generalizations of these results, and we conjecture a geometric characterization of knots whose invariants of all orders vanish.


title: Vector bundles on Fano 3-folds without intermediate cohomology

abstract: We study the vector bundles without intermediate cohomology on Fano threefolds of index two, degree d=3,4,5 and Betti number one. We obtain a complete characterization in the case of rank-two vector bundles. For arbitrary rank, we give all possible Chern classes of such vector bundles, under some general condition.


title: Kodaira Dimension of Subvarieties

abstract: In this article we study how the birational geometry of a normal projective variety $X$ is influenced by a normal subvariety $A \subset X.$ One of the most basic examples in this context is provided by the following situation. Let $f:X\to Y$ be a surjective holomorphic map with connected fibers between compact connected complex manifolds. It is well known that given a general fiber $A$ of $f$ we have $$ \kappa(X)\le \kappa(A)+\dim Y. $$ This article grew out of the realization that this result should be true with $\dim Y$ replaced by the codimension $\cod_X A$ for a pair $(X,A)$ consisting of a normal subvariety $A$ of a compact normal variety $X$ under weak semipositivity conditions on the normal sheaf of $A$ and the weak singularity condition $\cod_A (A\cap\sing X)\ge 2$. We shall now state our main results in the special case of a submanifold $A$ in a projective manifold $X$ and we also simplify the semipositivity notion.


title: On the Riemann-Hilbert Problems

abstract: We discuss some topological aspects of the Riemann-Hilbert transmission problem and Riemann-Hilbert monodromy problem on Riemann surfaces. In particular, we describe the construction of a holomorphic vector bundle starting from the given representation of the fundamental group and investigate the local behaviour of connexions on this bundle. We give formulae for the partial indices of the Riemann-Hilbert transmission problem in the three-dimensional case in terms of the correspoding vector bundle on the Riemann sphere.


title: Graded characters of modules supported in the closure of a nilpotent conjugacy class

abstract: We study the Poincare polynomials of isotypic components of a natural family of graded GL(n)-modules supported in the closure of a nilpotent conjugacy class. These polynomials generalize the Kostka-Foulkes and are q-analogues of Littlewood-Richardson coefficients corresponding to arbitrary tensor products of irreducibles. Many properties and formulas for these polynomials are derived, such as a generalized Morris recurrence, q-Kostant formula, and a conjectural formula in terms of catabolizable tableaux and charge.


title: A cyclage poset structure for Littlewood-Richardson tableaux

abstract: A graded poset structure is defined for the sets of Littlewood-Richardson (LR) tableaux that count the multiplicity of an irreducible GL(n)-module in the tensor product of irreducibles indexed by a sequence of rectangular partitions. This poset generalizes the cyclage poset on column-strict tableaux defined by Lascoux and Schutzenberger, and its grading function generalizes the charge statistic. It is shown that the polynomials obtained by enumerating LR tableaux by shape and the generalized charge, are the Poincare polynomials of isotypic components of the certain modules supported in the closure of a nilpotent conjugacy class.


title: Multi-atoms and monotonicity of generalized Kostka polynomials

abstract: The generalized Kostka polynomials are the Poincare polynomials of isotypic components of certain graded GL(n)-modules. The former satisfy a monotonicity property arising from natural surjections of the corresponding modules. This monotonicity property is realized combinatorially by a directed system of order- and statistic-preserving embeddings between the sets of Littlewood-Richardson (LR) tableaux that describe the generalized Kostka polynomials. Each set of LR tableaux is embedded into a cocyclage poset of column-strict tableaux of a fixed content, and the image is characterized in terms of catabolizable tableaux.


title: Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties

abstract: Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with the generalized cocyclage on Littlewood-Richardson tableaux is explained.


title: Almost-tiling the plane by ellipses

abstract: For any delta > 1 we construct a periodic and locally finite packing of the plane with ellipses whose delta-enlargement covers the whole plane. This answers a question of Imre B\'ar\'any. On the other hand, we show that if C is a packing in the plane with circular discs of radius at most 1, then its 1.00001-enlargement covers no square with side length 4.


title: Chern class formulas for quiver varieties

abstract: In this paper a formula is proved for the general degeneracy locus associated to an oriented quiver of type A_n. Given a finite sequence of vector bundles with maps between them, these loci are described by putting rank conditions on arbitrary composites of the maps. Our answer is a polynomial in Chern classes of the bundles involved, depending on the given rank conditions. It can be expressed as a linear combination of products of Schur polynomials in the differences of the bundles. The coefficients are interesting generalizations of Littlewood-Richardson numbers. These polynomials specialize to give new formulas for Schubert polynomials.


title: Duality of Albanese and Picard 1-motives

abstract: We define Albanese and Picard 1-motives of smooth (simplicial) schemes over a perfect field. For smooth proper schemes, these are the classical Albanese and Picard varieties. For a curve, these are t he homological 1-motive of Lichtenbaum and the motivic $H^1$ of Deligne. This paper proves a conjecture of Deligne about providing an algebraic description, via 1-motives, of the first homology and cohomology groups of a complex algebraic variety. (L. Barbieri-Viale and V. Srinivas have also proved this independently.) It also contains a purely algebraic proof of Lichtenbaum's conjecture that the Albanese and the Picard 1-motives of a (simplicial) scheme are dual. This gives a new proof of an unpublished theorem of Lichtenbaum that Deligne's 1-motive of a curve is dual to Lichtenbaum's 1-motive.


title: Gromov-Witten invariants of blow-ups

abstract: In the first part of the paper, we give an explicit algorithm to compute the (genus zero) Gromov-Witten invariants of blow-ups of an arbitrary convex projective variety in some points if one knows the Gromov-Witten invariants of the original variety. In the second part, we specialize to blow-ups of P^r and show that many invariants of these blow-ups can be interpreted as numbers of rational curves on P^r having specified global multiplicities or tangent directions in the blown-up points. We give various numerical examples, including a new easy way to determine the famous multiplicity d^{-3} for d-fold coverings of rational curves on the quintic threefold, and, as an outlook, two examples of blow-ups along subvarieties, whose Gromov-Witten invariants lead to classical multisecant formulas.


title: Absolutely representing systems, uniform smoothness, and type

abstract: Absolutely representing system (ARS) in a Banach space $X$ is a set $D \subset X$ such that every vector $x$ in $X$ admits a representation by an absolutely convergent series $x = \sum_i a_i x_i$ with $(a_i)$ reals and $(x_i) \subset D$. We investigate some general properties of ARS. In particular, ARS in uniformly smooth and in B-convex Banach spaces are characterized via $\epsilon$-nets of the unit balls. Every ARS in a B-convex Banach space is quick, i.e. in the representation above one can achieve $\|a_i x_i\| < cq^i\|x\|$, $i=1,2,...$ for some constants $c>0$ and $q \in (0,1)$.


title: Dense Egyptian Fractions

abstract: Every positive rational number has representations as Egyptian fractions (sums of reciprocals of distinct positive integers) with arbitrarily many terms and with arbitrarily large denominators. However, such representations normally use a very sparse subset of the positive integers up to the largest demoninator. We show that for every positive rational there exist Egyptian fractions whose largest denominator is at most N and whose denominators form a positive proportion of the integers up to N, for sufficiently large N; furthermore, the proportion is within a small factor of best possible.


title: Cubulations, immersions, mappability and a problem of Habegger

abstract: The aim of this paper (inspired from a problem of Habegger) is to describe the set of cubical decompositions of compact manifolds mod out by a set of combinatorial moves analogous to the bistellar moves considered by Pachner, which we call bubble moves. One constructs a surjection from this set onto the the bordism group of codimension one immersions in the manifold. The connected sums of manifolds and immersions induce multiplicative structures which are respected by this surjection. We prove that those cubulations which map combinatorially into the standard decomposition of ${\bf R}^n$ for large enough $n$ (called mappable), are equivalent. Finally we classify the cubulations of the 2-sphere.


title: On the TQFT representations of the mapping class groups

abstract: We prove that the image of the mapping class group by the representations arising in the SU(2)-TQFT is infinite, provided that the genus is bigger than 2 and the level r of the theory is different from 2,3,4,6. In particular the quotient of the mapping class group by the normaizer of the r-th power of a Dehn twist is infinite if the genus is at least 3 and r is bigger than 12.


title: Projections from Subvarieties

abstract: Let $X\subset P^N$ be an n-dimensional connected projective submanifold of projective space. Let $p : P^N\to P^{N-q-1}$ denote the projection from a linear $P^q\subset P^N$. Assuming that $X\not\subset P^q$ we have the induced rational mapping $\psi:=p_X: X\to P^{N-q-1}$. This article started as an attempt to understand the structure of this mapping when $\psi$ has a lower dimensional image. In this case of necessity we have $Y := X\cap P^q$ is nonempty. We have in this article studied a closely related question, which includes many special cases including the case when the center of the projection $\pn q$ is contained in $X$. PROBLEM. Let $Y$ be a proper connected k-dimensional projective submanifold of an $n$-dimensional projective manifold $X$. Assume that $k>0$. Let $L$ be a very ample line bundle on $X$ such that $ L\otimes I_Y$ is spanned by global sections, where $I_Y$ denotes the ideal sheaf of $Y$ in $X$. Describe the structure of $(X,Y,L)$ under the additional assumption that the image of $X$ under the mapping $\psi$ associated to $| L\otimes I_Y|$ is lower dimensional.


title: Minimal models and boundedness of stable varieties

abstract: We consider a class of stable smoothable n-dimensional varieties, the analogs of stable curves. Assuming the minimal model program in dimension n+1, we prove that this class is bounded. From Kollar's method of constructing projective moduli spaces we get as a corollary that minimal model program in dimension n+1 implies the existence of a projective coarse moduli space for stable smoothable n-folds.


title: On the Topology of Birational Minimal Models

abstract: We show that birational smooth complex projective varieties with numerically effective canonical bundles along the exceptional loci have the same Betti numbers. In particular, birational smooth minimal models share the same Betti numbers. Our methods indicate a link between $p$-adic measure and the minimal model theory.


title: Solubility of Systems of Quadratic Forms

abstract: We derive an upper bound for the least number of variables needed to guarantee that a system of t quadratic forms (t>=2) over a field F has a nontrivial zero. In particular, if F is a local field, then 2t^2+3 variables insure the existence of a nontrivial zero (2t^2+1 if t is even), while if F=Q_p with p>=11, then 2t^2-2t+5 variables suffice (2t^2-2t+1 if 3 divides t). The improvement lies in a more efficient use of information on the solubility of pairs and triplets of quadratic forms, and the arguments are completely elementary.


title: Extremal Betti Numbers and Applications to Monomial Ideals

abstract: In this short note we introduce a notion of extremality for Betti numbers of a minimal free resolution, which can be seen as a refinement of the notion of Mumford-Castelnuovo regularity. We show that extremal Betti numbers of an arbitrary submodule of a free S-module are preserved when taking the generic initial module. We relate extremal multigraded Betti numbers in the minimal resolution of a square free monomial ideal with those of the monomial ideal corresponding to the Alexander dual simplicial complex and generalize theorems of Eagon-Reiner and Terai. As an application we give easy (alternative) proofs of classical criteria due to Hochster, Reisner, and Stanley.


title: Invariants of elliptic and hyperbolic CR-structures of codimension 2

abstract: We reduce CR-structures on smooth elliptic and hyperbolic manifolds of CR-codimension 2 to parallelisms thus solving the problem of global equivalence for such manifolds. The parallelism that we construct is defined on a sequence of two principal bundles over the manifold, takes values in the Lie algebra of infinitesimal automorphisms of the quadric corresponding to the Levi form of the manifold, and behaves ``almost'' like a Cartan connection. The construction is explicit and allows us to study the properties of the parallelism as well as those of its curvature form. It also leads to a natural class of ``semi-flat'' manifolds for which the two bundles reduce to a single one and the parallelism turns into a true Cartan connection. In addition, for real-analytic manifolds we describe certain local normal forms that do not require passing to bundles, but in many ways agree with the structure of the parallelism.


title: Canonical isomorphism of two Lie algebras arising in CR-geometry

abstract: We show that the maximal prolongation of a certain algebra associated with a non-degenerate Hermitian form on ${\Bbb C}^n\times{\Bbb C}^n$ with values in ${\Bbb R}^k$ is canonically isomorphic to the Lie algebra of infinitesimal holomorphic automorphisms of the corresponding quadric in ${\Bbb C}^{n+k}$. This fact creates a link between different approaches to the equivalence problem for Levi-nondegenerate strongly uniform CR-manifolds.


title: The Two-Dimensional Quantum Galilei Groups

abstract: The Poisson structures on two-dimensional Galilei group, classified in the author previous paper are quantized. The dual quantum Galilei Lie algebras are found.


title: Examples of subfactors with property T standard invariant

abstract: Let H and K be two finite groups with a properly outer action on the II_1 factor M. We prove that the group type inclusions $M^H \subset M \rtimes K$, studied earlier by Bisch and Haagerup, have property T in the sense of Popa if and only if the group generated by H and K in the outer automorphism group of M has Kazhdan's property T. This construction yields irreducible, infinite depth subfactors with small Jones indices and property T standard invariant.


title: On certain equivalent norms on Tsirelson's space

abstract: Tsirelson's space $T$ is known to be distortable but it is open as to whether or not $T$ is arbitrarily distortable. For $n\in {\Bbb N}$ the norm $\|\cdot\|_n$ of the Tsirelson space $T(S_n,2^{-n})$ is equivalent to the standard norm on $T$. We prove there exists $K<\infty$ so that for all $n$, $\|\cdot\|_n$ does not $K$ distort any subspace $Y$ of $T$.


title: Extending Triangulations and Semistable Reduction

abstract: We show that a projective triangulation of a subcomplex of a polyhedral complex can be extended to the whole complex. As a result, we show that the weak semistable reduction result of Abramovich - Karu alg-geom/9707012 can be refined, so that the resulting morphism is semistable in codimension 1.


title: Rank 2 integrable systems of Prym varieties

abstract: A correspondence between 1) rank 2 completely integrable systems of Jacobians of algebraic curves and 2) (holomorphically) symplectic surfaces was established in a previous paper by the first author. A more general abelian variety that occurs as a Liouville torus of integrable systems is a prym variety associated to a triple (S,W,V) consisting of a curve S, a finite group W of automorphisms of S and an integral representation V. Often W is a Weyl group of a reductive group and V is the root lattice. We establish an analogous correspondence between: i) Rank 2 integrable systems whose Liouville tori are generalized prym varieties Prym(S_u,W,V) of a family of curves S_u, u in U. ii) Varieties X of dimension 1+dim(V) with a W-action and an invariant V-valued 2-form. If V is one dimensional X is a symplectic surface. We obtain a rigidity result: When the dimension of V is at least 2, under mild additional assumptions, all the quotient curves $S_u/W$ are isomorphic to a fixed curve C. This rigidity result imposes considerable constraints on the variety X: X admits a W-invariant fibration to C and the generic fiber has an affine structure modeled after V. Examples discussed include: Hitchin systems, reduced finite dimensional coadjoint orbits of loop algebras, and principal bundles over elliptic K3 surfaces.