title: Beyond pair correlation

abstract: The authors study the distribution of psi(x+h)-psi(x)-h and compare it with numerical data.


title: Navier-Stokes equations and fluid turbulence

abstract: An Eulerian-Lagrangian approach to incompressible fluids that is convenient for both analysis and physics is presented. Bounds on burning rates in combustion and heat transfer in convection are discussed, as well as results concerning spectra.


title: Double point self-intersection surfaces of immersions

abstract: A self-transverse immersion of a smooth manifold M^{k+2} in R^{2k+2} has a double point self-intersection set which is the image of an immersion of a smooth surface, the double point self-intersection surface. We prove that this surface may have odd Euler characteristic if and only if k is congruent to 1 modulo 4 or k+1 is a power of 2. This corrects a previously published result by Andras Szucs. The method of proof is to evaluate the Stiefel-Whitney numbers of the double point self-intersection surface. By earier work of the authors these numbers can be read off from the Hurewicz image h(\alpha ) in H_{2k+2}\Omega ^{\infty }\Sigma ^{\infty }MO(k) of the element \alpha in \pi _{2k+2}\Omega ^{\infty }\Sigma ^{\infty }MO(k) corresponding to the immersion under the Pontrjagin-Thom construction.


title: Sur le th\'eor\`eme de l'indice des \'equations diff\'erentielles p-adiques. III

abstract: This paper works out the structure of singular points of p-adic differential equations (i.e. differential modules over the ring of functions analytic in some annulus with external radius 1). Surprisingly results look like in the formal case (differential modules over a one variable power series field) but proofs are much more involved. However, unlike in the Turritin theorem, even after ramification, in the p-adic theory there are irreducible objects of rank >1. The first part is devoted to the definition of p-adic slopes and to a decomposition along p-adic slopes theorem. The case of slope 0 (p-adic analogue of the regular singular case) was already studied in the paper with the same title but number II [Ann. of Math. (2) 146 (1997), 345-410]. The second part states several index existence theorems and index formulas. As a consequence, vertices of the Newton polygon built from p-adic slopes are proved to have integral components (analogue of the Hasse-Arf theorem). After the work of the second author, existence of index implies finitness of p-adic (Monsky-Washnitzer) cohomology for affine varieties over finite fields. The end of the paper outlines the construction of a p-adic-coefficient category over curves (over a finite field) with all needed finitness properties. In the paper with the same title but number IV [Invent. Math. 143 (2001), 629-672], further insights are given.


title: S\'eries Gevrey de type arithm\'etique, I. Th\'eor\`emes de puret\'e et de dualit\'e

abstract: Gevrey series are ubiquitous in analysis; any series satisfying some (possibly non-linear) analytic differential equation is Gevrey of some rational order. The present work stems from two observations: 1) the classical Gevrey series, e.g. generalized hypergeometric series with rational parameters, enjoy arithmetic counterparts of the Archimedean Gevrey condition; 2) the differential operators which occur in classical treatises on special functions have a rather simple structure: they are either Fuchsian, or have only two singularities, 0 and infinity, one of them regular, the other irregular with a single slope... The main idea of the paper is that the arithmetic property 1) accounts for the global analytic property 2): the existence of an injective arithmetic Gevrey solution at one point determines to a large extent the global behaviour of a differential operator with polynomial coefficients. Proofs use both p-adic and complex analysis, and a detailed arithmetic study of the Laplace transform.


title: S\'eries Gevrey de type arithm\'etique, II. Transcendance sans transcendance

abstract: In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial coefficients) which annihilates such a series has no non-trivial singularity outside the origin and infinity. We show how to draw from this fact some transcendence properties, and recover in particular the fundamental theorem of the Siegel-Shidlovsky theory on algebraic independence of values of E-functions. The paradox of the title points out the contrast between the qualitative aspect of this new argument and the essentially quantitative aspect of the traditional approach. At last, we discuss q-analogues of the theory (theta-functions, q-exponential,...).


title: Chern numbers for singular varieties and elliptic homology

abstract: A fundamental goal of algebraic geometry is to do for singular varieties whatever we can do for smooth ones. Intersection homology, for example, directly produces groups associated to any variety which have almost all the properties of the usual homology groups of a smooth variety. Minimal model theory suggests the possibility of working more indirectly by relating any singular variety to a variety which is smooth or nearly so. Here we use ideas from minimal model theory to define some characteristic numbers for singular varieties, generalizing the Chern numbers of a smooth variety. This was suggested by Goresky and MacPherson as a next natural problem after the definition of intersection homology. We find that only a subspace of the Chern numbers can be defined for singular varieties. A convenient way to describe this subspace is to say that a smooth variety has a fundamental class in complex bordism, whereas a singular variety can at most have a fundamental class in a weaker homology theory, elliptic homology. We use this idea to give an algebro-geometric definition of elliptic homology: ``complex bordism modulo flops equals elliptic homology.''


title: Infinitely ramified Galois representations

abstract: In this paper we show how to construct, for most p >= 5, two types of surjective representations \rho:G_Q=Gal(\bar{Q}/Q) -> GL_2(Z_p) that are ramified at an infinite number of primes. The image of inertia at almost all of these primes will be torsion-free. The first construction is unconditional. The catch is that we cannot say whether \rho|_{G_p=Gal(\bar{Q_p}/Q_p) is crystalline or even potentially semistable. The second construction assumes the Generalized Riemann Hypothesis (GRH). With this assumption we can further arrange that \rho|_{G_p} is crystalline at p. We remark that infinitely ramified *reducible* representations have been previously constructed by more elementary means.


title: Normalisation des op\'erateurs d'entrelacement et r\'eductibilit\'e des induites de cuspidales; le cas des groupes classiques p-adiques

abstract: On montre comment les conjectures d'Arthur permettent de calculer les points de r\'eductibilit\'e pour les induites de cuspidales des groupes classiques. Les conjectures d'Arthur utilis\'ees portent sur l'existence d'un rel\`evement faible des repr\'esentations automorphes cuspidales d'un groupe classique vers un groupe lin\'eaire convenable. Et les points de r\'eductibilit\'es sont decrits en terme de la g\'eom\'etrie des orbites unipotentes des groupe dual. On en d\'eduit des r\'esultats sur la normalisation des operateurs d'entrelacement. We show how the global conjectures of Arthur allow us to calculate the points of irreducibility for representations induced from cuspidal representations of classical groups. The conjectures of Arthur used are concerned with the existence of weak liftings of automorphic representations from classical groups to suitable linear ones. And the points of irreducibility are described in terms of the geometry of unipotent orbits on the dual group. We deduce certain results about the normalization of intertwining operators.


title: A comparison of the Carlitz and digit derivatives bases in function field arithmetic

abstract: In this paper we compare several properties and constructions of the Carlitz polynomials and digit derivatives for continuous functions on $\F_q[[T]].$ In particular, we show a close relation between them as orthonormal bases. Moreover, parallel to Carlitz's coefficient formula, we give the closed formula for the expansion coefficients in terms of the digit derivatives.


title: Imaginary quadratic fields k with Cl_2(k) = (2,2^m) and Rank Cl_2(k^1) = 2

abstract: We classify all complex quadratic number fields with 2-class group of type (2,2^m) whose Hilbert 2-class fields have class groups of 2-rank equal to 2. These fields all have 2-class field tower of length 2. We still don't know examples of fields with 2-class field tower of length 3, but the smallest candidate is the field with discriminant -1015.


title: Reducibility mod p of integral closed subschemes in projective

abstract: In an earlier paper we showed that we can improve results by Emmy Noether and Alexander Ostrowski concerning the reducibility modulo p of absolutely irreducible polynomials with integer coefficients by giving the problem a geometric turn and using an arithmetic Bezout theorem. This paper is a generalization, where we show that combining the methods of that paper with the theory of Chow forms leads to similar results for flat, equidimensional, integral, closed subschemes of arbitrary codimension in a projective space over the ring of rational integers.


title: An asymptotic expansion for a ratio of products of gamma functions

abstract: An asymptotic expansion of a ratio of products of gamma functions is derived. It generalizes a formula which was stated by Dingle, first proved by Paris, and recently reconsidered by Olver.


title: Affine embeddings of homogeneous spaces

abstract: Let G be a reductive algebraic group and let H be a reductive subgroup of G. We describe all pairs (G,H) such that for any affine G-variety X with a dense G-orbit isomorphic to G/H the number of G-orbits in X is finite. The maximal number of parameters in families of G-orbits in all affine embeddings of G/H is computed.


title: Operads and algebraic homotopy

abstract: This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to define Steenrod operations). The treatment of this problem is completely self-contained, and includes material that simplifies, extends, and corrects material from the authors AMS Memoir, "Iterating the cobar construction".


title: Quadratic forms of rank 1, closed zones and laminae

abstract: For a given lattice, we establish an equivalence involving a closed zone of the corresponding Voronoi polytope, a lamina hyperplane of the corresponding Delaunay partition and a quadratic form of rank 1 being an extreme ray of the corresponding L-type domain.


title: Matrix Theory over the Complex Quaternion Algebra

abstract: We present in this paper some fundamental tools for developing matrix analysis over the complex quaternion algebra. As applications, we consider generalized inverses, eigenvalues and eigenvectors, similarity, determinants of complex quaternion matrices, and so on.


title: A naive question about quantum groups

abstract: The category O of BGG can be thought of as a category of sheaves over the flag variety F in the sense that the algebra E of self-extensions of the trivial object of O is isomorphic to the cohomology algebra of the flag variety. A deformation of O' - giving rise to a "new" algebra E' - can be thought of as a (possibly noncommutative) deformation F' of F. The mythic variety F', being a deformation of F, should have the same homotopy type as F, and E' should therefore be isomorphic to E.


title: Ribbon-moves of 2-knots: the Farber-Levine pairing and the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman $\widetilde\eta$-invariants of 2-knots

abstract: Let K and K' be 2-knots. Suppose that K and K' are ribbon-move equivalent. Then the Farber-Levine pairing for K is equivalent to that for K' and the (Z-)torsion part of the first Alexander module of $K$ is isomorphic to that of K' as Z[Z] modules. Let K be a 2-knot which is ribbon-move equivalent to the trivial knot. Then the Atiyah-Patodi-Singer-Casson-Gordon-Ruberman Q/Z-valued \widetilde\eta-invariants of K for Z_d is zero. (d is a natural number. d>2.).


