title: Discrete Euler-Poincar\'{e} and Lie-Poisson Equations

abstract: In this paper, discrete analogues of Euler-Poincar\'{e} and Lie-Poisson reduction theory are developed for systems on finite dimensional Lie groups $G$ with Lagrangians $L:TG \to {\mathbb R}$ that are $G$-invariant. These discrete equations provide ``reduced'' numerical algorithms which manifestly preserve the symplectic structure. The manifold $G \times G$ is used as an approximation of $TG$, and a discrete Langragian ${\mathbb L}:G \times G \to {\mathbb R}$ is construced in such a way that the $G$-invariance property is preserved. Reduction by $G$ results in new ``variational'' principle for the reduced Lagrangian $\ell:G \to {\mathbb R}$, and provides the discrete Euler-Poincar\'{e} (DEP) equations. Reconstruction of these equations recovers the discrete Euler-Lagrange equations developed in \cite{MPS,WM} which are naturally symplectic-momentum algorithms. Furthermore, the solution of the DEP algorithm immediately leads to a discrete Lie-Poisson (DLP) algorithm. It is shown that when $G=\text{SO} (n)$, the DEP and DLP algorithms for a particular choice of the discrete Lagrangian ${\mathbb L}$ are equivalent to the Moser-Veselov scheme for the generalized rigid body. %As an application, a reduced symplectic integrator for two dimensional %hydrodynamics is constructed using the SU$(n)$ approximation to the volume %preserving diffeomorphism group of ${\mathbb T}^2$.


title: Second-order multisymplectic field theory: A variational approach to second-order multisymplectic field theory

abstract: This paper presents a geometric-variational approach to continuous and discrete {\it second-order} field theories following the methodology of \cite{MPS}. Staying entirely in the Lagrangian framework and letting $Y$ denote the configuration fiber bundle, we show that both the multisymplectic structure on $J^3Y$ as well as the Noether theorem arise from the first variation of the action function. We generalize the multisymplectic form formula derived for first order field theories in \cite{MPS}, to the case of second-order field theories, and we apply our theory to the Camassa-Holm (CH) equation in both the continuous and discrete settings. Our discretization produces a multisymplectic-momentum integrator, a generalization of the Moser-Veselov rigid body algorithm to the setting of nonlinear PDEs with second order Lagrangians.


title: A Reducing of the Invariant Semidefinite Subspace Problem for Krein Noncontraction to such a Problem for Krein Isometry

abstract: Definition. Let J be a period-2 unitary operator (some people say J is reflection operator or reflection symmetry) and U be a linear operator. If U^*JU = J (resp. U^*JU >= J) then U is said to be J-isometry (resp. J-noncontraction). If U^*JU >= J and UJU^* >= J) then U is said to be J-binoncontraction). Theorem. If every J-isometry has nontrivial positive invariant subspace then every J-noncontraction has such a subspace. Theorem. If every J-binoncontractive J-isometry has maximal positive invariant subspace then every J-noncontraction has such a subspace. The article text is the complete text of the author's report on 15-th Voronezh Winter Mathematical School, p 119 (see. VINITI 16.12.81, N 5691-81). But in that time the presented construtions and theorems seemed to be rather curious observations. Now the situattion is changing (see e.g. math.DS/9908169)


title: Prediction of large-scale dynamics using unresolved computations

abstract: We present a theoretical framework and numerical methods for predicting the large-scale properties of solutions of partial differential equations that are too complex to be properly resolved. We assume that prior statistical information about the distribution of the solutions is available, as is often the case in practice. The quantities we can compute condition the prior information and allow us to calculate mean properties of solutions in the future. We derive approximate ways for computing the evolution of the probabilities conditioned by what we can compute, and obtain ordinary differential equations for the expected values of a set of large-scale variables. Our methods are demonstrated on two simple but instructive examples, where the prior information consists of invariant canonical distributions


title: The Thermal Explosion Revisited

abstract: The classical problem of the thermal explosion in a long cylindrical vessel is modified so that only a fraction $\a$ of its wall is ideally thermally conducting while the remaining fraction $1-\a$ is thermally isolated. Partial isolation of the wall naturally reduces the critical radius of the vessel. Most interesting is the case when the structure of the boundary is a periodic one, so that the alternating conductive $\a$ and isolated $1-\a$ parts of the boundary occupy together the segments $2\pi/N$ ($N$ is the number of segments) of the boundary. A numerical investigation is performed. It is shown that at small $\a$ and large $N$ the critical radius obeys a scaling law with the coefficients depending upon $N$. For large $N$ is obtained that in the central core of the vessel the temperature distribution is axisymmetric. In the boundary layer near the wall having the thickness $\approx 2\pi r_0/N$ ($r_0$--the radius of the vessel) the temperature distribution varies sharply in the peripheral direction. The temperature distribution in the axisymmetric core at the critical value of the vessel radius is subcritical


title: Random words, quantum statistics, central limits, random matrices

abstract: Recently Tracy and Widom conjectured [math.CO/9904042] and Johansson proved [math.CO/9906120] that the expected shape \lambda of the semi-standard tableau produced by a random word in k letters is asymptotically the spectrum of a random traceless k by k GUE matrix. In this article we give two arguments for this fact. In the first argument, we realize the random matrix itself as a quantum random variable on the space of random words, if this space is viewed as a quantum state space. In the second argument, we show that the distribution of \lambda is asymptotically given by the usual local limit theorem, but the resulting Gaussian is disguised by an extra polynomial weight and by reflecting walls. Both arguments more generally apply to an arbitrary finite-dimensional representation V of an arbitrary simple Lie algebra g. In the original question, V is the defining representation of g = su(k).

categories: math.PR math-ph math.CO math.MP math.OA math.RT


title: The influence of the flow of the reacting gas on the conditions for a Thermal Explosion

abstract: The classical problem of thermal explosion is modified so that the chemically active gas is not at rest but is flowing in a long cylindrical pipe. Up to a certain section the heat-conducting walls of the pipe are held at low temperature so that the reaction rate is small and there is no heat release; at that section the ambient temperature is increased and an exothermic reaction begins. The question is whether a slow reaction regime will be established or a thermal explosion will occur. The mathematical formulation of the problem is presented. It is shown that when the pipe radius is larger than a critical value, the solution of the new problem exists only up to a certain distance along the axis. The critical radius is determined by conditions in a problem with a uniform axial temperature. The loss of existence is interpreted as a thermal explosion; the critical distance is the safe reactor's length. Both laminar and developed turbulent flow regimes are considered. In a computational experiment the loss of the existence appears as a divergence of a numerical procedure; numerical calculations reveal asymptotic scaling laws with simple powers for the critical distance.


title: Napoleon in isolation

abstract: Napoleon's theorem in elementary geometry describes how certain linear operations on plane polygons of arbitrary shape always produce regular polygons. More generally, certain triangulations of a polygon that tiles R^2 admit deformations which keep fixed the symmetry group of the tiling. This gives rise to isolation phenomena in cusped hyperbolic 3-manifolds, where hyperbolic Dehn surgeries on some collection of cusps leaves the geometric structure at some other collection of cusps unchanged.


title: The Kolmogorov-Obukhov Exponent in the Inertial Range of Turbulence: A Reexamination of Experimental Data

abstract: In recent papers Benzi et al. presented experimental data and an analysis to the effect that the well-known "2/3" Kolmogorov-Obukhov exponent in the inertial range of local structure in turbulence should be corrected by a small but definitely non-zero amount. We reexamine the very same data and show that this conclusion is unjustified. The data are in fact consistent with incomplete similarity in the inertial range, and with an exponent that depends on the Reynolds number and tends to 2/3 in the limit of vanishing viscosity. If further data confirm this conclusion, the understanding of local structure would be profoundly affected.


title: The cohomology structure of an algebra entwined with a coalgebra

abstract: Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the resulting complex can be considered as a $\psi$-twisted Hochschild complex of A, while for the latter one obtains a $\psi$-twist of the Cartier complex of C. The notion of a {\em weak comp algebra} is introduced by weakening the axioms of the Gerstenhaber comp algebra. It is shown that such a weak comp algebra is a cochain complex with two cup products that descend to the cohomology. It is also shown that the complexes associated to an entwining structure and A or C are examples of a weak comp algebra. Finally both complexes are combined in a double complex whose role in the deformation theory of entwining structures is outlined.


title: The Kaehler cone of a compact hyperkaehler manifold

abstract: This is an attempt towards the understanding of the (birational) Kaehler cone of a compact hyperkaehler manifold in terms of the Beauville-Bogomolov form on its second cohomology. We discuss birational correspondences between hyperkaehler manifolds and their effects on the cohomology. Many of the results are conjectural in as much as they depend on a projectivity criterion for compact hyperkaehler manifolds contained in this paper's predecessor, but in which a serious mistake has oocured. An erratum is given in Sect. 6 and a way to rescue the approach is proposed in Sect. 7.


title: John decompositions: selecting a large part

abstract: We extend the invertibility principle of J. Bourgain and L. Tzafriri to operators acting on arbitrary decompositions id = \sum x_j \otimes x_j, rather than on the coordinate one. The John's decomposition brings this result to the local theory of Banach spaces. As a consequence, we get a new lemma of Dvoretzky-Rogers type, where the contact points of the unit ball with its maximal volume ellipsoid play a crucial role. This is applied to embeddings of l_\infty^k into finite dimensional spaces.


title: Exact Estimates for Moments of Random Bilinear Forms

abstract: The present paper concentrates on the analogues of Rosenthal's inequalities for ordinary and decoupled bilinear forms in symmetric random variables. More specifically, we prove the exact moment inequalities for these objects in terms of moments of their individual components. As a corollary of these results we obtain the explicit expressions for the best constant in the analogues of Rosenthal's inequality for ordinary and decoupled bilinear forms in identically distributed symmetric random variables in the case of the fixed number of random variables.


title: Localization of elementary systems in the theory of Wigner

