title: On the Complexity of Diophantine Geometry in Low Dimensions

abstract: We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, we show that the following two problems can be solved in the complexity class PSPACE: (I) Given polynomials f_1,...,f_m in Z[x_1,...,x_n] defining a variety of dimension <=0 in C^n, find all solutions in Z^n of f_1=...=f_m=0. (II) For a given polynomial f in Z[v,x,y] defining an irreducible nonsingular non-ruled surface in C^3, decide the sentence ``\exists v \forall x \exists y such that f(v,x,y)=0?'' quantified over N. Better still, we show that the truth of the Generalized Riemann Hypothesis implies that detecting roots in Q^n for the polynomial systems in (I) can be done via a two-round Arthur-Merlin protocol, i.e., well within the second level of the polynomial hierarchy. (Problem (I) is, of course, undecidable without the dimension assumption.) The decidability of problem (II) was previously unknown. Along the way, we also prove new complexity and size bounds for solving polynomial systems over C and Z/pZ. A practical point of interest is that the aforementioned Diophantine problems should perhaps be avoided in the construction of crypto-systems.


title: Basic classes for four-manifolds not of simple type

abstract: We extend the notion of basic classes (for the Donaldson invariants) to 4-manifolds with $b^+>1$ which are (potentially) not of simple type or satisfy $b_1 >0$. We also give a structure theorem for the Donaldson invariants of 4-manifolds with $b^+>1$, $b_1>0$ and of strong simple type.


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

abstract: Let A_k denote the twisted group algebra of the symmetric group S_k, whose representations correspond to the nonlinear projective representations of S_k. We establish a duality relation between A_k and a Lie superalgebra q(n), sometimes called the ``queer'' Lie superalgebra. This duality clarifies Schur's formula, in the sense that the Schur-Weyl duality clarifies Frobenius' formula.


title: On maximal curves in characteristic two

abstract: The genus g of an F_{q^2}-maximal curve satisfies g=g_1:=q(q-1)/2 or g\le g_2:= [(q-1)^2/4]. Previously, such curves with g=g_1 or g=g_2, q odd, have been characterized up to isomorphism. Here it is shown that an F_{q^2}-maximal curve with genus g_2, q even, is F_{q^2}-isomorphic to the nonsingular model of the plane curve \sum_{i=1}^{t}y^{q/2^i}=x^{q+1}, q=2^t, provided that q/2 is a Weierstrass non-gap at some point of the curve.


title: Moduli of Sheaves on Surfaces and Action of the Oscillator Algebra

abstract: Let S be a smooth projective algebraic surface. Generalizing results of Nakajima and Grojnowski, we construct (under some assumptions) an action of the oscillator algebra associated to the cohomology of S, on the cohomology of the moduli spaces of stable rank r sheaves on S.


title: Hyperelliptic Lefschetz fibrations and branched covering spaces

abstract: Let M be a smooth 4-manifold which admits a relatively minimal hyperelliptic genus h Lefschetz fibration over the 2-sphere. If all of the vanishing cycles for this fibration are nonseparating curves, then we show that M is a 2-fold cover of a 2-sphere bundle over the 2-sphere, branched over an embedded surface. If the collection of vanishing cycles for this fibration includes separating curves, we show that M is the relative minimalization of a Lefshetz fibration N, with N a 2-fold branched cover of a rational surface, branched over an embedded surface.


title: The K-theory of Cuntz-Krieger algebras for infinite matrices

abstract: We compute the K-theory of the Cuntz-Krieger C^*-algebras associated to infinite matrices.


title: On some partial orders associated to generic initial ideals

abstract: We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are precisely the strongly stable and the stable monoid ideals. These ideals arise in the study of generic initial ideals.


title: On the nonasymptotic prime number distribution

abstract: The objective of this paper is to introduce an approach to the study of the nonasymptotic distribution of prime numbers. The natural numbers are represented by theorem 1 in the matrix form ^2N. The first column of the infinite matrix ^2N starts with the unit and contains all composite numbers in ascending order.The infinite rows of this matrix except for the first elements contain prime numbers only, which are determined by an uniform recurrence law. At least one of the elements of the twin pairs of prime numbers is an element of the second column of the matrix ^2N (theorem 3). The basic information on the nonasymptotic prime number distribution is contained in the distribution of the elements of the second column of the matrix ^2N.


title: Higgs Bundles and Holomorphic Forms

abstract: A new class of Higgs bundles is introduced in a natural setting. Existence and nonexistence results for Higgs-Hermitian-Yang-Mills metrics are proved.


title: On Sasakian-Einstein Geometry