title: Ribbon-moves of 2-links preserve the \mu-invariant of 2-links

abstract: We introduce ribbon-moves of 2-knots, which are operations to make 2-knots into new 2-knots by local operations in B^4. (We do not assume the new knots is not equivalent to the old ones.) Let L_1 and L_2 be 2-links. Then the following hold. (1) If L_1 is ribbon-move equivalent to L_2, then we have \mu(L_1)=\mu(L_2). (2) Suppose that L_1 is ribbon-move equivalent to L_2. Let W_i be arbitrary Seifert hypersurfaces for L_i. Then the torsion part of H_1(W_1)+H_1(W_2) is congruent to G+G for a finite abelian group G. (3) Not all 2-knots are ribbon-move equivalent to the trivial 2-knot. (4) The inverse of (1) is not true. (5) The inverse of (2) is not true. Let L=(L_1,L_2) be a sublink of homology boundary link. Then we have: (i) L is ribbon-move equivalent to a boundary link. (ii) \mu(L)= \mu(L_1) + \mu(L_2). We would point out the following facts by analogy of the discussions of finite type invariants of 1-knots although they are very easy observations. By the above result (1), we have: the \mu-invariant of 2-links is an order zero finite type invariant associated with ribbon-moves and there is a 2-knot whose \mu-invariant is not zero. The mod 2 alinking number of (S^2, T^2)-links is an order one finite type invariant associated with the ribbon-moves and there is an (S^2, T^2)-link whose mod 2 alinking number is not zero.


title: On products of harmonic forms

abstract: We prove that manifolds admitting a Riemannian metric for which products of harmonic forms are harmonic satisfy strong topological restrictions, some of which are akin to properties of flat manifolds. Others are more subtle, and are related to symplectic geometry and Seiberg-Witten theory. We also prove that a manifold admits a metric with harmonic forms whose product is not harmonic if and only if it is not a rational homology sphere.


title: Ramsey-Milman phenomenon, Urysohn metric spaces, and extremely amenable groups

abstract: In this paper we further study links between concentration of measure in topological transformation groups, existence of fixed points, and Ramsey-type theorems for metric spaces. We prove that whenever the group $\Iso(\U)$ of isometries of Urysohn's universal complete separable metric space $\mathbb U$, equipped with the compact-open topology, acts upon an arbitrary compact space, it has a fixed point. The same is true if $\U$ is replaced with any generalized Urysohn metric space $U$ that is sufficiently homogeneous. Modulo a recent theorem by Uspenskij that every topological group embeds into a topological group of the form $\Iso(U)$, our result implies that every topological group embeds into an extremely amenable group (one admitting an invariant multiplicative mean on bounded right uniformly continuous functions). By way of the proof, we show that every topological group is approximated by finite groups in a certain weak sense. Our technique also results in a new proof of the extreme amenability (fixed point on compacta property) for infinite orthogonal groups. Going in the opposite direction, we deduce some Ramsey-type theorems for metric subspaces of Hilbert spaces and for spherical metric spaces from existing results on extreme amenability of infinite unitary groups and groups of isometries of Hilbert spaces.


title: Structure of the Three-dimensional Quantum Euclidean Space

abstract: As an example of a noncommutative space we discuss the quantum 3-dimensional Euclidean space $R^3_q$ together with its symmetry structure in great detail. The algebraic structure and the representation theory are clarified and discrete spectra for the coordinates are found. The q-deformed Legendre functions play a special role. A completeness relation is derived for these functions.


title: Schur's old determinant proves a brand-new theorem of Garrett-Ismail-Stanton

abstract: Garrett, Ismail, and Stanton gave a general formula that contains the Rogers-Ramanjuan identities as special cases. We show how easy this is when using a determinant that Schur introduced in 1917.


title: On Complexes Equivalent to $\mathbb{S}^3$-bundles over $\mathbb{S}^4$

abstract: There has been renewed interest in $\mathbb{S}^3$-bundles over $\mathbb{S}^4$ since K. Grove and W. Ziller constructed metrics on nonnegative curvature on the total spaces of these bundles. In this paper we write down necessary and sufficient conditions for a CW complex to be homotopy equivalent to such a bundle. We also show that for a manifold homotopy equivalent to such a bundle, in certain cases, there is no obstruction to homeomorphism. We use this to show that the Berger manifold, $\text{Sp}(2)/\text{Sp}(1)$, is PL-homeomorphic to such a bundle. This question was raised in the paper by Grove and Ziller since this manifold, which admits a normal homogeneous metric of positive sectional curvature, has the cohomology ring of such a bundle. The principal technique used is the study of the Serre spectral sequence of various fibrations.


title: Morita equivalences of Ariki-Koike algebras

abstract: We prove that every Ariki-Koike algebra is Morita equivalent to a direct sum of tensor products of smaller Ariki-Koike algebras which have q-connected parameter sets. A similar result is proved for the cyclotomic q-Schur algebras. Combining our results with work of Ariki and Uglov, the decomposition numbers for the Ariki-Koike algebras defined over fields of characteristic zero are now known in principle.


title: An improved bound for the Minkowski dimension of Besicovitch sets in medium dimension

abstract: We use geometrical combinatorics arguments, including the ``hairbrush'' and x-ray arguments of Wolff and the sticky/plany/grainy analysis of Katz, Laba, and Tao, to show that Besicovitch sets in R^n have Minkowski dimension at least (n+2)/2 + \eps_n for all n > 3, where \eps_n > 0 is an absolute constant depending only on n. This complements the results of Katz, Laba, and Tao, which established the same result for n=3, and of Bourgain and Katz-Tao, arithmetic combinatorics techniques to establish the result for n > 8. In contrast to previous work, our arguments will be purely geometric and do not require arithmetic combinatorics.


title: On the valuation of Paris options: foundational results

abstract: This paper adresses the valuation of the Paris barrier options proposed by Yor, Jeanblanc-Picque, and Chesnay (Advances in Applied Probability, 29(1997), 165-184) using the Laplace transform approach. Based on suggestions by Pliska the notion of Paris options is extended such that their valuation is possible at any point during their lifespan. The Laplace transforms derived by Yor et al. are modified when necessary, and their basic analytic properties are discussed.


title: Mori Dream Spaces and GIT

abstract: The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We characterize Mori dream spaces as GIT quotients of affine varieties by a torus in a manner generalizing Cox's construction of toric varieties as quotients of affine space. Via the quotient description, the chamber decomposition of the cone of divisors in Mori theory is naturally identified with the decomposition of the G-ample cone from geometric invariant theory. In particular every rational contraction of a Mori dream space comes from GIT, and all possible factorizations of a rational contraction can be read off from the chamber decomposition.


title: Symmetry reduction of discrete Lagrangian mechanics on Lie groups

abstract: For a discrete mechanical system on a Lie group $G$ determined by a (reduced) Lagrangian $\ell$ we define a Poisson structure via the pull-back of the Lie-Poisson structure on the dual of the Lie algebra ${\mathfrak g}^*$ by the corresponding Legendre transform. The main result shown in this paper is that this structure coincides with the reduction under the symmetry group $G$ of the canonical discrete Lagrange 2-form $\omega_\mathbb{L}$ on $G \times G$. Its symplectic leaves then become dynamically invariant manifolds for the reduced discrete system. Links between our approach and that of groupoids and algebroids as well as the reduced Hamilton-Jacobi equation are made. The rigid body is discussed as an example.


title: Une q - sp\'ecialisation pour les fonctions sym\'etriques monomiales

abstract: We obtain the specialization of monomial symmetric functions on the alphabet (a-b)/(1-q). This gives a remarkable algebraic identity, and four new developments for the Macdonald polynomial associated with a row. The proofs are given in the framework of $\lambda$-ring theory.


title: The Hamiltonian Seifert Conjecture: Examples and Open Problems

abstract: Hamiltonian dynamical systems tend to have infinitely many periodic orbits. For example, for a broad class of symplectic manifolds almost all levels of a proper smooth Hamiltonian carry periodic orbits. The Hamiltonian Seifert conjecture is the existence problem for regular compact energy levels without periodic orbits. Very little is known about how large the set of regular energy values without periodic orbits can be. For instance, in all known examples of Hamiltonian flows on linear spaces such energy values form a discrete set, whereas ``almost existence theorems'' only require this set to have zero measure. We describe constructions of Hamiltonian flows without periodic orbits on one energy level and formulate conjectures and open problems.


title: All two dimensional links are null homotopic

abstract: We show that any number of disjointly embedded 2-spheres in 4-space can be pulled apart by a link homotopy, ie, by a motion in which the 2-spheres stay disjoint but are allowed to self-intersect.


title: Local formula for the index of a Fourier Integral Operator

abstract: We show that the index of an elliptic Fourier integral operator associated to a contact diffeomorphism $\phi$ of cosphere bundles of two Riemannian manifolds X and Y is given by $\int_{B^*X}\hat{A}(T^*X)\exp{\theta} - \int_{B^*Y}\hat{A}(T^*Y)\exp{\theta}$. Here $B^*$ stands for the unit coball bundle and $\theta$ is a certain characteristic class depending on the principal symbol of the Fourier integral operator. In the special case when X=Y we obtain a different proof of the theorem of Epstein and Melrose.


title: Families of singular rational curves

abstract: Let X be a projective variety which is covered by a family of rational curves of minimal degree. The classic bend-and-break argument of Mori asserts that if x and y are two general points, then there are at most finitely many curves in that family which contain both x and y. In this work we shed some light on the question as to whether two sufficiently general points actually define a unique curve. As an immediate corollary to the results of this paper, we give a characterization of projective spaces which improves on the known generalizations of Kobayashi-Ochiai's theorem.


title: A small transitive family of continuous functions on the Cantor set

abstract: In this paper we show that, when we iteratively add Sacks reals to a model of ZFC we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other.


title: Discrete group actions on Stein domains in complex Lie groups