abstract: Starting from Wigner's theory of elementary systems and following a recent approach of Schroer we define certain subspaces of localized wave functions in the underlying Hilbert space with the help of the theory of modular von-Neumann algebras of Tomita and Takesaki. We characterize the elements of these subspaces as boundary values of holomorphic functions in the sense of distribution theory and show that the corresponding holomorphic functions satisfy the sufficient conditions of the theorems of Paley-Wiener-Schwartz and H\"{o}rmander.


title: Constrained Hamiltonian Systems and Groebner Bases

abstract: In this paper we consider finite-dimensional constrained Hamiltonian systems of polynomial type. In order to compute the complete set of constraints and separate them into the first and second classes we apply the modern algorithmic methods of commutative algebra based on the use of Groebner bases. As it is shown, this makes the classical Dirac method fully algorithmic. The underlying algorithm implemented in Maple is presented and some illustrative examples are given.


title: Completion of Linear Differential Systems to Involution

abstract: In this paper we generalize the involutive methods and algorithms devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and the Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group.


title: Sweet & Sour and other flavours of ccc forcing notions

abstract: The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on possibilities in the context of ccc forcing notions, getting a number of constructions of nicely definable ccc forcings. The second theme of the paper is a part of the general program ``how special are random and Cohen forcing notions (or: the respective ideals)''. Shelah math.LO/9303208 shows that the two forcing notions may occupy special positions in the realm of nicely definable forcing notions. In this realm we may classify forcing notions using the methods of Shelah [Sh:630] (math.LO/9712283), [Sh:669] and, for example, declare that very Souslin (or generally omega-nw-nep) ccc forcing notions are really nice. Both the Cohen forcing notion and the random forcing notion and their FS iterations (and nice subforcings) are all ccc omega-nw-nep, and Problem 4.24 of math.LO/9906113 asked if we have more examples. It occurs that our method relatively easily results in very Souslin ccc forcing notions. The third theme is Sweet & Sour, and it is related to one of the most striking differences between the random and the Cohen forcing notions that appears when we consider the respective regularity properties of projective sets: the Lebesgue measurability of Sigma^1_3 sets implies aleph_1 is inaccessible in L, while one can construct (in ZFC) a forcing notion P which forces ``projective subsets of R have the Baire property'' (see Shelah [Sh:176]).


title: Refined Kato inequalities and conformal weights in Riemannian geometry

abstract: We establish refinements of the classical Kato inequality for sections of a vector bundle which lie in the kernel of a natural injectively elliptic first-order linear differential operator. Our main result is a general expression which gives the value of the constants appearing in the refined inequalities. These constants are shown to be optimal and are computed explicitly in most practical cases.


title: Delta-Operator on Semidensities and Integral Invariants in the Batalin-Vilkovisky Geometry

abstract: The action of Batalin-Vilkovisky Delta-operator on semidensities in an odd symplectic superspace is defined. This is used for the construction of integral invariants on surfaces embedded in an odd symplectic superspace and for more clear interpretation of the Batalin-Vilkovisky formalism geometry.


title: Realization of level one representations of $U_q(\hat{\mathfrak g})$ at a root of unity

abstract: Using vertex operators, we construct explicitly Lusztig's $\mathbb Z[q, q^{-1}]$-lattice for the level one irreducible representations of quantum affine algebras of ADE type. We then realize the level one irreducible modules at roots of unity and show that the q-dimension is still given by the Weyl-Kac character formula. As a consequence we also answer the corresponding question of realizing the affine Kac-Moody Lie algebras of simply laced type at level one in finite characteristic.


title: Some bijective correspondences involving domino tableaux

abstract: We define a number of new combinatorial operations on skew semistandard domino tableaux, which together with constructions introduced earlier by C. Carre and B. Leclerc, define an elegant structure on the set of these tableaux, that closely parallels the structure defined in [math.CO/9908099] for ordinary skew semistandard tableaux, that is related to the Littlewood-Richardson rule. These operations are: (1) a bijection between semistandard domino tableaux and certain pairs of ordinary tableaux of the same weight that together fill the same shape; (2) a weight preserving transformation of domino tableaux to ordinary tableaux of a related shape (the correspondence involves 2-quotients) with the property that Yamanouchi domino tableaux correspond precisely to Littlewood-Richardson tableaux; (3) a correspondence between Yamanouchi domino tableaux of shape $\lambda$ and weight $\mu$ and Yamanouchi domino tableaux of shape $\mu'$ and weight $\lambda$, where $\mu'$ is $\mu$ scaled by a factor 2. The property at the heart of the structure so defined is that operations (1) and (2) commute with the coplactic operations (implicitly) defined by Carre and Leclerc. (1) elucidates their bijection analogous to that of Robinson (a.k.a. the Robinson-Schensted correspondence), while the operation of moving chains in domino tableaux underlying (2) is very similar to jeu de taquin.


title: The 1-line of the K-theory Bousfield-Kan spectral sequence for Spin(2n+1)

abstract: For X a simply-connected finite H-space, there is a Bousfield-Kan spectral sequence which converges to the homotopy of its K-completion. When X=Spin(2n+1), we expect that these homotopy groups equal the v1-periodic homotopy groups in dimension greater than n^2. In this paper, we accomplish two things. (1) We prove that, for any X, the 1-line of this spectral sequence is determined in an explicit way from K-theory and Adams operations. (2) For X=Spin(2n+1), we make an explicit computation of this 1-line.


title: Cellini's descent algebra and semisimple conjugacy classes of finite groups of Lie type

abstract: By algebraic group theory, there is a map from the semisimple conjugacy classes of a finite group of Lie type to the conjugacy classes of the Weyl group. Picking a semisimple class uniformly at random yields a probability measure on conjugacy classes of the Weyl group. We conjecture that this measure agrees with a second measure on conjugacy classes of the Weyl group induced by a construction of Cellini which uses the affine Weyl group. This conjecture is confirmed in special cases such as type C odd characteristic and the identity conjugacy class in type A. Models of card shuffling, old and new, arise naturally. Type A shuffles lead to interesting number theory involving Ramanujan sums. It is shown that a proof of our conjecture in type C even characteristic would give an alternate solution to a problem in dynamical systems. An idea is offered for how, at least in type A, to associate to a semisimple conjugacy class an element of the Weyl group, refining the map to conjugacy classes. This is confirmed for the simplest nontrivial example.


title: J-holomorphic curves, moment maps, and invariants of Hamiltonian group actions

abstract: We outline the construction of invariants of Hamiltonian group actions on symplectic manifolds. These invariants can be viewed as an equivariant version of Gromov-Witten invariants. They are derived from solutions of a PDE involving the Cauchy-Riemann operator, the curvature of a connection, and the moment map.


title: Reflection groups of Lorentzian lattices

abstract: The aim of this paper is to provide evidence for the following new principle: interesting reflection groups of Lorentzian lattices are controlled by certain modular forms with poles at cusps. We use this principle to explain many of the known examples of such reflection groups, and to find several new examples of reflection groups of Lorentzian lattices, including one whose fundamental domain has 960 faces.


title: Littlewood-Richardson Coefficients via Yang-Baxter Equation

abstract: The purpose of this paper is to present an interpretation for the decomposition of the tensor product of two or more irreducible representations of GL(N) in terms of a system of quantum particles. Our approach is based on a certain scattering matrix that satisfies a Yang-Baxter type equation. The corresponding piecewise-linear transformations of parameters give a solution to the tetrahedron equation. These transformation maps are naturally related to the dual canonical bases for modules over the quantum enveloping algebra $U_q(sl_n)$. A byproduct of our construction is an explicit description for the cone of Kashiwara's parametrizations of dual canonical bases. This solves a problem posed by Berenstein and Zelevinsky. We present a graphical interpretation of the scattering matrices in terms of web functions, which are related to honeycombs of Knutson and Tao.


title: Toda and KdV

abstract: The main object of this paper is to produce a deformation of the KdV hierarchy of partial differential equations. We construct this deformation by taking a certain limit of the Toda hierarchy. This construction also provides a deformation of the Virasoro algebra.


title: Lagrangian Tori Fibration of Toric Calabi-Yau manifold III: Symplectic topological SYZ mirror construction for general quintics

abstract: In this article we construct Lagrangian torus fibrations for general quintic \cy hypersurfaces near the large complex limit and their mirror manifolds using gradient flow method. Then we prove the Strominger-Yau-Zaslow mirror conjecture for this class of \cy manifolds in symplectic category.


title: Reduction of Sasakian manifolds

abstract: We show that the contact reduction can be specialized to Sasakian manifolds. We link this Sasakian reduction to K\"ahler reduction by considering the K\"ahler cone over a Sasakian manifold. We present examples of Sasakian manifolds obtained by $S^1$ reduction of standard Sasakian spheres.


title: Irreducibility of some quantum representations of mapping class groups

abstract: The SU(2) TQFT representation of the mapping class group of a closed surface of genus g, at a root of unity of prime order, is shown to be irreducible. Some examples of reducible representations are also given.


title: Contact formulas for rational plane curves via stable maps

abstract: We use stable maps, and their stable lifts to the Semple bundle variety of second-order curvilinear data, to calculate certain characteristic numbers for rational plane curves. These characteristic numbers involve first-order (tangency) and second-order (inflectional) conditions. Although they may be virtual, they may be used as inputs in an enumeratively significant formula for the number of rational curves having a triple contact with a specified plane curve and passing through 3d-3 general points.


title: Homology manifold bordism

abstract: The Bryant-Ferry-Mio-Weinberger surgery exact sequence for high-dimensional compact ANR homology manifolds is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.


title: Diophantine approximation for negatively curved manifold, I

abstract: Let M be a geometrically finite pinched negatively curved Riemannian manifold with at least one cusp. Inspired by the theory of diophantine approximation of a real (or complex) number by rational ones, we develop a theory of approximation of geodesic lines starting from a given cusp by ones returning to it. We define a new invariant for M, the {\it Hurwitz constant} of M. It measures how well all geodesic lines starting from the cusp are approximated by ones returning to it. In the case of constant curvature, we express the Hurwitz constant in terms of lengths of closed geodesics and their depths outside the cusp neighborhood. Using the cut locus of the cusp, we define an explicit approximation sequence for geodesic lines starting from the cusp and explore its properties. We prove that the modular once-punctured hyperbolic torus has the minimum Hurwitz constant in its moduli space.