abstract: We discuss Sasakian-Einstein geometry under a quasi-regularity assumption. It is shown that the space of all quasi-regular Sasakian-Einstein orbifolds has a natural multiplication on it. Furthermore, necessary and sufficient conditions are given for the `product' of two Sasakian-Einstein manifolds to be a smooth Sasakian-Einstein manifold. Using spectral sequence arguments we work out the cohomology ring in many cases of interest. This type of geometry has recently become of interest in the physics of supersymmetric conformal field theories.


title: On the existence of curves in K-trivial threefolds

abstract: We give a criterion for a continuous family of curves on a nodal $K$-trivial threefold $X_0$ to contribute geometrically rigid curves to a general smoothing of $X_0$. As an application, we prove the existence of geometrically rigid curves of arbitrary degree and explicitly bounded genus on general complete intersection Calabi-Yau threefolds.


title: Totally nonnegative and oscillatory elements in semisimple groups

abstract: We generalize the well known characterizations of totally nonnegative and oscillatory matrices, due to F.R.Gantmacher, M.G.Krein, A.Whitney, C.Loewner, M.Gasca, and J.M.Pena to the case of an arbitrary complex semisimple Lie group.


title: Fourier-Mukai transforms for quotient varieties

abstract: We study Fourier-Mukai transforms for smooth projective varieties whose canonical bundles have finite order, and relate them to equivariant transforms on certain finite covering spaces. Our results lead to new equivalences of derived categories for Enriques and bielliptic surfaces.


title: Geometric Representation Theory and G-Signature

abstract: Let G be a finite group. To every smooth G-action on a compact, connected and oriented surface we can associate its data of singular orbits. The set of such data becomes an Abelian group B_G under the G-equivariant connected sum. We will show that the map which sends G to B_G is functorial and carries many features of the representation theory of finite groups and thus describes a geometric representation theory. We will prove that B_G consists only of copies of Z and Z/2Z. Furthermore we will show that there is a surjection from the G-equivariant cobordism group of surface diffeomorphisms to B_G. We will define a G-signature which is related to the G-signature of Atiyah and Singer and prove that this new G-signature is injective on the copies of Z in B_G.


title: Invariant Measures and Convergence for Cellular Automaton 184 and Related Processes

abstract: For a class of one-dimensional cellular automata, we review and complete the characterization of the invariant measures (in particular, all invariant phase separation measures), the rate of convergence to equilibrium, and the derivation of the hydrodynamic limit. The most widely known representatives of this class of automata are: Automaton 184 from the classification of S. Wolfram, an annihilating particle system and a surface growth model.


title: Rational dependence of smooth and analytic CR mappings on their jets

abstract: We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of its k-jet at that point. As a consequence, it is shown that the stability group of a (suitably nondegenerate) real-analytic generic submanifold is a real algebraic Lie group. Moreover, it is shown that a formal equivalence between two such real-analytic submanifolds is necessarily convergent.


title: Isoperimetric and isodiametric functions of groups

abstract: This is the first of two papers devoted to connections between asymptotic functions of groups and computational complexity. One of the main results of this paper states that if for every $m$ the first $m$ digits of a real number $\alpha\ge 4$ are computable in time $\le C2^{2^{Cm}}$ for some constant $C>0$ then $n^\alpha$ is equivalent (``big O'') to the Dehn function of a finitely presented group. The smallest isodiametric function of this group is $n^{3/4\alpha}$. On the other hand if $n^\alpha$ is equivalent to the Dehn function of a finitely presented group then the first $m$ digits of $\alpha$ are computable in time $\le C2^{2^{2^{Cm}}}$ for some constant $C$. This implies that, say, functions $n^{\pi+1}$, $n^{e^2}$ and $n^\alpha$ for all rational numbers $\alpha\ge 4$ are equivalent to the Dehn functions of some finitely presented group and that $n^\pi$ and $n^\alpha$ for all rational numbers $\alpha\ge 3$ are equivalent to the smallest isodiametric functions of finitely presented groups. Moreover we describe all Dehn functions of finitely presented groups $\succ n^4$ as time functions of Turing machines modulo two conjectures: \begin{enumerate} \item Every Dehn function is equivalent to a superadditive function. \item The square root of the time function of a Turing machine is equivalent to the time function of a Turing machine. \end{enumerate}


title: Isoperimetric Functions of Groups and Computational Complexity of the Word Problem

abstract: We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial isoperimetric function. The embedding can be chosen in such a way that $G$ has bounded distortion in $H$.


title: Length and Area Functions on Groups and Quasi-Isometric Higman Embeddings

abstract: We survey recent results about asymptotic functions of groups, obtained by the authors in collaboration with J.-C.Birget, V. Guba and E. Rips. We also discuss methods used in the proofs of these results.


title: Proof of a Conjecture of Chan, Robbins, and Yuen

abstract: Using the celebrated Morris Constant Term Identity, we deduce a recent conjecture of Chan, Robbins, and Yuen (math.CO/9810154), that asserts that the volume of a certain $n(n-1)/2$-dimensional polytope is given by the product of the first n-1 Catalan numbers.


title: Adelic Chern Forms and Applications

abstract: Let X be a variety over a field of characteristic 0. Given a vector bundle E on X we construct Chern forms c_{i}(E;\nabla) in \Gamma(X, \cal{A}^{2i}_{X}). Here \cal{A}^{.}_{X} is the sheaf Beilinson adeles and \nabla is an adelic connection. When X is smooth these adeles calculate the algebraic De Rham cohomology, and c_{i}(E) = [c_{i}(E;\nabla)] are the usual Chern classes. We include three applications of the construction: (1) existence of adelic secondary (Chern-Simons) characteristic classes on any smooth X and any vector bundle E; (2) proof of the Bott Residue Formula for a vector field action; and (3) proof of a Gauss-Bonnet Formula on the level of differential forms, namely in the De Rham-residue complex.


title: Reidemeister torsion and Integrable Hamiltonian systems

abstract: In this paper we compute the Reidemeister torsion of a isoenergetic surface for the integrable Hamiltonian system on the four-dimensional symplectic manifold. We use the spectral sequence defined by the filtration and following Witten-Floer ideas we bring into play the orbits connecting the critical submanifolds.


title: The Fundamental Group of a CP^2 Complement of a Branch Curve as an Extension of a Solvable Group by a Symmetric Group

abstract: The main result in this paper is as follows: Let S be the branch curve (in the projective plan) of a generic projection of a Veronese surface. Then the fundamental group of the complement of S is an extension of a solvable group by a symmetric group. A group with the property mentioned above is ``almost solvable'' in the sense that it contains a solvable normal subgroup of finite index. This raises the question for which families of simply connected algebraic surfaces of general type is the fundamental group of the complement of the branch curve of a generic projection to the complex plane an extension of a solvable group by a symmetric group?


title: Denser Egyptian Fractions

abstract: An Egyptian fraction is a sum of distinct unit fractions (reciprocals of positive integers). We show that every rational number has Egyptian fraction representations where the number of terms is of the same order of magnitude as the largest denominator, improving a result from an earlier paper to best-possible form. We also settle, in best-possible form, the related problem of how small M_t(r) can be such that there is an Egyptian fraction representation of r with exactly t terms, the denominators of which are all at most M_t(r). We also consider the following problems posed by Erdos and Graham: the set of integers that cannot be the largest denominator of an Egyptian fraction representation of 1 is infinite - what is its order of growth? How about those integers that cannot be the second-largest (third-largest, etc.) denominator of such a representation? In the latter case, we show that only finitely many integers cannot be the second-largest (third-largest, etc.) denominator of such a representation; while in the former case, we show that the set of integers that cannot be the largest denominator of such a representation has density zero, and establish its order of growth. Both results extend to representations of any positive rational number.


title: Lusternik-Schnirelman theory for closed 1-forms

abstract: S.P.Novikov developed an analog of the Morse theory for closed 1-forms. In this paper I suggest an analog of the Lusternik - Schnirelman theory for closed 1-forms.


title: The Bianchi groups are subgroup separable on geometrically finite subgroups

abstract: We show that for certain arithmetic groups, geometrically finite subgroups are the intersection of finite index subgroups containing them. Examples are the Bianchi groups and the Seifert-Weber dodecahedral space. In particular, for manifolds commensurable with these groups, immersed incompressible surfaces lift to embeddings in a finite sheeted covering.


title: Yangians and transvector algebras

abstract: Olshanski's centralizer construction provides a realization of the Yangian for the Lie algebra gl(n) as a subalgebra in the projective limit of a chain of centralizers in the universal enveloping algebras. We give a modified version of this construction based on a quantum analog of Sylvester's theorem. We then use it to get an algebra homomorphism from the Yangian to the transvector algebra associated with the general linear Lie algebras. The results are applied to identify the elementary representations of the Yangian by constructing their highest vectors explicitly in terms of elements of the transvector algebra.


title: Immersed spheres and finite type of Donaldson invariants

abstract: A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed spheres. More precisely we prove that if a manifold X contains an immersed sphere with $p$ positive double points and a non-negative self-intersection $a$, then it is of finite type with r = [(2p+2-a)/4].


title: New Lower Bounds for Some Multicolored Ramsey Numbers

abstract: We use finite fields and extend a result of Fan Chung to give eight new, nontrivial, lower bounds.


title: Inverse Scattering on Asymptotically Hyperbolic Manifolds

abstract: Scattering is defined on compact manifolds with boundary which are equipped with an asymptotically hyperbolic metric, $g.$ A model form is established for such metrics close to the boundary. It is shown that the scattering matrix at energy $\zeta$ exists and is a pseudo-differential operator of order $2\zeta+1 - \dim X.$ The symbol of the scattering matrix is then used to show that except for a countable set of energies the scattering matrix at one energy determines the diffeomorphism class of the metric modulo terms vanishing to infinite order at the boundary. An analogous result is proved for potential scattering. The total symbol is computed when the manifold is hyperbolic or is of product type modulo terms vanishing to infinite order at the boundary. The same methods are then applied to studying inverse scattering on the Schwarzschild and De Sitter-Schwarzschild models of black holes.


title: The bottleneck conjecture

abstract: The Mahler volume of a centrally symmetric convex body K is defined as M(K)= (Vol K)(Vol K^dual). Mahler conjectured that this volume is minimized when K is a cube. We introduce the bottleneck conjecture, which stipulates that a certain convex body K^diamond subset K X K^dual has least volume when K is an ellipsoid. If true, the bottleneck conjecture would strengthen the best current lower bound on the Mahler volume due to Bourgain and Milman. We also generalize the bottleneck conjecture in the context of indefinite orthogonal geometry and prove some special cases of the generalization.


title: Actions of Linear Algebraic Groups on Projective Manifolds and Minimal Model Program

abstract: Let X be a smooth projective variety of dimension n on which a simple Lie group G acts regularly and non trivially. Then X is not minimal in the sense of the Minimal Model Program. In the paper we work out a classification of X via the Minimal Model Program under the assumption that the dimension of X is small with the respect to the dimension of G. More precisely we classify all such X with n smaller or equal to (r_G +1), where r_G is the minimum codimension of the maximal parabolic subgroup of G (for instance r_{SL(m)}= m-1). We consider also the case when G = SL(3) and X is a smooth 4-fold on which G acts with an open orbit.


title: On Deformations and Moduli of Genus 2 Fibrations

abstract: In this paper, we investigate the moduli of surfaces of general type admitting genus 2 fibrations with irregularity q = g_b + 1, where g_b >= 2 is the genus of the base. We prove that smooth fibrations are parametrized by a unique component in the moduli space. The same result applies to nonsmooth fibrations with special values of g_b. In the general case, we give a bound on the dimension of the corresponding connected components.


title: A Radon-Nikodym theorem for von Neumann algebras

abstract: In this paper we present a generalization of the Radon-Nikodym theorem proved by Pedersen and Takesaki. Given a normal, semifinite and faithful (n.s.f.) weight $\phi$ on a von Neumann algebra M and a strictly positive operator $\delta$, affiliated with M and satisfying a certain relative invariance property with respect to the modular automorphism group $\sigma^\phi$ of $\phi$, with a strictly positive operator as the invariance factor, we construct the n.s.f. weight $\phi(\delta^{1/2} . \delta^{1/2})$. All the n.s.f. weights on M whose modular automorphisms commute with $\sigma^\phi$ are of this form, the invariance factor being affiliated with the centre of M. All the n.s.f. weights which are relatively invariant under $\sigma^\phi$ are of this form, the invariance factor being a scalar.


title: Recent Developments on the Ricci Flow

abstract: This article reports recent developments of the research on Hamilton's Ricci flow and its applications.


title: A comparison inequality for sums of independent random variables

abstract: We give a comparison inequality that allows one to estimate the tail probabilities of sums of independent Banach space valued random variables in terms of those of independent identically distributed random variables. More precisely, let X_1,...,X_n be independent Banach-valued random variables. Let I be a random variable independent of X_1,...,X_n and uniformly distributed over {1,...,n}. Put Z_1 = X_I, and let Z_2,...,Z_n be independent identically distributed copies of Z_1. Then, P(||X_1+...+X_n|| > t) < c P(||Z_1+...+Z_n|| > t/c), for all t>0, where c is an absolute constant.


title: Approximate Models of Dynamic Thermoviscoelasticity Describing Shape-Memory-Alloy Phase Transitions

abstract: We consider problems of dynamic viscoelasticity taking into account the coupling of elastic and thermal fields. Efficient approximate models are developed and computational results on thermomechanical behaviour of shape-memory-alloy structures are presented.


title: On the Lower Order Terms of the Asymptotic Expansion of Zelditch

abstract: In this paper, we computed the first three coefficients of the asymptotic expansion of Zelditch. We also proved that in general, the $k$-th coefficient is a polynomial of the curvature and its derivative of weight $k$.


title: Graphical Enumeration: A Species-Theoretic Approach

abstract: An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory. In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.


title: The Links-Gould Invariant of Links

abstract: We introduce and study in detail an invariant of (1,1) tangles. This invariant, derived from a family of four dimensional representations of the quantum superalgebra U_q[gl(2|1)], will be referred to as the Links-Gould invariant. We find that our invariant is distinct from the Jones, HOMFLY and Kauffman polynomials (detecting chirality of some links where these invariants fail), and that it does not distinguish mutants or inverses. The method of evaluation is based on an abstract tensor state model for the invariant that is quite useful for computation as well as theoretical exploration.


title: Capelli elements in the classical universal enveloping algebras

abstract: For any complex classical group $G=O_N,Sp_N$ consider the ring $Z(g)$ of $G$-invariants in the corresponding enveloping algebra $U(g)$. Let $u$ be a complex parameter. For each $n=0,1,2,...$ and every partition $\nu$ of $n$ into at most $N$ parts we define a certain rational function $Z_\nu(u)$ which takes values in $Z(g)$. Our definition is motivated by the works of Cherednik and Sklyanin on the reflection equation, and also by the classical Capelli identity. The degrees in $U(g)$ of the values of $Z_\nu(u)$ do not exceed $n$. We describe the images of these values in the $n$-th symmetric power of $g$. Our description involves the plethysm coefficients as studied by Littlewood, see Theorem 3.4 and Corollary 3.6.


title: Holomorphic principal bundles over elliptic curves

abstract: In this paper, the first of a series of three, we classify holomorphic principal G-bundles over an elliptic curve, where G is a reductive group. We also study the local and global properties of the moduli space of semistable G-bundles. We identify canonical representatives for each S-equivalence class of semistable G-bundles, and study their automorphism groups.


title: Syzygies of Veronese embeddings

abstract: We prove that the Veronese embedding of P^n of degree d with n\ge 2, d\ge 3 does not satisfy property N_p (according to Green and Lazarsfeld) if p\ge 3d-2. We conjecture that the converse holds. This is true for n=2 and for n=d=3.


title: Irreducible Characters of Finite Algebra Groups

abstract: Let F be a finite field with q elements, let A be a finite dimensional F-algebra and let J=J(A) be the Jacobson radical of A. Then G=1+J is a p-group, where p is the characteristic of F. We refer to G as an F-algebra group. A subgroup H of G is said to be an algebra subgroup of G if H=1+U for some multiplicatively closed F-subspace of J. In this paper, we parametrize the irreducible complex characters of G in terms of G-orbits on the dual space of J. Moreover, we prove that every irreducible complex character of G is induced from a linear character of some algebra subgroup of G.


title: Hecke operators and Q-groups associated to self-adjoint homogeneous cones

abstract: Let G be a reductive algebraic group associated to a self-adjoint homogeneous cone defined over Q, and let G' be an appropriate neat arithmetic subgroup of G. We present two algorithms to compute the action of the Hecke operators on the integral cohomology of G'. This simultaneously generalizes the modular algorithm of Ash-Rudolph to a larger class of groups, and provides techniques to compute the Hecke-module structure of previously inaccessible cohomology groups.


title: Computing Hecke eigenvalues below the cohomological dimension

abstract: Let G be a torsion-free finite-index subgroup of SL(n,Z) or GL(n,Z), and let d be the cohomological dimension of G. We present an algorithm to compute the eigenvalues of the Hecke operators on the integral cohomology of degree d-1 for n = 2, 3, and 4. In addition, we describe a modification of the modular symbol algorithm of Ash-Rudolph for computing Hecke eigenvalues for the integral cohomology of degree d.


title: The Hyperbolic Heisenberg and Sigma Models in (1+1)-dimensions

abstract: Hyperbolic versions of the integrable (1+1)-dimensional Heisenberg Ferromagnet and sigma models are discussed in the context of topological solutions classifiable by an integer `winding number'. Some explicit solutions are presented and the existence of certain classes of such winding solutions examined.