abstract: This paper deals with the analytic continuation of holomorphic automorphic forms on a Lie group $G$. We prove that for any discrete subgroup $\Gamma$ of $G$ there always exists a non-trivial holomorphic automorphic form, i.e., there exists a $\Gamma$-spherical unitary highest weight representation of $G$. Holomorphic automorphic forms have the property that they analytically extend to holomorphic functions on a complex Ol'shanski\u\i{} semigroup $S\subeq G_\C$. As an application we prove that the bounded holomorphic functions on $\Gamma\bs S\subseteq \Gamma\bs G_\C$ separate the points.


title: Formal dimension for semisimple symmetric spaces

abstract: In this paper we generalize Harish Chandra's formula for the formal dimension of a representation of the holomorphic discrete series of a hermitian Lie group $G$ to semisimple symmetric spaces $G/H$.


title: The c-function for non-compactly causal symmetric spaces

abstract: In this paper we prove the product formula for the c-function of non-compactly causal symmetric spaces.


title: Isoparametric submanifolds and a Chevalley-type restriction theorem

abstract: We define and study isoparametric submanifolds of general ambient spaces and of arbitrary codimension. In particular we study their behaviour with respect to Riemannian submersions and their lift into a Hilbert space. These results are used to prove a Chevalley type restriction theorem which relates by restriction eigenfunctions of the Laplacian on a compact Riemannian manifold which contains an isoparametric submanifold with flat sections to eigenfunctions of the Laplacian of a section. A simple example of such an isoparametric foliation is given by the conjugacy classes of a compact Lie group and in that case the restriction theorem is a (well known) fundamental result in representation theory. As an application of the restriction theorem we show that isoparametric submanifolds with flat sections in compact symmetric spaces are level sets of eigenfunctions of the Laplacian and are hence related to representation theory. In addition we also get the following results. Isoparametric submanifolds in Hilbert space have globally flat normal bundle, and a general result about Riemannian submersions which says that focal distances do not change if a submanifold of the base is lifted to the total space.


title: Non-Archimedean intersection indices on projective spaces and the Bruhat-Tits building for PGL

abstract: Inspired by Manin's approach towards a geometric interpretation of Arakelov theory at infinity, we interpret in this paper non-Archimedean local intersection numbers of linear cycles in $P^{n-1}$ with the combinatorial geometry of the Bruhat-Tits building associated to PGL(n).


title: Characterization of Cyclic and Separating Vectors and Application to an Inverse Problem in Modular Theory, II. Semifinite Factors

abstract: This paper generalizes the results obtained in an earlier paper (math.OA/0003087) for finite factors to infinite but still semifinite factors. First we give a characterization of cyclic and separating vectors for infinite semifinite factors in terms of operators associated with this vector and being affiliated with the factor. Further we show how this operator generates the modular objects of the given cyclic and separating vector generalizing an idea of Kadison and Ringrose. With the help of these results we can show that the second simple class of solutions for the inverse problem constructed in math.OA/0003087 never exists in infinite semifinite factors. Finally we give a classification of the solutions of the inverse problem in the case of modular operators having pure point spectrum, completely analoguous to the finite case.


title: Einstein-Weyl geometry, the dKP equation and twistor theory

abstract: It is shown that Einstein-Weyl (EW) equations in 2+1 dimensions contain the dispersionless Kadomtsev-Petviashvili (dKP) equation as a special case: If an EW structure admits a constant weighted vector then it is locally given by $h=d y^2-4d xd t-4ud t^2, \nu=-4u_xd t$, where $u=u(x, y, t)$ satisfies the dKP equation $(u_t-uu_x)_x=u_{yy}$. Linearised solutions to the dKP equation are shown to give rise to four-dimensional anti-self-dual conformal structures with symmetries. All four-dimensional hyper-K\"ahler metrics in signature $(++--)$ for which the self-dual part of the derivative of a Killing vector is null arise by this construction. Two new classes of examples of EW metrics which depend on one arbitrary function of one variable are given, and characterised. A Lax representation of the EW condition is found and used to show that all EW spaces arise as symmetry reductions of hyper-Hermitian metrics in four dimensions. The EW equations are reformulated in terms of a simple and closed two-form on the $\CP^1$-bundle over a Weyl space. It is proved that complex solutions to the dKP equations, modulo a certain coordinate freedom, are in a one-to-one correspondence with minitwistor spaces (two-dimensional complex manifolds ${\cal Z}$ containing a rational curve with normal bundle $\O(2)$) that admit a section of $\kappa^{-1/4}$, where $\kappa$ is the canonical bundle of ${\cal Z}$. Real solutions are obtained if the minitwistor space also admits an anti-holomorphic involution with fixed points together with a rational curve and section of $\kappa^{-1/4}$ that are invariant under the involution.


abstract: The R-matrix of the symplecto-orthogonal quantum superalgebra U_q(spo(2n|2m)) in the vector representation is calculated, and its basic properties are derived.


title: The quantum supergroup SPO_q(2n|2m) and an SPO_q(2n|2m)-covariant quantum Weyl superalgebra

abstract: Recently, the R-matrix of the symplecto-orthogonal quantum superalgebra U_q(spo(2n|2m)) in the vector representation has been calculated. In the present work, this R-matrix is used to introduce the corresponding quantum supergroup SPO_q(2n|2m) and to construct an SPO_q(2n|2m)-covariant quantum Weyl superalgebra.


title: D-brane conformal field theory and bundles of conformal blocks

abstract: Conformal blocks form a system of vector bundles over the moduli space of complex curves with marked points. We discuss various aspects of these bundles. In particular, we present conjectures about the dimensions of sub-bundles. They imply a Verlinde formula for non-simply connected groups like PGL(n,C). We then explain how conformal blocks enter in the construction of conformal field theories on surfaces with boundaries. Such surfaces naturally appear in the conformal field theory description of string propagation in the background of a D-brane. In this context, the sub-bundle structure of the conformal blocks controls the structure of symmetry breaking boundary conditions.


title: Pre-Lagrangian Submanifolds in Contact Manifolds

abstract: In this paper we prove that there does not exists any closed Pre-Lagrangian submanifolds in any closed contact manifolds by using the $J-$holomorphic curves and Gromov's nonlinear Fredholm alternative.


title: The asymptotic behavior of the colored Jones function of a knot and its volume

abstract: I show various calculations of the limit of the colored Jones function for the figure-eight knot and confirm R. Kashaev's conjecture in this case.


title: J-holomorphic Curves And Periodic Reeb Orbits

abstract: We study the $J-$holomorphic curves in the symplectization of the contact manifolds and prove that there exists at least one periodic Reeb orbits in any closed contact manifold with any contact form by using the well-known Gromov's nonlinear Fredholm alternative for $J-$holomorphic curves. As a corollary, we give a complete solution on the well-known Weinstein conjecture.


title: J-holomorphic Curves, Legendre Submanifolds and Reeb Chords

abstract: In this article, we prove that there exists at least one chord which is characteristic of Reeb vector field connecting a given Legendre submanifold in a closed contact manifold with any contact form.


title: Intertwining operator superalgebras and vertex tensor categories for superconformal algebras, II

abstract: We construct the intertwining operator superalgebras and vertex tensor categories for the N=2 superconformal unitary minimal models and other related models.


title: An explicit formula for the determinant of the Abelian integral matrix

abstract: We consider a polynomial h(x,y) in two complex variables of degree n+1>1 with a generic higher homogeneous part. The rank of the first homology group of its nonsingular level curve h(x,y)=t is n*n. To each 1- form in the variable space and a generator of the homology group one associates the (Abelian) integral of the form along the generator. The Abelian integral is a multivalued function in t. For a fixed canonic tuple of n*n monomial 1- forms we consider the multivalued square matrix function in t whose elements are the Abelian integrals of the forms along the generators. Its determinant does not depend on the choice of the generators in the homology group (up to change of sign, which corresponds to change of generator system that reverses orientation). In 1999 Yu.S.Ilyashenko proved that the determinant of the Abelian integral matrix is a polynomial in t of degree n*n whose zeroes are the critical values of h. We give an explicit formula for the determinant.


title: Compactness Theorems for Invariant Connections

abstract: Necessary and sufficient conditions are given for the Palais-Smale Condition C to hold for the Yang-Mills functional for connections that are invariant under a Lie group action on the manifold with orbits of codimension less than or equal to three. As an application the mountain pass lemma is used to give a simple proof of Wang's theorem on the existence of irreducible non-(anti-)selfdual instantons on S^2 x S^2 .


title: Quantization of Lie bialgebras, part VI: quantization of generalized Kac-Moody algebras

abstract: This paper is a continuation of the series of papers "Quantization of Lie bialgebras (QLB) I-V". We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantization parameter is formal, then the category O for the quantized Kac-Moody algebra is equivalent, as a braided tensor category, to the category O over the corresponding classical Kac-Moody algebra, with the tensor category structure defined by a Drinfeld associator. This equivalence is a generalization of the functor constructed previously by G.Lusztig and the second author. In particular, we answer positively a question of Drinfeld whether the characters of irreducible highest weight modules for quantized Kac-Moody algebras are the same as in the classical case. Moreover, our results are valid for the Lie algebra g(A) corresponding to any symmetrizable matrix A (not necessarily with integer entries), which answers another question of Drinfeld. We also prove the Drinfeld-Kohno theorem for the algebra g(A) (it was previously proved by Varchenko using integral formulas for solutions of the KZ equations).


title: Witten's Geometric Quantization of the Moduli of CY Threefolds

abstract: In this paper we will use our results about the local deformation theory of Calabi-Yau manifolds to define a Higgs field on the tangent bundle of the moduli space of CY threefolds. Combining this Higgs field with the Levi-Chevitta connection of the Weil-Petersson metrics on the moduli space of three dimensional CY manifolds, we construct a new $Sp(2h^{2,1}% ,\mathbb{R)}$ connection, following the ideas of Cecotti and Vafa. We prove that this new connection is a flat connection. Using this flat connection, we apply the scheme of geometric quantization introduced by Axelrod, Della Pietra and Witten to the tangent bundle of the moduli space of three dimensional CY manifolds. By modifying the calculations of E. Witten done in 1993 to the tangent bundle of the moduli space of CY threefolds, we derive again the holomorphic anomaly equations of Bershadsky, Cecotti, Ooguri and Vafa. We also introduced a Z structure on the tangent bundle of the moduli space of polarized CY threefolds by using the flat symplectic connection.