title: Applications of the Wavelet Multiplicity Function

abstract: This paper examines the wavelet multiplicity function. An explicit formula for the multiplicity function is derived. An application to operator interpolation is then presented. We conclude with several remarks regarding the wavelet connectivity problem.


title: On the Translation Invariance of Wavelet Subspaces

abstract: An examination of the translation invariance of $V_0$ under dyadic rationals is presented, generating a new equivalence relation on the collection of wavelets. The equivalence classes under this relation are completely characterized in terms of the support of the Fourier transform of the wavelet. Using operator interpolation, it is shown that several equivalence classes are non-empty.


title: Extension dimension and refinable maps

abstract: Extension dimension is characterized in terms of $\omega$-maps. We apply this result to prove that extension dimension is preserved by refinable maps between metrizable spaces. It is also shown that refinable maps preserve some infinite-dimensional properties.


title: Coble Rational Surfaces

abstract: A smooth rational surface X is a Coble surface if the anti-canonical linear system is empty while the anti-bicanonical linear system is non-empty. In this note we shall classify these X and consider the finiteness problem of the number of negative curves on X modulo automorphisms.


title: Holomorphic vector bundles on primary Kodaira surfaces

abstract: It is in general unknown which topological complex vector bundles on a non-algebraic surface admit holomorphic structures. We solve this problem for primary Kodaira surfaces by using results of Kani on curves of genus two with elliptic differentials. Some of the corresponding moduli spaces will be smooth compact and holomorphically symplectic.


title: On codimension two subvarieties of P6

abstract: We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.


title: Classification of Plane Congruences in P4(C) (I)

abstract: Nondegenerate plane congruences in the four-dimensional complex projective space with degenerate general focal conic are classified by using the focal method due to Corrado Segre.


title: The Method of Ascent and cos(sqrt(A^2+b^2))

abstract: The fundamental solution for the wave equation in n variables is built from the simple one-dimensional formula, via an integral representation of the cosine of the sum of squares of self-adjoint operators. Representation formulas are given both in the commutative and non-commutative case. The formulas are illustrated for the wave equation as well as for the Klein-Gordon equati on. As examples for the non-commuting case, we discuss the harmonic oscillator and simple sum of squares hypoelliptic operators such as the Grushin operator and the Heisenberg Laplacian.


title: Classification of Plane Congruences in P4(C) (II)

abstract: We study second order focal loci of nondegenerate plane congruences in P4(C) with degenerate focal conic. We show the projective generation of such congruences when the second order focal locus fills a component of the focal conic, improving a result of Corrado Segre


title: Evaluation of Dedekind sums, Eisenstein cocycles, and special values of L-functions

abstract: We define certain higher-dimensional Dedekind sums that generalize the classical Dedekind-Rademacher sums, and show how to compute them effectively using a generalization of the continued-fraction algorithm. We present two applications. First, we show how to express special values of partial zeta functions associated to totally real number fields in terms of these sums via the Eisenstein cocycle introduced by the second author. Hence we obtain a polynomial-time algorithm for computing these special values. Second, we show how to use our techniques to compute certain special values of the Witten zeta-function, and compute some explicit examples.


title: On the characterization of complex Shimura varieties

abstract: In this paper we recall the construction and basic properties of complex Shimura varieties and show that these properties actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the conjugation of Shimura varieties. As a further corollary, we show that each Shimura variety corresponding to an adjoint group has a canonical model over its reflex field. We also indicate how this characterization implies the existence of a p-adic uniformization of certain unitary Shimura varieties. In the appendix we give a complete scheme-theoretic proof of Weil's descent theorem.


title: p-adic uniformization of unitary Shimura varieties

abstract: In this paper we generalize Cherednik's method and prove that certain Shimura varieties corresponding to groups of unitary similitudes and automorphic vector bundles over them have p-adic uniformization. This is proved for Shimura varieties, uniformized by the complex unit ball, when the central simple algebra over a CM-field defining the group of unitary similitudes has Brauer invariant 1/d at p. In this case, Shimura varieties can be uniformized by Drinfeld's covers of p-adic upper half-spaces.


title: p-adic uniformization of unitary Shimura varieties II

abstract: In this paper we show that certain Shimura varieties, uniformized by the product of complex unit balls, can be p-adically uniformized by the product (of equivariant coverings) of Drinfeld upper half-spaces. We also extend a p-adic uniformization to automorphic vector bundles. It is a continuation of our previous work [V], and contains all cases (up to a central modification) of a uniformization by known p-adic symmetric spaces. The idea of the proof is to show that an arithmetic quotient of the product of Drinfeld upper half-spaces cannot be anything else than a certain unitary Shimura variety. Moreover, we show that difficult theorems of Yau and Kottwitz appearing in [V] may be avoided.


title: Complete Computation of DeWitt-Seeley-Gilkey Coefficient E_4 for Nonminimal Operator on Curved Manifolds

abstract: Asymptotic heat kernel expansion for nonminimal differential operators on curved manifolds in the presence of gauge fields is considered. The complete expressions for the fourth coefficient E_4 in the heat kernel expansion for such operators are presented for the first time. The expressions were computed for general case of manifolds of arbitrary dimension n and also for the most important case n=4. The calculations have been carried out on PC with the help of a program written in C.


title: Spectral curves and Nahm transform for doubly-periodic instantons

abstract: We explore the role played by the spectral curves associated with Higgs pairs in the context of the Nahm transform of doubly-periodic instantons defined in "Construction of doubly-periodic instantons" (math.DG/9909069) and "Nahm transform for doubly-periodic instantons" (math.DG/9910120). More precisely, we show how to construct a triple consisting of an algebraic curve plus a line bundle with connection over it from a doubly-periodic instanton, and that these coincide with the Hitchin's spectral data associated with the Nahm transformed Higgs bundle.


title: Integration of Brownian vector fields

abstract: Using the Wiener chaos decomposition, we show that strong solutions of non Lipschitzian S.D.E.'s are given by random Markovian kernels. The example of Sobolev flows is studied in some detail, exhibiting interesting phase transitions.


title: On Galilean connections and the first jet bundle

abstract: We express the first jet bundle of curves in Euclidean space as homogeneous spaces associated to a Galilean-type group. Certain Cartan connections on a manifold with values in the Lie algebra of the Galilean group are characterized as geometries associated to systems of second order ordinary differential equations. We show these Cartan connections admit a form of normal coordinates, and that in these normal coordinates the geodesic equations of the connection are second order ordinary differential equations. We then classify such connections by some of their torsions, extending a classical theorem of Chern involving the geometry associated to a system of second order differential equations.


title: Spectral synthesis for Banach Algebras II

abstract: This paper continues the study of spectral synthesis and the topologies $\tau_{\infty}$ and $\tau_r$ on the ideal space of a Banach algebra, concentrating particularly on the class of Haagerup tensor products of C$^*$-algebras. For this class, it is shown that spectral synthesis is equivalent to the Hausdorffness of $\tau_{\infty}$. Under a weak extra condition, spectral synthesis is shown to be equivalent to the Hausdorffness of $\tau_r$.


title: Projective geometry of polygons and discrete 4-vertex and 6-vertex theorems

abstract: The paper concerns discrete versions of the three well-known results of projective differential geometry: the four vertex theorem, the six affine vertex theorem and the Ghys theorem on four zeroes of the Schwarzian derivative. We study geometry of closed polygonal lines in $\bbRP^d$ and prove that polygons satisfying a certain convexity condition have at least d+1 flattenings. This result provides a new approach to the above mentioned classical theorems.


title: The Kontsevich integral and algebraic structures on the space of diagrams

abstract: This paper is part expository and part presentation of calculational results. The target space of the Kontsevich integral for knots is a space of diagrams; this space has various algebraic structures which are described here. These are utilized with Le's theorem on the behaviour of the Kontsevich integral under cabling and with the Melvin-Morton Theorem, to obtain, in the Kontsevich integral for torus knots, both an explicit expression up to degree five and the general coefficients of the wheel diagrams.


title: Tangent Spheres and Triangle Centers

abstract: Any four mutually tangent spheres in R^3 determine three coincident lines through opposite pairs of tangencies. As a consequence, we define two new triangle centers.


title: Riemann Hypothesis

abstract: Through an equivalent condition on the Farey series set forth by Franel and Landau, we prove Riemann Hypothesis for the Riemann zeta-function and the Dirichlet L-function.


title: Sieve Method and Landau Problem

abstract: We solve Landau's four unattackable problems, including Goldbach Conjecture and Twin Prime Conjecture through sieve method.


title: The L-equivalent counterpart of the M-III equation

abstract: The connection between differential geometry of curves and the (2+1)-dimensional integrable spin system - the M-III equation is established. Using the presented geometrical formalism the L-equivalent counterpart of the M-III equation is found.


title: Compact Kac algebras and commuting squares

abstract: We consider commuting squares of finite dimensional von Neumann algebras having the algebra of complex numbers in the lower left corner. Examples include the vertex models, the spin models (in the sense of subfactor theory) and the commuting squares associated to finite dimensional Kac algebras. To any such commuting square we associate a compact Kac algebra and we compute the corresponding subfactor and its standard invariant in terms of it.


title: On the curvature of a certain Riemannian space of matrices

abstract: The curvature tensor and the scalar curvature are computed in the space of positive definite real matrices endowed by the Kubo-Mori inner product as a Riemannian metric.


title: Maximum Principles for Null Hypersurfaces and Null Splitting Theorems

abstract: A maximum principle for C^0 null hypersurfaces is obtained and used to derive a splitting theorem for spacetimes which contain null lines. As a consequence of this null splitting theorem, it is proved that an asymptotically simple vacuum (Ricci flat) spacetime which contains a null line is isometric to Minkowski space.