title: Torelli theorem via Fourier-Mukai transform

abstract: We show that the Fourier transform on the Jacobian of a curve interchanges "$\delta$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.


title: Functional Integration and the Kontsevich Integral

abstract: This paper is an exposition of heuristics related to Witten's functional integral, relating it to Vassiliev invariants and to the Kontsevich integrals that can be used to produce Vassiliev invariants of knots and links.In particular, we give a simplified version of the appearance of the Kontsevich integrals in the perturbation expansion of the functional integral.


title: Configuration Spaces of Linkages in R^n

abstract: This paper studies the configuration space of all possible positions of a linkage in R^n. For example, it shows that for every compact algebraic set, there is a linkage whose configuration space is analytically isomorphic to a finite number of copies of the algebraic set. If flexible edges are allowed, any compact set given by polynomial equalities and inequalities is the configuration space of a linkage. This paper also characterizes functions which can be computed by linkages.


title: Higher-Dimensional Algebra IV: 2-Tangles

abstract: Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. By this universal property, any unframed self-dual object in a braided monoidal 2-category with duals determines an invariant of 2-tangles in 4 dimensions.


title: Hodge integrals and degenerate contributions

abstract: Degenerate contributions to higher genus Gromov-Witten invariants of Calabi-Yau 3-folds are computed via Hodge integrals. The vanishing of contributions of covers of elliptic curves conjectured by Gopakumar and Vafa is proven. A formula for degree 1 covers for all genus pairs is computed in agreement with M-theoretic calculations of Gopakumar and Vafa. Finally, these results lead to a proof of a formula in the tautological ring of the moduli space of curves previously conjectured by Faber.


title: A description of the quantum superalgebra $U_q[sl(n+1|m)]$ via creation and annihilation generators

abstract: A description of the quantum superalgebra $U_q[sl(n+1|m)]$ and in particular of the special linear superalgebra $sl(n+1|m)$ via creation and annihilation generators (CAGs) is given. It provides an alternative to the canonical description of $U_q[sl(n+1|m)]$ in terms of Chevalley generators. A conjecture that the Fock representations of the CAGs provide microscopic realizations of exclusion statistics is formulated.

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


title: Deformed Galilei symmetry

abstract: A particular deformation of central extended Galilei group is considered. It is shown that the deformation influences the rules of constructing the composed systems while one particle states remain basically unaffected. In particular the mass appeared to be non additive.


title: Tensor operators and Wigner-Eckart theorem for U_q->0(sl(2))

abstract: Crystal tensor operators, which tranform under U_q->0(sl(2)), in analogous way as the vectors of the crystal basis, are introduced. The Wigner-Eckart theorem for the crystal tensor is defined: the selection rules depend on the initial state and on the component of the tensor operator; the transition amplitudes to the states of the same final irreducible representation are all equal.


title: Frames of translates

abstract: We give necessary and sufficient conditions for a subfamily of regularly spaced translates of a function to form a frame (resp. a Riesz basis) for its span. One consequence is that ifthetranslates are taken only from a subset of the natural numbers, then this family is a frame if and only if it is a Riesz basis. We also consider arbitrary sequences of translates and show that for sparse sets, having an upper frame bound is equivalent to the family being a frame sequence. Finally, we use the fractional Hausdorff dimension to identify classes of exact frame sequences.


title: Uniqueness of unconditional bases in c_0-products

abstract: We give counterexamples to a conjecture of Bourgain, Casazza, Lindenstrauss and Tzafriri that if X has a unique unconditional basis (up to permutation) then so does c_0(X). In particular, we show that for Tsirelson's space T, every unconditional basis of c_0(T) must be equivalent to a subsequence of the canonical basis but c_0(T) still fails to have a unique unconditional basis. We also give some positive results including a simpler proof that c_0(l_1)has a unique unconditional basis.


title: Weyl-Heisenberg frames for subspaces of L^2(R)

abstract: We give sufficient conditions for translates and modulates of a function g in L^2(R) to be a frame for its closed linear span. Even in the case where this family spans all of L^2(R), wou conditions are significantly weaker than the previous known conditions.


title: Local theory of frames and Schauder bases for Hilbert space

abstract: We develope a local theory for frames on finite dimensional Hilbert spaces. In particular, a bounded frame on a finite dimensional Hilbert space contains a subset which is a good Riesz basis for a percentage (arbitrarily close to one) of the space. We also construct a normalized frame for a Hilbert space which contains a subset which is a Schauder basis for H but does not contain any subset which is a Riesz basis for H.


title: Every frame is a sum of three (but nottwo) orthonormal bases, and other frame representations

abstract: We show that every frame for a Hilbert space H can be written as a (multiple of a) sum of three orthonormal bases for H. A result of N.J. Kalton is included which shows that this is best possible in that: A frame can be represented as a linear combination of two orthonormal bases if and only if it is a Riesz basis. We further show that every frame can be written as a (multiple of a) sum of two normalized tight frames or as a sum of an orthonormal basis and a Riesz basis for H. Finally, every frame can be represented as a (multiple of a) average of two orthonormal bases for a larger Hilbert space.


title: Characterizing Hilbert space frames with the subframe property

abstract: We characterize Riesz frames and frames with the subframe property and use this to answer most of the questions from the literature concerning these properties and their relationships to the projection methods etc.


title: Hilbert schemes of a surface and Euler characteristics

abstract: We use basic algebraic topology and Ellingsrud-Stromme results on the Betti numbers of punctual Hilbert schemes of surfaces to compute a generating function for the Euler characteristic numbers of the Douady spaces of "n-points" associated with a complex surface. The projective case was first proved by L. G\"ottsche.


title: Vanishing via lifting to second Witt vectors and a proof of an isotriviality result

abstract: A proof based on reduction to finite fields of Esnault-Viehweg's stronger version of Sommese Vanishing Theorem for $k$-ample line bundles is given. This result is used to give different proofs of isotriviality results of A. Parshin and L. Migliorini.


title: Two classes of hyperbolic surfaces in P^3

abstract: We construct two classes of singular Kobayashi hyperbolic surfaces in $P^3$. The first consists of generic projections of the cartesian square $V = C \times C$ of a generic genus $g \ge 2$ curve $C$ smoothly embedded in $P^5$. These surfaces have C-hyperbolic normalizations; we give some lower bounds for their degrees and provide an example of degree 32. The second class of examples of hyperbolic surfaces in $P^3$ is provided by generic projections of the symmetric square $V' = C_2$ of a generic genus $g \ge 3$ curve $C$. The minimal degree of these surfaces is 16, but this time the normalizations are not C-hyperbolic.


title: Peripheric Extended Twists

abstract: The properties of the set L of extended jordanian twists are studied. It is shown that the boundaries of L contain twists whose characteristics differ considerably from those of internal points. The extension multipliers of these "peripheric" twists are factorizable. This leads to simplifications in the twisted algebra relations and helps to find the explicit form for coproducts. The peripheric twisted algebra U(sl(4)) is obtained to illustrate the construction. It is shown that the corresponding deformation U_{P}(sl(4)) cannot be connected with the Drinfeld--Jimbo one by a smooth limit procedure. All the carrier algebras for the extended and the peripheric extended twists are proved to be Frobenius.


title: Random Unitary Matrices, Permutations and Painleve

abstract: This paper is concerned with certain connections between the ensemble of n x n unitary matrices -- specifically the characteristic function of the random variable tr(U) -- and combinatorics -- specifically Ulam's problem concerning the distribution of the length of the longest increasing subsequence in permutation groups -- and the appearance of Painleve functions in the answers to apparently unrelated questions. Among the results is a representation in terms of a Painleve V function for the characteristic function of tr(U) and (using recent results of Baik, Deift and Johansson) an expression in terms of a Painleve II function for the limiting distribution of the length of the longest increasing subsequence in the hyperoctahedral group.


title: Gluing of perverse sheaves on the basic affine space