title: Ample Divisors, Automorphic Forms and Shafarevich's Conjecture

abstract: In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose that in some projective smooth compactification of the coarse moduli the discriminant divisor supports an ample one, then it is not difficult to see that this fact implies the analogue of Shafarevich's conjecture. In this article we apply this method to certain polarized algebraic K3 surfaces and also to Enriques surfaces.


title: Ray Singer Analytic Torsion of Calabi Yau manifolds I

abstract: In this paper we generalized the variational formulas for the determinants of the Laplacians on functions of CY metrics to forms of type (0,q) on CY manifolds. We also computed the Ray Singer Analytic torsion on CY manifolds we proved that it is bounded by a constant. In case of even dimensional CY manifolds the Ray Singer Analytic torsion is zero. The interesting case is the odd dimensional one.


title: Ray Singer Analytic Torsion of CY Manifolds II

abstract: In this paper we construct the analogue of Dedekind eta function for odd dimensional CY manifolds. We use the theory of determinant line bundles. We constructed a canonical holomorphic section $\eta^{N}$ of some power of the determinant line bundle on the moduli space of odd dimensional CY manifolds. According to Viehweg the moduli space of moduli space of polarized odd dimensional CY manifolds $\mathcal{M}(M)$ is quasi projective. According to a Theorem due to Hironaka we can find a projective smooth variety $\bar {\mathcal{M}(M)}$ such that $\bar{\mathcal{M}(M)}\backslash$ $\mathcal{M}(M)=\mathcal{D}_{\infty}$ is a divisor of normal crossings. We also showed by using Mumford's theory of metrics with logarithmic growths that the determinant line bundle can be canonically prolonged to $\bar {\mathcal{M}(M)}$ $.$ We also showed that there exists section $\eta$ of some power of the determinant line bundle which vanishes on $\mathcal{D}_{\infty}$ and has a Quillen norm the Ray Singer Analytic Torsion$.$ This section is that analogue of the Dedekind eta Function $\eta.$


title: Lattices, interpolation, and set theory

abstract: We review a few results concerning interpolation of monotone functions on infinite lattices, emphasizing the role of set-theoretic considerations. We also discuss a few open problems.


title: Torsion Elements in the Mapping Class Group of a Surface

abstract: Given a finite set of $r$ points in a closed surface of genus $g$, we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if $(g, r) \neq (2, 5k+4)$ for some integer $k$.


title: Spectral Radii of Bounded Operators on Topological Vector Spaces

abstract: In this paper we develop a version of spectral theory for bounded linear operators on topological vector spaces. We show that the Gelfand formula for spectral radius and Neumann series can still be naturally interpreted for operators on topological vector spaces. Of course, the resulting theory has many similarities to the conventional spectral theory of bounded operators on Banach spaces, though there are several important differences. The main difference is that an operator on a topological vector space has several spectra and several spectral radii, which fit a well-organized pattern.


title: Brown-Peterson spectra in stable A^1-homotopy theory

abstract: We characterize ring spectra morphisms from the algebraic cobordism spectrum $\QTR{Bbb}{MGL}$ (\QCITE{cite}{}{Vo1}) to an oriented spectrum $\QTR{Bbb}{E}$ (in the sense of Morel \QCITE{cite}{}{Mo}) via formal group laws on the ''topological'' subring $E^{*}=\oplus_iE^{2i,i}$ of $E^{**}$. This result is then used to construct for any prime $p$ a motivic Quillen idempotent on $\QTR{Bbb}{MGL}_{(p)}$. This defines the $BP$-spectrum associated to the prime $p$ as in Quillen's \QCITE{cite}{}{Q1} for the complex-oriented topological case.


title: Spectra and symmetric spectra in general model categories

