title: Odd-Symplectic group in First order PDE

abstract: It is shown that the characteristic vector field associated to a first order PDE has the same form of an infinitesimal generator of an odd-symplectic transformation with contact Hamiltonian the given PDE. It is considered under which condition such PDE has a characteristic vector field commuting with a generator of an odd-symplectic action.


title: Virtual algebraic Lie theory: Tilting modules and Ringel duals for blob algebras

abstract: We construct a representation of the blob algebra over a ring allowing base change to every interesting (i.e. non--semisimple) specialisation which, in quasihereditary specialisations, passes to a full tilting module.


title: Reduction numbers and initial ideals

abstract: The reduction number r(A) of a standard graded algebra A is the least integer k such that there exists a minimal reduction J of the homogeneous maximal ideal m of A such that Jm^k=m^{k+1}. Vasconcelos conjectured that the reduction number of A=R/I can only increase by passing to the initial ideal, i.e r(R/I)\leq r(R/in(I)). The goal of this note is to prove the conjecture.


title: Castelnuovo-Mumford regularity of products of ideals

abstract: We discuss the behavior of the Castelnuovo-Mumford regularity under certain operations on ideals and modules, like products or powers. In particular, we show that reg(IM) can be larger than reg(M)+reg(I) even when I is an ideal of linear forms and M is a module with a linear resolution. On the other hand, we show that any product of ideals of linear forms has a linear resolution. We also discuss the case of polymatroidal ideals and show that any product of determinantal ideals of a generic Hankel matrix has a linear resolution.


title: A note on cancellation of reflexive modules

abstract: We prove that cancellation of reflexive modules over affine rings holds under some restrictions. We construct examples to show that this is false even over polynomial rings without the extra assumptions.


title: Coxeter decompositions of hyperbolic simplices

abstract: Let X be a space of constant curvature and P be a convex polyhedron in X. A Coxeter decomposition of the polyhedron P is a decomposition of P into finitely many Coxeter polyhedra, such that any two polyhedra having a common facet are symmetric with respect to this facet. In this paper we classify Coxeter decompositions of simplices in hyperbolic space of dimension greater than 3. The problem is close to the classification of the finite index subgroups in the discrete hyperbolic reflection groups.


title: Nonlinear Filtering of Diffusion Processes in Correlated Noise: Analysis by Separation of Variables

abstract: An approximation to the solution of a stochastic parabolic equation is constructed using the Galerkin approximation followed by the Wiener Chaos decomposition. The result is applied to the nonlinear filtering problem for the time homogeneous diffusion model with correlated noise. An algorithm is proposed for computing recursive approximations of the unnormalized filtering density and filter, and the errors of the approximations are estimated. Unlike most existing algorithms for nonlinear filtering, the real-time part of the algorithm does not require solving partial differential equations or evaluating integrals. The algorithm can be used for both continuous and discrete time observations.


title: The structure of the core of ideals