abstract: This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon conjectured that all Ext-groups in the glued category are finite-dimensional and that global cohomological dimension is finite. We prove the first part of this conjecture. In the appendix we show that the simple object in the glued category corresponding to the constant sheaf has infinite cohomological dimension, thus disproving the second part of the above conjecture.


title: Melzer's identities revisited

abstract: We further develop the finite length path generating transforms introduced previously, and use them to obtain constant sign polynomial expressions that reduce, in the limit of infinite path lengths, to parafermion and ABF Virasoro characters. This provides us, in the ABF case, with combinatorial proofs of Melzer's boson-fermion polynomial identities.


title: Noise Sensitivity of Boolean Functions and Applications to Percolation

abstract: It is shown that a large class of events in a product probability space are highly sensitive to noise, in the sense that with high probability, the configuration with an arbitrary small percent of random errors gives almost no prediction whether the event occurs. On the other hand, weighted majority functions are shown to be noise-stable. Several necessary and sufficient conditions for noise sensitivity and stability are given. Consider, for example, bond percolation on an $n+1$ by $n$ grid. A configuration is a function that assigns to every edge the value 0 or 1. Let $\omega$ be a random configuration, selected according to the uniform measure. A crossing is a path that joins the left and right sides of the rectangle, and consists entirely of edges $e$ with $\omega(e)=1$. By duality, the probability for having a crossing is 1/2. Fix an $\epsilon\in(0,1)$. For each edge $e$, let $\omega'(e)=\omega(e)$ with probability $1-\epsilon$, and $\omega'(e)=1-\omega(e)$ with probability $\epsilon$, independently of the other edges. Let $p(\tau)$ be the probability for having a crossing in $\omega$, conditioned on $\omega'=\tau$. Then for all $n$ sufficiently large, $P\{\tau : |p(\tau)-1/2|>\epsilon\}<\epsilon$.


title: On an Analog of Selberg's Eigenvalue Conjecture for SL_3(Z)

abstract: Let H be the homogeneous space associated to the group PGL_3(R). Let X=\Gamma/H where \Gamma=SL_3(Z) and consider the first non-trivial eigenvalue \lambda_1 of the Laplacian on L^2(X). Using geometric considerations, we prove the inequality \lambda_1<pi^2/10. Since the continuous spectrum is represented by the band [1,\infty), our bound on \lambda_1 can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.


title: The Douady space of a complex surface

abstract: We prove that a standard realization of the direct image complex via the so-called Douady-Barlet morphism associated with a smooth complex analytic surface admits a natural decomposition in the form of an injective quasi-isomorphism of complexes. This is a more precise form of a special case of the decomposition theorems of Beilinson-Bernstein-Deligne-Gabber and M. Saito. The proof hinges on the special case of the bi-disk in the complex affine plane where we make explicit use of a construction of Nakajima's and of the corresponding representation-theoretic interpretation foreseen by Vafa-Witten. Some consequences of the decomposition theorem: G\"ottsche Formula holds for complex surfaces; interpretation of the rational cohomologies of Douady spaces as a kind of Fock space; new proofs of results of Brian\c{c}on and Ellingsrud-Stromme on punctual Hilbert schemes; computation of the mixed Hodge structure of the Douady spaces in the K\"ahler case. We also derive a natural connection with Equivariant K-Theory for which, in the case of algebraic surfaces, Bezrukavnikov-Ginzburg have proposed a different approach.


title: Stability radius and internal versus external stability in Banach spaces: an evolution semigroup approach

abstract: In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include time-varying systems modeled with unbounded state-space operators acting on Banach spaces. This approach allows one to apply the classical theory of strongly continuous semigroups to time-varying systems. In particular, the complex stability radius may be expressed explicitly in terms of the generator of a (evolution) semigroup. Examples are given to show that classical formulas for the stability radius of an autonomous Hilbert-space system fail in more general settings. Upper and lower bounds on the stability radius are provided for these general systems. In addition, it is shown that the theory of evolution semigroups allows for a straightforward operator-theoretic analysis of internal stability as determined by classical frequency-domain and input-output operators, even for nonautonomous Banach-space systems


title: Global regularity of the Navier-Stokes equation on thin three dimensional domains with periodic boundary conditions

abstract: This paper gives another version of results due to Raugel and Sell, and similar results due to Moise, Temam and Ziane, that state the following: the solution of the Navier-Stokes equation on a thin 3 dimensional domain with periodic boundary conditions has global regularity, as long as there is some control on the size of the initial data and the forcing term, where the control is larger than that obtainable via ``small data'' estimates. The approach taken is to consider the three dimensional equation as a perturbation of the equation when the vector field does not depend upon the coordinate in the thin direction.


title: A finite presentation of the mapping class group of an oriented surface

abstract: We give a finite presentation of the mapping class group of an oriented (possibly bounded) surface of genus greater or equal than 1, considering Dehn twists on a very simple set of curves.


title: Strongly Embedded Subgroups of Groups of Odd Type

abstract: In this paper we prove that any strongly embedded subgroup of a K*-group G of finite Morley rank and odd type that does not interpret any bad field is solvable if its Pruefer 2-rank is at least 2. If the normal 2-rank of G is at least 3 this has two important consequences: If G contains a non-solvable centraliser of an involution, then G does not contain any proper 2-generated core and centralisers of involutions have trivial cores.


title: A Characterisation of G_2(K)

abstract: This paper gives a characterisation of the group G_2(K) over an algebraically closed field K of characteristic not 2 inside the class of simple K*-groups of finite Morley rank not interpreting a bad field using the structure of centralizers of involutions. This implies a general characterisation of tame K*-groups od odd type whose centralizers have a certain natural structure.


title: Ordinary Subvarieties of codimension one

abstract: In this paper we extend the properties of ordinary points of curves [10] to ordinary closed points of one-dimensional affine reduced schemes and then to ordinary subvarieties of codimension one.


title: Some semi-Riemannian volume comparison theorems

abstract: Lorentzian versions of classical Riemannian volume comparison theorems by Gunther, Bishop and Bishop-Gromov, are stated for suitable natural subsets of general semi-Riemannian manifolds. The problem is more subtle in the Bishop-Gromov case, which is extensively discussed. For the general semi-Riemannian case, a local version of the Gunther and Bishop theorems is given and applied.


title: On nonformal simply connected symplectic manifolds

abstract: For any $N \geq 5$ nonformal simply connected symplectic manifolds of dimension $2N$ are constructed. This disproves the formality conjecture for simply connected symplectic manifolds which was introduced by Lupton and Oprea.


title: Spherically averaged endpoint Strichartz estimates for the two-dimensional Schr\"odinger equation

abstract: The endpoint Strichartz estimates for the Schr\"odinger equation are known to be false in two dimensions. However, if one averages the solution in $L^2$ in the angular variable, we show that the homogeneous endpoint and the retarded half-endpoint estimates hold, but the full retarded endpoint fails. In particular, the original versions of these estimates hold for radial data.


title: Ill-posedness for one-dimensional wave maps at the critical regularity

abstract: We show that the wave map equation in $\R^{1+1}$ is in general ill-posed in the critical space $\dot H^{1/2}$, and the Besov space $\dot B^{1/2,1}_2$. The problem is attributed to the bad behaviour of the one-dimensional bilinear expression $D^{-1}(f Dg)$ in these spaces.


title: Indistinguishability of Percolation Clusters

abstract: We show that when percolation produces infinitely many infinite clusters on a Cayley graph, one cannot distinguish the clusters from each other by any invariantly defined property. This implies that uniqueness of the infinite cluster is equivalent to non-decay of connectivity (a.k.a. long-range order). We then derive applications concerning uniqueness in Kazhdan groups and in wreath products, and inequalities for $p_u$.


title: Normal differential operators and deformation theory

abstract: This paper develops the theory of a sheaf of normal differential operators to a submanifold Y of a complex manifold X as a generalization of the normal bundle. We show that the global sections of this sheaf play an analogous role for formal deformations of Y to the role played by the normal bundle with respect to first-order deformations.


title: Quantum groupoids associated to universal dynamical R-matrices

abstract: By using twist construction, we obtain a quantum groupoid $\cald\ot_{q}\uqg$ for any simple Lie algebra $\frakg$. The underlying Hopf algebroid structure encodes all the information of the corresponding elliptic quantum group-the quasi-Hopf algebras as obtained by Fronsdal, Arnaudon et. al. and Jimbo et. al..


title: Topology of closed 1-forms and their critical points

abstract: In this paper I suggest an alternative approach (using generic flat bundles and higher Massey products) to a Lusternik-Schnirelman type theory for closed 1-forms (cf. also math.DG/9811113)


title: Kontsevich's Universal Formula for Deformation Quantization and the Campbell-Baker-Hausdorff Formula, I

abstract: We relate a universal formula for the deformation quantization of arbitrary Poisson structures proposed by Maxim Kontsevich to the Campbell-Baker-Hausdorff formula. Our basic thesis is that exponentiating a suitable deformation of the Poisson structure provides a prototype for such universal formulae.


title: Vertex Models with Alternating Spins

abstract: The diagonalisation of the transfer matrices of solvable vertex models with alternating spins is given. The crystal structure of (semi-)infinite tensor products of finite-dimensional $U_q(\hat{sl}_2)$ crystals with alternating dimensions is determined. Upon this basis the vertex models are formulated and then solved by means of $U_q(\hat{sl}_2)$ intertwiners.


title: The uniqueness of the solution of the Schrodinger equation with discontinuous coefficients

abstract: Consider the Schroeodinger equation: - Du(x) - l(x)u + s(x)u = 0, where D is the Laplacian, l(x) > 0 and s(x) is dominated by l(x). We shall extend the celebrated Kato's result on the asymptotic behavior of the solution to the case where l(x) has unbounded discontinuity. The result will be used to establish the limiting absorption principle for a class of reduced wave operators with discontinuous coefficients.


title: On omitting cardinals in T_3 spaces

abstract: We prove that for every (infinite cardinal) lambda there is a T_3-space X with clopen basis, 2^mu points where mu = 2^lambda, such that every closed subspace of cardinality <|X| has cardinality < lambda .


title: Interactions of Andronov-Hopf and Bogdamov-Takens bifurcations