abstract: (This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy that apply to the known example of topological spaces, but also to new situations, such as motivic homotopy theory of schemes. One is based on the standard notion of spectra originated by Boardman. Its input is a well-behaved model category C and an endofunctor G, generalizing the suspension. Its output is a model category on which G is a Quillen equivalence. Under strong hypotheses the weak equivalences in this model structure are the appropriate analogue of stable homotopy isomorphisms. The second construction is based on symmetric spectra, and is of value only when C has some monoidal structure that G preserves. In this case, ordinary spectra generally will not have monoidal structure, but symmetric spectra will. Our abstract approach makes constructing the stable model category of symmetric spectra straightforward. We study properties of these stabilizations; most importantly, we show that the two different stabilizations are Quillen equivalent under some hypotheses (that also hold in the motivic example).


title: Simple purely infinite C*-algebras and n-filling actions

abstract: Let $n$ be a positive integer. We introduce a concept, which we call the $n$-filling property, for an action of a group on a separable unital $C^*$-algebra $A$. If $A=C(\Omega)$ is a commutative unital $C^*$-algebra and the action is induced by a group of homeomorphisms of $\Omega$ then the $n$-filling property reduces to a weak version of hyperbolicity. The $n$-filling property is used to prove that certain crossed product $C^*$-algebras are purely infinite and simple. A variety of group actions on boundaries of symmetric spaces and buildings have the $n$-filling property. An explicit example is the action of $\Gamma=SL_n({\bf Z})$ on the projective $n$-space.


title: The Askey-Wilson function transform

abstract: In this paper we present an explicit (rank one) function transform which contains several Jacobi-type function transforms and Hankel-type transforms as degenerate cases. The kernel of the transform, which is given explicitly in terms of basic hypergeometric series, thus generalizes the Jacobi function as well as the Bessel function. The kernel is named the Askey-Wilson function, since it provides an analytical continuation of the Askey-Wilson polynomial in its degree. In this paper we establish the $L^2$-theory of the Askey-Wilson function transform, and we explicitely determine its inversion formula.


title: Penalty approximation for non smooth constraints in vibroimpact

abstract: We examine the penalty approximation of the free motion of a material point in an angular domain; we choose an over-damped penalty, and we prove that if the first impact point is not at the vertex, then, the limit of the approximation exists and is described by Moreau's rule for anelastic impacts. The proofs rely on validated asymptotics and use some classical tools in the theory of dynamical systems.


title: Generalisation de formules de type Waring

abstract: We evaluate the symmetric functions $e_k$, $h_k$ and $p_k$ on the alphabet $\{x_r/(1-tx_r)\}$ by elementary methods and give the related generating functions. Our formulas lead to a new and short proof of an ex-conjecture of Lassalle, which was proved by Lascoux and Lassalle in the framework of $\lambda$-rings theory.


title: Spinor Representations of Surfaces in 4-Dimensional Pseudo-Riemannian Manifolds

abstract: Spinor representations of surfaces immersed into 4-dimensional pseudo-riemannian manifolds are defined in terms of minimal left ideals and tensor decompositions of Clifford algebras. The classification of spinor fields and Dirac operators on the immersed surfaces is given. The Dirac-Hestenes spinor field on surfaces immersed into Lorentzian manifolds and on surfaces conformally immersed into Minkowski spacetime is defined.


title: Actions of semisimple Lie groups on circle bundles

abstract: Suppose G is a connected, simple, real Lie group with real rank at least two, M is an ergodic G-space with invariant probability measure, and f is a Homeo(T)-valued Borel cocycle, where Homeo(T) denotes the group of homeomorphisms of the circle T. We use an argument of E.Ghys to show that there is a G-invariant probability measure on the skew product of M and T. Furthermore, if the image of f consists of diffeomorphisms, then there is an invariant measure that is equivalent to the product measure; therefore, f is cohomologous to a cocycle with values in the isometry group of T.


title: Embedding obstructions and 4-dimensional thickenings of 2-complexes

abstract: The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial n-complex into $R^{2n}$ for $n\neq 2$, and it was recently shown to be incomplete for $n=2$. We use algebraic-topological invariants of four-manifolds with boundary to introduce a sequence of higher embedding obstructions for a class of 2-complexes in $R^4$.


title: An Eulerian-Lagrangian Approach for Incompressible Fluids: Local Theory

abstract: We present a local existence result for the three dimensional incompressible Euler equations. The solution is constructed using a formulation of the equations as an active vector system in Eulerian coordinates. The formulation employs the inverse of the Lagrangian path map (the "back-to-labels" map) and its Eulerian gradient. We express sufficient conditions for regularity in terms of this gradient.


title: The dimensions of Hausdorff and Mendes France. A comparative study

abstract: This paper contains a comparative study of two families of simple curves drawn in the plane. On the one hand, we have the fractal curves on the unit interval, with self-similar structure, which have associated a Hausdorff dimension. On the other hand, we have the opposite: a class of locally rectifiable unbounded curves, which have another "fractional dimension" defined by M. Mendes France. We propose a geometrical constructive process that will allow us to obtain - as the limit of a sequence of polygonal curves - one curve of the first family, by contractive transformations; and another of the second family, by expansive transformations. Thanks to this process of linking curves from both families, we are able to compare their dimensions - our aim in this work -, and to obtain interesting results such as the equality of the latter in the case of strict self-similarity.


title: Convexity of multi-valued momentum map

abstract: We extend the famous convexity theorem of Atiyah, Guillemin and Sternberg to the case of non-Hamiltonian actions. We show that the image of a generalized momentum map is a bounded polytope times a vector space. We prove that this picture is stable for small perturbations of the symplectic form. We also observe that an n-dimensional torus symplectic action on a 2n-dimensional symplectic manifold, with fixed point, is Hamiltonian. We finally prove that an extension of Kirwan's convexity theorem (for compact group actions) is also true.


title: On Nichols algebras of low dimension

abstract: This is a contribution to the classification program of pointed Hopf algebras. We give a generalization of the quantum Serre relations and propose a generalization of the Frobenius-Lusztig kernels in order to compute Nichols algebras of diagonal group type. With this, we classify Nichols algebras B(V) with dimension < 32 or with dimension p^3, p a prime number, when V lies in a Yetter-Drinfeld category over a finite group. With the so called Lifting Procedure, this allows to classify pointed Hopf algebras of index < 32 or p^3. In recent articles by Etingof-Schedler-Soloviev and Lu-Yan-Zhu, the authors deal with set-theoretical solutions to the Braid Equation. We propose here an homology theory for conjugate solutions (in the language of Lu-Yan-Zhu) which parameterizes usual solutions lying over set-theoretical conjugate ones. These usual solutions are modules in Yetter-Drinfeld categories over group algebras, and then they provide (after computing Nichols algebras and liftings of their bosonizations) families of pointed Hopf algebras.


title: On Numerically Effective Log Canonical Divisors

abstract: Let $(X,\Delta)$ be a 4-dimensional log variety which is proper over the field of complex numbers and with only divisorial log terminal singularities. The log canonical divisor $K_X+\Delta$ is semi-ample, if it is nef (numerically effective) and the Iitaka dimension $\kappa(X,K_X+\Delta)$ is strictly positive. For the proof, we use Fujino's abundance theorem for semi log canonical threefolds.


title: The fractional - order controllers: Methods for their synthesis and application

abstract: This paper deals with fractional-order controllers. We outline mathematical description of fractional controllers and methods of their synthesis and application. Synthesis method is a modified root locus method for fractional-order systems and fractional-order controllers. In the next section we describe how to apply the fractional controller on control systems.


title: Duality and modular class of a Nambu-Poisson structure

abstract: In this paper we introduce cohomology and homology theories for Nambu-Poisson manifolds. Also we study the relation between the existence of a duality for these theories and the vanishing of a particular Nambu-Poisson cohomology class, the modular class. The case of a regular Nambu-Poisson structure and some singular examples are discussed.


title: Generalized toric varieties for simple non-rational convex polytopes

abstract: We call complex quasifold of dimension k a space that is locally isomorphic to the quotient of an open subset of the space C^k by the holomorphic action of a discrete group; the analogue of a complex torus in this setting is called a complex quasitorus. We associate to each simple polytope, rational or not, a family of complex quasifolds having same dimension as the polytope, each containing a dense open orbit for the action of a suitable complex quasitorus. We show that each of these spaces M is diffeomorphic to one of the symplectic quasifolds defined in http://arXiv.org/abs/math:SG/9904179, and that the induced symplectic structure is compatible with the complex one, thus defining on M the structure of a Kaehler quasifold. These spaces may be viewed as a generalization of the toric varieties that are usually associated to those simple convex polytopes that are rational.


title: On the Frobenius integrability of certain holomorphic p-forms

abstract: The goal of this note is to exhibit the integrability properties (in the sense of the Frobenius theorem) of holomorphic p-forms with values in certain line bundles with seminegative curvature on a compact Kaehler manifold. There are in fact very strong restrictions, both on the holomorphic form and on the curvature of the seminegative line bundle. As a consequence, these observations provide interesting information on the structure of projective manifolds which admit a contact structure: either they are Fano manifolds or, thanks to results of Kebekus-Peternell-Sommese-Wisniewski, they are biholomorphic to the projectivization of the cotangent bundle of another suitable projective manifold.


title: Resultats sur la dualite etrange sur le plan projectif

abstract: We compute the dimensions of spaces of sections of all powers of the Donaldson determinant bundle on the moduli space of rank 2 semi-stable sheaves on the projective plane, with zero first Chern class, and second Chern class equal to 3 or 4. We prove Le Potier's strange duality conjecture in some cases.


title: A notion of rectifiability modeled on Carnot groups

abstract: We introduce a notion of rectifiability modeled on Carnot groups. Precisely, we say that a subset E of a Carnot group M and N is a subgroup of M, we say E is N-rectifiable if it is the Lipschitz image of a positive measure subset of N. First, we discuss the implications of N-rectifiability, where N is a Carnot group (not merely a subgroup of a Carnot group), which include N-approximability and the existence of approximate tangent cones isometric to N almost everywhere in E. Second, we prove that, under a stronger condition concerning the existence of approximate tangent cones isomorphic to N almost everywhere in a set E, that E is N-rectifiable. Third, we investigate the rectifiability properties of level sets of C^1_N functions, where N is a Carnot group. We show that for almost every real number t and almost every noncharacteristic point x in a level set of f, there exists a subgroup T_x of H and r >0 so that f^{-1}(t) intersected with B_H(x,r) is T_x-approximable at x and an approximate tangent cone isomorphic to T_x at x.


title: Easy and nearly simultaneous proofs of the Ergodic Theorem and Maximal Ergodic Theorem

abstract: A very short and direct proof along the lines of the Kamae-Katznelson-Weiss approach.


title: A Ring-Theorist's Description of Fedosov Quantization

abstract: We present a formal, algebraic treatment of Fedosov's argument that the coordinate algebra of a symplectic manifold has a deformation quantization. His remarkable formulas are established in the context of affine symplectic algebras.


title: Idempotent relations and generalized p-ranks of curves

abstract: This paper has been superseded by math.NT/0205008


title: Pseudo-Riemannian metrics with parallel spinor fields and vanishing Ricci tensor

abstract: I discuss geometry and normal forms for pseudo-Riemannian metrics with parallel spinor fields in some interesting dimensions. I also discuss the interaction of these conditions for parallel spinor fields with the condition that the Ricci tensor vanish (which, for pseudo-Riemannian manifolds, is not an automatic consequence of the existence of a nontrivial parallel spinor field).


title: Dickson Invariants in the image of the Steenrod Square

abstract: Let D_n be the Dickson invariant ring of F_2[X_1,...,X_n] acted by the general linear group GL(n,\F_2). In this paper, we provide an elementary proof of the conjecture by [Hung]: each element in D_n is in the image of the Steenrod square in F_2[X_1,...,X_n], where n>3.


title: Convexity of domains of Riemannian manifolds

abstract: In this paper we analyze the problem of the geodesic connectedness of subsets of Riemannian manifolds. By using variational methods, the geodesic connectedness of open domains (whose boundaries can be not differentiable and not convex) of a smooth Riemannian manifold is proved. In some cases also the convexity of the domain is obtained. Moreover we present examples of the applicability and of the independence of the assumptions. Finally we give an application to the existence of trajectories with fixed energy of dynamical systems.


title: Canonical stability in terms of singularity index for algebraic threefolds

abstract: Let X be a projective 3-fold with at most Q-factorial terminal singularities on which K_X is nef and big. Suppose the canonical index r(X)>1. For any positive integer m, it is interesting to consider the base point freeness and birationality of the divisor mK_X. For example, we know the following results: (1) the system |5rK_X| is base point free (Ein-Lazarsfeld-Lee); (2) |mK_X| gives a birational map for all m>4r+2 (M. Hanamura). This article aims to present a better result in direction (2). As far as our method can tell here, |mK_X| gives a birational map for all m>2r+5. (Q-divisor method + patient calculation)


title: The variational principle for a class of asymptotically abelian C*-algebras

abstract: Let (A,\alpha) be a C*-dynamical system. We introduce the notion of pressure P_\alpha(H) of the automorphism \alpha at a self-adjoint operator H\in A. Then we consider the class of AF-systems satisfying the following condition: there exists a dense \alpha-invariant *-subalgebra \A of A such that for all pairs a,b\in\A the C*-algebra they generate is finite dimensional, and there is p=p(a,b)\in\N such that [\alpha^j(a),b]=0 for |j|\ge p. For systems in this class we prove the variational principle, i.e. show that P_\alpha(H) is the supremum of the quantities h_\phi(\alpha)-\phi(H), where h_\phi(\alpha) is the Connes-Narnhofer-Thirring dynamical entropy of \alpha with respect to the \alpha-invariant state \phi. If H\in\A, and P_\alpha(H) is finite, we show that any state on which the supremum is attained is a KMS-state with respect to a one-parameter automorphism group naturally associated with H. In particular, Voiculescu's topological entropy is equal to the supremum of h_\phi(\alpha), and any state of finite maximal entropy is a trace.


title: Remarks about uniform boundedness of rational points over function fields

abstract: We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the complex numbers.


title: A formula for Gau{\ss}-Manin determinants

abstract: We give an explicit formula for the determinant of the Gau{\ss}-Manin connection for an irregular connection on a Zariski open set of the projective line $\P^1_K$ over a function field $K$ over a field $k$ of characteristic zero.


title: A few weight systems arising from intersection graphs

abstract: We show that the adjacency matrices of the intersection graphs of chord diagrams satisfy the 2-term relations of Bar-Natan and Garoufalides [bg], and hence give rise to weight systems. Among these weight systems are those associated with the Conway and HOMFLYPT polynomials. We extend these ideas to looking at a space of {\it marked} chord diagrams modulo an extended set of 2-term relations, define a set of generators for this space, and again derive weight systems from the adjacency matrices of the (marked) intersection graphs. Among these weight systems are those associated with the Kauffman polynomial.


title: Deformation quantization with traces and vanishing of the wheels

abstract: The paper has been withdrawn because the result of math.QA/0002057 "Deformation quantization with traces" holds only for a constant volume form.


title: A mean identity for longest increasing subsequence problems

abstract: We show that a wide variety of generalized increasing subsequence problems admit a one parameter family of extensions for which we can exactly compute the mean length of the longest increasing subsequence. By the nature of the extension, this gives upper bounds on the mean in the unextended model, which turn out to be asymptotically tight for all of the models that have so far been analyzed. A heuristic analysis based on this fact gives not just the asymptotic mean but also the asymptotic scale factor, again agreeing with all known cases.


title: Loop-erased walks and total positivity

abstract: We consider matrices whose elements enumerate weights of walks in planar directed weighted graphs (not necessarily acyclic). These matrices are totally nonnegative; more precisely, all their minors are formal power series in edge weights with nonnegative coefficients. A combinatorial explanation of this phenomenon involves loop-erased walks. Applications include total positivity of hitting matrices of Brownian motion in planar domains.


title: Groupoids and the integration of Lie algebroids

abstract: We show that a Lie algebroid on a stratified manifold is integrable if, and only if, its restriction to each strata is integrable. These results allow us to construct a large class of algebras of pseudodifferential operators.


title: Heat Invariant E_2 for Nonminimal Operator on Manifolds with Torsion

abstract: Computer algebra methods are applied to investigation of spectral asymptotics of elliptic differential operators on curved manifolds with torsion and in the presence of a gauge field. In this paper we present complete expressions for the second coefficient (E_2) in the heat kernel expansion for nonminimal operator on manifolds with nonzero torsion. The expressions were computed for general case of manifolds of arbitrary dimension n and also for the most important for E_2 case n=2. The calculations have been carried out on PC with the help of a program written in C.


title: The Poincar\'{e} series of some special quasihomogeneous surface singularities

abstract: In the author's paper ''Poincar\'{e} series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity'' a relation is proved between the Poincar\'{e} series of the coordinate algebra of a two-dimensional quasihomogeneous isolated hypersurface singularity and the characteristic polynomial of its monodromy operator. We study this relation for Fuchsian singularities and show that it is connected with the mirror symmetry of K3 surfaces and with automorphisms of the Leech lattice. We also indicate relations between other singularities and Conway's group.


title: On the Dunford-Pettis Property of the Tensor product of C(K) spaces

abstract: We characterize those compact Hausdorff spaces K such that the proyective tensor product of C(K) by itself has the Dunford-Pettis Property, answering thus in the negative a question posed by Castillo and Gonzalez.


title: Malliavin Calculus and Skorohod Integration for Quantum Stochastic Processes

abstract: A derivation operator and a divergence operator are defined on the algebra of bounded operators on the symmetric Fock space over the complexification of a real Hilbert space $\eufrak{h}$ and it is shown that they satisfy similar properties as the derivation and divergence operator on the Wiener space over $\eufrak{h}$. The derivation operator is then used to give sufficient conditions for the existence of smooth Wigner densities for pairs of operators satisfying the canonical commutation relations. For $\eufrak{h}=L^2(\mathbb{R}_+)$, the divergence operator is shown to coincide with the Hudson-Parthasarathy quantum stochastic integral for adapted integrable processes and with the non-causal quantum stochastic integrals defined by Lindsay and Belavkin for integrable processes.


title: A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions

abstract: This paper presents the first combinatorial polynomial-time algorithm for minimizing submodular set functions, answering an open question posed in 1981 by Grotschel, Lovasz, and Schrijver. The algorithm employs a scaling scheme that uses a flow in the complete directed graph on the underlying set with each arc capacity equal to the scaled parameter. The resulting algorithm runs in time bounded by a polynomial in the size of the underlying set and the largest length of the function value. The paper also presents a strongly polynomial-time version that runs in time bounded by a polynomial in the size of the underlying set independent of the function value.


title: How to Uncross Some Modular Metrics

abstract: Let $\mu$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $\mu$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this generalizes the well-known multiterminal multiway) cut problem. Two cases of metrics $\mu$ have been known for which the problem can be solved in polynomial time: (a) $\mu$ is a modular metric whose underlying graph $H(\mu)$ is hereditary modular and orientable (in a certain sense); and (b) $\mu$ is a median metric. In the latter case an optimal solution can be found by use of a cut uncrossing method. \Xcomment{We give a common generalization for both cases by proving that the problem is in P for any modular metric $\mu$ whose all orbit graphs are hereditary modular and orientable. To this aim, we show the existence of a retraction of the Cartesian product of the orbit graphs to $H(\mu)$, which enables us to elaborate an analog of the cut uncrossing method for such metrics $\mu$.} In this paper we generalize the idea of cut uncrossing to show the polynomial solvability for a wider class of metrics $\mu$, which includes the median metrics as a special case. The metric uncrossing method that we develop relies on the existence of retractions of certain modular graphs. On the negative side, we prove that for $\mu$ fixed, the problem is NP-hard if $\mu$ is non-modular or $H(\mu)$ is non-orientable.