title: Levi-flat Minimal Hypersurfaces in Two-dimensional Complex Space Forms

abstract: The purpose of this article is to classify the real hypersurfaces in complex space forms of dimension 2 that are both Levi-flat and minimal. The main results are as follows: When the curvature of the complex space form is nonzero, there is a 1-parameter family of such hypersurfaces. Specifically, for each one-parameter subgroup of the isometry group of the complex space form, there is an essentially unique example that is invariant under this one-parameter subgroup. On the other hand, when the curvature of the space form is zero, i.e., when the space form is complex 2-space with its standard flat metric, there is an additional `exceptional' example that has no continuous symmetries but is invariant under a lattice of translations. Up to isometry and homothety, this is the unique example with no continuous symmetries.


title: Double quantization on coadjoint representations of simple Lie groups and its orbits

abstract: Let M be a manifold with an action of a Lie group G, $\A$ the function algebra on M. The first problem we consider is to construct a $U_h(\g)$ invariant quantization, $\A_h$, of $\A$, where $U_h(\g)$ is a quantum group corresponding to G. Let s be a G invariant Poisson bracket on M. The second problem we consider is to construct a $U_h(\g)$ invariant two parameter (double) quantization, $\A_{t,h}$, of $\A$ such that $\A_{t,0}$ is a G invariant quantization of $s$. We call $\A_{t,h}$ a $U_h(\g)$ invariant quantization of the Poisson bracket s. In the paper we study the cases when G is a simple Lie group and $M$ is the coadjoint representation $\g^*$ of G or a semisimple orbit in this representation. The paper is founded on the papers: J.Donin, Double quantization on the coadjoint representation of $sl(n)^*$, Czechoslovak J. of Physics, 47 (1997), no 11, 1115-1122, q-alg/9707031, and J.Donin, D.Gurevich, and S.Shnider, Double Quantization on Some Orbits in the Coadjoint Representations of Simple Lie Groups, Com. Math. Phys., 204 (1999), no. 1, 39-60, math/9807159, and contains some additional results.


title: Quandle Homology Groups, Their Betti Numbers, and Virtual Knots

abstract: Lower bounds of betti numbers for homology groups of racks and quandles will be given using the quotient homomorphism to the orbit quandles. Exact sequences relating various types of homology groups are analyzed. Geometric methods of proving non-triviality of cohomology groups are also given, using virtual knots. The results can be applied to knot theory as the first step towards evaluationg the state-sum invariants defined from quandle cohomology.


title: Asymptotic Series for Some Painlev\'E VI Solutions

abstract: The paper concerns asymptotic studies for the sixth Painlev\'e transcendent as independent variable tends to infinity. The primary tool is averaging and the Whitham method. Elliptic ansatz, appropriate modulation equation and asymptotics for some partial solution to PVI are found.


title: Coding Theory and Uniform Distributions

abstract: In the present paper we introduce and study finite point subsets of a special kind, called optimum distributions, in the n-dimensional unit cube. Such distributions are closely related with known (delta,s,n)-nets of low discrepancy. It turns out that optimum distributions have a rich combinatorial structure. Namely, we show that optimum distributions can be characterized completely as maximum distance separable codes with respect to a non-Hamming metric. Weight spectra of such codes can be evaluated precisely. We also consider linear codes and distributions and study their general properties including the duality with respect to a suitable inner product. The corresponding generalized MacWilliams identities for weight enumerators are briefly discussed. Broad classes of linear maximum distance separable codes and linear optimum distributions are explicitely constructed in the paper by the Hermite interpolations over finite fields.


title: On Bergman completeness of non-hyperconvex domains

abstract: We study the problem of the boundary behaviour of the Bergman kernel and the Bergman completeness in some classes of bounded pseudoconvex domains, which contain also non-hyperconvex domains. Among the classes for which we prove the Bergman completeness and the convergence of the Bergman kernel to infinity while tending to the boundary are all bounded pseudoconvex balanced domains, all bounded Hartogs domains with balanced fibers over regular domains and some bounded Laurent-Hartogs domains.


abstract: We find the shape of the Donaldson invariants of a 4-manifold with b_1=0 and b^+>1, which may be not of simple type. The invariants appear as the q^0 coefficient of a expression given in terms of modular forms (as was predicted by Moore and Witten). We re-express the formula using complete elliptic integrals to prove a conjecture of Kronheimer and Mrowka on the Donaldson invariants of non-simple type 4-manifolds.


title: Torus actions and combinatorics of polytopes

abstract: An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T^{m-n}\subset T^m acting freely on Z_P such that Z_P/T^{m-n}=M^{2n}. We calculate the cohomology ring of Z_P and show that it is isomorphic to the cohomology ring of the face ring of P^n regarded as a module over the polynomial ring. In this way the cohomology of Z_P acquires a bigraded algebra structure, and the additional grading allows to catch the combinatorial invariants of the polytope. At the same time this gives an example of explicit calculation of the cohomology of the complement of an arrangement of planes, which is of independent interest.


title: Numerical characteristics of groups and their interrelations

abstract: The entropy of the random walk on the discrete contable group could be used for comparison of the system of the generators. Fundamental inequality between growth, entropy and escape gives the possibility to define "the best" system of the generators. We formulate a new circle of the problems related to the various growth and asymptotics on the groups.


title: Antichains of Monomial Ideals are Finite

abstract: The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion. We present several corollaries of this result, both simpler proofs of results already in the literature and new results. One natural generalization to more abstract posets is shown to be false.


title: Random Words, Toeplitz Determinants and Integrable Systems. I

abstract: It is proved that the limiting distribution of the length of the longest weakly increasing subsequence in an inhomogeneous random word is related to the distribution function for the eigenvalues of a certain direct sum of Gaussian unitary ensembles subject to an overall constraint that the eigenvalues lie in a hyperplane.

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


title: Reconstructing a non-simple polytope from its graph

abstract: A well-known theorem of Blind and Mani says that every simple polytope is uniquely determined by its graph. Kalai gave a very short and elegant proof of this result using the concept of acyclic orientations. As it turns out, Kalai's proof can be suitably generalized without much effort. We apply our results to a special class of cubical polytopes.


title: Euler characteristics of local systems on $\mathcal{M}_2$

abstract: We calculate the Euler characteristics of the local systems S^k(V) \otimes S^l\Wedge^2(V) on the moduli space M_2 of curves of genus 2, where V is the rank 4 local system R^1\pi_*C.


title: Densest Lattice Packings of 3-Polytopes

abstract: Based on Minkowski's work on critical lattices of 3-dimensional convex bodies we present an efficient algorithm for computing the density of a densest lattice packing of an arbitrary 3-polytope. As an application we calculate densest lattice packings of all regular and Archimedean polytopes.


title: Spectral synthesis and topologies on ideal spaces for Banach *-algebras

abstract: This paper continues the study of spectral synthesis and the topologies $\tau_{\infty}$ and $\tau_r$ on the ideal space of a Banach algebra, concentrating on the class of Banach $^*$-algebras, and in particular on $L^1$-group algebras. It is shown that if a group G is a finite extension of an abelian group then $\tau_r$ is Hausdorff on the ideal space of $L^1(G)$ if and only if $L^1(G)$ has spectral synthesis, which in turn is equivalent to $G$ being compact. The result is applied to nilpotent groups, [FD]$^-$-groups, and Moore groups. An example is given of a non-compact, non-abelian group G for which $L^1(G)$ has spectral synthesis. It is also shown that if G is a non-discrete group then $\tau_r$ is not Hausdorff on the ideal lattice of the Fourier algebra A(G).


title: Algebroids - general differential calculi on vector bundles

abstract: A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in the framework of a general algebroid. Also a compatibility condition which leads, in general, to a concept of a bialgebroid.


title: Calabi-Yau threefolds of quotient type

abstract: First, we classify Calabi-Yau threefolds with infinite fundamental group by means of their minimal splitting coverings introduced by Beauville, and deduce that the nef cone is a rational simplicial cone and any rational nef divisor is semi-ample if the second Chern class is identically zero. We also derive a sufficient condition for the fundamental group to be finite in terms of the Picard number in an optimal form. Next, we give a concrete structure Theorem concerning $c_{2}$-contractions of Calabi-Yau threefolds as a generalisation and also a correction of our earlier works for simply connected ones. Finally, as an application, we show the finiteness of the isomorphism classes of $c_{2}$-contractions of each Calabi-Yau threefold.


title: Manin pairs and moment maps

abstract: A Lie group G in a group pair (D,G), integrating a Lie algebra g in a Manin pair (d,g) has a quasi-Poisson structure. We define the quasi-Poisson actions of such Lie groups G, that generalize the Poisson actions of Poisson Lie groups. We define and study the moment maps for those quasi-Poisson actions which are quasi-hamiltonian. These moment maps take values in the homogeneous space D/G. We prove an analogue of the hamiltonian reduction theorem for quasi-Poisson group actions, and we study the symplectic leaves of the orbit spaces of quasi-hamiltonian spaces.


title: Lectures on 0/1-polytopes

abstract: These lectures on the combinatorics and geometry of 0/1-polytopes are meant as an \emph{introduction} and \emph{invitation}. Rather than heading for an extensive survey on 0/1-polytopes I present some interesting aspects of these objects; all of them are related to some quite recent work and progress. 0/1-polytopes have a very simple definition and explicit descriptions; we can enumerate and analyze small examples explicitly in the computer (e.g. using {\tt polymake}). However, any intuition that is derived from the analysis of examples in ``low dimensions'' will miss the true complexity of 0/1-polytopes. Thus, in the following we will study several aspects of the complexity of higher-dimensional 0/1-polytopes: the doubly-exponential number of combinatorial types, the number of facets which can be huge, and the coefficients of defining inequalities which sometimes turn out to be extremely large. Some of the effects and results will be backed by proofs in the course of these lectures; we will also be able to verify some of them on explicit examples, which are accessible as a {\tt polymake} database.


title: Vertex operator algebras and the zeta function

abstract: We announce a new type of "Jacobi identity" for vertex operator algebras, incorporating values of the Riemann zeta function at negative integers. Using this we "explain" and generalize some recent work of S. Bloch's relating values of the zeta function with the commutators of certain operators and Lie algebras of differential operators.


title: Non-self-adjoint harmonic oscillator, compact semigroups and pseudospectra

abstract: We provide new information concerning the pseudospectra of the complex harmonic oscillator. Our analysis illustrates two different techniques for getting resolvent norm estimates. The first uses the JWKB method and extends for this particular potential some results obtained recently by E.B. Davies. The second relies on the fact that the bounded holomorphic semigroup generated by the complex harmonic oscillator is of Hilbert-Schmidt type in a maximal angular region. In order to show this last property, we deduce a non-self-adjoint version of the classical Mehler's formula.


title: An Asymptotic Formula for the Number of Smooth Values of a Polynomial

abstract: Although we expect to find many smooth numbers (i.e., numbers with no large prime factors) among the values taken by a polynomial with integer coefficients, it is unclear what the asymptotic number of such smooth values should be; this is in contrast to the related problem of counting the number of prime values of a polynomial, for which Bateman and Horn published a conjectured asymptotic formula that is widely believed to be true. We discuss how to employ the Bateman-Horn conjecture to derive an asymptotic formula for the number of smooth values of a polynomial, with the smoothness parameter in a non-trivial range. This conditional result provides a believable heuristic for the number of smooth integers among all values {F(n)}, and also among the values {F(p)} on prime arguments only.


title: On the invariant spectrum of $S^1$-invariant metrics on $S^2$

abstract: A theorem of J. Hersch (1970) states that for any smooth metric on $S^2$, with total area equal to $4\pi$, the first nonzero eigenvalue of the Laplace operator acting on functions is less than or equal to 2 (this being the value for the standard round metric). For metrics invariant under the standard $S^1$-action on $S^2$, one can restrict the Laplace operator to the subspace of $S^1$-invariant functions and consider its spectrum there. The corresponding eigenvalues will be called invariant eigenvalues, and the purpose of this paper is to analyse its possible values. We first show that there is no general analogue of Hersch's theorem, by exhibiting explicit families of $S^1$-invariant metrics with total area $4\pi$ where the first invariant eigenvalue ranges through any value between 0 and $\infty$. We then restrict ourselves to $S^1$-invariant metrics that can be embedded in ${\bf R}^3$ as surfaces of revolution. For this subclass we are able to provide optimal upper bounds for all invariant eigenvalues. As a consequence, we obtain an analogue of Hersch's theorem with an optimal upper bound (greater than 2 and geometrically interesting). This subclass of metrics on $S^2$ includes all $S^1$-invariant metrics with non-negative Gauss curvature. One of the key ideas in the proofs of these results comes from symplectic geometry, and amounts to the use of the moment map of the $S^1$-action as a coordinate function on $S^2$.


title: A Nonlinear Dynamical System on the Set of Laguerre Entire Functions

abstract: A nonlinear modification of a parabolic Cauchy problem for entire functions of a single complex variable is considered. The modification means that the time half-line is divided onto the intervals of equal length and on each such interval the evolution is to be described by the mentioned equation but at the endpoints the function is changed in a nonlinear way. If the initial function is chosen in the set of Laguerre entire functions, then the solution of the problem remains in this set. The Laguerre entire functions are obtained as uniform limits on compact subsets of the complex plane of the polynomials having real nonpositive zeros only. It is shown that the asymptotic properties of the solution change considerably when interval length reaches a threshold value. Certain applications, including limit theorems for weakly and strongly dependent random vectors, are given.


title: Application of a "Jacobi identity" for vertex operator algebras to zeta values and differential operators

abstract: We explain how to use a certain new "Jacobi identity" for vertex operator algebras, announced in a previous paper (math.QA/9909178), to interpret and generalize recent work of S. Bloch's relating values of the Riemann zeta function at negative integers with a certain Lie algebra of operators.


abstract: In this paper, we prove the rationality of Igusa's local zeta functions of semiquasihomogeneous polynomials with coefficients in a non-archimedean local field K. The proof of this result is based on Igusa's stationary phase formula and some ideas on Neron p-desingularization.


title: On equicut graphs

abstract: The size sz(G) of an l_1-graph G=(V,E) is the minimum of n_f/t_f over all its possible l_1-embeddings f into n_f-dimensional hypercube with scale t_f. In terms of v=|V|, the sum of distances between all the pairs of vertices of G is at most sz(G) v^2/4 for v even, (resp. sz(G)(v-1)(v+1)/4 for v odd). This bound is reached if and only if G is an equicut graph, that is, G admits an l_1-embedding with column sums v/2, v even (resp. (v-1)/2 for v odd). Basic properties of equicut graphs are investigated. A construction of equicut graphs from l_1-graphs via a natural doubling construction is given. It generalizes several well-known constructions of polytopes and distance-regular graphs. Large families of examples, mostly related to polytopes and distance-regular graphs, are presented.


title: Relative torsion

abstract: This paper achieves, among other things, the following: 1)It frees the main result of [BFKM] from the hypothesis of determinant class and extends this result from unitary to arbitrary representations. 2)It extends (and at the same times provides a new proof of) the main result of Bismut and Zhang [BZ] from finite dimensional representations of $\Gamma$ to representations on an ${\cal A}-$Hilbert module of finite type (${\cal A}$ a finite von Neumann algebra). The result of [BZ] corresponds to ${\cal A}=\bbc.$ 3)It provides interesting real valued functions on the space of representations of the fundamental group $\Gamma$ of a closed manifold M. These functions might be a useful source of topological and geometric invariants of M. These objectives are achieved with the help of the relative torsion $\cal R $, first introduced by Carey, Mathai and Mishchenko [CMM] in special cases. The main result of this paper calculates explicitly this relative torsion (cf Theorem 0.1).


title: Loss of tension in an infinite membrane with holes distributed by Poisson law

abstract: If one randomly punches holes in an infinite tensed membrane, when does the tension cease to exist? This problem was introduced by R. Connelly in connection with applications of rigidity theory to natural sciences. We outline a mathematical theory of tension based on graph rigidity theory and introduce several probabilistic models for this problem. We show that if the ``centers'' of the holes are distributed in R^2 according to Poisson law with parameter \lambda>0, and the distribution of sizes of the holes is independent of the distribution of their centers, the tension vanishes on all of R^2 for any value of \lambda. In fact, it follows from a more general result on the behavior of iterative convex hulls of connected subsets of R^d, when the initial configuration of subsets is distributed according to Poisson law and the sizes of the elements of the original configuration are independent of this Poisson distribution. For the latter problem we establish the existence of a critical threshold in terms of the number of iterative convex hull operations required for covering all of R^d. The processes described in the paper are somewhat related to bootstrap and rigidity percolation models.


title: Exact results for deterministic cellular automata traffic models

abstract: We present a rigorous derivation of the flow at arbitrary time in a deterministic cellular automaton model of traffic flow. The derivation employs regularities in preimages of blocks of zeros, reducing the problem of preimage enumeration to a well known lattice path counting problem. Assuming infinite lattice size and random initial configuration, the flow can be expressed in terms of generalized hypergeometric function. We show that the steady state limit agrees with previously published results.


title: Quasi-invariance and reversibility in the Fleming-Viot process

abstract: Reversible measures of the Fleming-Viot process are shown to be characterized as quasi-invariant measures with a cocycle given in terms of the mutation operator. As applications, we give certain integral characterization of Poisson-Dirichlet distributions and a proof that the stationary measure of the step-wise mutation model of Ohta-Kimura with periodic boundary condition is nonreversible.


title: The spectrum of multiplicative functions

abstract: Let S be a subset of the unit disk, and let F(s) denote the class of completely multiplicative functions f such that f(p) is in S for all primes p. The authors' main concern is which numbers arise as mean-values of functions in F(s). More precisely, let Gamma_N(S) = {1/N sum_{n <= N} f(n): f in F(S)} and Gamma(S) = lim_{N -> infinity} Gamma_N(s). The authors call Gamma(S) the spectrum of the set S, and study its properties.


title: Piecewise Euclidean structures and Eberlein's Rigidity Theorem in the singular case

abstract: In this article, we generalize Eberlein's Rigidity Theorem to the singular case, namely, one of the spaces is only assumed to be a CAT(0) topological manifold. As a corollary, we get that any compact irreducible but locally reducible locally symmetric space of noncompact type does not admit a nonpositively curved (in the Aleksandrov sense) piecewise Euclidean structure. Any hyperbolic manifold, on the other hand, does admit such a structure.


title: Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology

abstract: Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi : R \longrightarrow S of commutative noetherian rings. It is defined in terms of the structure of phi in a formal neighborhood of each point of Spec S. We characterize the l.c.i. property by different conditions on the vanishing of the Andr\'e-Quillen homology of the R-algebra S. One of these descriptions establishes a very general form of a conjecture of Quillen that was open even for homomorphisms of finite type: If S has a finite resolution by flat R-modules and the cotangent complex \cot SR is quasi-isomorphic to a bounded complex of flat S-modules, then phi is l.c.i. The proof uses a mixture of methods from commutative algebra, differential graded homological algebra, and homotopy theory. The l.c.i. property is shown to be stable under a variety of operations, including composition, decomposition, flat base change, localization, and completion. The present framework allows for the results to be stated in proper generality; many of them are new even with classical assumptions. For instance, the stability of l.c.i. homomorphisms under decomposition settles an open case in Fulton's treatment of orientations of morphisms of schemes.


title: Singular and maximal Radon transforms: Analysis and geometry

abstract: The purpose of this paper is to prove the L^p boundedness of singular Radon transforms and their maximal analogues. These operators differ from the traditional singular integrals and maximal functions in that their definition at any point x in R^n involves integration over a k-dimensional submanifold of R^n, depending on x, with k < n. The role of the underlying geometric data which determines the submanifolds and how they depend on x, makes the analysis of these operators quite different from their standard analogues. In fact, much of our work is involved in the examination of the resulting geometric situation, and the elucidation of an attached notion of curvature (a kind of ``finite-type'' condition) which is crucial for our analysis.


title: General linear and functor cohomology over finite fields

abstract: In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we extend our ability to make such Ext-group calculations by establishing several fundamental results. Throughout this paper, we work over fields of positive characteristic p.


title: Integrable Hamiltonian systems on Lie groups: Kowalevski type

abstract: The contributions of Sophya Kowalewski to the integrability theory of the equations for the heavy top extend to a larger class of Hamiltonian systems on Lie groups; this paper explains these extensions, and along the way reveals further geometric significance of her work in the theory of elliptic curves. Specifically, in this paper we shall be concerned with the solutions of the following differential system in six variables h_1,h_2,h_3,H_1,H_2,H_3 dH_1/dt = H_2 H_3 (1/c_3 - 1/c_2) + h_2 a_3 - h_3 a_2, dH_2/dt = H_1 H_3 (1/c_1 - 1/c_3) + h_3 a_1 - h_1 a_3, dH_3/dt = H_1 H_2 (1/c_2 - 1/c_1) + h_1 a_2 - h_2 a_1, dh_1/dt = h_2 H_3/c_3 - h_3 H_2/c_2 + k (H_2 a_3 - H_3 a_2), dh_2/dt = h_3 H_1/c_1 - h_1 H_3/c_3 + k (H_3 a_1 - H_1 a_3), dh_3/dt = h_1 H_2/c_2 - h_2 H_1/c_1 + k (H_1 a_2 - H_2 a_1), in which a_1,a_2,a_3,c_1,c_2,c_3 and k are constants.


title: An extension of the Artin-Mazur theorem

abstract: Let M be a compact manifold. We call a mapping f in C^r(M,M) an Artin-Mazur mapping if the number of isolated periodic points of f^n grows at most exponentially in n. Artin and Mazur posed the following problem: What can be said about the set of Artin-Mazur mappings with only transversal periodic orbits? Recall that a periodic orbit of period n is called transversal if the linearization df^n at this point has for an eigenvalue no nth roots of unity. Notice that a hyperbolic periodic point is always transversal, but not vice versa. We consider not the whole space C^r(M,M) of mappings of M into itself, but only its open subset Diff^r(M). The main result of this paper is the following theorem: Let 1 <= r < \infty. Then the set of Artin-Mazur diffeomorphisms with only hyperbolic periodic orbits is dense in the space Diff^r(M).


title: Free boundary regularity for harmonic measures and Poisson kernels

abstract: One of the basic aims of this paper is to study the relationship between the geometry of ``hypersurface like'' subsets of Euclidean space and the properties of the measures they support. In this context we show that certain doubling properties of a measure determine the geometry of its support. A Radon measure is said to be doubling with constant C if C times the measure of the ball of radius r centered on the support is greater than the measure of the ball of radius 2r and the same center. We prove that if the doubling constant of a measure on \R^{n+1} is close to the doubling constant of the n-dimensional Lebesgue measure then its support is well approximated by n-dimensional affine spaces, provided that the support is relatively flat to start with. Primarily we consider sets which are boundaries of domains in \R^{n+1}. The n-dimensional Hausdorff measure may not be defined on the boundary of a domain in R^{n+1}. Thus we turn our attention to the harmonic measure which is well behaved under minor assumptions. We obtain a new characterization of locally flat domains in terms of the doubling properties of their harmonic measure. Along these lines we investigate how the ``weak'' regularity of the Poisson kernel of a domain determines the geometry of its boundary.


title: Symmetric cube L-functions for GL_2 are entire

abstract: The purpose of this paper is to prove the long awaited holomorphy of the third symmetric power L-functions attached to nonmonomial cusp forms of GL_2 over an arbitrary number field on the whole complex plane.


title: Hessian measures II

abstract: In our previous paper on this topic, we introduced the notion of k-Hessian measure associated with a continuous k-convex function in a domain \Om in Euclidean n-space, k=1,...,n, and proved a weak continuity result with respect to local uniform convergence. In this paper, we consider k-convex functions, not necessarily continuous, and prove the weak continuity of the associated k-Hessian measure with respect to convergence in measure. The proof depends upon local integral estimates for the gradients of k-convex functions.


title: On modular forms of characteristic p>0

abstract: We compare modular forms of characteristic $p>0$ (i.e. Drinfeld's modular forms) and automorphic forms. We prove that spaces of these modular forms (which are of characteristic $p$) can be described by function spaces of characteristic zero, close to those of automorphic forms.


title: Clifford algebras and Shimura's lift for Theta-series

abstract: In this paper we use automorph class theory formalism to construct a lifting of similitudes of quadratic Z-modules of arbitrary ternary nondegenerate quadratic forms to morphisms between certain subrings of associated Clifford algebras. The construction explains and generalizes Shimura's correspondence in the case of theta-series of positive-definite quadratic forms. Relations between associated zeta-functions are considered.


title: Classification of Equivariant Complex Vector Bundles over a Circle

abstract: In this paper we characterize the fiber representations of equivariant complex vector bundles over a circle and classify these bundles. We also treat the triviality of equivariant complex vector bundles over a circle by investigating the extensions of representations. As a corollary of our results, we calculate the reduced equivariant K-group of a circle for any compact Lie group.


title: A new construction of compact 8-manifolds with holonomy Spin(7)

abstract: The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. In a previous paper (Invent. math. 123 (1996), 507-552) the author constructed the first examples of compact 8-manifolds with holonomy Spin(7), by resolving orbifolds T^8/G, where T^8 is the 8-torus and G a finite group of automorphisms of T^8. This paper describes a different construction of compact 8-manifolds with holonomy Spin(7). We start with a Calabi-Yau 4-orbifold Y with isolated singularities, and an isometric, antiholomorphic involution \sigma of Y fixing only the singular points. Let Z=Y/<\sigma>. Then Z is an orbifold with isolated singularities, and a natural Spin(7)-structure. We resolve the singular points of Z to get a compact 8-manifold M, and show that M has holonomy Spin(7). Taking Y to be a hypersurface in a complex weighted projective space, we construct new examples of compact 8-manifolds with holonomy Spin(7), and calculate their Betti numbers b^k. The fourth Betti number b^4 tends to be rather large, as high as 11,662 in one example.


title: Theta Functions Associated with the Affine Root Systems and the Elliptic Ruijsenaars Operators

abstract: We study a family of mutually commutative difference operators associated with the affine root systems. These operators act on the space of meromorphic functions on the Cartan subalgebra of the affine Lie algebra. We show that the space spanned by the characters of a fixed positive level is invariant under the action of these operators.


title: The Gromov-Witten potential of a point, Hurwitz numbers, and Hodge integrals

abstract: Hurwitz numbers, which count certain covers of the projective line (or, equivalently, factorizations of permuations into transpositions), have been extensively studied for over a century. The Gromov-Witten potential F of a point, the generating series for Hodge integrals on the moduli space of curves, has been a central object of study in Gromov-Witten theory. We define a slightly enriched Gromov-Witten potential G (including integrals involving one "lambda-class"), and show that after a non-trivial change of variables, G=H in positive genus, where H is a generating series for Hurwitz numbers. We prove a conjecture of Goulden and Jackson on higher genus Hurwitz numbers, which turns out to be an analogue of a genus expansion ansatz of Itzykson and Zuber. As consequences, we have new combinatorial constraints on F, and a much more direct proof of the ansatz of Itzykson and Zuber. We can produce recursions and explicit formulas for Hurwitz numbers; the algorithm presented should prove "all" such recursions. Furthermore, there are many more recursions than previously suspected from geometry (and indeed they should exist in all genera); as examples we present surprisingly simple new recursions in genus up to 3 that are geometrically mysterious. As we expect this paper also to be of interest to combinatorialists, we have tried to make it as self-contained as possible, including reviewing some results and definitions well known in algebraic and symplectic geometry, and mathematical physics.


title: Phase transition and percolation in Gibbsian particle models

abstract: We discuss the interrelation between phase transitions in interacting lattice or continuum models, and the existence of infinite clusters in suitable random-graph models. In particular, we describe a random-geometric approach to the phase transition in the continuum Ising model of two species of particles with soft or hard interspecies repulsion. We comment also on the related area-interaction process and on perfect simulation.


title: The Syntax of Coherence

abstract: This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded, many coherence results become simple statements about the quasi-Yoneda lemma and 2-theory-morphisms. Given two 2-theories and a 2-theory-morphism between them, we explore the induced relationship between the corresponding 2-categories of algebras. The strength of the induced quasi-adjoints are classified by the strength of the 2-theory-morphism. These quasi-adjoints reflect the extent to which one structure can be replaced by another. A two-dimensional analogue of the Kronecker product is defined and constructed. This operation allows one to generate new coherence laws from old ones.


title: N=1 Neveu-Schwarz vertex operator superalgebras over Grassmann algebras and with odd formal variables

abstract: The notions of N=1 Neveu-Schwarz vertex operator superalgebra over a Grassmann algebra and with odd formal variables and of N=1 Neveu-Schwarz vertex operator superalgebra over a Grassmann algebra and without odd formal variables are introduced, and we show that the respective categories of such objects are isomorphic. The weak supercommutativity and weak associativity properties for an N=1 Neveu-Schwarz vertex operator superalgebra with odd formal variables are established, and we show that in the presence of the other axioms, weak supercommutativity and weak associativity are equivalent to the Jacobi identity. In addition, we prove the supercommutativity and associativity properties for an N=1 Neveu-Schwarz vertex operator superalgebra with odd formal variables and show that in the presence of the other axioms, supercommutativity and associativity are equivalent to the Jacobi identity.


title: Topological Dynamics on Moduli Spaces, I

abstract: Let M be a one-holed torus with boundary $\partial M$ (a circle) and $\Gamma$ the mapping class group of M fixing $\partial M$. The group $\Gamma$ acts on ${\mathcal M}_{\mathcal C}(SU(2))$ which is the space of SU(2)-gauge equivalence classes of flat SU(2)-connections on M with fixed holonomy on $\partial M$. We study the topological dynamics of the $\Gamma$-action and give conditions for the individual $\Gamma$-orbits to be dense in ${\mathcal M}_{\mathcal C}(SU(2))$.


title: Dwork cohomology, de Rham cohomology, and hypergeometric functions

abstract: In the 1960s, Dwork developed a p-adic cohomology theory of de Rham type for varieties over finite fields, based on a trace formula for the action of a Frobenius operator on certain spaces of p-adic analytic functions. One can consider a purely algebraic analogue of Dwork's theory for varieties over a field of characteristic zero and ask what is the connection between this theory and ordinary de Rham cohomology. N. Katz showed that Dwork cohomology coincides with the primitive part of de Rham cohomology for smooth projective hypersurfaces, but the exact relationship for varieties of higher codimension has been an open question. In this article, we settle the case of smooth affine complete intersections.


title: Homotopy field theory in dimension 2 and group-algebras

abstract: We apply the idea of a topological quantum field theory (TQFT) to maps from manifolds into topological spaces. This leads to a notion of a (d+1)-dimensional homotopy quantum field theory (HQFT) which may be described as a TQFT for closed d-dimensional manifolds and (d+1)-dimensional cobordisms endowed with homotopy classes of maps into a given space. For a group $\pi$, we introduce cohomological HQFT's with target $K(\pi,1)$ derived from cohomology classes of $\pi$ and its subgroups of finite index. The main body of the paper is concerned with (1+1)-dimensional HQFT's. We classify them in terms of so called crossed group-algebras. In particular, the cohomological (1+1)-dimensional HQFT's over a field of characteristic 0 are classified by simple crossed group-algebras. We introduce two state sum models for (1+1)-dimensional HQFT's and prove that the resulting HQFT's are direct sums of rescaled cohomological HQFT's. We also discuss a version of the Verlinde formula in this setting.


title: Estimating the J function without edge correction

abstract: The interaction between points in a spatial point process can be measured by its empty space function F, its nearest-neighbour distance distribution function G, and by combinations such as the J-function $J = (1-G)/(1-F)$. The estimation of these functions is hampered by edge effects: the uncorrected, empirical distributions of distances observed in a bounded sampling window W give severely biased estimates of F and G. However, in this paper we show that the corresponding {\em uncorrected} estimator of the function $J=(1-G)/(1-F)$ is approximately unbiased for the Poisson case, and is useful as a summary statistic. Specifically, consider the estimate $\hat{J}_W$ of J computed from uncorrected estimates of F and G. The function $J_W(r)$, estimated by $\hat{J}_W$, possesses similar properties to the J function, for example $J_W(r)$ is identically 1 for Poisson processes. This enables direct interpretation of uncorrected estimates of J, something not possible with uncorrected estimates of either F, G or K. We propose a Monte Carlo test for complete spatial randomness based on testing whether $J_W(r)(r)\equiv 1$. Computer simulations suggest this test is at least as powerful as tests based on edge corrected estimators of J.


title: A connected component of the moduli space of surfaces of general type with $p_g=0$

abstract: Let S be a minimal surface of general type with $p_g(S)=0$ and such that the bicanonical map $\phi:S\to \pp^{K^2_S}$ is a morphism: then the degree of $\phi$ is at most 4 and if it is equal to 4 then $K^2_S\le 6$. Here we prove that if $K^2_S=6$ and $\deg \phi=4$ then S is a so-called {\em Burniat surface}. In addition we show that minimal surfaces with $p_g=0$, $K^2=6$ and bicanonical map of degree 4 form a 4-dimensional irreducible connected component of the moduli space of surfaces of general type.


title: A numerical scheme for impact problems

abstract: We consider a mechanical system with impact and n degrees of freedom, written in generalized coordinates. The system is not necessarily Lagrangian. The representative point of the system must remain inside a set of constraints K; the boundary of K is three times differentiable. At impact, the tangential component of the impulsion is conserved, while its normal coordinate is reflected and multiplied by a given coefficient of restitution e between 0 and 1. The orthognality is taken with respect to the natural metric in the space of impulsions. We define a numerical scheme which enables us to approximate the solutions of the Cauchy problem: this is an ad hoc scheme which does not require a systematic search for the times of impact. We prove the convergence of this numerical scheme to a solution, which yields also an existence result. Without any a priori estimates, the convergence and the existence are local; with some a priori estimates, the convergence and the existence are proved on intervals depending exclusively on these estimates. This scheme has been implemented with a trivial and a non trivial mass matrix.


title: Moduli of Vector Bundles on Curves in Positive Characteristics

abstract: Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 (with determinant equal to a theta characteristic) whose Frobenius pull-back is not semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.


title: Invariants of Measure and Category

abstract: A survey of recent results concerning cardinal invariants of measure and category. Submitted as a chapter of the upcoming Handbook of Set Theory.


title: Hochschild DGLAs and torsion algebras

abstract: The associator of a non-associative algebra is the curvature of the Hochschild quasi-complex. The relationship ``curvature-associator'' is investigated. Based on this generic example, we extend the geometric language of vector fields to a purely algebraic setting, similar to the context of Gerstenhaber algebras. We interprete the elements of a non-associative algebra with a Lie bracket as ``vector fields'' and the multiplication as a connection. We investigate conditions for the existance of an ``algebra of functions'' having as algebra of derivations the original non-associative algebra.


title: Completion of the Conjecture: Quantum Cohomology of Fano Hypersurfaces

abstract: In this paper, we propose the formulas that compute all the rational structural constants of the quantum K\"ahler sub-ring of Fano hypersurfaces.


title: Some Topics in coalgebra calculus

abstract: We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of bicomodules over a given coalgebra has been proposed. Various notions of duality have been analysed in this context.


title: Symmetrized random permutations

abstract: Selecting N random points in a unit square corresponds to selecting a random permutation. By putting 5 types of symmetry restrictions on the points, we obtain subsets of permutations : involutions, signed permutations and signed involutions. We are interested in the statistics of the length of the longest up/right path of random points selections in each symmetry type as the number of points increases to infinity. The limiting distribution functions are expressed in terms of Painlev\'e II equation. Some of them are Tracy-Widom distributions in random matrix theory, while there are two new classes of distribution functions interpolating GOE and GSE, and GUE and GOE^2 Tracy-Widom distribution functions. Also some applications and related topics are discussed.


title: New presentations of surface braid groups

abstract: In this paper we give new presentations of the braid groups and the pure braid groups of a closed surface. We also give an algorithm to solve the word problem in these groups, using the given presentations.


title: Rational curves on holomorphic symplectic fourfolds

abstract: Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F). We prove that these conjectures are true in an open subset of the moduli space using deformation theory. The Fano variety of lines contained in a cubic fourfold is an example of a holomorphic symplectic fourfold. Our conjectures imply many concrete geometric statements about cubic fourfolds which may be verified using projective geometry.


title: New Li--Yau--Hamilton Inequalities for the Ricci Flow via the Space-time Approach

abstract: We generalize Hamilton's matrix Li-Yau-type Harnack estimate for the Ricci flow by considering the space of all LYH (Li-Yau-Hamilton) quadratics that arise as curvature tensors of space-time connections satisfying the Ricci flow with respect to the natural space-time degenerate metric. As a special case, we employ scaling arguments to derive a linear-type matrix LYH estimate. The new LYH quadratics obtained in this way are associated to the system of the Ricci flow coupled to a 1-form and a 2-form evolving by heat-type equations. In the case of a Kaehler solution, a special case of our linear-type trace LYH estimate is weaker than but qualitatively equivalent to Hamilton's trace estimate.


title: A cohomological property of Lagrange multipliers

abstract: The method of Lagrange multipliers relates the critical points of a given function f to the critical points of an auxiliary function F. We establish a cohomological relationship between f and F and use it, in conjunction with the Eagon-Northcott complex, to compute the sum of the Milnor numbers of the critical points in certain situations.


title: Computations of Complex Equivariant Bordism Rings

abstract: In this paper we compute homotopical bordism rings $MU^G_*$ for abelian compact Lie groups G, giving explicit generators and relations. The key constructions are operations on equivariant bordism which should play an important role in equivariant stable homotopy theory more generally. The main technique used is localization of the theory by inverting Euler classes. Applications to homotopy theory include analysis of the completion map from $MU^G_*$ to $MU^*(BG)$. Applications to geometry include classification up to cobordism of S^1 actions on stably complex four-manifolds with precisely three fixed points, answering a question of Bott.


title: Transversality Obstructions and Equivariant Bordism for G=Z/2

abstract: In this paper we compute homotopical equivariant bordism for the group ${\bf Z/2}$, namely $MO^{\bf Z/2}$, geometric equivariant bordism $\Omega^{\bf Z/2}_*$, and their quotient as modules over geometric bordism. This quotient is a module of stable transversality obstructions. In doing these computations, we use the techniques the author developed in the complex setting. Because we are working in the real setting only with Z/2, these techniques simplify greatly.


title: Representations of the homotopy surface category of a simply connected space

abstract: We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected background space, monoidal functors from this category to vector spaces can be interpreted in terms of Frobenius algebras with additional structure.


title: Rational homotopy types of mirror manifolds

abstract: We explain how to relate the problem of finding a mirror manifold for a Calabi-Yau manifold to the problem of characterizing the rational homotopy types of closed K\"{a}hler manifolds.


title: Delocalized equivariant coholomogy of symmetric products

abstract: For any closed complex manifold $X$, we calculate the Poincar\'{e} and Hodge polynomials of the delocalized equivariant cohomology $H^*(X^n, S_n)$ with a grading specified by physicists. As a consequence, we recover a special case of a formula for the elliptic genera of symmetric products in Dijkgraaf-Moore-Verlinde-Verlinde \cite{Dij-Moo-Ver-Ver}. For a projective surface X, our results matches with the corresponding formulas for the Hilbert scheme of X^[n]. We also give geometric construction of an action of a Heisenberg superalgebra on $\sum_{n \geq 0} H^{*,*}(X^n, S_n)$, imitating the constructions for equivariant K-theory by Segal \cite{Seg} and Wang \cite{Wan}. There is a corresponding version for $H^{-*, *}$.


title: Calculations of the Hirzebruch $\chi_y$ genera of symmetric products by the holomorphic Lefschetz formula

abstract: We calculate the Hirzebruch $\chi_y$ and $\hat{\chi}_y$-genera of symmetric products of closed complex manifolds by the holomorphic Lefschetz formula of Atiyah and Singer \cite{Ati-Sin}. Such calculation rederive some formulas proved in an earlier paper \cite{Zho} by a different method.


title: Determinantal hypersurfaces

abstract: Let X be a smooth hypersurface in projective space. We discuss in this paper when X can be defined by an equation det M = 0 (resp. pf M = 0), where M is a matrix (resp. a skew-symmetric matrix) with homogeneous entries. Standard homological algebra methods show that this is equivalent to produce a line bundle (resp. a rank 2 vector bundle) E of a certain type on X . We discuss a number of applications for hypersurfaces of small dimension. An Appendix by F.-O. Schreyer proves (using Macaulay 2) that a general form of degree d in P^3 (resp. P^4) can be written as the pfaffian of a skew-symmetric (2d)x(2d) matrix with linear entries in the expected range, that is d < 16 (resp. d < 6).


title: Covering and gluing of algebras and differential algebras

abstract: Extending work of Budzynski and Kondracki, we investigate coverings and gluings of algebras and differential algebras. We describe in detail the gluing of two quantum discs along their classical subspace, giving a C*-algebra isomorphic to a certain Podles sphere, as well as the gluing of U_{\sqrt{q}}(sl_2)-covariant differential calculi on the discs.


title: Diagonalization of non-diagonalizable discrete holomorphic dynamical systems

abstract: We describe a canonical procedure for associating to any (germ of) holomorphic self-map f of C^n fixing the origin such that df_O is invertible and non-diagonalizable an n-dimensional complex manifold M, a holomorphic map p from M to C^n, a point e in M and a (germ of) holomorphic self-map F of M so that: p restricted to the complement of p^{-1}(O) is a biholomorphism between this complement and C^n minus the origin; p semiconjugates f and F; and e is a fixed point of F such that dF_e is diagonalizable. Furthermore, we use this construction to describe the local dynamics of such an f nearby the origin when the only eigenvalue of df_O is 1.


title: Propagation of singularities in many-body scattering in the presence of bound states

abstract: We describe the propagation of singularities of tempered distributional generalized eigenfunctions of many-body Hamiltonians at non-threshold energies under the assumption that the inter-particle interactions are real-valued polyhomogeneous symbols of order -1 (e.g. Coulomb-type, but without the singularity at the origin). Here the term `singularity' refers to a microlocal description of the lack of decay at infinity. We use this result to describe the wave front relation of the S-matrices. We also analyze Lagrangian properties of this relation, which shows that the relation is not `too large' in terms of its dimension.