abstract: A codimension-three bifurcation, characterized by a pair of purely imaginary eigenvalues and a nonsemisimple double zero eigenvalue, arises in the study of a pair of weakly coupled nonlinear oscillators with Z_2 + Z_2 symmetry. The methodology is based on Arnold's ideas of versal deformations of matrices for the linear analysis, and Poincar\'e normal forms for the nonlinear analysis of the system. The stratified subvariety of primary bifurcations of codimensions one and two is identified in the parameter space. The analysis reveals different types of solutions in the state space, including equilibria, limit cycles, invariant tori and the possibility of homoclinic chaos. A mechanism is identified for energy transfer without strong resonance between two oscillation modes with widely separated frequencies.


title: Factoring Hecke polynomials modulo a prime

abstract: Let T^{N,chi}_{p,k}(x) be the characteristic polynomial of the Hecke operator T_p acting on the space of cusp forms S_k(N,chi). We describe the factorization of T^{N,chi}_{p,k}(x) mod l as k varies, and we explicitly calculate those factorizations for N=1 and small l. These factorizations are used to deduce the irreducibility of certain T^{1,1}_{q,k}(x) from the irreducibility of T^{1,1}_{2,k}(x).


title: At most 27 length inequalities define Maskit's fundamental domain for the modular group in genus 2

abstract: In recently published work Maskit constructs a fundamental domain D_g for the Teichmueller modular group of a closed surface S of genus g>1. Maskit's technique is to demand that a certain set of 2g non-dividing geodesics C_{2g} on S satisfies certain shortness criteria. This gives an a priori infinite set of length inequalities that the geodesics in C_{2g} must satisfy. Maskit shows that this set of inequalities is finite and that for genus g=2 there are at most 45. In this paper we improve this number to 27. Each of these inequalities: compares distances between Weierstrass points in the fundamental domain S-C_4 for S; and is realised (as an equality) on one or other of two special surfaces.


title: The boundary of the deformation space of the fundamental group of some hyperbolic 3-manifolds fibering over the circle

abstract: By using Thurston's bending construction we obtain a sequence of faithful discrete representations \rho _n of the fundamental group of a closed hyperbolic 3-manifold fibering over the circle into the isometry group Iso H^4 of the hyperbolic space H^4. The algebraic limit of \rho _n contains a finitely generated subgroup F whose 3-dimensional quotient \Omega (F)/F has infinitely generated fundamental group, where \Omega (F) is the discontinuity domain of F acting on the sphere at infinity. Moreover F is isomorphic to the fundamental group of a closed surface and contains infinitely many conjugacy classes of maximal parabolic subgroups.


title: On Culler-Shalen seminorms and Dehn filling

abstract: Consider the exterior M of a hyperbolic knot lying in a closed, connected, orientable 3-manifold. Culler and Shalen defined norm on H_1(dM;R) using the SL(2,C) character variety of pi_1(M). The Culler-Shalen norm encodes many topological properties of M; in particular it provides information about Dehn fillings of M. Their construction may be applied to arbitrary curves in the SL_2(C)-character variety of a connected, compact, orientable, irreducible 3-manifold whose boundary is a torus, though in this generality one can only guarantee that it will define a seminorm. The first half of this paper is devoted to the development of the general theory of Culler-Shalen seminorms defined for curves of PSL_2(C)-characters. By working over PSL_2(C) we obtain a theory that is more generally applicable than its SL_2(C) counterpart, while being only mildly more difficult to set up. In the second half of this paper we apply the theory of Culler-Shalen seminorms to study the Dehn filling operation. In particular we examine the relationship between fillings which yield manifolds having a positive dimensional PSL_2(C)-character variety with those that yield manifolds having a finite or cyclic fundamental group. In one interesting application of this work we show that manifolds resulting from a nonintegral surgery on a knot in the 3-sphere tend to have a zero-dimensional PSL_2(C)-character variety. As a consequence we obtain an infinite family of closed, orientable, hyperbolic Haken manifolds which have zero-dimensional PSL_2(C)-character varieties.


title: Siegel measures

abstract: The goals of this paper are first to describe and then to apply an ergodic-theoretic generalization of the Siegel integral formula from the geometry of numbers. The general formula will be seen to serve both as a guide and as a tool for questions concerning the distribution, in senses to be made precise, of the set of closed leaves of measured foliations subordinate to meromorphic quadratic differentials on closed Riemann surfaces.


title: Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation

abstract: The problem we are concerned with is whether singularities form in finite time in incompressible fluid flows. It is well known that the answer is ``no'' in the case of Euler and Navier-Stokes equations in dimension two. In dimension three it is still an open problem for these equations. In this paper we focus on a two-dimensional active scalar model for the 3D Euler vorticity equation. Constantin, Majda and Tabak suggested, by studying rigorous theorems and detailed numerical experiments, a general principle: ``If the level set topology in the temperature field for the 2D quasi-geostrophic active scalar in the region of strong scalar gradients does not contain a hyperbolic saddle, then no finite time singularity is possible.'' Numerical simulations showed evidence of singular behavior when the geometry of the level sets of the active scalar contain a hyperbolic saddle. There is a naturally associated notion of simple hyperbolic saddle breakdown. The main theorem we present in this paper shows that such breakdown cannot occur in finite time. We also show that the angle of the saddle cannot close in finite time and it cannot be faster than a double exponential in time. Using the same techniques, we see that analogous results hold for incompressible 2D and 3D Euler.


title: The polynomial X^2+Y^4 captures its primes

abstract: This article proves that there are infinitely many primes of the form a^2 + b^4, in fact getting the asymptotic formula. The main result is that \sum_{a^2 + b^4\le x} \Lambda(a^2 + b^4) = 4\pi^{-1}\kappa x^{3/4} (1 + O(\log\log x / \log x)) where a, b run over positive integers and \kappa = \int^1_0 (1 - t^4)^{1/2} dt = \Gamma(1/4)^2 /6\sqrt{2\pi}. Here of course, \Lambda denotes the von Mangoldt function and \Gamma the Euler gamma function.


title: Asymptotic sieve for primes

abstract: This article develops a new sieve method which by adding an additional axiom to the classical formulation breaks the well-known parity problem and allows one to detect primes in thin, interesting integer sequences. In the accompanying paper [math.NT/9811184] the practicality of the axiom is demonstrated by verifying it (and the other axioms) to produce primes in the sequence a^2+b^4 with the relevant asymptotics.


title: Finite functions and the necessary use of large cardinals

abstract: We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied higher infinities of abstract set theory called large cardinals in an essential way in order to derive results in the context of the natural numbers. The findings raise the specific issue of what consitutes a valid mathematical proof and the general issue of objectivity in mathematics in a down to earth way. Large cardinal axioms, which go beyond the usual axioms for mathematics, have been commonly used in abstract set theory since the 1960's. We believe that the results reported on here are the early stages of an evolutionary process in which new axioms for mathematics will be commonly used in an essential way in the more concrete parts of mathematics.


title: Counterexample to boundary regularity of a strongly pseudoconvex CR submanifold: An addendum to the paper of Harvey-Lawson

abstract: The purpose of this paper is to give a counterexample of Theorem 10.4 in [Ann. of Math. 102 (1975), 223-290]. In the Harvey-Lawson paper, a global result is claimed, but only a local result is proven. This theorem has had a big impact on CR geometry for almost a quarter of a century because one can use the theory of isolated singularities to study the theory of CR manifolds and vice versa.


title: On the classification of unitary representations of reductive Lie groups

abstract: Suppose G is a real reductive Lie group in Harish-Chandra's class. We propose here a structure for the set \Pi_u(G) of equivalence classes of irreducible unitary representations of G. (The subscript u will be used throughout to indicate structures related to unitary representations.) We decompose \Pi_{u}(G) into disjoint subsets with a (very explicit) discrete parameter set \Lambda_u: \Pi_u(G) = \bigcup_{\lambda_u \in \Lambda_u} \Pi_u^{\lambda_u}(G). Each subset is identified conjecturally with a collection of unitary representations of a certain subgroup G(\lambda_u) of G. (We will give strong evidence and partial results for this conjecture.) In this way the problem of classifying \Pi_u(G) would be reduced (by induction on the dimension of G) to the case G(\lambda_u) = G.


title: A quick introduction to Dwork's conjecture

abstract: This is an expository paper which gives a quick introduction to Dwork's conjecture about p-adic meromorphic continuation of his unit root zeta function arising from algebraic geometry. Special emphasis is given to the case of elliptic family and its relation to p-adic modular forms such as Gouv\^ea-Mazur conjecture and some sort of p-adic Ramanujuan-Peterson conjecture. There is also a section describing some of my personal interactions with Dwork.


title: Computing zeta functions over finite fields

abstract: In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a hypersurface, where $p$ is the characteristic of the finite field. In particular, this applies to the problem of counting rational points of an algebraic variety over a finite field.


title: Towards regulator formulae for curves over number fields

abstract: In this paper we study the group K_{2n}^{(n+1)}(F) where F is the function field of a complete, smooth, geometrically irreducible curve C over a number field, assuming the Beilinson--Soul\'e conjecture on weights. In particular, we compute the Beilinson regulator on a subgroup of K_{2n}^{(n+1)}(F), using the complexes constructed in previous work by the author. We study the boundary map in the localization sequence for n = 3 (the case n = 2 was done in a previous paper). We combine our results with some results of Goncharov in order to obtain a complete description of the image of the regulator map on K_4^{(3)}(C) and K_6^{(4)}(C), independent of any conjectures.


title: Tableaux statistics for two part Macdonald polynomials

abstract: The Macdonald polynomials expanded in terms of a modified Schur function basis have coefficients called the $q,t$-Kostka polynomials. We define operators to build standard tableaux and show that they are equivalent to creation operators that recursively build the Macdonald polynomials indexed by two part partitions. We uncover a new basis for these particular Macdonald polynomials and in doing so are able to give an explicit description of their associated $q,t$-Kostka coefficients by assigning a statistic in $q$ and $t$ to each standard tableau.


title: A perfect Morse function on the moduli space of flat connections