title: Universal metric spaces according to W. Holsztynski

abstract: We show, following W. Holsztynski, that there exists a continuous metric d on the set of real numbers R such that any finite metric space is isometrically embeddable into (R,d).


title: A[Sl_q(2)] at roots of unity is a free module over A[Sl(2)]

abstract: It is shown that when q is a primitive root of unity of order not equal to 2 mod 4, A(SL_q(2)) is a free module of finite rank over the coordinate ring of the classical group SL(2). An explicit set of generators is provided.


title: Broadly-Pluriminimal Submanifolds of Kaehler-Einstein Manifolds

abstract: We define broadly-pluriminimal immersed 2n-submanifold F: M --> N into a Kaehler-Einstein manifold of complex dimension 2n and scalar curvature R. We prove that, if M is compact, n \geq 2, and R < 0, then: (i) Either F has complex or Lagrangian directions; (ii) If n = 2, M is oriented, and F has no complex directions, then it is a Lagrangian submanifold, generalising the well-known case n = 1 for minimal surfaces due to Wolfson. We also prove that, if F has constant Kaehler angles with no complex directions, and is not Lagrangian, then R = 0 must hold. Our main tool is a formula on the Laplacian of a symmetric function on the Kaehler angles.


title: About the uniqueness and the denominators of the Kontsevich Integral

abstract: We refine a Le and Murakami uniqueness theorem for the Kontsevich Integral in order to specify the relationship between the two (possibly equal) main universal link invariants: the Kontsevich Integral and the perturbative expression of the Chern-Simons theory. As a corollary, we prove that the Altschuler and Freidel anomaly (that groups the Bott and Taubes anomalous terms) is a combination of diagrams with two univalent vertices; and we explicitly define the isomorphism of the space of Feynman diagrams which transforms the Kontsevich Integral into the Poirier limit of the perturbative expression of the Chern-Simons theory, as a function of the anomaly. We use this corollary to improve the Le estimates on the denominators of the Kontsevich Integral.


title: Line bundles of type (1,,,1,2,,,2,4,,,4) on Abelian Varieties

abstract: We show birationality of the morphism associated to line bundles $L$ of type $(1,...,1,2,...,2,4,...,4)$ on a generic $g-$dimensional abelian variety into its complete linear system such that $h^0(L)=2^g$. When $g=3$, we describe the image of the abelian threefold and from the geometry of the moduli space $SU_C(2)$ in the linear system $|2\theta_C|$, we obtain analogous results in $\p H^0(L)$.


title: Hurwitz numbers and intersections on moduli spaces of curves

abstract: This article is an extended version of preprint math.AG/9902104. We find an explicit formula for the number of topologically different ramified coverings of a sphere by a genus g surface with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.


title: A Frobenius-Schur theorem for Hopf algebras

abstract: In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.


title: Minimality of the data in wavelet filters

abstract: Orthogonal wavelets, or wavelet frames, for L^2(R) are associated with quadrature mirror filters (QMF). The latter constitute a set of complex numbers which relate the dyadic scaling of functions on R to the Z-translates, and which satisfy the QMF-axioms. In this paper, we show that generically, the data in the QMF-systems of wavelets is minimal, in the sense that it cannot be nontrivially reduced. The minimality property is given a geometric formulation in the Hilbert space l^2(Z), and it is then shown that minimality corresponds to irreducibility of a wavelet representation of the algebra O_2; and so our result is that this family of representations of O_2 on the Hilbert space l^2(Z) is irreducible for a generic set of values of the parameters which label the wavelet representations.


title: Quantum invariants of 3-manifolds: integrality, splitting, and perturbative expansion

abstract: We consider quantum invariants of 3-manifolds associated with arbitrary simple Lie algebras. Using the symmetry principle we show how to decompose the quantum invariant as the product of two invariants, one of them is the invariant corresponding to the projective group. We then show that the projective quantum invariant is always an algebraic integer, if the quantum parameter is a prime root of unity. We also show that the projective quantum invariant of rational homology 3-spheres has a perturbative expansion a la Ohtsuki. The presentation of the theory of quantum 3-manifold is self-contained.


title: On the Relation Between Pommaret and Janet Bases

abstract: In this paper the relation between Pommaret and Janet bases of polynomial ideals is studied. It is proved that if an ideal has a finite Pommaret basis then the latter is a minimal Janet basis. An improved version of the related algorithm for computation of Janet bases, initially designed by Zharkov, is described. For an ideal with a finite Pommaret basis, the algorithm computes this basis. Otherwise, the algorithm computes a Janet basis which need not be minimal. The obtained results are generalized to linear differential ideals.

categories: math.AC math-ph math.AP math.MP math.NA math.RA


title: The Dunford-Pettis property on tensor products

abstract: We show that, in some cases, the projective and the injective tensor products of two Banach spaces do not have the Dunford-Pettis property (DPP). As a consequence, we obtain that $(c_0\hat{\otimes}_\pi c_0)^{**}$ fails the DPP. Since $(c_0\hat{\otimes}_\pi c_0)^{*}$ does enjoy it, this provides a new space with the DPP whose dual fails to have it. We also prove that, if $E$ and $F$ are ${\mathscr L}_1$-spaces, then $E\hat{\otimes}_\epsilon F$ has the DPP if and only if both $E$ and $F$ have the Schur property. Other results and examples are given.


title: Symplectic Leaves of Complex Reductive Poisson-Lie Groups

abstract: All factorizable Lie bialgebra structures on complex reductive Lie algebras were described by Belavin and Drinfeld. We classify the symplectic leaves of the full class of corresponding connected Poisson-Lie groups. A formula for their dimensions is also proved.


title: Uniqueness of complex contact structures

abstract: Let X be a complex Fano-manifolds with second Betti-number 1 which carries a contact structure. It follows from previous work that such a manifold can always be covered by lines. Thus, it seems natural to consider the geometry of lines in greater detail. In this brief note we show that if x in X is a general point, then all lines through x are smooth. If X is not the projective space, then the tangent spaces to lines generate the contact distribution at x. As a consequence we obtain that the contact structure on X is unique, a result previously obtained by C. LeBrun in the case that X is a twistor space.


title: Invariant subspaces of Voiculescu's circular operator

abstract: We show that Voiculescu's circular operator and, more generally, each circular free Poisson operator has a continuous family of invariant subspaces relative to the von Neumann algebra it generates. The proof relies on upper triangular random matrix models and consequent realizations of these operators as upper triangular matrices of free random variables.