title: Splitting fields of G-varieties

abstract: Let $G$ be an algebraic group, $X$ a generically free $G$-variety, and $K=k(X)^G$. A field extension $L$ of $K$ is called a splitting field of $X$ if the image of the class of $X$ under the natural map $H^1(K, G) \mapsto H^1(L, G)$ is trivial. If $L/K$ is a (finite) Galois extension then $\Gal(L/K)$ is called a splitting group of $X$. We prove a lower bound on the size of a splitting field of $X$ in terms of fixed points of nontoral abelian subgroups of $G$. A similar result holds for splitting groups. We give a number of applications, including a new construction of noncrossed product division algebras.


title: The first fundamental theorem of coinvariant theory for the quantum general linear group

abstract: We prove First Fundamental Theorems of Coinvariant Theory for the standard coactions of the quantum general and special linear groups on tensor products of quantum matrix algebras. More precisely, let m,n,t be arbitrary positive integers, let A and B be the quantum coordinate rings of the $t \times t$ general and special linear groups over an arbitrary field K, and let $C_{m,t}$ and $C_{t,n}$ denote the quantum coordinate rings of $m \times t$ and $t \times n$ matrices over K. We first prove that the set of coinvariants for the coaction of A on $C_{m,t} \otimes C_{t,n}$ equals the image of the natural K-algebra map from the quantum coordinate ring of $m \times n$ matrices to $C_{m,t} \otimes C_{t,n}$ induced by comultiplication. The set of coinvariants for the coaction of B on $C_{m,t} \otimes C_{t,n}$ is shown to be the subalgebra generated by the above image together with a tensor product of two algebras generated by $t \times t$ quantum minors.