abstract: The moduli space of flat SU(2) connections on a punctured surface, having prescribed holonomy around the punctures, is a compact smooth manifold if the prescription is generic. This paper gives a direct, elementary proof that the trace of the holonomy around a certain loop determines a Bott-Morse function on the moduli space which is perfect, meaning that the Morse inequalities are equalities. This leads to an attractive recursion for the Betti numbers of the moduli space, which agrees with the Harder-Narasimhan formula in the case of one puncture with holonomy -1.


title: Mirror symmetry for abelian varieties

abstract: We work out the notion of mirror symmetry for abelian varieties and study its properties. Our construction are based on the correspondence between two $Q$--algebraic groups. One is the Hodge (or special Mumford--Tate) group. The second group $\bar{Spin(A)}$ is defined as follows: the group of autoequivalences of the bounded derived category of coherent sheaves acts on the total cohomology $H(A,Q)$ of an abelian variety $A$ via algebraic correspondences. The group $\bar{Spin(A)}$ is now the Zariski closure of its image in $GL(H(A,Q))$. Our constructions are compatible with the picture of mirror symmetry sketched by Kontsevich, Morrison, and others.


title: On Coquasitriangular Bialgebras

abstract: The paper deals with three topics on coquasitriangular bialgebras. A characterization of universal r-forms in terms of Yetter-Drinfeld modules is given. All universal r-forms for the coordinate Hopf algebras of the quantum groups GL_q(N), SL_q(N), O_q(N) and Sp_q(N) are described. It is well-known that the square of the antipode of a coquasitriangular Hopf algebra A with universal r-form r can be expressed by means of the linear functional f_r(a)=r(a_{(1)}\otimes S(a_{(2)})), a\in A. For the standard compact matrix groups the functional f_r is related to the Woronowicz modular character f_{-2}.


title: Deformations of Noncompact Complex Curves and Meromorphic Envelopes of Spheres

abstract: We study the envelopes of meromorphy of neighborhoods of symplectically immersed two-spheres in complex K\"ahler surfaces using the Gromov's theory of pseudoholomorphic curves. The construction of a complete family of holomorphic deformations of a non-compact complex curve in a complex manifold, parametrized by a finite codimension analytic subset of a Banach ball, is given. The existence of this family is used to prove a generalization of Levi's continuity principle, which is applied to describe envelopes of meromorphy.


title: On the cohomology rings of Hamiltonian T-spaces

abstract: Let $M$ be a symplectic manifold equipped with a Hamiltonian action of a torus $T$. Let $F$ denote the fixed point set of the $T$-action and let $i:F\hookrightarrow M$ denote the inclusion. By a theorem of F. Kirwan \cite{K} the induced map $i^*:H_T^*(M) \to H_T^*(F)$ in equivariant cohomology is an injection. We give a simple proof of a formula of Goresky-Kottwitz-MacPherson \cite{GKM} for the image of the map $i^*$.


title: Lectures on Dunkl operators

abstract: These are the lecture notes of a series of lectures on Dunkl operators. We discuss the underlying algebraic structure of the degenerate double affine Hecke algebra, intertwiners and shift operators. We apply this to Macdonald theory. We also discuss the ``compact'' and ``noncompact'' spectral decomposition of these operators. In the attractive noncompact situation we classify the discrete eigenfunctions and compute their square norms.


title: Sections of the difference body

abstract: Let $K$ be an $n$-dimensional convex body. Define the difference body by $$ K-K= \{x-y \mid x,y \in K \}. $$ We estimate the volume of the section of $K-K$ by a linear subspace $F$ via the maximal volume of sections of $K$ parallel to $F$. We prove that for any $m$-dimensional subspace $F$ there exists $x \in R^n$, such that $$ vol ((K-K) \cap F) \le C^m (\min (n/m, \sqrt{m}))^m \cdot vol (K \cap (F+x)), $$ for some absolute constant $C$. We show that for small dimensions of $F$ this estimate is exact up to a multiplicative constant.


title: On the Duflo formula for $L_\infty$-algebras and Q-manifolds

abstract: We prove a direct analogue of the classical Duflo formula in the case of $L_\infty$-algebras. We conjecture an analogous formula in the case of an arbitrary Q-manifold. When $G$ is a compact connected Lie group, the Duflo theorem for the Q-manifold $(\Pi TG,d_{DR})$ is exactly the Duflo theorem for the Lie algebra $g = Lie G$. The corresponding theorem for the Q-manifold $(\Pi TM,d_{DR})$, where $M$ is an arbitrary smooth manifold, is a generalization of the Duflo theorem for the case of smooth manifolds. On the other hand, the Duflo theorem for the Q-manifold $(\Pi \bar T_{hol} M, \bar\partial)$, where $M$ is a complex manifold, is a generalization of the M. Kontsevich's ``theorem on complex manifold'' [K1], Sect. 8.4.


title: Distances between non--symmetric convex bodies and the $MM^*$-estimate

abstract: Let $K, D$ be $n$-dimensional convex bodes. Define the distance between $K$ and $D$ as $$ d(K,D) = \inf \{\lambda | T K \subset D+x \subset \lambda \cdot TK \}, $$ where the infimum is taken over all $x \in R^n$ and all invertible linear operators $T$. Assume that 0 is an interior point of $K$ and define $$ M(K) =\int_{S^{n-1}} \| \omega \|_K d \mu (\omega), $$ where $\mu$ is the uniform measure on the sphere. Let $K^{\circ}$ be the polar body of $K$. We use the difference body estimate to prove that $K$ can be embedded into $R^n$ so that $$ M(K) \cdot M(K^{\circ}) \le C n^{1/3} \log^a n $$ for some absolute constants $C$ and $a$. We apply this result to show that the distance between two $n$-dimensional convex bodies does not exceed $n^{4/3}$ up to a logarithmic factor.


title: Non-positively curved aspects of Artin groups of finite type

abstract: Artin groups of finite type are not as well understood as braid groups. This is due to the additional geometric properties of braid groups coming from their close connection to mapping class groups. For each Artin group of finite type, we construct a space (simplicial complex) analogous to Teichmueller space that satisfies a weak nonpositive curvature condition and also a space "at infinity" analogous to the space of projective measured laminations. Using these constructs, we deduce several group-theoretic properties of Artin groups of finite type that are well-known in the case of braid groups.


title: Spectral Analysis of the local Commutator Operators

abstract: The spectral analysis of the (local) conductor operator H = log(|q|) + log(|p|) was shown in a previous paper to be given by the Explicit Formula. I give here the spectral analysis of the commutator operator K = i[log(|p|),log(|q|)] (which shares with H the property of complete dilation invariance). Its spectral function is found to be the derivative of the one of H. It is then deduced that K anticommutes with the Inversion and is a bounded operator. Higher commutators are related in the same manner to the higher derivatives of the Gamma function, which thus all acquire an operator theoretic and spectral interpretation.


title: Continuation for Nonlinear Elliptic Partial Differential Equations Discretized by the Multiquadric Method

abstract: The Multiquadric Radial Basis Function (MQ) Method is a meshless collocation method with global basis functions. It is known to have exponentional convergence for interpolation problems. We descretize nonlinear elliptic PDEs by the MQ method. This results in modest size systems of nonlinear algebraic equations which can be efficiently continued by standard continuation software such as AUTO and CONTENT. Examples are given of detection of bifurcations in 1D and 2D PDEs. These examples show high accuracy with small number of unknowns, as compared with known results from the literature.


title: Fuzzy L languages

abstract: In this paper we introduce some families of fuzzy L-systems and investigate their properties. We further discuss the relationship between fuzzy L languages and the fuzzy languages generated by fuzzy grammar proposed in Ref.[3,5]. A measure of fuzziness for a string, called the fuzzy entropy of a string with respect to a given fuzzy L system, will be defined. The relationship between fuzzy L languages and the ordinary L languages is also discussed.


title: On semifree symplectic circle actions with isolated fixed points

abstract: Let $M$ be a symplectic manifold, equipped with a semifree symplectic circle action with a finite, nonempty fixed point set. We show that the circle action must be Hamiltonian, and $M$ must have the equivariant cohomology and Chern classes of $(P^1)^n$.


title: Kleinian singularities, derived categories and Hall algebras

abstract: We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface.


title: From the Tetrahedron Equation to Universal R-Matrices