title: On the multiplicity of terminal singularities on threefolds

abstract: We give the multiplicity of terminal singularities on threefolds by simple calculation. Then we obtain the best inequalities for the multiplicity and the index. By using this, we can improve the boundedness number of terminal weak Q-Fano 3-folds in [KMMT, Theorem 1.2]. Furthermore, we can extended [K, Theorem 3.6] for Fujita freeness conditions to nonhypersurface terminal singularities.


title: A continuum of totally incomparable hereditarily indecomposable Banach spaces

abstract: A family is constructed of cardinality equal to the continuum, whose members are totally incomparable, reflexive, hereditarily indecomposable Banach spaces.


title: ad-nilpotent $\frak b$-ideals in sl(n) having a fixed class of nilpotence: combinatorics and enumeration

abstract: We study the combinatorics of ad-nilpotent ideals of a Borel subalgebra of $sl(n+1,\Bbb C)$. We provide an inductive method for calculating the class of nilpotence of these ideals and formulas for the number of ideals having a given class of nilpotence. We study the relationships between these results and the combinatorics of Dyck paths, based upon a remarkable bijection between ad-nilpotent ideals and Dyck paths. Finally, we propose a (q,t)-analogue of the Catalan number $C_n$. These (q,t)-Catalan numbers count on the one hand ad-nilpotent ideals with respect to dimension and class of nilpotence, and on the other hand admit interpretations in terms of natural statistics on Dyck paths.


title: New Numerical Algorithm for Modeling of Boson-Fermion Stars in Dilatonic Gravity

abstract: We investigate numerically a models of the static spherically symmetric boson-fermion stars in scalar-tensor theory of gravity with massive dilaton field. The proper mathematical model of such stars is interpreted as a nonlinear two-parametric eigenvalue problem with unknown internal boundary. We employ the Continuous Analogue of Newton Method (CANM) which leads on each iteration to two separate linear boundary value problems with different dimensions inside and outside the star, respectively. Along with them a nonlinear algebraic system for the spectral parameters - radius of the star $R_{s}$ and quantity $\Omega $ is solved also. In this way we obtain the behaviour of the basic geometric quantities and functions describing dilaton field and matter fields which build the star.


title: Gromov-Witten invariants of a class of toric varieties

abstract: We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas which exist already for Grassmannian varieties, flag varieties, etc.


title: Abelian Varieties into 2g+1-dim.Linear Systems

abstract: We show that polarisations of type (1,...,1,2g+2) on g-dimensional abelian varieties are $\it{never}$ very ample, if $g\geq 3$. This disproves a conjecture of Debarre, Hulek and Spandaw. We also give a criterion for non-embeddings of abelian varieties into 2g+1-dimensional linear systems.


title: Factorization of generalized theta functions at reducible case

abstract: We proved the factorization of generalized theta functions when the curve has two irreducible components meeting at one node.


title: Noncommutative Rational Functions and Farber's Invariants of Boundary Links

abstract: In [2] M. Farber constructed invariants of m-component boundary links with values in algebra of noncommutative rational functions. In this paper we simplify his constructions and express them by using noncommutative generalizations of determinants introduced by Gelfand and Retakh. In particular, for every finite-dimensional module N over the algebra of noncommutative polynomials of m variables we construct a characteristic rational power series chi(N). If N is an algebraically closed field of arbitrary characteristic and N is semisimple, the series chi(N) determines N.


title: Bijective proofs for Schur function identities which imply Dodgson's condensation formula and Pl\"ucker relations

abstract: We present a ``method'' for bijective proofs for determinant identities, which is based on translating determinants to Schur functions by the Jacobi--Trudi identity. We illustrate this ``method'' by generalizing a bijective construction (which was first used by Goulden) to a class of Schur function identities, from which we shall obtain bijective proofs for Dodgson's condensation formula, Pl\"ucker relations and a recent identity of the second author.


title: Classification of semisimple Hopf algebras of dimension 16

abstract: In this paper we completely classify nontrivial semisimple Hopf algebras of dimension 16. We also compute all the possible structures of the Grothendieck ring of semisimple non-commutative Hopf algebras of dimension 16. Moreover, we prove that non-commutative semisimple Hopf algebras of dimension p^n, p is prime, cannot have a cyclic group of grouplikes.


title: Extrapolation Methods for Improving the Convergence of Oligomer Calculations to the Infinite Chain Limit of Quasi-Onedimensional Stereoregular Polymers

abstract: Quasi-onedimensional stereoregular polymers as for example polyacetylene are currently of considerable interest. There are basically two different approaches for doing electronic structure calculations: One method is essentially based on concepts of solid state theory. The other method is essentially a quantum chemical method since it approximates the polymer by oligomers consisting of a finite number of monomer units. In this way, the highly developed technology of quantum chemical molecular programs can be used. Unfortunately, oligomers of finite size are not necessarily able to model those features of a polymer which crucially depend of its in principle infinite extension. In such a case extrapolation techniques can be extremely helpful. For example, one can perform electronic structure calculations for a sequence of oligomers with an increasing number of monomer units. In the next step, one then can try to determine the limit of this sequence for an oligomer of infinite length with the help of suitable extrapolation methods. Several different extrapolation methods are discussed which are able to accomplish an extrapolation of energies and properties of oligomers to the infinite chain limit. Calculations for the ground state energy of polyacetylene are presented which demonstrate the practical usefulness of extrapolation methods.


title: Hankel transform via double Hecke algebra

abstract: We use a degeneration of the 1D double affine Hecke algebra and the Dunkl operator to study systematically nonsymmetric Bessel functions and their truncations.


title: The Geometry of Bundle Gerbes

abstract: This thesis reviews the theory of bundle gerbes and then examines the higher dimensional notion of a bundle 2-gerbe. The notion of a bundle 2-gerbe connection and 2-curving are introduced and it is shown that there is a class in $H^{4}(M;\Z)$ associated to any bundle 2-gerbe.


title: Painleve-Calogero Correspondence Revisited

abstract: We extend the work of Fuchs, Painlev\'e and Manin on a Calogero-like expression of the sixth Painlev\'e equation (the ``Painlev\'e-Calogero correspondence'') to the other five Painlev\'e equations. The Calogero side of the sixth Painlev\'e equation is known to be a non-autonomous version of the (rank one) elliptic model of Inozemtsev's extended Calogero systems. The fifth and fourth Painlev\'e equations correspond to the hyperbolic and rational models in Inozemtsev's classification. Those corresponding to the third, second and first are seemingly new. We further extend the correspondence to the higher rank models, and obtain a ``multi-component'' version of the Painlev\'e equations.


title: On subgroups of minimal topological groups

abstract: A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U_1 is the Urysohn universal metric space of diameter 1, the group Iso(U_1) of all self-isometries of U_1 is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.


title: Uniqueness Results for Matrix-Valued Schr\"odinger, Jacobi, and Dirac-Type Operators

abstract: Let $g(z,x)$ denote the diagonal Green's matrix of a self-adjoint $m\times m$ matrix-valued Schr\"odinger operator $H= -\f{d^2}{dx^2}I_m +Q(x)$ in $L^2 (\bbR)^{m}$, $m\in\bbN$. One of the principal results proven in this paper states that for a fixed $x_0\in\bbR$ and all $z\in\bbC_+$, $g(z,x_0)$ and $g^\prime (z,x_0)$ uniquely determine the matrix-valued $m\times m$ potential $Q(x)$ for a.e.~$x\in\bbR$. We also prove the following local version of this result. Let $g_j(z,x)$, $j=1,2$ be the diagonal Green's matrices of the self-adjoint Schr\"odinger operators $H_j=-\f{d^2}{dx^2}I_m +Q_j(x)$ in $L^2 (\bbR)^{m}$. Suppose that for fixed $a>0$ and $x_0\in\bbR$, $\|g_1(z,x_0)-g_2(z,x_0)\|_{\bbC^{m\times m}}+ \|g_1^\prime (z,x_0)-g_2^\prime (z,x_0)\|_{\bbC^{m\times m}} \underset{|z|\to\infty}{=}O\big(e^{-2\Im(z^{1/2})a}\big)$ for $z$ inside a cone along the imaginary axis with vertex zero and opening angle less than $\pi/2$, excluding the real axis. Then $Q_1(x)=Q_2(x)$ for a.e.~$x\in [x_0-a,x_0+a]$. Analogous results are proved for matrix-valued Jacobi and Dirac-type operators.


title: Hypothesis Testing with the General Source

abstract: The asymptotically optimal hypothesis testing problem with the general sources as the null and alternative hypotheses is studied under exponential-type error constraints on the first kind of error probability. Our fundamental philosophy in doing so is first to convert all of the hypothesis testing problems completely to the pertinent computation problems in the large deviation-probability theory. It turns out that this kind of methodologically new approach enables us to establish quite compact general formulas of the optimal exponents of the second kind of error and correct testing probabbilities for the general sources including all nonstationary and/or nonergodic sources with arbitrary abstract alphabet (countable or uncountable). Such general formulas are presented from the information-spectrum point of view.


title: Kahler geometry of toric manifolds in symplectic coordinates