title: Topological Dynamics on Moduli Spaces II

abstract: Let M be a Riemann surface with boundary $\partial M$ and genus greater than zero. Let $\Gamma$ be the mapping class group of M fixing $\partial M$. The group $\Gamma$ acts on ${\mathcal M}_{\mathcal C} = \Hom_{\mathcal C}(\pi_1(M),SU(2)/SU(2)$ which is the space of SU(2)-gauge equivalence classes of flat SU(2)-connections on M with fixed holonomy on $\partial M$. We study the topological dynamics of the $\Gamma$-action and give conditions for the individual $\Gamma$-orbits to be dense in ${\mathcal M}_{\mathcal C}$.


title: The Moduli of Flat U(p,1) Structures on Riemann Surfaces

abstract: For a compact Riemann surface $X$ of genus $g > 1$, $\Hom(\pi_1(X), U(p,1))/U(p,1)$ is the moduli space of flat $\U(p,1)$-connections on $X$. There is an integer invariant, $\tau$, the Toledo invariant associated with each element in $\Hom(\pi_1(X), U(p,1))/U(p,1)$. If $q = 1$, then $-2(g-1) \le \tau \le 2(g-1)$. This paper shows that $\Hom(\pi_1(X), U(p,1))/U(p,1)$ has one connected component corresponding to each $\tau \in 2Z$ with $-2(g-1) \le \tau \le 2(g-1)$. Therefore the total number of connected components is $2(g-1) + 1$.


title: The spectrum and isometric embeddings of surfaces of revolution

abstract: An upper bound on the first S^1 invariant eigenvalue of the Laplacian for invariant metrics on the 2-sphere is used to find obstructions to the existence of isometric embeddings of such metrics in (R^3,can). As a corollary we prove: If the first four distinct eigenvalues have even multiplicities then the surface of revolution cannot be isometrically embedded in (R^3,can). This leads to a generalization of a classical result in the theory of surfaces.


title: Multi-linear operators given by singular multipliers

abstract: We prove L^p estimates for a large class of multi-linear operators, which includes the multi-linear paraproducts studied by Coifman and Meyer, as well as the bilinear Hilbert transform.


title: The Structure Equations of a Complex Finsler Manifold

abstract: For a strongly pseudo-convex complex Finsler manifold M, a bundle U of adapted unitary frames is canonically defined. A non-linear Hermitian connection on U, invariant under local biholomorphic isometries, is given and it proved to be unique. By means of such connection, an absolute parallelism on U is determined and a new set of structure functions which generate all the isometric invariants of a Finsler metric is obtained. A pseudo-convex complex Finsler manifolds M, which admits a totally geodesic complex curve with a given constant holomorphic sectional curvature through any point and any direction, is called E-manifold. Main examples of E-manifolds are the smoothly bounded, strictly convex domains in C^n, endowed with the Kobayashi metric. A complete characterization of E-manifolds, using the previously defined structure functions, is given and a smaller set of generating functions for the isometric invariants of E-manifolds is determined.


title: Time-dependent rescalings and Lyapunov functionals for the Vlasov-Poisson and Euler-Poisson systems, and for related models of kinetic equations, fluid dynamics and quantum physics

abstract: We investigate rescaling transformations for the Vlasov-Poisson and Euler-Poisson systems and derive in the plasma physics case Lyapunov functionals which can be used to analyze dispersion effects. The method is also used for studying the long time behaviour of the solutions and can be applied to other models in kinetic theory (2-dimensional symmetric Vlasov-Poisson system with an external magnetic field), in fluid dynamics (Euler system for gases) and in quantum physics (Schr\"odinger-Poisson system, nonlinear Schr\"odinger equation).


title: On the Hilbert Transform and C^2 Families of Lines

abstract: The paper has been withdrawn by the author.


title: Gerstenhaber bracket on double Hochschild complex and deformation theory

abstract: We construct a differential and a Lie bracket on the space\linebreak $\{\Hom (A^{\otimes k}, A^{\otimes l})\},_{k,l\ge 0}$ for any associative algebra $A$. The restriction of this bracket to the space $\{\Hom (A^{\otimes k}, A)\},_{k\ge 0}$ is exactly the Gerstenhaber bracket. We discuss some formality conjecture related with this construction. We also discuss some applications to deformation theory.


title: Boundedness of Fano threefolds with log-terminal singularities of given index

abstract: We prove the boundedness theorem for Fano threefolds with log-terminal singularities of any fixed index. This is an improvement of our earlier result, where we required additionally that the variety is Q-factorial, with Picard number 1. The new ideas of the paper include the following. 1. Using Alexeev Minimal Model program with suitable boundary to find horizontal extremal contractions. 2. Using Koll\'ar's effective Base Point Freeness theorem. 3. Using Kawamata's result on the length of extremal curves with suitable boundary to avoid gluing curves in some cases.


title: Special Values of Multiple Polylogarithms

abstract: Historically, the polylogarithm has attracted specialists and non-specialists alike with its lovely evaluations. Much the same can be said for Euler sums (or multiple harmonic sums), which, within the past decade, have arisen in combinatorics, knot theory and high-energy physics. More recently, we have been forced to consider multidimensional extensions encompassing the classical polylogarithm, Euler sums, and the Riemann zeta function. Here, we provide a general framework within which previously isolated results can now be properly understood. Applying the theory developed herein, we prove several previously conjectured evaluations, including an intriguing conjecture of Don Zagier.