abstract: Modified universal R-matrices, associated with the central extension (through the Drinfeld's double construction) of the quantum groups U_q(sl_n), are realized through an infinite dimensional spectral parameter dependent solution for the tetrahedron equation, provided a certain identity on $q$-exponentials holds true.


title: The characteristic numbers of quartic plane curves

abstract: The characteristic numbers of smooth plane quartics are computed using intersection theory on a component of the moduli space of stable maps. This completes the verification of Zeuthen's prediction of characteristic numbers of smooth plane curves. A short sketch of a computation of the characteristic numbers of plane cubics is also given as an illustration.


title: Lagrangian Embeddings and Holomorphic Discs in the Complement of Complex Hypersurfaces

abstract: For a given embedded Lagrangian in the complement of a complex hypersurface we show existence of a holomorphic disc in the complement having boundary on that Lagrangian.


title: Combinatorial aspects of multiple zeta values

abstract: Multiple zeta values (MZVs, also called Euler sums or multiple harmonic series) are nested generalizations of the classical Riemann zeta function evaluated at integer values. The fact that an integral representation of MZVs obeys a shuffle product rule allows the possibility of a combinatorial approach to them. Using this approach we prove a longstanding conjecture of Don Zagier about MZVs with certain repeated arguments. We also prove a similar cyclic sum identity. Finally, we present extensive computational evidence supporting an infinite family of conjectured MZV identities that simultaneously generalize the Zagier identity.


title: Double affine Hecke algebras and 2-dimensional local fields

abstract: We give an interpretation of the double affine Hecke algebra of Cherednik as the (suitably regularized) algebra of double cosets of a group G by a subgroup J, extending the well known interpretations of finite and affine Hecke algebras. In this interpretation, G consists of K-points of a split reductive group where K is a 2-dimensional local field such as Q_p((t)) or F_q((t_1))((t_2)), and J is a certain analog of the Iwahori subgroup.


title: Remarks on Fermionic Formula

abstract: Fermionic formulae originate in the Bethe ansatz in solvable lattice models. They are specific expressions of some q-polynomials as sums of products of q-binomial coefficients. We consider the fermionic formulae associated with general non-twisted quantum affine algebra U_q(X^{(1)}_n) and discuss several aspects related to representation theories and combinatorics. They include crystal base theory, one dimensional sums, spinon character formulae, Q-system and combinatorial completeness of the string hypothesis for arbitrary X_n.


title: Invariant operators on manifolds with almost Hermitian symmetric structures, III. Standard operators

abstract: This paper demonstrates the power of the calculus developed in the two previous parts of the series for all real forms of the almost Hermitian symmetric structures on smooth manifolds, including e.g. conformal Riemannian and almost quaternionic geometries. Exploiting some finite dimensional representation theory of simple Lie algebras, we give explicit formulae for distinguished invariant curved analogues of the standard operators in terms of the linear connections belonging to the structures in question, so in particular we prove their existence. Moreover, we prove that these formulae for k-th order standard operators, k=1,2,..., are universal for all geometries in question.


title: A classification of centrally-symmetric and cyclic 12-vertex triangulations of $S^2 \times S^2$

abstract: In this paper our main result states that there exist exactly three combinatorially distinct centrally-symmetric 12-vertex-triangulations of the product of two 2-spheres with a cyclic symmetry. We also compute the automorphism groups of the triangulations. These instances suggest that there is a triangulation of $S^2 \times S^2$ with 11 vertices -- the minimum number of vertices required.


title: All toric l.c.i.-singularities admit projective crepant resolutions

abstract: It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry.


title: The Virasoro conjecture for Gromov-Witten invariants

abstract: The Virasoro conjecture is a conjectured sequence of relations among the descendent Gromov-Witten invariants of a smooth projective variety in all genera; the only varieties for which it is known to hold are a point (Kontsevich) and Calabi-Yau threefolds (S. Katz). We review the statement of the conjecture and its proof in genus 0, following Eguchi, Hori and Xiong. This version incorporates many changes and improvements compared with the first, and a small number of misprints from the second. It will appear in the AMS volume "Hirzebruch 70", edited by P. Pragacz et al.


title: Highest weight representations of $U_q(\hat{sl}(2|1))$ and correlation functions of the q-deformed supersymmetric t-J model

abstract: We re-examine the level-one irreducible highest weight representations of the quantum affine superalgebra $U_q(\hat{sl}(2|1))$ and derive the characters and supercharacters associated with these representations. We calculate the exchange relations of the vertex operators and find that these vertex operators satisfy the graded Faddeev-Zamolodchikov algebra. We give an integral expression of the correlation functions of the q-deformed supersymmetric t-J model and derive the difference equations which they satisfy.


title: On groups whose word problem is solved by a nested stack automaton

abstract: Accessible groups for which the language of all words defining the identity is accepted by a certain class of nested stack automata are virtually free.


title: A basis of the basic $sl(3,C)\sptilde$-module

abstract: We construct a basis of the basic $sl(3,C)\sptilde$-module parameterized by colored partitions and, as a consequence, we obtain a Rogers-Ramanujan type combinatorial identity.


title: Large amplitude gravitational waves

abstract: We derive an asymptotic solution of the Einstein field equations which describes the propagation of a thin, large amplitude gravitational wave into a curved space-time. The resulting equations have the same form as the colliding plane wave equations without one of the usual constraint equations.


title: An efficient algorithm for locating and continuing connecting orbits

abstract: A successive continuation method for locating connecting orbits in parametrized systems of autonomous ODEs was considered in [9]. In this paper we present an improved algorithm for locating and continuing connecting orbits, which includes a new algorithm for the continuation of invariant subspaces. The latter algorithm is of independent interest, and can be used in different contexts than the present one.


title: Picturing Pinchuk's Plane Polynomial Pair

abstract: Sergey Pinchuk discovered a class of pairs of real polynomials in two variables that have a nowhere vanishing Jacobian determinant and define maps of the real plane to itself that are not one-to-one. This paper describes the asymptotic behavior of one specific map in that class. The level of detail presented permits a good geometric visualization of the map. Errors in an earlier description of the image of the map are corrected (the complement of the image consists of two, not four, points). Techniques due to Ronen Peretz are used to verify the description of the asymptotic variety of the map.


title: Neighborly cubical polytopes

abstract: Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera & Chan. Kalai conjectured that the boundary $\partial C^n_d$ of a neighborly cubical polytope $C^n_d$ maximizes the $f$-vector among all cubical $(d-1)$-spheres with $2^n$ vertices. While we show that this is true for polytopal spheres for $n\le d+1$, we also give a counter-example for $d=4$ and $n=6$. Further, the existence of neighborly cubical polytopes shows that the graph of the $n$-dimensional cube, where $n\ge5$, is ``dimensionally ambiguous'' in the sense of Gr\"unbaum. We also show that the graph of the 5-cube is ``strongly 4-ambiguous''. In the special case $d=4$, neighborly cubical polytopes have $f_3=f_0/4 \log_2 f_0/4$ vertices, so the facet-vertex ratio $f_3/f_0$ is not bounded; this solves a problem of Kalai, Perles and Stanley studied by Jockusch.


title: DG coalgebras as formal stacks

abstract: The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for 2-reduced coalgebras. In our case, the notion of weak equivalence is structly stronger than that of quasi-isomorphism. A pair of adjoint functors connecting the category of coalgebras with the category of dg Lie algebras, induces an equivalence of the corresponding homotopy categories. The model category structure allows one to consider dg coalgebras as very general formal stacks. The corresponding Lie algebra is then interpreted as a tangent Lie algebra which defines the formal stack uniquely up to a weak equivalence. An example of the coalgebra of formal deformaions of a principal $G$-bundle on a scheme $X$ is calculated.


title: Algebraic invariants for homotopy types

abstract: We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.


title: The Integral on Quantum Super Groups of Type $A_{r|s}$

abstract: We compute the integral on matrix quantum (super) groups of type $A_{r|s}$ and derive from it the quantum analogue of (super) HCIZ integral.


title: Extremally $T_1$-spaces and Related Spaces

abstract: The aim of this paper is introduce and initiate the study of extremally $T_1$-spaces, i.e., the spaces where all hereditarily compact $C_2$-subspaces are closed. A $C_2$-space is a space whose nowhere dense sets are finite.


title: On locally LC-spaces

abstract: A topological space $(X,\tau)$ is called a locally LC-space if every point of $X$ has a neighborhood $U$ such that every Lindel\"{o}f subset of $(U,\tau|U)$ is a closed subset of $(U,\tau|U)$. The aim of this paper is to continue the study of locally LC-spaces.


title: Random Walk on Knot Diagrams, Colored Jones Polynomial and Ihara-Selberg Zeta Function

abstract: A model of random walk on knot diagrams is used to study the Alexander polynomial and the colored Jones polynomial of knots. In this context, the inverse of the Alexander polynomial of a knot plays the role of an Ihara-Selberg zeta function of a directed weighted graph, counting with weights cycles of random walk on a 1-string link whose closure is the knot in question. The colored Jones polynomial then counts with weights families of ``self-avoiding'' cycles of random walk on the cabling of the 1-string link. As a consequence of such interpretations of the Alexander and colored Jones polynomials, the computation of the limit of the renormalized colored Jones polynomial when the coloring (or cabling) parameter tends to infinity whereas the weight parameter tends to 1 leads immediately to a new proof of the Melvin-Morton conjecture, which was first established by Rozansky and by Bar-Natan and Garoufalidis.


title: Galois Theory for Braided Tensor Categories and the Modular Closure

abstract: Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an irreducible unit. (A *-category is a category enriched over Vect_C with positive *-operation.) A Galois correspondence is established between intermediate categories sitting between C and C\rtimes S and closed subgroups of the Galois group Gal(C\rtimes S/C)=Aut_C(C\rtimes S) of C, the latter being isomorphic to the compact group associated to S by the duality theorem of Doplicher and Roberts. Denoting by D\subset C the full subcategory of degenerate objects, i.e. objects which have trivial monodromy with all objects of C, the braiding of C extends to a braiding of C\rtimes S iff S\subset D. Under this condition C\rtimes S has no degenerate objects iff S=D. If the original category C is rational (i.e. has only finitely many equivalence classes of irreducible objects) then the same holds for the new one. The category C\rtimes D is called the modular closure of C since in the rational case it is modular, i.e. gives rise to a unitary representation of the modular group SL(2,Z). (In passing we prove that every braided tensor *-category with conjugates automatically is a ribbon category, i.e. has a twist.) If all simple objects of S have dimension one the structure of the category C\rtimes S can be clarified quite explicitly in terms of group cohomology.


title: Nearly Kahlerian Embeddings of Symplectic Manifolds

abstract: Given an integral symplectic manifold, we construct a family of "coherent state" maps into complex projective space. The maps are built from sections of the tensor powers of a hermitian line bundle whose curvature is a multiple of the symplectic form. We show that this family is an almost-complex version of the Kodiara embedding. That is, the maps are embeddings which are approximately pseudo-holomorphic.


title: Four-manifold geography and superconformal symmetry

abstract: A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of $b_2^+>1$ are of superconformal simple type, and that the numerical invariants of 4-manifolds of superconformal simple type satisfy a generalization of the Noether inequality. We sketch how these phenomena are predicted by the existence of certain four-dimensional superconformal quantum field theories.


title: Determinants of Airy Operators and Applications to Random Matrices

abstract: The purpose of this paper is to describe asymptotic formulas for determinants of certain operators that are analogues of Wiener-Hopf operators. The determinant formulas yield information about the distribution functions for certain random variables that arise in random matrix theory when one rescales at the edge of the spectrum.


title: A comparison of the eigenvalues of the Dirac and Laplace operator on the two-dimensional torus

abstract: We compare the eigenvalues of the Dirac and Laplace operator on a two-dimensional torus with respect to the trivial spin structure. In particular, we compute their variation up to order 4 upon deformation of the flat metric, study the corresponding Hamiltonian and discuss several families of examples.


title: *-Representations of a Quantum Heisenberg Group Algebra

abstract: In our earlier work, we constructed a specific non-compact quantum group whose quantum group structures have been constructed on a certain twisted group C*-algebra. In a sense, it may be considered as a ``quantum Heisenberg group C*-algebra''. In this paper, we will find, up to equivalence, all of its irreducible *-representations. We will point out the Kirillov type correspondence between the irreducible representations and the so-called ``dressing orbits''. By taking advantage of its comultiplication, we will then introduce and study the notion of ``inner tensor product representations''. We will show that the representation theory satisfies a ``quasitriangular'' type property, which does not appear in ordinary group representation theory.


title: The distribution of spacings between quadratic residues

abstract: We study the distribution of spacings between squares modulo q, where q is square-free and highly composite, in the limit as the number of prime factors of q goes to infinity. We show that all correlation functions are Poissonian, which among other things, implies that the spacings between nearest neighbors, normalized to have unit mean, have an exponential distribution.


title: The distribution of spacings between quadratic residues, II

abstract: We study the distribution of spacings between squares modulo q as the number of prime divisors of q tends to infinity. In an earlier paper Kurlberg and Rudnick proved that the spacing distribution for square free q is Poissonian, this paper extends the result to arbitrary q.


title: The A-polynomial from the noncommutative viewpoint

abstract: We develop an invariant of knots that depends on a complex parameter t, describing a left ideal in the noncommutative torus. When the parameter is set equal to -1 we recover the A-polynomial of the knot. We relate the invariant to the colored Jones polynomials of the knot.


title: On the base locus of the generalized theta divisor

abstract: We present a new class of examples of base points for the generalized theta divisor on the moduli space of semistable vector bundles of trivial determinant on a compact Riemann surface and we prove that for sufficiently large rank the base locus is positive dimensional.


title: Singularities of Rational Curves on K3 surfaces

abstract: We proved that every rational curves in the primitive class of a general K3 surface of any genus is nodal.


title: Minimal number of singular fibers in a Lefschetz fibration

abstract: There exists a (relatively minimal) genus g Lefschetz fibration with only one singular fiber over a closed (Riemann) surface of genus h iff g>2 and h>1. The singular fiber can be chosen to be reducible or irreducible. Other results are that every Dehn twist on a closed surface of genus at least three is a product of two commutators and no Dehn twist on any closed surface is equal to a single commutator.


title: Symmetric approximation of frames and bases in Hilbert spaces

abstract: We consider existence and uniqueness of symmetric approximation of frames by normalized tight frames and of symmetric orthogonalization of bases by orthonormal bases in Hilbert spaces H . More precisely, we determine whether a given frame or basis possesses a normalized tight frame or orthonormal basis that is quadratically closest to it, if there exists such frames or bases at all. A crucial role is played by the Hilbert-Schmidt property of the operator (P-|F|), where F is the adjoint operator of the frame transform F*: H --> l_2 of the initial frame or basis and (1-P) is the projection onto the kernel of F. The result is useful in wavelet theory.


title: Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. III --Positive rational case--

abstract: In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.


title: On the relation between lifting obstructions and ordinary obstructions

abstract: We consider partial liftings of maps at fibrations and compare the primary obstruction to extend the lifting with the obstruction to extend the lifting as a simple map into the total space. A relation between these two obstructions is proved for the case when the fiber is an Eilenberg-MacLane space. Furthermore it is shown that this result specialises to well known facts about secondary obstructions.


title: Boundary entropy of a hyperbolic group

abstract: We show that the entropy of a hyperbolic group acting on its ideal boundary is closely related to the exponential rate of its growth.


title: Embedded surfaces and almost complex structures

abstract: We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic curves that do not minimize the genus in their homology class.


title: From Representation Theory to Homotopy Groups

abstract: Bousfield recently gave a formula for the odd-primary v1-periodic homotopy groups of a finite H-space in terms of its K-theory and Adams operations. We apply Bousfield's theorem to give explicit determinations of the v1-periodic homotopy groups of (E8,5) and (E8,3), thus completing the determination of all odd-primary v1-periodic homotopy groups of compact simple Lie groups, a project suggested by Mimura in 1989. The method involves no homotopy theoretic input and no spectral sequences. The input is the second eexterior power operation in the representation ring of E8, which we determine using specialized software. This can be interpreted as giving the Adams operation psi^2 in K(E8). Eigenvectors of psi^2 must also be eigenvectors of psi^k for any k. The matrix of these eigenvectors is the key to the analysis. Its determinant is closely related to the homotopy decomposition of E8 localized at each prime. By taking careful combinations of eigenvectors, we obtain a set of generators of K(E8) on which we have a nice formula for all Adams operations. Bousfield's theorem (and much Maple computation) allows us to obtain the v1-periodic homotopy groups.


title: Refining the Abel--Jacobi maps

abstract: Given a smooth projective variety $X$ over a field $k$ of characteristic zero, we consider the composition of the de Rham cohomology cycle class map over $k$ from the Chow group $CH^q(X\times_kK)$, where $K$ is the field of fractions of henselization $A^h$ of the local ring of a smooth closed point of a variety over the field $k$ with an appropriate projection: $CH^q(X\times_kK)\longrightarrow\bigoplus_{p=1}^qgr_F^{q-p}N^{q-p} H^{2q-p}_{dR/k}(X)\otimes_k\Omega^p_{A^h/k,{\rm closed}},$ where $F^{\bullet}$ and $N^{\bullet}$ are the Hodge and the coniveau filtrations on the de Rham cohomology, respectively. The classical Abel--Jacobi map corresponds to the composition of this homomorphism with the projection to the summand $p=1$. This homomorphism is not injective, however, its composition with the embedding into the space $\bigoplus_{p=1}^qgr_F^{q-p}N^{q-p}H^{2q-p}_{dR/k}(X)\otimes_k \lim_{\longleftarrow_M}d(\Omega^{p-1}_{A_M/k}),$ where $A_M=A^h/{\frak m}^M$ and ${\frak m}$ is the maximal ideal, is dominant for any $q$ for which the inverse Lefschetz operator $H^{2\dim X-q}(X)(\dim X)\stackrel{\sim}{\longrightarrow}H^q(X)(q)$ is induced by a correspondence.


title: Quantized moduli spaces of the bundles on the elliptic curve and their applications

abstract: We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these representations. We apply our constructions to produce some objects: the elliptic Belavin R-matrix, the quantization of the algebra of functions on the Grassmannian, some generalized elliptic R-matrix. We consider also the affine case and write down the explicit formula for commuting elements.


title: Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

abstract: The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018).