abstract: A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2\pi\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $\phi:M\to\R^n$, a convex polytope $P=\phi(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for application of this symplectic coordinates approach to K\"ahler toric geometry, namely: explicit construction of extremal K\"ahler metrics, spectral properties of toric manifolds and combinatorics of polytopes.


title: Projective normality of Abelian threefolds

abstract: In this article, we show that very ample line bundles of type (1,1,d) on an abelian threefold A, with NS(A)\simeq \ze, give projectively normal embeddings, if d=22,26 or when d\geq 28.


title: Contact systems and corank one involutive subdistributions

abstract: We give necessary and sufficient geometric conditions for a distribution (or a Pfaffian system) to be locally equivalent to the canonical contact system on Jn(R,Rm), the space of n-jets of maps from R into Rm. We study the geometry of that class of systems, in particular, the existence of corank one involutive subdistributions. We also distinguish regular points, at which the system is equivalent to the canonical contact system, and singular points, at which we propose a new normal form that generalizes the canonical contact system on Jn(R,Rm) in a way analogous to that how Kumpera-Ruiz normal form generalizes the canonical contact system on Jn(R,R), which is also called Goursat normal form.


title: Nilpotentization of the kinematics of the n-trailer system at singular points and motion planning through the singular locus

abstract: We propose in this paper a constructive procedure that transforms locally, even at singular configurations, the kinematics of a car towing trailers into Kumpera-Ruiz normal form. This construction converts the nonholonomic motion planning problem into an algebraic problem (the resolution of a system of polynomial equations), which we illustrate by steering the two-trailer system in a neighborhood of singular configurations. We show also that the n-trailer system is a universal local model for all Goursat structures and that all Goursat structures are locally nilpotentizable.


title: A structure and representations of diffeomorphism groups of non-Archimedean manifolds

abstract: Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex manifolds. It is proved that $G$ is not a Banach-Lie group, but it has a neighbourhood $W$ of the unit element $e$ such that each element $g$ in $W$ belongs to at least one corresponding one-parameter subgroup. It is proved that $G$ is simple and perfect. Its compact subgroups $G_c$ are studied such that a dimension over $\bf F$ of its tangent space $dim_{\bf F}T_eG_c$ in $e$ may be infinite. This is used for decompositions of continuous representations into irreducible and investigations of induced representations.


title: On perfectly meager sets

abstract: A set of reals A is called perfectly meager if A \cap P is meager in P, for every perfect set P. Marczewski asked if the product of perfectly meager sets is perfectly meager. In the paper it is shown that it is consistent that the answer to this question is positive. (It is known that it is also consistent that the answer is negative (Reclaw))


title: Toda equations for Hurwitz numbers

abstract: We consider ramified coverings of P^1 with arbitrary ramification type over 0 and infinity and simple ramifications elsewhere and prove that the generating function for the numbers of such coverings is a tau-function for the Toda lattice hierarchy of Ueno and Takasaki.


title: A New Cohomology Theory for Orbifold

abstract: Motivated by orbifold string theory, we introduce orbifold cohomology group for any almost complex orbifold and orbifold Dolbeault cohomology for any complex orbifold. Then, we show that our new cohomology group satisfies Poincare duality and has a natural ring structure. Some examples of orbifold cohomology ring are computed.


title: Some results of regularity for Severi varieties of projective surfaces

abstract: For a linear system $|C|$ on a smooth projective surface $S$, whose general element is a smooth, irreducible curve, the Severi variety $V_{|C|, \delta}$ is the locally closed subscheme of $|C|$ which parametrizes irreducible curves with only $\delta$ nodes as singularities. In this paper we give numerical conditions on the class of divisors and upper-bounds on $\delta$ ensuring that the corresponding Severi variety is everywhere smooth of codimension $\delta$ in $|C|$ (regular, for short). In particular, we focus on surfaces of general type, since for such surfaces less is known than what is proven for other cases. Our result generalizes some results of Chiantini-Sernesi (1997) and of Greuel-Lossen-Shustin (1997 - in the case of nodes) as it is shown by some examples of Severi varieties on blown-up surfaces or surfaces in $\P^3$ which are elements of a component of the Noether-Lefschetz locus. We also consider examples of regular Severi varieties on surfaces in $\P^3$ of general type which contain a line.


title: Statistical Properties of Convex Minorants of Random Walks and Brownian Motions

abstract: This paper calculates several useful statistical properties of the convex minorant process generated by random walk processes. In particular, we calculate the statistics of the longest segment in the convex minorant of a random walk of a given length. In addition, we calculate the probability that the convex minorant of a random walk of length N is composed of exactly m segments; we give an exact formula for the expected number of segments in the convex minorant. We obsevere that some of this analysis can be meaningful for the case of Brownian motion on finite intervals; we can calculate exact formulas for the density of the length of the longest segment in the convex minorant of Brownian motion on finite intervals.


title: Quasi-modular forms and trace functions associated to free boson and lattice vertex operator algebras

abstract: We study graded traces of vectors in free bosonic vertex operator algebras and lattice vertex operator algebras. We show in particular that trace functions in these two theories always have the shape f(q)/\eta(q)^d where f(q) is quasi-modular in the case of d free bosons, and modular (i.e., a sum of holomorphic modular forms of various weights) in the case of theories based on a lattice L of rank d. We also show how spherical harmonic polynomials with respect to L are related to primary fields in lattice theories.


title: From Finite Sets to Feynman Diagrams

abstract: `Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets serves as a categorified version of the set of natural numbers, with disjoint union and Cartesian product playing the role of addition and multiplication. We sketch how categorifying the integers leads naturally to the infinite loop space Omega^infinity S^infinity, and how categorifying the positive rationals leads naturally to a notion of the `homotopy cardinality' of a tame space. Then we show how categorifying formal power series leads to Joyal's `especes des structures', or `structure types'. We also describe a useful generalization of structure types called `stuff types'. There is an inner product of stuff types that makes the category of stuff types into a categorified version of the Hilbert space of the quantized harmonic oscillator. We conclude by sketching how this idea gives a nice explanation of the combinatorics of Feynman diagrams.


title: Topological properties of real algebraic varieties: du c\^ot\'e de chez Rokhlin

abstract: The survey gives an overview of the achievements in topology of real algebraic varieties in the direction initiated in the early 70th by V.I.Arnold and V.A.Rokhlin. We make an attempt to systematize the principal results in the subject. After an exposition of general tools and results, special attention is paid to surfaces and curves on surfaces.


title: A note on a question of R. Pol concerning light maps

abstract: Let f:X -> Y be an onto map between compact spaces such that all point-inverses of f are zero-dimensional. Let A be the set of all functions u:X -> I=[0,1] such that $u[f^\leftarrow(y)]$ is zero-dimensional for all y in Y. Do almost all maps u:X -> I, in the sense of Baire category, belong to A? H. Toru\'nczyk proved that the answer is yes if Y is countable-dimensional. We extend this result to the case when Y has property C.


title: The Aspinwall-Morrison calculation and Gromov-Witten theory

abstract: We prove the Aspinwall-Morrison formula by relating their calculation to Gromov-Witten theory.


title: A Littlewood-Richardson rule for the K-theory of Grassmannians

abstract: We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions.


title: Bound of automorphisms of projective varieties of general type

abstract: We prove that there exists a positive number $C_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, the automorphism group $Aut(X)$ satisfies the inequality $\sharp{Aut}(X)\leq C_{n}\cdot\mu (X,K_{X})$, where $\mu (X,K_{X})$ is the volume of $X$ with respect to $K_{X}$.


title: Semi-infinite cohomology and Hecke algebras

abstract: This paper provides a homological algebraic foundation for generalizations of classical Hecke algebras introduced in math.QA/9805134. These new Hecke algebras are associated to triples of the form (A,B,e), where A is an associative algebra containing subalgebra B with character e. These algebras are connected with cohomology of associative algebras in the sense that for every left A-module V and right A-module W the Hecke algebra associated to triple (A,B,e) naturally acts in the B-cohomology and B-homology spaces of V and W, respectively. We also introduce the semi-infinite cohomology functor for associative algebras and define modifications of Hecke algebras acting in semi-infinite cohomology spaces. We call these algebras semi-infinite Hecke algebras. As an example we realize the W-algebra W(g) associated to a complex semisimple Lie algebra g as a semi-infinite Hecke algebra. Using this realization we explicitly calculate the algebra W(g) avoiding the bosonization technique used by Feigin and Frenkel.


title: The Roelcke compactification of groups of homeomorphisms

abstract: Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke compactification of H(X) can be identified with the semigroup of all closed relations on X whose domain and range are equal to X. We use this to prove that the group H(X) is topologically simple and minimal, in the sense that it does not admit a strictly coarser Hausdorff group topology.


title: Minimal Models for Non-Free Circle Actions

abstract: Let $\Phi \colon \sbat \times M \to M$ be a smooth action of the unit circle $ \sbat$ on a manifold $M$. In this work, we compute the minimal model of $M$ in terms of the orbit space $B$ and the fixed point set $F\subset B$, as a dg-module over the Sullivan's minimal model of $B$.


title: The chain property for the associated primes of A-graded ideals

abstract: We investigate how the chain property for the associated primes of monomial degenerations of toric (or lattice) ideals can be generalized to arbitrary A-graded ideals. The generalization works in dimension d=2, but it fails for d>2.


title: General Spinor Structures on Quantum Spaces

abstract: A general theory of quantum spinor structures on quantum spaces is presented, within the conceptual framework of the formalism of quantum principal bundles. Quantum analogs of all basic objects of the classical theory are constructed and analyzed. This includes Laplace and Dirac operators, quantum versions of Clifford and spinor bundles, a Hodge *-operator, appropriate integration operators, and mutual relations of these objects. We also present a self-contained formalism of braided Clifford algebras. Quantum phenomena appearing in the theory are discussed, including a very interesting example of the Dirac operator associated to a quantum Hopf fibration.


title: Sequences in non-commutative L^p-spaces

abstract: Let $\cal M$ be a semi-finite von Neumann algebra equipped with a distinguished faithful, normal, semi-finite trace $\tau$. We introduce the notion of equi-integrability in non-commutative spaces and show that if a rearrangement invariant quasi-Banach function space $E$ on the positive semi-axis is $\alpha$-convex with constant 1 and satisfies a non-trivial lower $q$-estimate with constant 1, then the corresponding non-commutative space of measurable operators $E({\cal M}, \tau)$ has the following property: every bounded sequence in $E({\cal M}, \tau)$ has a subsequence that splits into a $E$-equi-integrable sequence and a sequence with pairwise disjoint projection supports. This result extends the well known Kadec-Pe\l czy\'nski subsequence decomposition for Banach lattices to non-commutative spaces. As applications, we prove that for $1\leq p <\infty$, every subspace of $L^p(\cal M, \tau)$ either contains almost isometric copies of $\ell^p$ or is strongly embedded in $L^p(\cal M, \tau)$.


title: Compact range property and operators on $C^*$-algebras

abstract: We prove that a Banach space $E$ has the compact range property (CRP) if and only if for any given $C^*$-algebra $\cal A$, every absolutely summing operator from $\cal A$ into $E$ is compact.