abstract: The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of adjoint of an ideal. Being an a priori infinite intersection of ideals, the core is difficult to describe explicitly. We prove in a broad setting that: ${\rm core}(I)$ is a finite intersection of minimal reductions; ${\rm core}(I)$ is a finite intersection of general minimal reductions; ${\rm core}(I)$ is the contraction to $R$ of a `universal' ideal; ${\rm core}(I)$ behaves well under flat extensions. The proofs are based on general multiplicity estimates for certain modules.


title: Core and residual intersections of ideals

abstract: D. Rees and J. Sally defined the core of an $R$-ideal $I$ as the intersection of all $($minimal$)$ reductions of $I$. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen-Macaulay ring. We also find sharp bounds on the number of minimal reductions that one needs to intersect to get the core.


title: Reduction numbers of links of irreducible varieties

abstract: The reductions of an ideal $I$ give a natural pathway to the properties of $I$, with the advantage of having fewer generators. In this paper we primarily focus on a conjecture about the reduction exponent of links of a broad class of primary ideals. The existence of an algebra structure on the Koszul and Eagon-Northcott resolutions is the main tool for detailing the known cases of the conjecture. In the last section we relate the conjecture to a formula involving the length of the first Koszul homology modules of these ideals.


title: Core of projective dimension onemodules

abstract: The core of a projective dimension one module is computed explicitly in terms of Fitting ideals. In particular, our formula recovers previous work by R. Mohan on integrally closed torsionfree modules over a two-dimensional regular local ring.


title: Generic Gaussian ideals

abstract: The content of a polynomial $f(t)$ is the ideal generated by its coefficients. Our aim here is to consider a beautiful formula of Dedekind-Mertens on the content of the product of two polynomials, to explain some of its features from the point of view of Cohen-Macaulay algebras and to apply it to obtain some Noether normalizations of certain toric rings. Furthermore, the structure of the primary decomposition of generic products is given and some extensions to joins of toric rings are considered.


title: Q-Gorenstein splinter rings of characteristic p are F-regular

abstract: An integral domain R is said to be a splinter if it is a direct summand, as an R-module, of every module-finite extension ring. Hochster's direct summand conjecture is precisely the conjecture that every regular local ring is a splinter. An integral domain containing the rational numbers is a splinter if and only if it is a normal ring, but the notion is more subtle for rings of positive characteristic: F-regular rings are splinters, and Hochster and Huneke proved that the converse is true for Gorenstein rings. We extend their result by showing that Q-Gorenstein splinters of positive characteristic are F-regular.


title: A generalized Dedekind-Mertens lemma and its converse

abstract: We study content ideals of polynomials and their behavior under multiplication. We give a generalization of the Lemma of Dedekind-Mertens and prove the converse under suitable dimensionality restrictions.


title: The Group of Symmetries of the shorter Moonshine Module

abstract: It is shown that the automorphism group of the shorter Moonshine module constructed in my Ph.D. thesis (also called Baby Monster vertex operator superalgebra) is the direct product of the finite simple group known as the Baby Monster and the cyclic group of order 2.


title: Evaluations of initial ideals and Castelnuovo-Mumford regularity

abstract: This paper characterizes the Castelnuovo-Mumford regularity by evaluating the initial ideal with respect to the reverse lexicographic order.


title: Some consequences of a recursive number-theoretic relation that is not the standard interpretation of any of its formal representations

abstract: We give a precise definition of a formal mathematical object as any symbol for an individual constant, predicate letter, or a function letter that can be introduced through definition into a formal mathematical language without inviting inconsistency. We then show: there is an elementary, recursive, number-theoretic relation that is not a formal mathematical object, since it is not the standard interpretation of any of its representations in Goedel's formal system P; the range of a recursive number-theoretic function does not always define a (recursively enumerable set) formal mathematical object consistently in any Axiomatic Set Theory that models P; there is no P-formula, Con(P), whose standard interpretation is unambiguously equivalent to Goedel's number-theoretic definition of "P is consistent"; every recursive number-theoretic function is not strongly representable in P; Tarski's definitions of "satisfiability" and "truth" can be made constructive, and intuitionistically unobjectionable, by reformulating Church's Thesis constructively; the classical definition of Turing machines can be extended to include self-terminating, converging, and oscillating routines; a constructive Church's Thesis implies, firstly, that every partial recursive number-theoretic function can be constructively extended as a unique total function, and, secondly, that we can define effectively computable functions that are not classically Turing-computable; Turing's and Cantor's diagonal arguments do not necessarily define Cauchy sequences.


title: Grobner bases, local cohomology and reduction number

abstract: D. Bayer and M. Stillman showed that Grobner bases can be used to compute the Castelnuovo-Mumford regularity, which is a measure for the vanishing of graded local cohomology modules. The aim of this paper is to show that the same method can be applied to study other cohomological invariants as well as the reduction number.


title: Serre finiteness and Serre vanishing for non-commutative P^1-bundles

abstract: Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $\mathcal{E}$ is a locally free ${\mathcal{O}}_{X}$-bimodule of rank 2, $\mathcal{A}$ is the non-commutative symmetric algebra generated by $\mathcal{E}$ and ${\sf Proj}\A$ is the corresponding non-commutative $\mathbb{P}^{1}$-bundle. We use the properties of the internal $\operatorname{Hom}$ functor $\HU(-,-)$ to prove versions of Serre finiteness and Serre vanishing for ${\sf Proj}\A$. As a corollary to Serre finiteness, we prove that ${\sf Proj}\A$ is Ext-finite. This fact is used in \cite{izu} to prove that if $X$ is a smooth curve over $\operatorname{Spec}K$, ${\sf Proj }\A$ has a Riemann-Roch theorem and an adjunction formula.


title: The eigenvalue equation on the Eguchi-Hanson space

abstract: We consider the eigenvalue equation for the Laplace-Beltrami operator acting on scalar functions on the non-compact Eguchi-Hanson space. The corresponding differential equation is reducible to a confluent Heun equation with Ince symbol [0,2,1_2]. We construct approximations for the eigenfunctions and their asymptotic scattering phases with the help of the Liouville-Green approximation (WKB). Furthermore, for specific discrete eigenvalues obtained by a continued T-fraction we construct the solution by the Frobenius method and determine its scattering phase by a monodromy computation.


title: Ergodicity of the finite dimensional approximation of the 3D Navier-Stokes equations forced by a degenerate noise

abstract: We prove ergodicity of the finite dimensional approximations of the three dimensional Navier-Stokes equations, driven by a random force. The forcing noise acts only on a few modes and some algebraic conditions on the forced modes are found that imply the ergodicity. The convergence rate to the unique invariant measure is shown to be exponential.


title: Serre duality for non-commutative P^1-bundles

abstract: Let E be a locally free, rank n bimodule over a smooth projective scheme X, and let A be the non-commutative symmetric algebra generated by E. We construct an internal Hom functor on the category of graded right A-modules. When E has rank 2, we prove that A is Gorenstein by computing the right derived functors of the internal Hom functor. When X is a smooth projective variety, we use the Gorensteinness of A to prove a version of Serre duality on Proj A, the non-commutative P^1 bundle defined by A.


title: A sharp bilinear restriction estimate for paraboloids

abstract: Recently Wolff obtained a sharp $L^2$ bilinear restriction theorem for bounded subsets of the cone in general dimension. Here we adapt the argument of Wolff to also handle subsets of ``elliptic surfaces'' such as paraboloids and spheres. Except for an endpoint, this answers a conjecture of Machedon and Klainerman, and also improves upon the known restriction theory for the paraboloid and sphere.


title: Points on quantum projectivations

abstract: The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of examples in non-commutative algebraic geometry.


title: The space of embedded minimal surfaces of fixed genus in a 3-manifold II; Multi-valued graphs in disks

abstract: This paper is the second in a series where we attempt to give a complete description of the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed 3-manifold. The key for understanding such surfaces is to understand the local structure in a ball and in particular the structure of an embedded minimal disk in a ball in $\RR^3$. We show here that if the curvature of such a disk becomes large at some point, then it contains an almost flat multi-valued graph nearby that continues almost all the way to the boundary.


title: Cofinality of the nonstationary ideal

abstract: We show that the reduced cofinality of the nonstationary ideal NS_kappa on a regular uncountable cardinal kappa may be less than its cofinality, where the reduced cofinality of NS_kappa is the least cardinality of any family F of nonstationary subsets of kappa such that every nonstationary subset of kappa can be covered by less than $\kappa$ many members of F.


title: Measures of non-compactness of operators on Banach lattices

abstract: Andreu et al [2] and Sadovskii [11] used representation spaces to study measures of non-compactness and spectral radii of operators on Banach lattices. In this paper, we develop representation spaces based on the nonstandard hull construction (which is equivalent to the ultrapower construction). As a particular application, we present a simple proof and some extensions of the main result of de Pagter and Schep [6] on the monotonicity of the measure of non-compactness and the spectral radius of AM-compact operators. We also use the representation spaces to characterize d-convergence and discuss the relationship between d-convergence and the measures of non-compactness.


title: Rational Modules for Corings

abstract: In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels and categories of relative Hopf modules.


title: Random complex zeroes, I. Asymptotic normality

abstract: We consider three models (elliptic, flat and hyperbolic) of Gaussian random analytic functions distinguished by invariance of their zeroes distribution. Asymptotic normality is proven for smooth functionals (linear statistics) of the set of zeroes.


title: A cut-and-paste approach to contact topology

abstract: Contact structures on 3-manifolds are analyzed by decomposing the manifold along convex surfaces. Background results of Giroux, Eliashberg, Colin, and Honda are discussed with an emphasis on examples. Convex decompositions are then used to give a new proof of the Gabai-Eliashberg-Thurston Theorem on the existence of universally tight contact structures and also to study the contact topology of a space in the presence or absence of tori. Classification of tight contact structures on fibred manifolds and related open questions are also discussed. This paper is based on a series of talks given at the Tokyo Institute of Technology from Jun 3-7, 2002.


title: Separable integral extensions and plus closure

abstract: Let R be an excellent local domain of positive characteristic, and R^+ denote the integral closure of R in an algebraic closure of its fraction field. Hochster and Huneke proved that R^+ is a big Cohen-Macaulay algebra for R, and asked if there is a smaller R-algebra with the Cohen-Macaulay property. In this paper we establish the existence of a smaller big Cohen-Macaulay algebra which is, moreover, a separable extension.


title: Multi-symbolic Rees algebras and strong F-regularity

abstract: Let I be a divisorial ideal of a strongly F-regular ring R. Watanabe asked if the symbolic Rees algebra R_s(I) is Cohen-Macaulay whenever it is Noetherian. We develop the notion of multi-symbolic Rees algebras, and use this to show that R_s(I) is indeed Cohen-Macaulay whenever a certain auxiliary ring is finitely generated over R.


title: Veronese subrings and tight closure

abstract: We determine when graded rings have F-rational or F-regular Veronese subrings, and develop techniques of constructing F-rational rings which are not F-regular.


title: Fock space representations for the quantum affine algebra $U_q(C_2^{(1)})$

abstract: We construct the Fock space representations for the quantum affine algebra of type $C_2^{(1)}$ in terms of Young walls. Using this construction, we give a generalized Lascoux-Leclerc-Thibon algorithm for computing the global bases of the basic representations.


title: On the closed image of a rational map and the implicitization problem

abstract: In this paper, we investigate some topics around the closed image $S$ of a rational map $\lambda$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image in case $\lambda$ is generically finite and $f_1,...,f_n$ define isolated base points in $\Proj(A)$. We then relate the definition ideal of $S$ to the symmetric and the Rees algebras of the ideal $I=(f_1,...,f_n) \subset A$, and prove some new acyclicity criteria for the associated approximation complexes. Finally, we use these results to obtain the implicit equation of $S$ in case $S$ is a hypersurface, $\Proj(A)=\PP^{n-2}_k$ with $k$ a field, and base points are either absent or local complete intersection isolated points.


title: Gorenstein Dimensions under Base Change

abstract: The so-called 'change-of-ring' results are well-known expressions which present several connections between projective, injective and flat dimensions over the various base rings. In this note we extend these results to the Gorenstein dimensions over Cohen-Macaulay local rings.


title: On the existence of the Moller wave operator for wave equations with small dissipative terms

abstract: The aim of this short note is to reconsider and to extend a former result of K. Mochizuki on the existence of the scattering operator for wave equations with small dissipative terms. Contrary to the approach used by Mochizuki we construct the wave operator explicitly in terms of the parametrix construction obtained by a (simplified) diagonalization procedure. The method is based on ODE techniques.


title: Hyperelliptic Components of the Moduli Spaces of Quadratic Differentials with Prescribed Singularities

abstract: Moduli spaces of quadratic differentials with prescribed singularities are not necessarily connected. We describe here all cases when they have a special hyperelliptic connected component. We announce the general classification theorem: up to the four exceptional cases in low genera the strata of meromorphic quadratic differentials are either connected, or have exactly two connected components, and one of the two components is hyperelliptic.


title: Ideal triangulations of finite volume hyperbolic 3-manifolds

abstract: This paper was withdrawn (temporarily?) by the author since an error needs to be corrected.


title: Monomial Multiple Structures

abstract: In this paper we study monomial multiple structures on a linear subspace of codimension two in projective space. We show that these structures determine smooth points in their respective Hilbert schemes, with (smooth) neighbourhoods of two such points intersecting if their Hilbert functions are equal. We generalize a construction for multiple structures on points in the plane to this setting, giving a kind of product of monomial multiple structures.


title: The diffential geometry of composition sequences of differentiable manifolds

abstract: Let F_0=B,...,F_n be a sequence of differentiable manifolds, G_i a Lie subgroup of diffeomorphisms of F_i, and H_i a subgroup of G_i central in G_i. We suppose also given a locally trivial bundle p_{K_i} over F_{i-1} which typical fiber is K_i the quotient of G_i by H_i. The aim of this paper is to study the differential geometry of the following problem: classify sequences M_n\to...M_1, where each map from M_i to M_{i-1} is a locally trivial fibration which typical fiber is F_i and which transition functions image are elements of G_i. We associate to this problem a tower of gerbes and define for it the notion of connective structure, curvature and holonomy using the notion of free transitive distribution (free TD)


title: Toward a topological characterization of symplectic manifolds

abstract: A topological condition is given, characterizing which closed manifolds in dimensions < 8 (and conjecturally in general) admit symplectic structures. The condition is the existence of a certain fibration-like structure called a hyperpencil. A deformation class of hyperpencils on a manifold X of any even dimension is shown to determine an isotopy class of symplectic structures on X. This provides an inverse (at least in dimensions < 8) to Donaldson's program for constructing linear systems on symplectic manifolds. It follows that (at least in dimensions < 8) the set of deformation classes of hyperpencils canonically maps onto the set of isotopy classes of rational symplectic forms up to positive scale, topologically determining a dense subset of all symplectic forms up to an equivalence relation on hyperpencils. Other applications of the main techniques are presented, including the construction of symplectic structures on domains of locally holomorphic maps, and on high-dimensional Lefschetz pencils and other linear systems.


title: The Local Structure of Lie Bialgebroids

abstract: We study the local structure of Lie bialgebroids at regular points. In particular, we classify all transitive Lie bialgebroids. In special cases, they are connected to classical dynamical $r$-matrices and matched pairs induced by Poisson group actions


title: Curves of genus two over fields of even characteristic

abstract: In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa invariants. Finally, we use cohomological methods to find, for each rational model, an explicit description of its twists. In this way, we obtain a parameterization of all k-isomorphism classes of curves of genus two in terms of geometric and arithmetic invariants.


title: The space of embedded minimal surfaces of fixed genus in a 3-manifold I; Estimates off the axis for disks

abstract: This paper is the first in a series where we attempt to give a complete description of the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed Riemannian 3-manifold. The key for understanding such surfaces is to understand the local structure in a ball and in particular the structure of an embedded minimal disk in a ball in $\RR^3$ (with the flat metric).


title: Quantization of linear Poisson structures and degrees of maps

abstract: Kontsevich's formula for a deformation quantization of Poisson structures involves a Feynman series of graphs, with the weights given by some complicated integrals (using certain pullbacks of the standard angle form on a circe). We explain the geometric meaning of this series as degrees of maps of some grand configuration spaces; the associativity proof is also interpreted in purely homological terms. An interpretation in terms of degrees of maps shows that any other 1-form on the circle also leads to a *-product and allows one to compare these products.


title: A new proof of the Mullineux conjecture

abstract: Let S_d be the symmetric group on d letters and let k be a field of characteristic p>2. Tensoring an irreducible S_d module with the sign representation defines an involution on the p-regular partitions of d. It is suprisingly difficult to describe this involution combinatorially. Mullineux conjectured an algorithmic description in 1979. Kleshchev gave an entirely new algorithm describing the involution in 1996 and proved with Ford that it agrees with Mullineux's. Using the modular representation theory of the supergroup GL(m|n) we provide the first new proof of the Mullineux conjecture which is independent of Kleshchev's approach. Similar techniques allow us to classify the irreducible polynomial representations of GL(m|n), completing recent partial results by Donkin.


title: Fluid Limits of Pure Jump Markov Processes: a Practical Guide

abstract: A rescaled Markov chain converges uniformly in probability to the solution of an ordinary differential equation, under carefully specified assumptions. The presentation is much simpler than those in the outside literature. The result may be used to build parsimonious models of large random or pseudo-random systems.


title: The facet ideal of a simplicial complex

abstract: To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By generalizing the notion of a tree from graphs to simplicial complexes, we show that ideals associated to trees satisfy sliding depth condition, and therefore have normal and Cohen-Macaulay Rees rings. We also discuss connections with the theory of Stanley-Reisner rings.


title: Holomorphic extension of representations: (I) automorphic functions

abstract: Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors of any irreducible unitary representation of G has a holomorphic extension to this domain. For the resultant holomorphic extension of K-finite matrix coefficients we obtain estimates of the singularities at the boundary, as well as majorant/minorant estimates along the boundary. We obtain L^\infty bounds on holomorphically extended automorphic functions on G/K in terms of Sobolev norms, and we use these to estimate the Fourier coefficients of combinations of automorphic functions in a number of cases, e.g. of triple products of Maass forms.


title: A New Proof of the Integral Localization Formula for Equivariantly Closed Differential Forms

abstract: In this article we give a totally new proof of the integral localization formula for equivariantly closed differential forms (Theorem 7.11 in [BGV]). We restate it here as Theorem 2. This localization formula is very well known, but the author hopes to adapt this proof to obtain a more general result in the future.


title: H-admissible permutations and the HCP

abstract: This version is similar to math.CO/0210113. We've changed Conjectures 1.1 and 1.2 so that they cover arbitrary graphs(digraphs). Let G be an arbitrary graph(digraph). Then - in polynomial time - either an algorithm obtains a hamilton circuit(cycle)or else the algorithm points to at least one vertex that cannot belong to any hamilton circuit(cycle) of G. We give criteria for determining which vertices should be examined.


title: DG quotients of DG categories

abstract: Keller introduced a notion of quotient of a differential graded category modulo a full differential graded subcategory which agrees with Verdier's notion of quotient of a triangulated category modulo a triangulated subcategory. This work is an attempt to further develop his theory. More than a half of the text is devoted to an overview of "well known" definitions and results. As a result, the e-print is essentially self-contained.


title: Topological Robotics: Subspace Arrangements and Collision Free Motion Planning

abstract: We study an elementary problem of the topological robotics: collective motion of a set of $n$ distinct particles which one has to move from an initial configuration to a final configuration, with the requirement that no collisions occur in the process of motion. The ultimate goal is to construct an algorithm which will perform this task once the initial and the final configurations are given. This reduces to a topological problem of finding the topological complexity TC(C_n(\R^m)) of the configutation space C_n(\R^m) of $n$ distinct ordered particles in \R^m. We solve this problem for m=2 (the planar case) and for all odd m, including the case m=3 (particles in the three-dimensional space). We also study a more general motion planning problem in Euclidean space with a hyperplane arrangement as obstacle.


title: Parity of the spin structure defined by a quadratic differential

abstract: According to the work of Kontsevich-Zorich, the invariant that classifies non-hyperelliptic connected components of the moduli spaces of Abelian differentials with prescribed singularities,is the parity of the spin structure. We show that for the moduli space of quadratic differentials, the spin structure is constant on every stratum where it is defined. In particular this disproves the conjecture that it classifies the non-hyperelliptic connected components of the strata of quadratic differentials with prescribed singularities. An explicit formula for the parity of the spin structure is given.


title: On manifolds with holomorphic normal projective connections

abstract: The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal projective connection, saying in particular, that any such manifold is either the projective space or minimal in the sense of Mori.


title: Formule d'Ito pour des diffusions uniformement elliptiques et processus de Dirichlet

abstract: If X is a d-dimensional uniformly elliptic diffusion, with initial law nu, we show that F(X) is a Dirichlet process, whenever F satisfies an integrability condition linking its weak derivative to the coefficients of the diffusion and the initial law nu. We then show that F(X) satisfies an Ito formula, giving a construction of the stochastic integral of grad F(X) with respect to X, provided that the two first weak derivatives of F satisfy integrability conditions involving the coefficients of the diffusion and the initial law. Si X est une diffusion uniformement elliptique d-dimensionnelle, de loi initiale nu, on montre que F(X) est un processus de Dirichlet, lorsque F verifie une condition d'integrabilite qui lie ses derivees faibles aux coefficients de la diffusion et a la loi initiale nu. On montre ensuite qu'on peut ecrire une formule d'Ito pour F(X), en donnant une construction de l'integrale stochastique de grad F(X) par rapport a X. Les conditions requises sur F sont des conditions d'integrabilite liant ses derivees faibles, premiere et seconde, aux coefficients de la diffusion et a la loi initiale nu.


title: The space of embedded minimal surfaces of fixed genus in a 3-manifold IV; Locally simply connected

abstract: This paper is the fourth in a series where we describe the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed 3-manifold. The key is to understand the structure of an embedded minimal disk in a ball in $\RR^3$. This was undertaken in [CM3], [CM4] and the global version of it will be completed here; see [CM15] for discussion of the local case and [CM13], [CM14] where we have surveyed our results about embedded minimal disks.


title: Periodic motions galore: How to modify nonlinear evolution equations so that they feature a lot of periodic solutions

abstract: A simple trick is illustrated, whereby nonlinear evolution equations can be modified so that they feature a lot - or, in some cases, only -- periodic solutions. Several examples (ODEs and PDEs) are exhibited.


title: Artin group actions on derived categories of threefolds

abstract: Motivated by the enhanced gauge symmetry phenomenon of the physics literature and mirror symmetry, this paper constructs an action of an Artin group on the derived category of coherent sheaves of a smooth quasiprojective threefold containing a configuration of ruled surfaces described by a finite type Dynkin diagram. The action extends over deformations of the threefold via a compatible action of the corresponding reflection group on the base of its deformation space. All finite type Dynkin diagrams are realized.


title: Enhanced gauge symmetry and braid group actions

abstract: Enhanced gauge symmetry appears in Type II string theory (as well as F- and M-theory) compactified on Calabi--Yau manifolds containing exceptional divisors meeting in Dynkin configurations. It is shown that in many such cases, at enhanced symmetry points in moduli a braid group acts on the derived category of sheaves of the variety. This braid group covers the Weyl group of the enhanced symmetry algebra, which itself acts on the deformation space of the variety in a compatible fashion. Extensions of this result are given for nontrivial $B$-fields on K3 surfaces, explaining physical restrictions on the $B$-field, as well as for elliptic fibrations. The present point of view also gives new evidence for the enhanced gauge symmetry content in the case of a local $A_{2n}$-configuration in a threefold having global $\Z/2$ monodromy.


title: On the cohomology of a smash product of Hopf algebras

abstract: A five term sequence for the low degree cohomology of a smash product of (cocommutative) Hopf algebras is obtained, generalizing that of Tahara for a semi-direct product of groups.


title: Legendrian Submanifolds in $R^{2n+1}$ and Contact Homology

abstract: Contact homology for Legendrian submanifolds in standard contact $(2n+1)$-space is rigorously defined using moduli spaces of holomorphic disks with Lagrangian boundary conditions in complex $n$-space. It provides new invariants of Legendrian isotopy. Using these invariants the theory of Legendrian isotopy is shown to be very rich. For example, infinite families of pairwise non-isotopic Legendrian $n$-spheres and $n$-tori, which are indistinguishable by means of previously known invariants, are constructed. In a sense, the definition of contact homology presented in this paper is a high dimensional analog of the work of Chekanov and others on Legendrian 1-knots in 3-space.


title: A remark on K-theory and S-categories

abstract: It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [Schlichting]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen category is completely determined by its Dwyer-Kan simplicial localization, without any additional structure. As the simplicial localization is a refined version of the homotopy category which also determines the triangulated structure, our result is a possible answer to the general question: ``To which extent $K$-theory is not an invariant of triangulated derived categories ?''


title: Springer correspondence via p-adic analytic methods

abstract: We show that the standard proof of the Springer correspondence in positive characteristic (via Deligne-Fourier transform) works verbatim in characteristic zero, up to replacing Deligne-Fourier transform by another etale Fourier transform introduced by the author in a previous work. The construction of this Fourier transform uses methods from p-adic analytic geometry.


title: Heegaard Floer homologies and contact structures

abstract: Given a contact structure on a closed, oriented three-manifold $Y$, we describe an invariant which takes values in the three-manifold's Floer homology $\HFa$. This invariant vanishes for overtwisted contact structures and is non-zero for Stein fillable ones. The construction uses of Giroux's interpretation of contact structures in terms of open book decompositions, and the knot Floer homologies introduced in math.GT/0209056.


title: Singularity formation in the Yang-Mills flow

abstract: This paper studies rapidly forming singularities in the Yang-Mills flow. It is shown that a sequence of blow-ups near the singular point converges, modulo the gauge group, to a homothetically shrinking soliton with non-zero curvature. The proof uses Hamilton's monotonicity formula. Examples of homothetically shrinking solitons are given in the case of trivial bundles over R^n for dimensions 5 through 9.


title: Intersection multiplicities over Gorenstein rings

abstract: We construct a complex of free-modules over a Gorenstein ring R of dimension five, for which the Euler characteristic and Dutta multiplicity are different. This complex is the resolution of an R-module of finite length and finite projective dimension. As a consequence, the ring R has a nonzero Todd class tau_3(R) and a bounded free complex whose local Chern character does not vanish on this class. In the course of our work, we construct a module N of finite length and finite projective dimension over the hypersurface A=K[u,v,w,x,y,z]/(ux+vy+wz), such that the Serre intersection multiplicity of the modules N and A/(u,v,w)A is -2.


title: Todd classes of affine cones of Grassmannians

abstract: A local ring R is said to be a Roberts ring if tau_R([R]) = [Spec R]_dim R, where tau_R is the Riemann-Roch map for Spec R. Such rings satisfy a vanishing theorem for the Serre intersection multiplicity, as was established by Paul Roberts in his proof of the Serre vanishing conjecture. It is known that complete intersections are Roberts rings, and the first author proved that a determinantal ring is a Roberts ring precisely if it is complete intersection. Let A_d(n) denote the affine cone of the Grassmannian G_d(n) under the Plucker embedding. We determine which of the rings A_d(n) are Roberts rings.


title: On a generalization of test ideals

abstract: The test ideal $\tau(R)$ of a ring $R$ of prime characteristic is an important object in the theory of tight closure. In this paper, we study a generalization of the test ideal, which is the ideal $\tau(\a^t)$ associated to a given ideal $\a$ with rational exponent $t \ge 0$. We first prove a key lemma of this paper, which gives a characterization of the ideal $\tau(\a^t)$. As applications of this key lemma, we generalize the preceding results on the behavior of the test ideal $\tau(R)$. Moreover, we prove an analog of so-called Skoda's theorem, which is formulated algebraically via adjoint ideals by Lipman in his proof of the "modified Brian\c{c}on--Skoda theorem."


title: Specialization of polynomial covers of prime degree

abstract: Let K be a complete field of unequal characteristics $(0,p)$. The aim of this paper is to describe the the semi-stable models for covers $\bold P^1_K@>>>\bold P^1_K$ of degree p, unramified outside $r\leq p$ points and totally ramified above one of them, under the assumption that the ramified locus has a particular reduction type (which always occurs if $r\leq4$). We are principally concerned with the minimal semi-stable models which separate the ramified fibers.


title: Beneath-and-Beyond revisited

abstract: It is shown how the Beneath-and-Beyond algorithm can be used to yield another proof of the equivalence of V- and H-representations of convex polytopes. In this sense this paper serves as the sketch of an introduction to polytope theory with a focus on algorithmic aspects. Moreover, computational results are presented to compare Beneath-and-Beyond to other convex hull implementations.


title: Lagrangian surfaces with circullar ellipse of curvature in complex space forms

abstract: We classify the Lagrangian orientable surfaces in complex space forms with the property that the ellipse of curvature is always a circle. As a consequence, we obtain new characterizations of the Clifford torus of the complex projective plane and of the Whitney spheres in the complex projective, complex Euclidean and complex hyperbolic planes.


title: On the Mumford - Narasimhan problem

abstract: Here we discuss an old problem of algebraic geometry using some new techniques. Namely we prove that over a generic curve stable vector bundle admits the Schottki representation.


title: A family of singular oscillatory integral operators and failure of weak amenability

abstract: A locally compact group $G$ is said to be weakly amenable if the Fourier algebra $A(G)$ admits completely bounded approximative units. Consider the family of groups $G_n=SL(2,\Bbb R)\ltimes H_n$ where $n\ge 2$, $H_n$ is the $2n+1$ dimensional Heisenberg group and $SL(2,\Bbb R)$ acts via the irreducible representation of dimension $2n$ fixing the center of $H_n$. We show that these groups fail to be weakly amenable. Following an idea of Haagerup for the case $n=1$ one can reduce matters to the problem of obtaining nontrivial uniform bounds for a family of singular oscillatory integral operators with product type singularities and polynomial phases. The result on the family $G_n$ and various other previously known results are used to settle the question of weak amenability for a large class of Lie groups, including the algebraic groups; we assume that the Levi-part has finite center.


title: A positive radial product formula for the Dunkl kernel

abstract: It is an open conjecture that generalized Bessel functions associated with root systems have a positive product formula for non-negative multiplicity parameters of the associated Dunkl operators. In this paper, a partial result towards this conjecture is proven, namely a positive radial product formula for the non-symmetric counterpart of the generalized Bessel function, the Dunkl kernel. Radial hereby means that one of the factors in the product formula is replaced by its mean over a sphere. The key to this product formula is a positivity result for the Dunkl-type spherical mean operator. It can also be interpreted in the sense that the Dunkl-type generalized translation of radial functions is positivity-preserving. As an application, we construct Dunkl-type homogeneous Markov processes associated with radial probability distributions.


title: The additive dilogarithm

abstract: We define an additive version of the Bloch group of a field, together with an additive dilogarithm and an Artin-Schreier realization.


title: Fredholm Modules for Quantum Euclidean Spheres

abstract: The quantum Euclidean spheres, $S_q^{N-1}$, are (noncommutative) homogeneous spaces of quantum orthogonal groups, $\SO_q(N)$. The *-algebra $A(S^{N-1}_q)$ of polynomial functions on each of these is given by generators and relations which can be expressed in terms of a self-adjoint, unipotent matrix. We explicitly construct complete sets of generators for the K-theory (by nontrivial self-adjoint idempotents and unitaries) and the K-homology (by nontrivial Fredholm modules) of the spheres $S_q^{N-1}$. We also construct the corresponding Chern characters in cyclic homology and cohomology and compute the pairing of K-theory with K-homology. On odd spheres (i. e., for N even) we exhibit unbounded Fredholm modules by means of a natural unbounded operator D which, while failing to have compact resolvent, has bounded commutators with all elements in the algebra $A(S^{N-1}_q)$.


title: High temperature Sherrington-Kirkpatrick model for general spins

abstract: Francesco Guerra and Fabio Toninelli have developped a very powerful technique to study the high temperature behaviour of the Sherrington-Kirkpatrick mean field spin glass model. They show that this model is asymptoticaly comparable to a linear model. The key ingredient is a clever interpolation technique between the two different Hamiltonians describing the models. This paper contribution to the subject are the following: (1) The replica-symmetric solution holds for general spins, not just $\pm 1$ valued. (2) The proof does not involve cavitation but only first order differential calculus and Gaussian integration by parts.


title: The space of embedded minimal surfaces of fixed genus in a 3-manifold III; Planar domains

abstract: This paper is the third in a series where we describe the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed 3-manifold. In [CM3]-[CM5] we describe the case where the surfaces are topologically disks on any fixed small scale. To describe general planar domains (in [CM6]) we need in addition to the results of [CM3]-[CM5] a key estimate for embedded stable annuli which is the main result of this paper. This estimate asserts that such an annulus is a graph away from its boundary if it has only one interior boundary component and if this component lies in a small (extrinsic) ball.


title: Nonlinear differential equations on non-compact domains

abstract: We present some results in the analysis of non-compact differential equations on unbounded domains.


title: Geometric structures on nilpotent Lie groups: on their classification and a distinguished compatible metric

abstract: Let N be a nilpotent Lie group and let S be an invariant geometric structure on N (cf. symplectic, complex or hypercomplex). We define a left invariant Riemannian metric on N compatible with S to be "minimal", if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the invariant Ricci flow and are characterized as the critical points of a natural variational problem. The uniqueness allows us to distinguish geometric structures with Riemannian data, giving rise to a great deal of invariants. Our approach proposes to vary Lie brackets and our main tool is the moment map for the action of a reductive Lie group on the algebraic variety of all Lie algebras, which we show to coincide with the Ricci operator. We therefore can use strong results from geometric invariant theory to study compatible metrics and the moduli space of isomorphism classes of geometric structures.


title: Scholarly mathematical communication at a crossroads

abstract: This essay was invited for publication in Nieuw Archief voor Wiskunde; it will also appear in translation in the SMF Gazette and in the DMV Mitteilungen. I discuss the recent trends in scholarly communication in mathematics, the current state and intentions of the arXiv, and a proposal to reform peer review with the arXiv as a foundation.


title: The intersection homology D-module in finite characteristic

abstract: For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the analogous result is shown for X and Y defined over a perfect field of finite characteristic. Moreover, a local construction of Ll(Y,X) is given, relating it to the theory of tight closure. From the construction one obtains a criterion for the D_X-simplicity of H^c_Y(X).


title: Counting rational curves of arbitrary shape in projective spaces

abstract: We present an approach to a large class of enumerative problems concerning rational curves in projective spaces. This approach uses analysis to obtain topological information about moduli spaces of stable maps. We demonstrate it by enumerating one-component rational curves with a triple point or a tacnodal point in the three-dimensional projective space and with a cusp in any projective space.


title: Obtaining hamilton cicuits in graphs and digraphs

abstract: This paper improves algorithms given in math.CO/0012036. Although the graph (digraph) becomes non-random as the algorithm proceeds, the probability for success stays the same. We also give examples.


title: Promoting Essential Laminations

abstract: We show that every co--orientable taut foliation F of an orientable, atoroidal 3-manifold admits a transverse essential lamination. If this transverse lamination is a foliation G, the pair F,G are the unstable and stable foliation respectively of an Anosov flow. Otherwise, F admits a pair of transverse very full genuine laminations. In the second case, M satisfies the weak geometrization conjecture - either its fundamental group contains Z+Z or it is word-hyperbolic. Moreover, if M is atoroidal, the mapping class group of M is finite, and any automorphism homotopic to the identity is isotopic to the identity.


title: Fourier transforms and p-adic "Weil II"

abstract: Building on work of Crew, we give a rigid cohomological analogue of the main result of Deligne's "Weil II"; this makes it possible to give a purely p-adic proof of the Weil conjectures. Ingredients include a p-adic analogue of Laumon's application of the geometric Fourier transform in the l-adic setting, as well as recent results on p-adic differential equations, due to Andre, Christol, Crew, Kedlaya, Matsuda, Mebkhout, and Tsuzuki.


title: The BV Algebra on Hochschild Cohomology Induced by Infinity Inner Products

abstract: We define a BV-structure on the Hochschild-cohomology of a unital, associative algebra A with a symmetric, invariant and non-degenerate inner product. The induced Gerstenhaber algebra is the one described in Gerstenhaber's original paper on Hochschild-cohomology. We also prove the corresponding theorem in the homotopy case, namely we define the BV-structure on the Hochschild-cohomology of a unital A-infinity-algebra with a symmetric and non-degenerate infinity-inner product.


title: Affine Schubert Varieties and Circular Complexes

abstract: Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces. The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the variety of nilpotent representations of a cyclic quiver (including nilpotent conjugacy classes of matrices) is isomorphic to an open subset of a Schubert variety for the loop group GL(n)^. In this paper, we attempt to describe the affine Schubert varieties and Lusztig's isomorphism in the simplest terms possible. We then apply this isomorphism to an interesting example, the variety of circular complexes, recovering some results of Mehta and Trivedi.


title: Integrability of Poisson brackets

abstract: We show that various notions of integrability for Poisson brackets are all equivalent, and we give the precise obstructions to integrating Poisson manifolds. We describe the integration as a symplectic quotient, in the spirit of the Poisson sigma-model of Cattaneo and Felder. For regular Poisson manifolds we express the obstructions in terms of variations of symplectic areas. As an application of these results, we show that a Poisson manifold admits a complete symplectic realization if, and only if, it is integrable. We discuss also the integration of submanifolds and Morita equivalence of Poisson manifolds.


title: Normal affine surfaces with $\bf C^*$-actions

abstract: A classification of normal affine surfaces admitting a $\bf C^*$-action was given in the work of Bia{\l}ynicki-Birula, Fieseler and L. Kaup, Orlik and Wagreich, Rynes and others. We provide a simple alternative description of such surfaces in terms of their graded rings as well as by defining equations. This is based on a generalization of the Dolgachev-Pinkham-Demazure construction in the case of a hyperbolic grading. As an apllication we determine the structure of singularities, of the orbits and the divisor class groups for such surfaces.


title: The Serre problem with Reinhardt fibers

abstract: The Serre problem for a class of hyperbolic pseudoconvex Reinhardt domains in $\Bbb C^2$ as fibers is solved.


title: From C*algebra extensions to CQMS, ${SU}_q(2)$, Podles sphere and other examples

abstract: We construct compact quantum metric spaces (CQMS) starting with some C*algebra extension with a positive splitting. As special cases we discuss the case of Toeplitz algebra, quantum SU(2) and Podles sphere.


title: A Note on Generic Projections

abstract: Let $X \subseteq {\bf P}^N ={\bf P}^{2n}_K$ be a subvariety of dimension $n$ and $P \in {\bf P}^N$ a generic point. If the tangent variety Tan$ X$ is equal to ${\bf P}^N$ then for generic points $x$, $y$ of $X$ the projective tangent spaces $t_xX$ and $t_yX$ meet in one point $P=P(x,y)$. The main result of this paper is that the rational map $(x,y)\mapsto P(x,y)$ is dominant. In other words, a generic point $P$ is uniquely determined by the ramification locus $R(\pi_P)$ of the linear projection $\pi_P:X\to {\bf P}^{N-1}$.


title: Rigidity for Nonnegatively Curved Metrics on S^2xR^3

abstract: We address the question: how large is the family of complete metrics with nonnegative sectional curvature on S^2xR^3? We classify the connection metrics, and give several examples of non-connection metrics. We provide evidence that the family is small by proving some rigidity results for metrics more general than connection metrics.


title: A conjecture in the problem of rational definite summation

abstract: A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.


title: Nonnegatively curved metrics on S^2xR^2

abstract: We classify the complete metrics of nonnegative sectional curvature on M^2xR^2, where M^2 is any compact 2-manifold.


title: Conditions for Nonnegative Curvature on Vector Bundles and Sphere Bundles

abstract: This paper addresses Cheeger and Gromoll's question of which vector bundles admit a complete metric of nonnegative curvature, and relates their question to the issue of which sphere bundles admit a metric of positive curvature. We show that any vector bundle which admits a metric of nonnegative curvature must admit a connection, a tensor, and a metric on the base space which together satisfy a certain differential inequality. On the other hand, a slight sharpening of this condition is sufficient for the associated sphere bundle to admit a metric of positive curvature. Our results sharpen and generalize Walschap and Strake's conditions under which a vector bundle admits a connection metric of nonnegative curvature.


title: Finite growth representations of infinite Lie conformal algebras

abstract: We classify all finite growth representations of all infinite rank subalgebras of the Lie conformal algebra gc_1 that contain a Virasoro subalgebra.


title: On iterated forcing at successors of regular cardinals

abstract: We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show that this property is preserved by $\lambda$--support iterations. We close with an application of our technology by presenting a consistency result on uniformizing colorings of ladder systems on $\{\delta<\lambda^+:\cf(\delta)=\lambda\}$ that complements a theorem of Shelah.


title: On the L2 cohomology of a convex cocompact hyperbolic manifold

abstract: A vanishing theorem for a convex cocompact hyperbolic manifold is established, which relates the L2 cohomology to the Hausdorff dimension of the limit set. The borderline case is shown to characterize the manifold completely.


title: Holography and the geometry of certain convex cocompact hyperbolic 3-manifolds

abstract: Krasnov (arXiv: hep-th/0005106) identified the renormalized volume of a Schottky 3-manifold with the action of the Liouville theory on the conformal infiinity. We try to compute the renormalized volume in terms of more transparent geometric quantities.


title: Uniqueness of AdS spacetime in any dimensions

abstract: The uniqueness of the AdS spactime in proved for dimension n\leq 7 or any dimension under the spin assumption.


title: Remarks on algebraic fiber spaces

abstract: In this paper, we collect basic properties of the Albanese dimension and explain how to generalize the main theorem of [F2](math.AG/0204262). This paper is a supplement and a generalization of [F2]. We also prove an inequality of irregularities for algebraic fiber spaces in the appendix, which is an exposition of Fujita-Kawamata's semi-positivity theorem.


title: On Separation of Variables

abstract: The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the corresponding variable. The conditions of separability are expressed neatly in terms of the matrix which has to be diagonal if the function is to be totally separable, and has to assume a diagonal block form in order that the function is partially separable. The conditions of separability are also given without using derivatives. For polynomials, the conditions of separability are shown to hold if and only if the product of the first column and the first row of the coefficients matrix is equal to the matrix itself. This promotes an easy computational scheme for checking, and actually carrying out, variable separation.


title: Residues of q-Hypergeometric Integrals and Characters of Affine Lie Algebras

abstract: We study certain subspaces of solutions to the sl_2 rational qKZ equation at level zero. Each subspace is specified by the vanishing of the residue at a certain divisor which stems from models in two dimensional integrable field theories. We determine the character of the subspace which is parametrized by the number of variables and the sl_2 weight of the solutions. The sum of all characters with a fixed weight gives rise to the branching functions of the irreducible representations of sl_2 in the level one integrable highest weight representations of \hat{sl_2}. It is written in the fermionic form.


title: Noncommutative differential forms and quantization of the odd symplectic category

abstract: There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for any two functions f and g. We notice that this non-commutative differential algebra has a geometrical realization as a convolution algebra of the symplectic groupoid integrating the Poisson manifold. This quantization is just a part of a quantization of the odd symplectic category (where objects are odd symplectic supermanifolds and morphisms are Lagrangian relation) in terms of Z_2-graded chain complexes. It is a straightforward consequence of the theory of BV operator acting on semidensities, due to H. Khudaverdian.


title: Counting the occurrences of generalized patterns in words generated by a morphism

abstract: We count the number of occurrences of certain patterns in given words. We choose these words to be the set of all finite approximations of a sequence generated by a morphism with certain restrictions. The patterns in our considerations are either classical patterns 1-2, 2-1, 1-1-...-1, or arbitrary generalized patterns without internal dashes, in which repetitions of letters are allowed. In particular, we find the number of occurrences of the patterns 1-2, 2-1, 12, 21, 123 and 1-1-...-1 in the words obtained by iterations of the morphism 1->123, 2->13, 3->2, which is a classical example of a morphism generating a nonrepetitive sequence.


title: Local cohomology and D-affinity in positive characteristic

abstract: Comparing vanishing of local cohomology in zero and positive characteristic, we give an example of a D-module on a Grassmann variety in positive characteristic with non-vanishing first cohomology group. This is a counterexample to D-affinity and the Beilinson-Bernstein equivalence for flag manifolds in positive characteristic.


title: Limit Theorem for Sums of Random Products

abstract: We study a generalization of the Random Energy Model to the case when the number of exponential factors varies at random. Also a relation between REM and the Erd"os-R'enyi limit theorem for maximums of partial sums is considered.


title: Computing the cardinality of CM elliptic curves using torsion points

abstract: Let E be an elliptic curve having complex multiplication by a given quadratic order of an imaginary quadratic field K. The field of definition of E is the ring class field Omega of the order. If the prime p splits completely in Omega, then we can reduce E modulo one the factors of p and get a curve Ep defined over GF(p). The trace of the Frobenius of Ep is known up to sign and we need a fast way to find this sign. For this, we propose to use the action of the Frobenius on torsion points of small order built with class invariants a la Weber, in a manner reminiscent of the Schoof-Elkies-Atkin algorithm for computing the cardinality of a given elliptic curve modulo p. We apply our results to the Elliptic Curve Primality Proving algorithm (ECPP).


title: Generating functions, Fibonacci numbers and rational knots

abstract: We describe rational knots with any of the possible combinations of the properties (a)chirality, (non-)positivity, (non-)fiberedness, and unknotting number one (or higher), and determine exactly their number for a given number of crossings in terms of their generating functions. We show in particular how Fibonacci numbers occur in the enumeration of fibered achiral and unknotting number one rational knots. Then we show how to enumerate rational knots by crossing number and genus and/or signature. This allows to determine the distribution of these invariants among rational knots. We give also an application to the enumeration of lens spaces.


title: Specialization of modules

abstract: Let R be a polynomial ring over k(u), where k is a field k and u is a finite family or inderterminates. The paper introduces the specialization of an arbitrary finitely generated R-module by the substitution of u to elements of k. This definition does not depend on the presentation of the given module and preserves basic properties and operations on modules (e.g. annihilator, dimension, Ext and Tor) for almost all specializations.


title: Verifying a p-adic Abelian Stark Conjecture at s=1

abstract: In a previous paper the second author developed a new approach to the abelian p-adic Stark Conjecture at s=1 and stated some related conjectures. This paper develops and applies techniques using p-adic measures and continued fractions to numerically investigate one of these conjectures to high precision in fifteen cases with a real quadratic base field.


title: Specialization of modules over a local ring

abstract: This paper is a continuation of an earlier paper of the authors on the probem of specializations of modules. The aim here is to define specialisations of finitely generated modules over local rings of the form k(u)[X]_P, where u is a family of indeterminates over a field k. The definition depends on the associated primes of the specialisation of the prime ideal P by the substitution of u to elements of k. As in the non-local case, the introduced specializations preserve basic properties and operations on modules.In particular, annihilators of local cohomology modules commute with specializations. As a consequence, Cohen-Macaulayness and Buchsbaumness are preserved by almost al substitutions. The paper also studies the non-Cohen-Macaulay locus and the singular locus of specializations of factor rings of k(u)[X]_P.


title: $L^p$-generic cocycles have one-point Lyapunov spectrum

abstract: We show the sum of the first $k$ Lyapunov exponents of linear cocycles is an upper semicontinuous function in the $L^p$ topologies, for any $1 \le p \le \infty$ and $k$. This fact, together with a result from Arnold and Cong, implies that the Lyapunov exponents of the $L^p$-generic cocycle, $p<\infty$, are all equal.


title: Tiling Spaces are Inverse Limits

abstract: Let M be an arbitrary Riemannian homogeneous space, and let Omega be a space of tilings of M, with finite local complexity (relative to some symmetry group Gamma) and closed in the natural topology. Then Omega is the inverse limit of a sequence of compact finite-dimensional branched manifolds. The branched manifolds are (finite) unions of cells, constructed from the tiles themselves and the group Gamma. This result extends previous results of Anderson and Putnam, of Ormes, Radin and Sadun, of Bellissard, Benedetti and Gambaudo, and of G\"ahler. In particular, the construction in this paper is a natural generalization of G\"ahler's.


title: Categories of modules over an affine Kac-Moody algebra and the Kazhdan-Lusztig tensor product

abstract: To each category C of modules of finite length over a complex simple Lie algebra g, closed under tensoring with finite dimensional modules, we associate and study a category Aff(C)_\kappa of smooth modules (in the sense of Kazhdan and Lusztig [KL1]) of finite length over the corresponding affine Kac-Moody algebra in the case of central charge less than the critical level. Equivalent characterizations of these categories are obtained in the spirit of the works of Kazhdan-Lusztig [KL1] and Lian-Zuckerman [LZ1]. In the main part of this paper we establish a finiteness result for the Kazhdan-Lusztig tensor product which can be considered as an affine version of a theorem of Kostant [K]. It contains as special cases the finiteness results of Kazhdan, Lusztig [KL] and Finkelberg [F], and states that for any subalgebra f of g which is reductive in g the "affinization" of the category of finite length admissible (g, f) modules is stable under Kazhdan-Lusztig's tensoring with the "affinization" of the category of finite dimensional g modules (which is O_\kappa in the notation of [KL1, KL2, KL3]).


title: Approximation to real numbers by cubic algebraic integers I

abstract: In 1969, H. Davenport and W. M. Schmidt studied the problem of approximation to a real number \xi by algebraic integers of degree at most three. They did so, using geometry of numbers, by resorting to the dual problem of finding simultaneous approximations to \xi and \xi^2 by rational numbers with the same denominator. In this paper, we show that their measure of approximation for the dual problem is optimal and that it is realized for a countable set of real numbers \xi. We give several properties of these numbers including measures of approximation by rational numbers, by quadratic real numbers and by algebraic integers of degree at most three.


title: Approximation to real numbers by cubic algebraic integers II

abstract: It has been conjectured for some time that, for any integer n\ge 2, any real number \epsilon >0 and any transcendental real number \xi, there would exist infinitely many algebraic integers \alpha of degree at most n with the property that |\xi-\alpha| < H(\alpha)^{-n+\epsilon}, where H(\alpha) denotes the height of \alpha. Although this is true for n=2, we show here that, for n=3, the optimal exponent of approximation is not 3 but (3+\sqrt{5})/2 = 2.618...


title: On the Chekhov-Fock coordinates of dessins d'enfants

abstract: There are several ways to associate a complex structure to a ribbon graph. In the construction of dessins d'enfants a single riemann surface is associated to each graph. We call it the Grothendieck model of a ribbon graph. The goal of the present paper is to discuss one more such construction, depending on some parameters - that of Chekhov-Fock. We prove that putting all parametres equal to 0, we obtain the Grothendieck model of this graph.


title: An introduction to the theory of p-adic representations

abstract: The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a starting point. It consists mostly of an expanded version of the notes for my two lectures at the "Dwork trimester" in June 2001.


title: The Chen-Ruan Cohomology Ring of Mirror Quintic

abstract: We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Calabi-Yau hypersurfaces in projective simplicial toric varieties, modulo a conjecture that the Riemann bilinear relations are adequate for identifying the obstruction bundle for any complex orbifold.


title: Integral representations of unbounded operators by arbitrarily smooth Carleman kernels

abstract: In this paper, we give a characterization of all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral operator in $L_2(R)$ with bounded and arbitrarily smooth Carleman kernel on $R^2$. In addition, we give an explicit construction of corresponding unitary operators.


title: Automorphisms of the category of free Lie algebras

abstract: We prove that every automorphism of the category of free Lie algebras is a semi-inner automorphism.


title: Equivariant quantization on quotients of simple Lie groups by reductive subgroups of maximal rank

abstract: We consider a class of homogeneous manifolds including all semisimple coadjoint orbits. We describe manifolds of that class admitting deformation q uantizations equivariant under the action of $G$ and the corresponding quantum group. We also classify Poisson brackets relating to such quantizations.


title: Sub-Riemannian geometry and Lie groups. Part I

abstract: These pages covers my expository talks during the seminar "Sub-Riemannian geometry and Lie groups" organised by the author and Tudor Ratiu at the Mathematics Department, EPFL, 2001. However, this is the first part of three, in preparation, dedicated to this subject. It covers, with mild modifications, an elementary introduction to the field.


title: On HNN-extensions in the class of groups of large odd exponent

abstract: A sufficient condition for the existence of HNN-extensions in the class of groups of odd exponent $n \gg 1$ is given in the following form. Let $Q$ be a group of odd exponent $n > 2^{48}$ and $\mathcal G$ be an HNN-extension of $Q$. If $A \in \mathcal G$ then let $\mathcal F(A)$ denote the maximal subgroup of $Q$ which is normalized by $A$. By $\tau_A$ denote the automorphism of $\mathcal F(A)$ which is induced by conjugation by $A$. Suppose that for every $A \in \mathcal G$, which is not conjugate to an element of $Q$, the group $<\tau_A, \mathcal F(A)>$ has exponent $n$ and, in addition, equalities $A^{-k} q_0 A^{k} = q_k$, where $q_k \in Q$ and $k =0, 1, ..., [2^{-16}n]$ ($[2^{-16}n]$ is the integer part of $2^{-16}n$), imply that $q_0 \in \mathcal F(A)$. Then the group $Q$ naturally embeds in the quotient $\mathcal G / \mathcal G^n$, that is, there exists an analog of the HNN-extension $\mathcal G$ of $Q$ in the class of groups of exponent $n$.


title: On subgroups of free Burnside groups of large odd exponent

abstract: We prove that every noncyclic subgroup of a free $m$-generator Burnside group $B(m,n)$ of odd exponent $n \gg 1$ contains a subgroup $H$ isomorphic to a free Burnside group $B(\infty,n)$ of exponent $n$ and countably infinite rank such that for every normal subgroup $K$ of $H$ the normal closure $<K >^{B(m,n)}$ of $K$ in $B(m,n)$ meets $H$ in $K$. This implies that every noncyclic subgroup of $B(m,n)$ is SQ-universal in the class of groups of exponent $n$.


title: On quasivarities of groups and equations over groups

abstract: We prove that the quasivariety of groups generated by finite and locally indicable groups does not contain the class of periodic groups. This result is related to (and inspired by) the solvability of equations over groups. The proof uses the Feit-Thompson theorem on the solvability of finite groups of odd order, Kostrikin-Zelmanov results on the restricted Burnside problem and applies techninal details of a recent construction of weakly finitely presented periodic groups.


title: On the asphericity of LOT-presentations of groups

abstract: Let $U$ be an arbitrary word in letters $x_1^{\pm 1}, ..., x_m^{\pm 1}$ and $m \ge 2$. We prove that the group presentation $<x_1, ..., x_m \|\ U x_i U^{-1} = x_{i+1}, i=1,..., m-1>$ is aspherical. The proof is based upon prior partial results of A. Klyachko and the author on the asphericity of such presentations.


title: Algebras with the same (algebraic) geometry

abstract: Some basic notions of classical algebraic geometry can be defined in arbitrary varieties of algebras $\Theta.$ For every algebra $H$ in $\Theta$ one can consider algebraic geometry in $\Theta$ over $ H.$ Correspondingly, algebras in $\Theta$ are considered with the emphasis on equations and geometry. We give examples of geometric properties of algebras in $\Theta$ and of geometric relations between them. The main problem considered in the paper is when different $H_1$ and $H_2$ have the same geometry.


title: On a class of algebras defined by partitions

abstract: A class of associative (super) algebras is presented, which naturally generalize both the symmetric algebra $Sym(V)$ and the wedge algebra $\wedge (V)$, where $V$ is a vector-space. These algebras are in a bijection with those subsets of the set of the partitions which are closed under inclusions of partitions. We study the rate of growth of these algebras, then characterize the case where these algebras satisfy polynomial identities.


title: Vanishing thetanulls and hyperelliptic curves

abstract: Let $\mathcal{M}_{g,2}$ be the moduli space of curves of genus $g$ with a level-2 structure. We prove here that there is always a non hyperelliptic element in the intersection of four thetanull divisors in $\mathcal{M}_{6,2}$. We prove also that for all $g\geqslant3$, each component of the hyperelliptic locus in $\mathcal{M}_{g,2}$ is a connected component of the intersection of $g-2$ thetanull divisors.


title: Pair correlation densities of inhomogeneous quadratic forms

abstract: Under explicit diophantine conditions on $(\alpha,\beta)\in\RR^2$, we prove that the local two-point correlations of the sequence given by the values $(m-\alpha)^2+\break (n-\beta)^2$, with $(m,n)\in\ZZ^2$, are those of a Poisson process. This partly confirms a conjecture of Berry and Tabor [2] on spectral statistics of quantized integrable systems, and also establishes a particular case of the quantitative version of the Oppenheim conjecture for inhomogeneous quadratic forms of signature (2,2). The proof uses theta sums and Ratner's classification of measures invariant under unipotent flows.


title: Pair correlation densities of inhomogeneous quadratic forms II

abstract: Denote by $\| \cdot \|$ the euclidean norm in $\RR^k$. We prove that the local pair correlation density of the sequence $\| \vecm -\vecalf \|^k$, $\vecm\in\ZZ^k$, is that of a Poisson process, under diophantine conditions on the fixed vector $\vecalf\in\RR^k$: in dimension two, vectors $\vecalf$ of any diophantine type are admissible; in higher dimensions ($k>2$), Poisson statistics are only observed for diophantine vectors of type $\kappa<(k-1)/(k-2)$. Our findings support a conjecture of Berry and Tabor on the Poisson nature of spectral correlations in quantized integrable systems.


title: A locally trivial quantum Hopf bundle

abstract: We describe a locally trivial quantum principal U(1)-bundle over the quantum space S^2_{pq} which is a noncommutative analogue of the usual Hopf bundle. We also provide results concerning the structure of its total space algebra (irreducible *-representations and topological K-groups) and its Galois aspects (Galois property, existence of a strong connection, non-cleftness).


title: Hartogs type extension theorems

abstract: This paper has been withdrawn by the authors due to an error.


title: Polymatrix and generalized polynacci numbers

abstract: We consider $m$-th order linear recurrences that can be thought of as generalizations of the Lucas sequence. We exploit some interplay with matrices that again can be considered generalizations of the Fibonacci matrix. We introduce the definition of reflected sequence and inverted sequence and we establish some relationship between the coefficients of the Cayley-Hamilton equation for these matrices and the introduced sequences.


title: Number of points of function fields over finite fields

abstract: This is a revised and slightly expanded version. We point out that in the previous summary, "without cohomology" should really read "almost without cohomology" because of the proof of Lemma 2, that the idea to consider effective motives divisible by the Lefschetz motive was anticipated by Serre in letters to Gilles Lachaud and Marc Perret, and finally that the birational invariance of the number of points modulo q in fact follows from a 1983 Comptes Rendus note of Torsten Ekedahl (I am grateful to Antoine Chambert-Loir for making this observation and indicating this reference).


title: FRT-duals as Quantum Enveloping Algebras

abstract: The Hopf algebra generated by the l-functionals on the quantum double C_q[G] \bowtie C_q[G] is considered, where C_q[G] is the coordinate algebra of a standard quantum group and q is not a root of unity. It is shown to be isomorphic to C_q[G]^op \bowtie U_q(g). This was conjectured by T. Hodges in [Ho]. As an algebra it can be embedded into U_q(g) \otimes U_q(g). Here it is proven that there is no bialgebra structure on U_q(g) \otimes U_q(g), for which this embedding becomes a homomorphism of bialgebras. In particular, it is not an isomorphism. As a preliminary a lemma of [Ho] concerning the structure of l-functionals on C_q[G] is generalized. For the classical groups a certain choice of root vectors is expressed in terms of l-functionals. A formula for their coproduct is derived.


title: Riemann Existence Theorems of Mumford Type

abstract: Riemann Existence Theorems for Galois covers of Mumford curves by Mumford curves are stated and proven. As an application, all finite groups are realised as full automorphism groups of Mumford curves in characteristic zero.


title: Sheva-Sheva-Sheva: Large Creatures

abstract: We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Ros{\l}anowski and Shelah math.LO/9807172, math.LO/9909115. To make a real use of these forcing notions (that is to iterate them without collapsing cardinals) we need suitable iteration theorems, and those are proved as well. (In this aspect we continue Ros{\l}anowski and Shelah math.LO/9906024.)


title: Families of Simply Connected 4-Manifolds with the Same Seiberg-Witten Invariants

abstract: This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be distinguished by Seiberg-Witten invariants. Whether these manifolds are, or are not, actually diffeomorphic seems to be a very difficult question to answer. The most interesting of these constructions is a surgery that from certain symplectic 4-manifolds will produce nonsymplectic 4-manifolds. This is detected by calculations of Seiberg-Witten invariants. The surgery in question can be performed on any 4-manifold which contains as a codimension 0 submanifold a punctured surface bundle over a punctured surface and a nontrivial loop in the base which has trivial monodromy. A starting point for another class of examples in this paper is a family of examples which show that the Parshin-Arakelov theorem for holomorphic Lefschetz fibrations is false in the symplectic category. Such families are constructed by means of knot surgery on elliptic surfaces. It is shown that for a fixed homeomorphism type X (of a simply connected elliptic surface) and a fixed integer $g \ge 3$, there are infinitely many genus g Lefschetz fibrations on nondiffeomorphic 4-manifolds, all homeomorphic to X.


title: Banach Lie-Poisson spaces and reduction

abstract: The category of Banach Lie-Poisson spaces is introduced and studied. It is shown that the category of W*-algebras can be considered as one of its subcategories. Examples and applications of Banach Lie-Poisson spaces to quantization and integration of Hamiltonian systems are given. The relationship between classical and quantum reduction is discussed.


title: A new family of positive integers

abstract: Let n,p,k be three positive integers. We prove that the numbers binomial (n,k) 3F2 (1-k, -p, p-n ; 1, 1-n ; 1) are positive integers which generalize the classical binomial coefficients. We give two generating functions for these integers, and a straightforward application.


title: Geometry on nodal curves

abstract: Given a family $X/B$ of nodal curves, we construct canonically and compatibly with base-change, via an explicit blow-up of the Cartesian product $X^r/B$, a family $W^r(X/B)$ parametrizing length-$r$ subschemes of fibres of $X/B$ (plus some additional data). Though $W^r(X/B)$ is singular, the important sheaves on it are locally free, which allows us to study intersection theory on it and deduce enumerative applications, including some relative multiple point formulae, enumerating the length-$r$ schemes contained simultaneously in some fibre of $X/B$ and some fibre of a given map from $X$ to a smooth variety.


title: The geometry of the parabolic Hilbert schemes

abstract: We discuss the parabolic Hilbert scheme of points on smooth surface, which is an interesting generalization of Hilbert scheme of points on surface. Some of the studies by Ellingsrud-Stromme, Goettsche, Cheah, Nakajima and Grojnowski can be generalized in our parabolic case.


title: A theory of the invariants obtained from the moduli stacks of stable objects on a smooth polarized surface

abstract: Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental classes of some moduli stacks, and we show the transition formula of the integrals over the moduli stacks of the $\delta$-stable Bradlow pairs for the variation of the parameter $\delta$. Then, we study the relation among the invariants. In the case $p_g>0$, we show that the invariants are independent of the choice of a polarization of $X$. We also show that the invariants can be reduced to the invariants obtained from the moduli of abelian pairs and the Hilbert schemes. In the case $p_g=0$, we obtain the weak wall crossing formula and the weak intersection rounding formula, which describes the dependence of the invariants on the polarization.


title: Circles and Clifford Algebras

abstract: Consider a smooth map from a neighborhood of the origin in a real vector space to a neighborhood of the origin in a Euclidean space. Suppose that this map takes all germs of lines passing through the origin to germs of Euclidean circles, or lines, or a point. We prove that under some simple additional assumptions this map takes all lines passing though the origin to the same circles as a Hopf map coming from a representation of a Clifford algebra does. We also describe a connection between our result and the Hurwitz--Radon theorem about sums of squares.


title: An endomorphism of the Khovanov invariant

abstract: We construct an endomorphism of the Khovanov invariant to prove H-thinness and pairing phenomena of the invariants for alternating links. As a consequence, it follows that the Khovanov invariant of an oriented nonsplit alternating link is determined by its Jones polynomial, signature, and the linking numbers of its components.


title: Notes on two conjectures in Extension Theory

abstract: It is noted that conjectures about the non-existence of universal compacta and compactifications of the given extension dimension for non finitely dominated complexes are not valid for all CW complexes of the form $L \vee S^{2}$, where $L$ is of finite type and has a finite fundamental group, but is not finitely dominated.


title: A note on Kneser-Haken finiteness

abstract: Kneser-Haken Finiteness asserts that for each compact 3-manifold M there is an integer c(M) such that any collection of k>c(M) closed, essential, 2-sided surfaces in M must contain parallel elements. We show here that if M is closed then twice the number of tetrahedra in a (pseudo)-triangulation of M suffices for c(M).


title: V-representation for normality equations in geometry of generalized Legendre transformation

abstract: Normality equations describe Newtonian dynamical systems admitting normal shift of hypersurfaces. These equations were first derived in Euclidean geometry. Then very soon they were rederived in Riemannian and in Finslerian geometry. Recently I have found that normality equations can be derived in geometry given by classical and/or generalized Legendre transformation. However, in this case they appear to be written in p-representation, i. e. in terms of momentum covector and its components. The goal of present paper is to transform normality equations back to v-representation, which is more natural for Newtonian dynamical systems.


title: Quadratic algebras of skew type and the underlying semigroups

abstract: We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of the relations. Certain sufficient conditions for the algebra to be noetherian and PI are determined. For this, we prove more generally that right noetherian algebras of finite Gelfand-Kirillov dimension defined by homogeneous relations satisfy a polynomial identity. The structure of the underlying monoid, defined by the same presentation, is described. This is used to derive information on the prime radical and minimal prime ideals. Some examples are described in detail. Earlier, Etingof, Schedler and Soloviev, Gateva-Ivanova and Van den Bergh, and the authors considered special classes of such algebras in the contexts of noetherian algebras, Grobner bases, finitely generated solvable groups, semigroup algebras, and set theoretic solutions of the Yang-Baxter equation.


title: The serial harness interacting with a wall

abstract: The serial harnesses introduced by Hammersley describe the motion of a hypersurface of dimension d embedded in a space of dimension $d+1$. The height assigned to each site i of Z^d is updated by taking a weighted average of the heights of some of the neighbors of i plus a ``noise'' (a centered random variable). The surface interacts by exclusion with a ``wall'' located at level zero: the updated heights are not allowed to go below zero. We show that for any distribution of the noise variables and in all dimensions, the surface delocalizes. This phenomenon is related to the so called ``entropic repulsion''. For some classes of noise distributions, characterized by their tail, we give explicit bounds on the speed of the repulsion.


title: Moduli spaces of hyperkaehler manifolds and mirror symmetry

abstract: These are notes of my lectures given at the school on intersection theory and moduli at the ICTP, Trieste. We construct moduli spaces of K3 surfaces and higherdimensional hyperkaehler manifolds, including moduli spaces of (2,2)-conformal field theories associated to hyperkaehler manifolds, and describe their period domains. Recent results on these manifolds are discussed from the moduli space point of view. The second goal is to present a detailed account of mirror symmetry for K3 surfaces. Arguments due to Aspinwall and Morrison allow one to explain various versions of mirror symmetry (e.g. for lattice polarized or elliptic K3 surfaces) by the same general principle.


title: Partial differentiability of invariant splittings

abstract: A key feature of a general nonlinear partially hyperbolic dynamical system is the absence of differentiability of its invariant splitting. In this paper, we show that often partial derivatives of the splitting exist and the splitting depends smoothly on the dynamical system itself.


title: Galois theory of fuchsian q-difference equations

abstract: We propose an analytical approach to the Galois theory of singular regular linear q-difference systems. We use Tannaka duality along with Birkhoff's classification scheme with the connection matrix to define and describe their Galois groups. Then we describe \emph{fundamental subgroups} that give rise to a Riemann-Hilbert correspondence and to a density theorem of Schlesinger's type.


title: Inertia Orbifolds, Configuration Spaces and the Ghost Loop Space

abstract: In this paper we define and study the "ghost loop orbifold" of an orbifold $X$ consisting of those loops that remain constant in the coarse moduli space of $X$. We construct a configuration space model for the ghost loop orbifold using an idea of G. Segal. From this we exhibit the relation between the Hochschild and cyclic homologies of the inertia orbifold of $X$ (that generate the so-called twisted sectors in string theory) and the ordinary and equivariant homologies of the ghost loop orbifold. We also show how this clarifies the relation between orbifold K-theory, Chen-Ruan orbifold cohomology, Hochschild homology, and periodic cyclic homology.


title: The Direct Summand Conjecture in Dimension Three

abstract: The direct summand conjecture asserts that if R is a regular local ring and S is a module-finite R-algebra containing R, then R is a direct summand of S as an R-module. It was previously known to be true if R contains a field or if dim R is at most two. In this article, the result is demonstrated for mixed characteristic rings of dimension three. The proof is accomplished by showing that an extension of plus closure has the colon-capturing property in dimension three.


title: The twisted Cartesian model for the double path fibration

abstract: In the paper the notion of truncating twisting function from a cubical set to a permutahedral set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a permutocubical set that models in particular the path fibration on a loop space. The chain complex of this twisted Cartesian product in fact is a comultiplicative twisted tensor product of cubical chains of base and permutahedral chains of fibre. This construction is formalized as a theory of twisted tensor products for Hirsch algebras.


title: Rational connectivity and sections of families over curves

abstract: We show that if a family of complex varieties over a base B admits a section when restricted to a very general curve in B, then the family must contain a subfamily of rationally connected varieties dominating B. As an application, we deduce the existence of one parameter families of Enriques surfaces with no section.


title: Geometry and analysis in many-body scattering

abstract: These are my lecture notes from a minicourse I gave at the Universite de Nantes about many-body scattering. I also discuss the relationship between many-body scattering and higher rank symmetric spaces, whose description is the result of joint work with Rafe Mazzeo.


title: Global Strichartz Estimates for Solutions to the Wave Equation Exterior to a Convex Obstacle

abstract: In this paper, we show that certain local Strichartz estimates for solutions of the wave equation exterior to a convex obstacle can be extended to estimates that are global in both space and time. This extends the work that was done previously by H. Smith and C. Sogge in odd spatial dimensions.


title: Complemented Subspaces of L_p Determined by Partitions and Weights

abstract: Many of the known complemented subspaces of L_p have realizations as sequence spaces. In this paper a systematic approach to defining these spaces which uses partitions and weights is introduced. This approach gives a unified description of many well-known complemented subspaces of L_p. It is proved that the class of spaces with such norms is stable under (p,2) sums. By introducing the notion of an envelope norm, we obtain a necessary condition for a Banach sequence space with norm given by partitions and weights to be isomorphic to a subspace of L_p. Using this we define a space Y_n with norm given by partitions and weights with distance to any subspace of L_p growing with n. This allows us to construct an example of a Banach space with norm given by partitions and weights which is not isomorphic to a subspace of L_p.


title: On the integral closure of ideals

abstract: Among the several types of closures of an ideal $I$ that have been defined and studied in the past decades, the integral closure $\bar{I}$ has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators of $I$ are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in case $I\neq \bar{I}$, $\surd{I}$ is still helpful in finding some fresh new elements in $\bar{I}\setminus I$. Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals.


title: Sally modules and associated graded rings

abstract: We study the depth properties of the associated graded ring of an m-primary ideal I in terms of numerical data attached to the ideal I. We also find bounds on the Hilbert coefficients of I by means of the Sally module S_J(I) of I with respect to a minimal reduction J of I.


title: Biquotients with singly generated rational cohomology

abstract: We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.


title: Asymptotic behaviour of measures with long range correlations under the action of cellular automata

abstract: This paper has been withdrawn by the authors, due an error involving the weak* convergence argument in section 2


title: Kleinian groups which are almost fuchsian

abstract: We consider the space of all quasifuchsian metrics on the product of a surface with the real line. We show that, in a neighborhood of the submanifold consisting of fuchsian metrics, every non-fuchsian metric is completely determined by the bending data of its convex core.


title: Smooth or singular solutions to the Navier--Stokes system ?

abstract: The existence of singular solutions of the incompressible Navier-Stokes system with singular external forces, the existence of regular solutions for more regular forces as well as the asymptotic stability of small solutions (including stationary ones), and a pointwise loss of smoothness for solutions are proved in the same function space of pseudomeasure type.


title: On strong multiplicity one for automorphic representations

abstract: We extend the strong multiplicity one theorem of Jacquet, Piatetski-Shapiro and Shalika. Let $\pi$ be a unitary, cuspidal, automorphic representation of $GL_n(\A_K)$. Let $S$ be a set of finite places of $K$, such that the sum $\sum_{v\in S}Nv^{-2/(n^2+1)}$ is convergent. Then $\pi$ is uniquely determined by the collection of the local components $\{\pi_v\mid v\not\in S, ~v \~\text{finite}\}$ of $\pi$. Combining this theorem with base change, it is possible to consider sets $S$ of positive density, having appropriate splitting behavior with respect to solvable extensions of $K$, and where $\pi$ is determined upto twisting by a character of the Galois group of $L$ over $K$.


title: Affine Analogue of Jack's Polynomials for \hat{sl}_2

abstract: Affine analogue of Jack's polynomials introduced by Etingof and Kirillov Jr. is studied for the case of \hat{sl}_2. Using the Wakimoto representation, we give an integral formula of elliptic Selberg type for the affine Jack's polynomials. From this integral formula, the action of SL_2(Z) on the space of the affine Jack's polynomials is computed. For simple cases, we write down the affine Jack's polynomials in terms of some modular and elliptic functions.


title: Geometric construction of spinors in orthogonal modular categories

abstract: A geometric construction of Z_2-graded orthogonal modular categories is given. Their 0-graded parts coincide with categories previously obtained by Blanchet and the author from the category of tangles modulo the Kauffman skein relations. Quantum dimensions and twist coefficients for 1-graded simple objects (spinors) are calculated. We show that our even orthogonal modular categories admit cohomological refinements and the odd orthogonal ones lead to spin refinements. The relation with the quantum group approach is discussed.


title: Non-closed minimal hypersurfaces of $\Bbb{S^4}(1)$ with identically zero Gau\ss-Kronecker curvature

abstract: We give a partial local description of minimal hypersurfaces $M^3$ with identically zero Gau\ss-Kronecker curvature function in the unit 4-sphere $\Bbb{S}^4(1)$, without assumption on the compactness of $M^3$.