categories: math.DG hep-th math-ph math.AG math.AP math.MP


title: Tight contact structures on 3-manifolds via dynamics

abstract: We consider the problem of realizing tight contact structures on closed orientable three-manifolds. By applying the theorems of Hofer et al., one may deduce tightness from dynamical properties of (Reeb) flows transverse to the contact structure. We detail how two classical constructions, Dehn surgery and branched covering, may be performed on dynamically-constrained links in such a way as to preserve a transverse tight contact structure.


title: Injective isometries in Orlicz spaces

abstract: We show that injective isometries in Orlicz space $L_M$ have to preserve disjointness, provided that Orlicz function $M$ satisfies $\Delta_2$-condition, has a continuous second derivative $M''$, satisfies another ``smoothness type'' condition and either $\lim_{t\to0} M''(t) = \infty$ or $M''(0) = 0$ and $M''(t)>0$ for all $t>0$. The fact that surjective isometries of any rearrangement-invariant function space have to preserve disjointness has been determined before. However dropping the assumption of surjectivity invalidates the general method. In this paper we use a differential technique.


title: Complete invariant for two-dimentional Morse-Smale diffeomorphisms

abstract: We consider general Morse-Smale diffeomorphisms on a closed orientable two-dimentional surface. In this paper it is proved that the complete topological invariant of Morse-Smale diffeomorphisms is finite, the algorithm of the construction of the complete topological invariant in explicit form is given and necessary and sufficient conditions of topological conjugacy of Morse-Smale diffeomorphisms is obtained.


title: Nambu-Lie Groups

abstract: We extend the Nambu bracket to 1-forms. Following the Poisson-Lie case, we define Nambu-Lie groups as Lie groups endowed with a multiplicative Nambu structure. A Lie group G with a Nambu structure P is a Nambu-Lie group iff P=0 at the unit and the Nambu bracket of left (right) invariant forms is left (right) invariant. We define a corresponding notion of a Nambu-Lie algebra. We give several examples of Nambu-Lie groups and algebras.


title: Tight Contact Structures on Lens Spaces

abstract: In this paper we develop a method for studying tight contact structures on lens spaces. We then derive uniqueness and non-existence statements for tight contact structures with certain (half) Euler classes on lens spaces. We also prove that any lens space admits only finitely many tight contact structures.


title: On covering translations and homeotopy groups of contractible open n-manifolds

abstract: This paper gives a new proof of a result of Geoghegan and Mihalik which states that whenever a contractible open $n$-manifold $W$ which is not homeomorphic to $\mathbf{R}^n$ is a covering space of an $n$-manifold $M$ and either $n \geq 4$ or $n=3$ and $W$ is irreducible, then the group of covering translations injects into the homeotopy group of $W$.


title: Injectivity radii of hyperbolic polyhedra

abstract: We define the injectivity radius of a Coxeter polyhedron in H^3 to be half the shortest translation length among hyperbolic/loxodromic elements in the orientation-preserving reflection group. We show that, for finite-volume polyhedra, this number is always less than 2.6339..., and for compact polyhedra it is always less than 2.1225... .


title: Virtual homology of surgered torus bundles

abstract: Let $M$ be a once-punctured torus bundle over $S^1$ with monodromy $h$. We show that, under certain hypotheses on $h$, "most" Dehn-fillings of $M$ (in some cases all but finitely many) are virtually $\mathbb{Z}$-representable. We apply our results to show that surgeries on the figure-eight knot with even numerator are virtually $\mathbb{Z}$-representable.