title: The co-rank conjecture for 3-manifold groups

abstract: In this paper we construct explicit examples of both closed and non-compact finite volume hyperbolic manifolds which provide counterexamples to the conjecture that the co-rank of a 3-manifold group (also known as the cut number) is bounded below by one-third the first Betti number.


title: Formes differentielles generalisees sur une operade et modeles algebriques des fibrations

abstract: On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de l'action de cup-i produits. Pour les algebres commutatives a homotopit pres (algebres sur une resolution cofibrante de l'operade des algebres commutatives), on demontre en utilisant les formes differentielles generalisees que le modele de la fibre d'une application simpliciale est la cofibre du modele de ce morphisme. We construct functors of generalized differential forms. In the case of nilpotent spaces of finite type, they determine the weak homotopy type of the spaces. Moreover they are equipped, in an elementary and natural way, with the action of cup-i products. Working with commutative algebras up to homotopy (viewed as algebras over a cofibrant resolution of the operad of commutative algebras), we show using these functors that the model of the fiber of a simplicial map is the cofiber of the algebraic model of this map.


title: Kohomologie mit Schranken und Fortsetzung holomorpher Funktionen durch lineare stetige Operatoren

abstract: In this thesis we solve the coboundary equation $\delta c=d$ with bounds for cochains with values in a coherent subsheaf of some $\mathcal{O}^p_{\Omega}$, where $\Omega$ is a Stein manifold. In particular the existence of a finite set of global generators is not assumed. Our result applies therefore to the ideal sheaf $\mathcal{J}_V\subset \mathcal{O}_{\C^N}$ of germs of holomorphic functions vanishing on a closed analytic submanifold $V\subset\C^N$. Although we are mainly interested in the estimates for the solutions of $\delta c=d$, the techniques used also lead to a proof for the classical Theorem B of Cartan for coherent subsheafs of some $\mathcal{O}^p_{\Omega}$, avoiding the Mittag-Leffler argument. We derive an extension theorem for holomorphic functions on V to entire functions, with control on growth behaviour. \newline As a corollary we construct a linear tame extension operator $H(V)\to H(\C^N)$ under the hypothesis that H(V) is linear tamely isomorphic to the infinite type power series space $\Lambda_\infty(k^{\frac{1}{n}})$, n= dim$_{\C}V$; this condition is also necessary. Here the supnorms on H(V) are taken over intersections of V with polycylinders of polyradii e^m, $m\in \N$. Aytuna asked how much, and what kind of, information about the complex analytic structure of V is carried by the Fr\'echet space H(V). We prove that H(V) is linear tamely isomorphic to a power series space of infinite type if and only if V is algebraic.


title: A Poisson relation for conic manifolds

abstract: Let $X$ be a compact Riemannian manifold with conic singularities, i.e. a Riemannian manifold whose metric has a conic degeneracy at the boundary. Let $\Delta$ be the Friedrichs extension of the Laplace-Beltrami operator on $X.$ There are two natural ways to define geodesics passing through the boundary: as ``diffractive'' geodesics which may emanate from $\partial X$ in any direction, or as ``geometric'' geodesics which must enter and leave $\partial X$ at points which are connected by a geodesic of length $\pi$ in $\partial X.$ Let $\DIFF=\{0\} \cup \{\pm lengths of closed diffractive geodesics\}$ and $\GEOM=\{0\} \cup \{\pm lengths of closed geometric geodesics\}.$ We show that $$ \Tr \cos t \sqrt\Delta \in C^{-n-0}(\RR) \cap C^{-1-0}(\RR\backslash \GEOM) \cap C^\infty(\RR\backslash \DIFF).$$ This generalizes a classical result of Chazarain and Duistermaat-Guillemin on boundaryless manifolds, which in turn follows from Poisson summation in the case $X=S^1.$


title: Set theory and cyclic vectors

abstract: Let H be a separable, infinite dimensional Hilbert space and let S be a countable subset of H. Then most positive operators on H have the property that every nonzero vector in the span of S is cyclic, in the sense that the set of operators in the positive part of the unit ball of B(H) with this property is comeager for the strong operator topology. Suppose \kappa is a regular cardinal such that \kappa \geq \omega_1 and 2^{<\kappa} = \kappa. Then it is relatively consistent with ZFC that 2^\omega = \kappa and for any subset S \subset H of cardinality less than \kappa the set of positive operators in the unit ball of B(H) for which every nonzero vector in the span of S is cyclic is comeager for the strong operator topology.


title: Constructing low degree hyperbolic surfaces in P^3

abstract: We describe a new method of constructing Kobayashi-hyperbolic surfaces in complex projective 3-space based on deforming surfaces with a "hyperbolic non-percolation" property. We use this method to show that general small deformations of certain singular abelian surfaces of degree 8 are hyperbolic. We also show that a union of 15 planes in general position in projective 3-space admits hyperbolic deformations.


title: The Ehrhart polynomial of the Birkhoff polytope

abstract: The n'th Birkhoff polytope is the set of all doubly stochastic n-by-n matrices, that is, those matrices with nonnegative real coefficients in which every row and column sums to one. A wide open problem concerns the volumes of these polytopes, which have been known for n up to 8. We present a new, complex-analytic way to compute the Ehrhart polynomial of the Birkhoff polytope, that is, the function counting the integer points in the dilated polytope. One reason to be interested in this counting function is that the leading term of the Ehrhart polynomial is--up to a trivial factor--the volume of the polytope. We implemented our methods in form of a computer program, which yielded the Ehrhart polynomial (and hence the volume) of the ninth Birkhoff polytope.


title: Realizations of Crystals

abstract: We shall give various realizations of crystals. One of them is a monome realization introduced by Nakajima.


title: An Extension to Fermat's Factorisation and a simple primality test

abstract: An extension to the factorisation principle as suggested by Fermat is presented.We start from a symmetry of natural numbers and obtain the factorisation principle therefrom.Later it is extended further to test the primality of any natural number and finally used to factorise any given number.


title: A class of generalized gamma functions

abstract: In this paper, we study the holomorphic function defined by the infinite product $\Gamma_{a,r}(s) =\prod_{n \geq 0} (1 + \frac{1}{a+ nr})^s (1 + \frac{s}{a+nr})^{-1}$ which generalize Euler's definition in the sense that $\Gamma(s) = \frac{\Gamma_{1,1}(s)}{s}$. We obtain analogues of the Gauss multiplication formula, complement formula for functions $\Gamma_{a,r}(s)$.


title: Deformation quantization of covariant fields

abstract: After sketching recent advances and subtleties in classical relativistically covariant field theories, we give in this short Note some indications as to how the deformation quantization approach can be used to solve or at least give a better understanding of their quantization.


title: Dilogarithme Quantique et 6j-Symboles Cycliques

abstract: Let $\mathcal{W}_N$ be a quantized Borel subalgebra of $U_q(sl(2,\mc))$, specialized at a primitive root of unity $\omega = \exp(2i\pi/N)$ of odd order $N >1$. One shows that the $6j$-symbols of cyclic representations of $\mathcal{W}_N$ are representations of the canonical element of a certain extension of the Heisenberg double of $\mathcal{W}_N$. This canonical element is a twisted $q$-dilogarithm. In particular, one gives explicit formulas for these $6j$-symbols, and one constructs partial symmetrizations of them, the c-$6j$-symboles. The latters are at the basis of the construction of the quantum hyperbolic invariants of 3-manifolds.


title: Partial Euler products as a new approach to Riemann hypothesis

abstract: In this paper, we show that Riemann hypothesis (concerning zeros of the zeta function in the critical strip) is equivalent to the analytic continuation of Euler products obtained by restricting the Euler zeta product to suitable subsets $M_k$, $k\geq 1$ of the set of prime numbers. Each of these Euler product defines so a partial zeta function $\zeta_{k}(s)$ equal to a Dirichlet series of the form $\sum \epsilon(n)/n^s$, with coefficients $\epsilon(n)$ equal to 0 or 1 as n belongs or not to the population of integers generated by $M_k$. We show that usual formulas of the arithmetic adapt themselves to such populations (Moebius, Mertens, Lambert series,...). We envisage also the study of summations inside these populations and new functions (generalizations of the integer part function, of the harmonic series) directly connected to the existence of analytical continuations.


title: Estimation of Weibull Shape Parameter by Shrinkage Towards an Interval Under Failure Censored Sampling

abstract: This paper is speculated to propose a class of shrinkage estimators for shape parameter beta in failure censored samples from two-parameter Weibull distribution when some 'apriori' or guessed interval containing the parameter beta is available in addition to sample information and analyses their properties. Some estimators are generated from the proposed class and compared with the minimum mean squared error (MMSE) estimator. Numerical computations in terms of percent relative efficiency and absolute relative bias indicate that certain of these estimators substantially improve the MMSE estimator in some guessed interval of the parameter space of beta, especially for censored samples with small sizes. Subsequently, a modified class of shrinkage estimators is proposed with its properties.


title: Some Irrational Generalised Moonshine from Orbifolds

abstract: We verify the Generalised Moonshine conjectures for some irrational modular functions for the Monster centralisers related to the Harada-Norton, Held, $M_{12}$ and $L_3(3)$ simple groups based on certain orbifolding constraints. We find explicitly the fixing groups of the hauptmoduls arising in each case.


title: A numerical method for solution of ordinary differential equations of fractional order

abstract: In this paper we propose an algorithm for the numerical solution of arbitrary differential equations of fractional order. The algorithm is obtained by using the following decomposition of the differential equation into a system of differential equation of integer order connected with inverse forms of Abel-integral equations. The algorithm is used for solution of the linear and non-linear equations.


title: Sur des varietes de Cauchy-Riemann dont la forme de Levi a une valeur propre positive

abstract: For certain real hypersurfaces in the projective space, of signature (1,n), we study the filling problem for small deformations of the CR structure (the other signatures being well understood). We characterize the deformations which are fillable, and prove that they have infinite codimension in the set of all CR structures. This result generalizes the cases of the 3-sphere and of signature (1,1) to higher dimension.


title: On the Cauchy problem for a dynamical Euler's elastica

abstract: The dynamics for a thin, closed loop inextensible Euler's elastica moving in three dimensions are considered. The equations of motion for the elastica include a wave equation involving fourth order spatial derivatives and a second order elliptic equation for its tension. A Hasimoto transformation is used to rewrite the equations in convenient coordinates for the space and time derivatives of the tangent vector. A feature of this elastica is that it exhibits time-dependent monodromy. A frame parallel-transported along the elastica is in general only quasi-periodic, resulting in time-dependent boundary conditions for the coordinates. This complication is addressed by a gauge transformation, after which a contraction mapping argument can be applied. Local existence and uniqueness of elastica solutions are established for initial data in suitable Sobolev spaces.


title: Tsuji's Numerical Trivial Fibrations

abstract: The Reduction Map Theorem in H. Tsuji's work on numerical trivial fibrations is corrected and proven. To this purpose various definitions of Tsuji's new intersection numbers for pseudo-effective line bundles equipped with a positive singular hermitian metric are compared and their equivalence on sufficiently general smooth curves is shown. Numerically trivial varieties are characterized by a decomposition property of the curvature current. An important adjustment to the Reduction Map Theorem is to consider the fact that plurisubharmonic functions are singular on pluripolar sets.


title: Hamiltonian 2-forms in Kahler geometry, I General Theory

abstract: We introduce the notion of a hamiltonian 2-form on a Kaehler manifold and obtain a complete local classification. This notion appears to play a pivotal role in several aspects of Kaehler geometry. In particular, on any Kaehler manifold with co-closed Bochner tensor, the (suitably normalized) Ricci form is hamiltonian, and this leads to an explicit description of these Kaehler metrics, which we call weakly Bochner-flat. Hamiltonian 2-forms draw attention to a general construction of Kaehler metrics which interpolates between toric geometry and Calabi-like constructions of metrics on (projective) line bundles. They also arise on conformally-Einstein Kaehler manifolds. We explore these connections and ramifications.


title: Classification of Finite Alexander Quandles

abstract: Two finite Alexander quandles with the same number of elements are isomorphic iff their Z[t,t^-1]-submodules Im(1-t) are isomorphic as modules. This yields specific conditions on when Alexander quandles of the form Z_n[t,t^-1]/(t-a) where gcd(n,a)=1 (called linear quandles) are isomorphic, as well as specific conditions on when two linear quandles are dual and which linear quandles are connected. We apply this result to obtain a procedure for classifying Alexander quandles of any finite order and as an application we list the numbers of distinct and connected Alexander quandles with up to fifteen elements.


title: The intrinsic torsion of SU(3) and G_2 structures

abstract: We analyse the relationship between the components of the intrinsic torsion of an SU(3) structure on a 6-manifold and a G_2 structure on a 7-manifold. Various examples illustrate the type of SU(3) structure that can arise as a reduction of a metric with holonomy G_2.


title: Commutator theory for uniformities

abstract: We investigate commutator operations on compatible uniformities of an algebra. We present a commutator operation for compatible uniformities of an algebra in a congruence-modular variety which extends the commutator on congruences, and explore its properties.


title: Lie Superalgebras Graded by the Root System $A(m,n)$

abstract: We determine the Lie superalgebras that are graded by the root systems of the basic classical simple Lie superalgebras of type A$(m,n)$.


title: Stallings foldings and the subgroup structure of free groups

abstract: We re-cast in a more combinatorial and computational form the foldings approach of John Stallings and pursue a detailed study of the subgroup structure of free groups. In particular, we introduce the notions of an "algebraic" and a "free" extension for subgroups of free groups and apply these notions to obtain a number of algebraic and algorithmic results.


title: Boundaries of hyperbolic groups

abstract: We survey the known results regarding the boundaries of word-hyperbolic groups.


title: The topology of spaces of knots

abstract: We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial. These models build on the calculus of isotopy functors and are weakly homotopy equivalent to knot spaces when the ambient dimension is greater than three. The mapping space model, and the evaluation map on which it builds, is suitable for analysis through differential topology. The cosimplicial model gives rise to spectral sequences which converge to cohomology and homotopy groups of spaces of knots when they are connected. We explicitly identify and establish vanishing lines in these spectral sequences.


title: On the cohomology of stable map spaces

abstract: We describe an approach to calculating the cohomology rings of stable map spaces. The method we use is due to Akildiz-Carrell and employs a C^*-action and a vector field which is equivariant with respect to this C^*-action. We give an explicit description of the big Bialynicky-Birula cell of the C^*-action on Mbar_00(P^n,d) as a vector bundle on Mbar_0d. This is used to calculate explicitly the cohomology ring of Mbar_00(P^n,d) in the cases d=2 and d=3. Of particular interest is the case as n approaches infinity.


title: Completable filiform Lie algebras

abstract: We determine the solvable complete Lie algebras whose nilradical is isomorphic to a filiform Lie algebra. Moreover we show that for any positive integer $n$ there exists a solvable complete Lie algebras whose second cohomology group with values in the adjoint module has dimension at least $n$.


title: Borel and countably determined reducibility in nonstandard domain

abstract: We consider reducibility of equivalence relations (ERs, for brevity), in a nonstandard domain, in terms of the Borel reducibility and the countably determined (CD, for brevity) reducibility. This reveals phenomena partially analogous to those discovered in descriptive set theory. The Borel reducibility structure of Borel sets and (partially) CD reducibility structure of CD sets in *N is described. We prove that all CD ERs with countable equivalence classes are CD-smooth, but not all are B-smooth, for instance, the ER of having finite difference on *N. Similarly to the Silver dichotomy theorem in Polish spaces, any CD ER on *N either has at most continuum-many classes or there is an infinite internal set of pairwise inequivalent elements. Our study of monadic ERs on *N, i.e., those of the form x E y iff |x-y| belongs to a given additive Borel cut in *N, shows that these ERs split in two linearly families, associated with countably cofinal and countably coinitial cuts, each of which is linearly ordered by Borel reducibility. The relationship between monadic ERs and the ER of finite symmetric difference on hyperfinite subsets of *N is studied.


title: Quenched large deviations for diffusions in a random Gaussian shear flow drift

abstract: We prove a full large deviations principle in large time, for a diffusion process with random drift V, which is a centered Gaussian shear flow random field. The large deviations principle is established in a ``quenched'' setting, i.e. is valid almost surely in the randomness of V.


title: $U_q(\hat{\frak{gl}}_{{}_N})$ action on $\hat{\frak{gl}}_{{}_N}$ -modules and quantum toroidal algebras

abstract: We construct a vertex representation for the quantum toroidal algebra through the quantum general linear algebra. Using a new realization of the quantum general linear algebra we construct vertex operators for root vectors on the basic representation of the affine Lie algebra $gl_n$ and show that the simple generators give rise a realization of the quantum toroidal algebra with two parameters.


title: Quantum deformations of fundamental groups of oriented 3-manifolds

abstract: We compute two-term skein modules of framed oriented links in oriented 3-manifolds. They contain the self-writhe and total linking number invariants of framed oriented links in a universal way. The relations in a natural presentation of the skein module are interpreted as monodromies in the space of immersions from circles to the 3-manifold.


title: Representation of matroids

abstract: In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is representable over such a field.


title: Counting Hexagonal Lattice Animals

abstract: We describe Maple packages for the automatic generation of generating functions(and series expansions) for counting lattice animals(fixed polyominoes), in the two-dimensional hexagonal lattice, of bounded but arbitrary width. Our Maple packages(complete with source code) are easy-to-use and available from my website.


title: The Poincar\'e series of the algebra of rational functions which are regular outside hyperplanes

abstract: Let $\Delta$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $R(\Delta)$ of rational functions on V which are regular outside $\bigcup_{\alpha\in\Delta} \ker\alpha$. Then the ring $R(\Delta)$ is naturally doubly filtered by the degrees of denominators and of numerators. In this paper we give an explicit combinatorial formula for the Poincar\'e series in two variables of the associated bigraded vector space $\bar{R}(\Delta)$. This generalizes the main theorem of Terao, H.: Algebras generated by reciprocals of linear forms, to appear in J.Algebra (arXiv:math.CO/0105095).


title: Einstein metrics on tangent bundles of spheres

abstract: We give an elementary treatment of the existence of complete Kahler-Einstein metrics with nonpositive Einstein constant and underlying manifold diffeomorphic to the tangent bundle of the (n+1)-sphere.


title: Analytical ramifications of derivatives valuation: Asian options and special functions

abstract: Averaging problems are ubiquitous in Finance with the valuation of the so-called Asian options on arithmetic averages as their most conspicuous form. There is an abundance of numerical work on them, and their stochastic structure has been extensively studied by Yor and his school. However, the analytical structure of these problems is largely unstudied. Our philosophy now is that such valuation problems should be considered as an extension of the theory of special functions: they lead to new problems about new classes of special functions which should be studied in terms of and using of the methods of special functions and their theory. This is exemplified by deriving integral representations for the Black-Scholes prices based on Yor's Laplace transform ansatz to their valuation. They are obtained by analytic Laplace inversion using complex analytic methods. The analysis ultimately rests on the gamma function which in this sense is found to be at the base of Asian options. The results improve on those of Yor and have served us a as starting point for deriving first time benchmark prices for these options.


title: Brownian excursions an Parisian barrier options: a note

abstract: This note re-addresses the Paris barrier options proposed by Yor and collaborators and their valuation using the Laplace transform approach. The notion of Paris barrier options, based on excursion theory and using the Brownian meander, is extended such that their valuation is now possible at any point during their lifespan. The pertinent Laplace transforms are modified when necessary.


title: The macroscopical sound of tori

abstract: Take a torus with a Riemannian metric. Lift the metric on its universal cover. You get a distance which in turn yields balls. On these balls you can look at the Laplacian. Focus on the spectrum for the Dirichlet or Neumann problem. We describe the asymptotic behaviour of the eigenvalues as the radius of the balls goes to infinity, and characterise the flat tori using the tools of homogenisation our conclusion being that "Macroscopically, one can hear the shape of a flat torus".


title: Baby Verma modules for rational Cherednik algebras

abstract: Symplectic reflection algebras arise in many different mathematical disciplines: integrable systems, Lie theory, representation theory, differential operators, symplectic geometry. In this paper, we introduce baby Verma modules for symplectic reflection algebras of complex reflection groups at parameter t=0 (the so--called rational Cherednik algebras at parameter t=0) and present their most basic properties. By analogy with the representation theory of reductive Lie algebras in positive characteristic, we believe these modules are fundamental to the understanding of the representation theory and associated geometry of the rational Cherednik algebras at parameter t=0. As an example, we use baby Verma modules to answer several problems posed by Etingof and Ginzburg, and give an elementary proof of a theorem of Finkelberg and Ginzburg.


title: Existence of quasi-stationary measures for asymmetric attractive particle systems on $\ZZ^d$

abstract: We show the existence of non-trivial quasi-stationary measures for conservative attractive particle systems on $\ZZ^d$ conditioned on avoiding an increasing local set $\A$. Moreover, we exhibit a sequence of measures $\{\nu_n\}$, whose $\omega$-limit set consists of quasi-stationary measures. For zero range processes, with stationary measure $\nur$, we prove the existence of an $L^2(\nur)$ nonnegative eigenvector for the generator with Dirichlet boundary on $\A$, after establishing a priori bounds on the $\{\nu_n\}$.


title: Uniform Approximation of Abhyankar Valuation Ideals in Smooth Function Fields

abstract: In this paper we use the theory of multiplier ideals to show that the valuation ideals of a rank one Abhyankar valuation centered at a smooth point of a complex algebraic variety are approximated, in a quite strong sense, by sequences of powers of fixed ideals. Fix a rank one valuation v centered at a smooth point x on an algebraic variety over a field of characteristic zero. Assume that v is Abhyankar, that is, that its rational rank plus its transcendence degree equal the dimension of the variety. Let a_m denote the ideal of elements in the local ring of x whose valuations are at least m. Our main theorem is that there exists e>0 such that a_{mn} is contained in (a_{m-e})^n for all m and n. This can be viewed as a greatly strengthened form of Izumi's Theorem for Abhyankar valuations centered on smooth complex varieties.


title: An Invitation to Matrix Valued Spherical Functions: Linearization of Products in the Case of the Complex Projective Space $P_2({\mathbb C})$

abstract: We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.


title: The flip is often discontinuous

abstract: Let $A$ be a Banach algebra. The flip on $A \otimes A^\op$ is defined through $A \otimes A^\op \ni a \tensor b \mapsto b \tensor a$. If $A$ is ultraprime, $\El(A)$, the algebra of all elementary operators on $A$, can be algebraically identified with $A \otimes A^\op$, so that the flip is well defined on $\El(\A)$. We show that the flip on $\El(A)$ is discontinuous if $A = K(E)$ for a reflexive Banach space $E$ with the approximation property.


title: Gelfand theory for non-commutative Banach algebras

abstract: Let $A$ be a Banach algebra. We call a pair $(G, B)$ a Gelfand theory for $A$ if the following axioms are satisfied: (G 1) $B$ is a $C^\ast$-algebra, and $G : A \to B$ is a homomorphism; (G 2) the assignment $L \mapsto G^{-1}(L)$ is a bijection between the sets of maximal modularleft ideals of $B$ and $A$, respectively; (G 3) for each maximal modular left ideal $L$ of $B$, the linear map $G_L : A / G^{-1}(L) \to B /L $ induced by $B$ has dense range. The Gelfand theory of a commutative Banach algebra is easily seen to be characterized by these axioms. Gelfand theories of arbitrary Banach algebras enjoy many of the properties of commutative Gelfand theory. We show that unital, homogeneous Banach algebras always have a Gelfand theory. For liminal $C^\ast$-algebras with discrete spectrum, we show that the identity is the only Gelfand theory (up to an appropriate notion of equivalence).


title: An amenable, radical Banach algebra

abstract: We give an example of an amenable, radical Banach algebra, relying on results from non-abelian harmonic analysis due to H. Leptin, D. Poguntke and J. Boidol.


title: Weierstra{\ss}

abstract: We give a short biographical sketch of Karl Weierstrass.


title: The Banach-Tarski paradox or what mathematics and religion have in common

abstract: We give a popular account of the Banach-Tarski paradox and its connections with the axiom of choice.


title: Reduction of abstract homomorphisms of lattices mod p and rigidity

abstract: In this paper we pose and answer the following question in a few different contexts: Given a homomorphism f:L_1 --> L_2 of a ``lattices'' that ``reduces mod p'' for almost all primes p, is f ``algebraic''? For instance the lattices may be the Mordell-Weil lattices of rational points of abelian varieties over Q, or arithmetic groups etc. Implicit in an affirmative answer to the question for Mordell-Weil lattices is a novel criterion for abelian varities to be isogenous.


title: Families of noncongruent numbers

abstract: Let E_k denote the elliptic curve defined by y^2 = x(x^2 - k^2). We consider the curves with k = pl, p = l = 1 mod 8 primes, and show that the density of rank-0 curves among them is at least 1/2 by explicitly constructing nontrivial elements in the 2-part of the Tate-Shafarevich group of E_k.


title: A General Class of Estimators of Population Median Using Two Auxiliary Variables in Double Sampling

abstract: In this paper we have suggested two classes of estimators for population median M_Y of the study character Y using information on two auxiliary characters X and Z in double sampling. It has been shown that the suggested classes of estimators are more efficient than the one suggested by Singh et al (2001). Estimators based on estimated optimum values have been also considered with their properties. The optimum values of the first phase and second phase sample sizes are also obtained for the fixed cost of survey.


title: Foundations of Mathematics

abstract: This article discusses what can be proved about the foundations of mathematics using the notions of algorithm and information. The first part is retrospective, and presents a beautiful antique, Godel's proof, the first modern incompleteness theorem, Turing's halting problem, and a piece of postmodern metamathematics, the halting probability Omega. The second part looks forward to the new century and discusses the convergence of theoretical physics and theoretical computer science and hopes for a theoretical biology, in which the notions of algorithm and information are again crucial.


title: On the quantum Kazhdan-Lusztig functor

abstract: We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with extended scalars) to the category of finite dimensional representations of Felder's elliptic quantum group E_{\tau,\gamma2}(gl(n)).


title: Vertex algebras and the class algebras of wreath products

abstract: The Jucys-Murphy elements for wreath products G_n associated to any finite group G are introduced and they play an important role in our study on the connections between class algebras of G_n for all n and vertex algebras. We construct an action of (a variant of) the W_{1+\infty} algebra acting irreducibly on the direct sum R_G of the class algebras of G_n for all n in a group theoretic manner. We establish various relations between convolution operators using JM elements and Heisenberg algebra operators acting on R_G. As applications, we obtain two distinct sets of algebra generators for the class algebra of G_n and establish various stability results concerning products of normalized conjugacy classes of G_n and the power sums of Jucys-Murphy elements etc. We introduce a stable algebra which encodes the class algebra structures of G_n for all n, whose structure constants are shown to be non-negative integers. In the symmetric group case (i.e. G is trivial), we recover and strengthen in a uniform approach various results of Lascoux-Thibon, Kerov-Olshanski, and Farahat-Higman, etc.


title: Holomorphic Vertex Operator Algebras of Small Central Charges

abstract: We provide a rigorous mathematical foundation to the study of strongly rational, holomorphic vertex operator algebras V of central charge c = 8, 16 and 24 initiated by Schellekens. If c = 8 or 16 we show that V is isomorphic to a lattice theory corresponding to a rank c even, self-dual lattice. If c = 24 we prove, among other things, that either V is isomorphic to a lattice theory corresponding to a Niemeier lattice or the Leech lattice, or else the Lie algebra on the weight one subspace V_1 is semisimple (possibly 0) of Lie rank less than 24.


title: On Lens Spaces and Their Symplectic Fillings

abstract: The standard contact structure on the three-sphere is invariant under the action of the cyclic group of order p yielding the lens space L(p,q). Therefore, every lens space carries a natural quotient contact structure Q. A theorem of Eliashberg and McDuff classifies the symplectic fillings of (L(p,1), Q) up to diffeomorphism. We announce a generalization of that result to every lens space. In particular, we give an explicit handlebody decomposition of every symplectic filling of (L(p,q), Q) for every p and q. Our results imply that: (a) there exist infinitely many lens spaces L(p,q) with q>1 such that (L(p,q), Q) admits only one symplectic filling up to blowup and diffeomorphism; (b) for any natural number N, there exist infinitely many lens spaces L(p,q) such that (L(p,q), Q) admits more than N symplectic fillings up to blowup and diffeomorphism.


title: On surfaces with $p_g=2$, $q=1$ and non-birational bicanonical map

abstract: In the present note we show that any surface of general type with $p_g=2$,$q=1$ and non-birational bicanonical map has a pencil of curves of genus 2. Combining this result with previous ones, one obtains thatan irregular surface $S$ of general type with $\chi(S)\geq 2$ and non-birational bicanonical map has a pencil of curves of genus 2.


title: Distance matrices, random metrics and Urysohn space

abstract: We introduce an universum of the Polish (=complete separable metric) space - the convex cone of distance matrices and study its geometry. It happened that the generic Polish spaces in this sense of this universum is so called Urysohn spaces defined by P.S.Urysohn in 20-th, and generic metric triple (= metric space with probability borel measure) is also Urysohn space with non-degenerated measure. We prove that the complete invariant of the metric space with measure up to measure preserving isometries is so called matrix distribution - invarinat and ergodic measure with respect to infinite symmetric group which is concentrated on the cone of distance matrices. This defined an important new class of random matrices and family of random metrics on the naturals.


title: Construction of t-structures and equivalences of derived categories

abstract: We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of modules. Also, we extend this result to bounded derived categories of quasi-coherent sheaves on separated divisorial schemes obtaining, in particular, Beilinson's equivalences.


title: Magic squares and matrix models of Lie algebras

abstract: This paper is concerned with the description of exceptional simple Lie algebras as octonionic analogues of the classical matrix Lie algebras. We review the Tits-Freudenthal construction of the magic square, which includes the exceptional Lie algebras as the octonionic case of a construction in terms of a Jordan algebra of hermitian 3x3 matrices (Tits) or various plane and other geometries (Freudenthal). We present alternative constructions of the magic square which explain its symmetry, and show explicitly how the use of split composition algebras leads to analogues of the matrix Lie algebras su(3), sl(3) and sp(6). We adapt the magic square construction to include analogues of su(2), sl(2) and sp(4) for all real division algebras.


title: Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra gl(m|n)

abstract: The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak{gl}(m|n)$ over $\C$ was solved a few years ago by V. Serganova. In this article, we present an entirely different approach. One consequence is a direct and elementary proof of a conjecture made by van der Jeugt and Zhang for the composition multiplicities of Kac modules. This does not seem to follow easily from Serganova's formula, since that involves certain alternating sums. We also compute Ext's between simple modules in the category of finite dimensional representations, and formulate for the first time a conjecture for the characters of the infinite dimensional irreducible representations in the analogue of category $\mathcal O$ for the Lie superalgebra $\mathfrak{gl}(m|n)$.


title: Random walks and the colored Jones function

abstract: It can be conjectured that the colored Jones function of a knot can be computed in terms of counting paths on the graph of a planar projection of a knot. On the combinatorial level, the colored Jones function can be replaced by its weight system. We give two curious formulas for the weight system of a colored Jones function: one in terms of the permanent of a matrix associated to a chord diagram, and another in terms of counting paths of intersecting chords.


title: On a new approach to classification of associative algebras

abstract: In this paper we explore a new method of analysis of associative algebras.


title: Nielsen methods and groups acting on hyperbolic spaces

abstract: We show that for any positive integer $n$ there exists a constant $C(n)>0$ such that any $n$-generated group $G$, which acts by isometries on a $\delta$-hyperbolic space (with $\delta>0$), is either free or has a nontrivial element with translation length at most $\delta C(n)$.


title: Freely indecomposable groups acting on hyperbolic spaces

abstract: We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended subgroups. We also show that the rank problem is solvable for the class of torsion-free locally quasiconvex hyperbolic groups (even though it is unsolvable for the class of all torsion-free hyperbolic groups). We apply our results to 3-manifold groups. Namely, suppose $G$ is the fundamental group of a closed hyperbolic 3-manifold fibering over a circle and suppose that all finitely generated subgroups of $G$ are topologically tame. We prove that for any $k\ge 2$ the group $G$ has only finitely many conjugacy classes of non-elementary freely indecomposable $k$-generated subgroups of infinite index in $G$.


title: Invariants of 3-manifolds from representations of the framed-tangle category

abstract: A new class of 3-manifold invariants is constructed from representations of the category of framed tangles.


title: On nodal lines of Neumann eigenfunctions

abstract: We present a new method for locating the nodal line of the second eigenfunction for the Neumann problem in a planar domain. The technique is based on the `mirror coupling' of reflected Brownian motions.


title: Graded Lie Algebras and dynamical systems

abstract: The general class of the graded Lie algebras is defined. These algebras could be constructed using an arbitrary dynamical systems with discrete time and with invarinat measure. In this papers we consider the case of the central extension of Lie algebras which corresponds to the ordinary crossed product (as associative algebra) - series A. The structure of those Lie algebras is similar to Kac-Moody algebras, and these are a special case of so called algebras with continuous root system which were introduced by author with M.Saveliev in 90-th. The central extension open a new possibilty in algebraic theory of dynamical systems. The simpliest example corresponds to rotation of the circle (sine-algebra="quantum torus") and to adding of unity the additvie group of the p-adic integers.


title: Zariski-van Kampen theorem for higher homotopy groups

abstract: This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first non-trivial higher homotopy groups of the complements of singular projective hypersurfaces in terms of the homotopy variation operators introduced here.


title: Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability

abstract: We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also decides if a finitely generated subgroup has finite index.


title: A Note on Principal Parts on Projective Space and Linear Representations

abstract: Let H be a closed subgroup of a linear algebraic group G defined over a field F. There is an equivalence of categories between the category of linear finite-dimensional representations of H and the category of finite rank G-homogeneous vectorbundles on G/H. In this short note we study this correspondence for the sheaves of principal parts (=jetbundles) of homogeneous linebundles on projective space in characteristic zero. We describe the representation corresponding to the principal parts of a homogeneous linebundle and as a corollary we obtain known formulas on the splitting type of the principal parts on projective space in any dimension.


title: How to sum up triangles

abstract: We prove configuration theorems that generalize the Desargues, Pascal, and Pappus theorems. Our generalization of the Desargues theorem allows us to introduce the structure of an Abelian group on the (properly extended) set of triangles which are perspective from a point. In barycentric coordinates, the corresponding group operation becomes the addition in R^3.


title: Levi decomposition of analytic Poisson structures and Lie algebroids

abstract: We prove the existence of a local analytic Levi decomposition for analytic Poisson structures and Lie algebroids.


title: Arithmetic Dynamics

abstract: This survey paper is aimed to describe a relatively new branch of symbolic dynamics which we call Arithmetic Dynamics. It deals with explicit arithmetic expansions of reals and vectors that have a "dynamical" sense. This means precisely that they (semi-) conjugate a given continuous (or measure-preserving) dynamical system and a symbolic one. The classes of dynamical systems and their codings considered in the paper involve: (1) Beta-expansions, i.e., the radix expansions in non-integer bases; (2) "Rotational" expansions which arise in the problem of encoding of irrational rotations of the circle; (3) Toral expansions which naturally appear in arithmetic symbolic codings of algebraic toral automorphisms (mostly hyperbolic). We study ergodic-theoretic and probabilistic properties of these expansions and their applications. Besides, in some cases we create "redundant" representations (those whose space of "digits" is a priori larger than necessary) and study their combinatorics.


title: A Note on Shelling

abstract: The radial distribution function is a characteristic geometric quantity of a point set in Euclidean space that reflects itself in the corresponding diffraction spectrum and related objects of physical interest. The underlying combinatorial and algebraic structure is well understood for crystals, but less so for non-periodic arrangements such as mathematical quasicrystals or model sets. In this note, we summarise several aspects of central versus averaged shelling, illustrate the difference with explicit examples, and discuss the obstacles that emerge with aperiodic order.


title: Polynomials of Meixner's type in infinite dimensions-Jacobi fields and orthogonality measures

abstract: The classical polynomials of Meixner's type--Hermite, Charlier, Laguerre, Meixner, and Meixner--Pollaczek polynomials--are distinguished through a special form of their generating function, which involves the Laplace transform of their orthogonality measure. In this paper, we study analogs of the latter three classes of polynomials in infinite dimensions. We fix as an underlying space a (non-compact) Riemannian manifold $X$ and an intensity measure $\sigma$ on it. We consider a Jacobi field in the extended Fock space over $L^2(X;\sigma)$, whose field operator at a point $x\in X$ is of the form $\di_x^\dag+\lambda\di_x^\dag \di_x+\di_x+\di^\dag_x\di_x\di_x$, where $\lambda$ is a real parameter. Here, $\di_x$ and $\di_x^\dag$ are, respectively, the annihilation and creation operators at the point $x$. We then realize the field operators as multiplication operators in $L^2({\cal D}';\mu_\lambda)$, where ${\cal D}'$ is the dual of ${\cal D}{:=}C_0^\infty(X)$, and $\mu_\lambda$ is the spectral measure of the Jacobi field. We show that $\mu_\lambda$ is a gamma measure for $|\lambda|=2$, a Pascal measure for $|\lambda|>2$, and a Meixner measure for $|\lambda|<2$. In all the cases, $\mu_\lambda$ is a L\'evy noise measure. The isomorphism between the extended Fock space and $L^2({\cal D}';\mu_\lambda)$ is carried out by infinite-dimensional polynomials of Meixner's type. We find the generating function of these polynomials and using it, we study the action of the operators $\di_x$ and $\di_x^\dag$ in the functional realization.


title: The Virasoro algebra and sectors with infinite statistical dimension

abstract: We show that the sectors with lowest weight $h\geq 0$, $h\neq j^2$, $j\in {1/2}\ZZ$ of the local net of von Neumann algebras on the circle generated by the Virasoro algebra with central charge c=1 have infinite statistical dimension.


title: Combinatorics and Topology of partitions of spherical measures by 2 and 3 fans

abstract: An arrangement of k-semilines in the Euclidean (projective) plane or on the 2-sphere is called a k-fan if all semilines start from the same point. A k-fan is an $\alpha$-partition for a probability measure $\mu$ if $\mu(\sigma_i)=\alpha_i$ for each $i=1,...,k$ where $\{\sigma_i\}_{i=1}^k$ are conical sectors associated with the k-fan and $\alpha = (\alpha_1,... ,\alpha_k)$. The set of all $\alpha = (\alpha_1,... ,\alpha_m)$ such that for any collection of probability measures $\mu_1,... ,\mu_m$ there exists a common $\alpha$-partition by a k-fan is denoted by ${\cal A}_{m,k}$. We prove, as a central result of this paper, that ${\cal A}_{3,2} = \{(s,t)\in \mathbb{R}^2\mid s+t=1 {\rm and} s,t>0\}$. The result follows from the fact that under mild conditions there does not exist a $Q_{4n}$-equivariant map $f : S^3\to V\setminus {\cal A}(\alpha)$ where ${\cal A}(\alpha)$ is a $Q_{4n}$-invariant, linear subspace arrangement in a $Q_{4n}$-representation V, where $Q_{4n}$ is the generalized quaternion group. This fact is established by showing that an appropriate obstruction in the group $\Omega_1(Q_{4n})$ of $Q_{4n}$-bordisms does not vanish.


title: On the domain of singular traces

abstract: The question whether an operator belongs to the domain of some singular trace is addressed, together with the dual question whether an operator does not belong to the domain of some singular trace. We show that the answers are positive in general, namely for any (compact, infinite rank) positive operator A we exhibit two singular traces, the first being zero and the second being infinite on A. However, if we assume that the singular traces are generated by a "regular" operator, the answers change, namely such traces always vanish on trace-class, non singularly traceable operators and are always infinite on non trace-class, non singularly traceable operators. These results are achieved on a general semifinite factor, and make use of a new characterization of singular traceability (cf. math.OA/0202108).


title: Weighted Dirac combs with pure point diffraction

abstract: A class of translation bounded complex measures, which have the form of weighted Dirac combs, on locally compact Abelian groups is investigated. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges as the Fourier transform of the autocorrelation measure. We present a sufficient set of conditions to ensure that the diffraction measure is a pure point measure. Simultaneously, we establish a natural link to the theory of the cut and project formalism and to the theory of almost periodic measures. Our conditions are general enough to cover the known theory of model sets, but also to include examples such as the visible lattice points.


title: Elliptic Sklyanin integrable systems for arbitrary reductive groups

abstract: We present the analogue, for an arbitrary complex reductive group G, of the elliptic integrable systems of Sklyanin. The Sklyanin integrable systems were originally constructed on symplectic leaves, of a quadratic Poisson structure, on a loop group of type A. The phase space, of our integrable systems, is a group-like analogue of the Hitchin system over an elliptic curve E. We consider the moduli space of pairs (P,f), where P is a principal G-bundle on E, and f is a meromorphic section of the adjoint group bundle. We show: 1) The moduli space admits an algebraic Poisson structure. It is related to the poisson structures on loop groupoids, constructed by Etingof and Varchenko, using Felder's elliptic solutions of the Classical Dynamical Yang-Baxter Equation. 2) The symplectic leaves are finite dimensional. A symplectic leaf is determined by labeling, finitely many points of E, each by a dominant co-character of the maximal torus of G. 3) Each leaf is an algebraically completely integrable system.


title: Isolated critical points of mappings from $\mathbf{R}^4$ to $\mathbf{R}^2$ and a natural splitting of the Milnor number of a classical fibered link. Part I: Basic theory; examples

abstract: From a fibered link in the 3-sphere may be constructed a field of not everywhere tangent 2-planes; when the fibered link is the link of an isolated critical point of a map from 4-space to the plane, the plane field is essentially the field of kernels of the derivative of the map. Homotopically, such a plane field determines two integers. I show that the sum of these integers is the Milnor number of the fibered link. Taking the mirror image of a link exchanges the integers. Various examples are computed. It is noted (proof given elsewhere) that these integers are not determined by the algebraic monodromy (or Seifert form) of the fibered link.


title: Refined Restricted Permutations

abstract: Define $S_n^k(\alpha)$ to be the set of permutations of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid the pattern $\alpha \in S_m$. Let $s_n^k(\alpha)$ be the size of $S_n^k(\alpha)$. We investigate $S_n^0(\alpha)$ for all $\alpha \in S_3$ as well as show that $s_n^k(132)=s_n^k(213)=s_n^k(321)$ and $s_n^k(231)=s_n^k(312)$ for all $0 \leq k \leq n$.


title: Geometry of reduced sextics of torus type

abstract: We give a complete classsification of reduced sextics of torus type with configurations of the singularities and the geometry of the components.


title: Homogeneous algebras

abstract: Various concepts associated with quadratic algebras admit natural generalizations when the quadratic algebras are replaced by graded algebras which are finitely generated in degree 1 with homogeneous relations of degree N. Such algebras are referred to as {\sl homogeneous algebras of degree N}. In particular it is shown that the Koszul complexes of quadratic algebras generalize as N-complexes for homogeneous algebras of degree N.

categories: math.QA hep-th math-ph math.KT math.MP math.RA


title: N-commutators on vector fields

abstract: An alternating sum of compositions of N vector fields is called N-commutator. In general N-commutator of N vector fields is no longer a vector field. Question: is it possible to find N=N(n), such that N-commutator of any vector fields in $Vect(n)$ is once again a vector field. Theorem: $n^2+2n-2$-commutator is a such one. A theory of N-commutators with emphasis on 5-and 6-commutators on two dimensional manifold is developed.


title: Recollement and Tilting Complexes

abstract: First, we study recollement of a derived category of unbounded complexes of modules induced by a partial tilting complex. Second, we give equivalent conditions for P^{centerdot} to be a recollement tilting complex, that is, a tilting complex which induces an equivalence between recollements $\{\cat{D}_{A/AeA}(A), \cat{D}(A), \cat{D}(eAe)}$ and $\{\cat{D}_{B/BfB}(B), \cat{D}(B), \cat{D}(fBf)}$, where e, f are idempotents of A, B, respectively. In this case, there is an unbounded bimodule complex $\varDelta^{\centerdot}_{T}$ which induces an equivalence between $\cat{D}_{A/AeA}(A)$ and $\cat{D}_{B/BfB}(B)$. Third, we apply the above to a symmetric algebra A. We show that a partial tilting complex $P^{\centerdot}$ for A of length 2 extends to a tilting complex, and that $P^{\centerdot}$ is a tilting complex if and only if the number of indecomposable types of $P^{\centerdot}$ is one of A. Finally, we show that for an idempotent e of A, a tilting complex for eAe extends to a recollement tilting complex for A, and that its standard equivalence induces an equivalence between $\cat{Mod}A/AeA$ and $\cat{Mod}B/BfB$.


title: Nearly Kaehler geometry and Riemannian foliations

abstract: We consider strict and complete nearly Kaehler manifolds with the canonical Hermitian connection. The holonomy representation of the canonical Hermitian connection is studied. We show that a strict and complete nearly Kaehler is locally a Riemannian product of homogenous nearly Kaehler spaces, twistor spaces over quaternionic Kaehler manifolds and 6-dimensional nearly Kaehler manifolds. As an application we obtain structure results for totally geodesic Riemannian foliations admitting a compatible Kaehler structure. Finally, we obtain a classification result for the homogenous case, reducing a conjecture of Wolf and Gray to its 6-dimensional form.


title: Local representations of the (1+1) quantum extended Galilei algebra

abstract: We present the q-deformed counterpart of the local representations of the (1+1) extended Galilei group. These representations act on the space of wavefunctions defined in the space-time. As in the classical case the q-local representations are reducible and the condition of irreducibility is given by the q-Casimir equation that in the limit of the deformation parameter going to zero becomes the Schroedinger equation of a free particle.


title: The optimal momentum map

abstract: The presence of symmetries in a Hamiltonian system usually implies the existence of conservation laws that are represented mathematically in terms of the dynamical preservation of the level sets of a momentum mapping. The symplectic or Marsden--Weinstein reduction procedure takes advantage of this and associates to the original system a new Hamiltonian system with fewer degrees of freedom. However, in a large number of situations, this standard approach does not work or is not efficient enough, in the sense that it does not use all the information encoded in the symmetry of the system. In this work, a new momentum map will be defined that is capable of overcoming most of the problems encountered in the traditional approach.


title: Linear stochastic differential equations with functional boundary conditions

abstract: We consider linear n-th order stochastic differential equations on [0,1], with linear boundary conditions supported by a finite subset of [0,1]. We study some features of the solution to these problems, and especially its conditional independence properties of Markovian type.


title: A norm for the cohomology of 2-complexes

abstract: We introduce a norm on the real 1-cohomology of finite 2-complexes determined by the Euler characteristics of graphs on these complexes. We also introduce twisted Alexander-Fox polynomials of groups and show that they give rise to norms on the real 1-cohomology of groups. Our main theorem states that for a finite 2-complex X, the norm on H^1(X; R) determined by graphs on X majorates the Alexander-Fox norms derived from \pi_1(X).


title: Gaussian curvature and blowing up

abstract: This paper gives a general nonsingularity condition for a blowup along an ideal, related to Gaussian curvature.


title: Asymptotics, frequency modulation, and low regularity ill-posedness for canonical defocusing equations

abstract: In a recent paper, Kenig, Ponce and Vega study the low regularity behavior of the focusing nonlinear Schr\"odinger (NLS), focusing modified Korteweg-de Vries (mKdV), and complex Korteweg-de Vries (KdV) equations. Using soliton and breather solutions, they demonstrate the lack of local well-posedness for these equations below their respective endpoint regularities. In this paper, we study the defocusing analogues of these equations, namely defocusing NLS, defocusing mKdV, and real KdV, all in one spatial dimension, for which suitable soliton and breather solutions are unavailable. We construct for each of these equations classes of modified scattering solutions, which exist globally in time, and are asymptotic to solutions of the corresponding linear equations up to explicit phase shifts. These solutions are used to demonstrate lack of local well-posedness in certain Sobolev spaces,in the sense that the dependence of solutions upon initial data fails to be uniformly continuous. In particular, we show that the mKdV flow is not uniformly continuous in the $L^2$ topology, despite the existence of global weak solutions at this regularity. Finally, we investigate the KdV equation at the endpoint regularity $H^{-3/4}$, and construct solutions for both the real and complex KdV equations. The construction provides a nontrivial time interval $[-T,T]$ and a locally Lipschitz continuous map taking the initial data in $H^{-3/4}$ to a distributional solution $u \in C^0 ([-T,T]; $H^{-3/4})$ which is uniquely defined for all smooth data. The proof uses a generalized Miura transform to transfer the existing endpoint regularity theory for mKdV to KdV.


title: Existence and uniqueness for a class of nonlinear higher-order partial differential equations in the complex plane

abstract: We prove existence and uniqueness results for nonlinear third order partial differential equations of the form $$ f_t - f_{yyy} = \sum_{j=0}^3 b_j (y, t; f) ~f^{(j)} + r(y, t) $$ where superscript $j$ denotes the $j$-th partial derivative with respect to $y$. The inhomogeneous term $r$, the coefficients $b_j$ and the initial condition $f(y,0)$ are required to vanish algebraically for large $|y|$ in a wide enough sector in the complex $y$-plane. Using methods related to Borel summation, a unique solution is shown to exist that is analytic in $y$ for all large $|y|$ in a sector. Three partial differential equations arising in the context of Hele-Shaw fingering and dendritic crystal growth are shown to be of this form after appropriate transformation, and then precise results are obtained for them. The implications of the rigorous analysis on some similarity solutions, formerly hypothesized in two of these examples, are examined.


title: A q-analog of Schur's Q-functions

abstract: We present a family of analogs of the Hall-Littlewood symmetric functions in the $Q$-function algebra. The change of basis coefficients between this family and Schur's $Q$-functions are $q$-analogs of numbers of marked shifted tableaux. These coefficients exhibit many parallel properties to the Kostka-Foulkes polynomials.


title: An SO(3)-monopole cobordism formula relating Donaldson and Seiberg-Witten invariants

abstract: We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Donaldson invariants has been to compute intersection pairings on links of strata of reducible SO(3) monopoles, namely the moduli spaces of Seiberg-Witten monopoles lying in lower-level strata of the Uhlenbeck compactification of the moduli space of SO(3) monopoles [arXiv:dg-ga/9710032]. In this monograph, we prove --- modulo a gluing theorem which is an extension of our earlier work in [arXiv:math/9907107] --- that these intersection pairings can be expressed in terms of topological data and Seiberg-Witten invariants of the four-manifold. This conclusion is analogous to the Kotschick-Morgan conjecture concerning the wall-crossing formula for Donaldson invariants of a four-manifold with $b_2^+=1$; that wall-crossing formula and the resulting structure of Donaldson invariants for four-manifolds with $b_2^+=1$ were established, assuming the Kotschick-Morgan conjecture, by Goettsche [arXiv:alg-geom/9506018] and Goettsche and Zagier [arXiv:alg-geom/9612020]. In this monograph, we reduce the proof of the Kotschick-Morgan conjecture to an extension of previously established gluing theorems for anti-self-dual SO(3) connections (see [arXiv:math/9812060] and references therein). Since the first version of our monograph was circulated, applications of our results have appeared in the proof of Property P for knots by Kronheimer and Mrowka [arXiv:math/0311489] and work of Sivek on Donaldson invariants for symplectic four-manifolds [arXiv:1301.0377].


title: Rational Homology 5-Spheres with Positive Ricci Curvature

abstract: We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decomposition of $\scriptstyle{k}$ has the form $\scriptstyle{k=p_1... p_r}$ for distinct primes $\scriptstyle{p_i}$ then $\scriptstyle{M^5_k}$ is uniquely determined.


title: Modular transformations of the elliptic hypergeometric functions, Macdonald polynomials, and the shift operator

abstract: We consider the space of elliptic hypergeometric functions of the sl_2 type associated with elliptic curves with one marked point. This space represents conformal blocks in the sl_2 WZW model of CFT. The modular group acts on this space. We give formulas for the matrices of the action in terms of values at roots of unity of Macdonald polynomials of the sl_2 type.


title: On peak-interpolation manifolds for A(\Omega) for convex domains in C^n

abstract: Let \Omega be a bounded, weakly convex domain in C^n, n>1, having real-analytic boundary. A(\Omega) is the algebra of all functions holomorphic in \Omega and continuous upto the boundary. A submanifold M\subset \partial\Omega is said to be complex-tangential if T_p(M) lies in the maximal complex subspace of T_p(\partial\Omega) for each p \in M. We show that for real-analytic submanifolds M\subset \partial\Omega, if M is complex-tangential, then every compact subset of M is a peak-interpolation set for A(\Omega).


title: Regular Objects, Multiplicative Unitaries and Conjugation

abstract: The notion of left (resp. right) regular object of a tensor C*-category equipped with a faithful tensor functor into the category of Hilbert spaces is introduced. If such a category has a left (resp. right) regular object, it can be interpreted as a category of corepresentations (resp. representations) of some multiplicative unitary. A regular object is an object of the category which is at the same time left and right regular in a coherent way. A category with a regular object is endowed with an associated standard braided symmetry. Conjugation is discussed in the context of multiplicative unitaries and their associated Hopf C*-algebras. It is shown that the conjugate of a left regular object is a right regular object in the same category. Furthermore the representation category of a locally compact quantum group has a conjugation. The associated multiplicative unitary is a regular object in that category.


title: Weak amenability of Coxeter groups

abstract: Let (G,S) be a Coxeter group. We construct a continuation, to the open unit disc, of the unitary representations associated to the positive definite functions g -> r^l(g). (Here 0<r<1, and l denotes the length function with respect to the generating set S.) The constructed representations are uniformly bounded and we prove that this implies the weak amenability of the group G.


title: The Lie algebra of a Lie algebroid

abstract: Results describing Lie ideals and maximal finite-codimensional Lie subalgebras of the Lie algebras associated with Lie algebroids with non-singular anchor maps are presented. It is also proved that every isomorphism of such Lie algebras induces a diffeomorphism of base manifolds respecting the generalized foliations defined by the anchor maps.


title: tt* geometry, Frobenius manifolds, their connections, and the construction for singularities

abstract: The base space of a semiuniversal unfolding of a hypersurface singularity carries a rich geometry. By work of K. Saito and M. Saito is can be equipped with the structure of a Frobenius manifold. By work of Cecotti and Vafa it can be equipped with tt* geometry if the singularity is quasihomogeneous. tt* geometry generalizes the notion of variation of Hodge structures. In the second part of this paper (chapters 6-8) Frobenius manifolds and tt* geometry are constructed for any hypersurface singularity, using essentially oscillating integrals; and the intimate relationship between polarized mixed Hodge structures and this tt* geometry is worked out. In the first part (chapters 2-5) tt* geometry and Frobenius manifolds and their relations are studied in general. To both of them flat connections with poles are associated, with distinctive common and different properties. A frame for a simultaneous construction is given.


title: Hahn-Banach operators

abstract: We consider real spaces only. Definition. An operator $T:X\to Y$ between Banach spaces $X$ and $Y$ is called a Hahn-Banach operator if for every isometric embedding of the space $X$ into a Banach space $Z$ there exists a norm-preserving extension $\tilde T$ of $T$ to $Z$. A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to characterize pairs of finite-dimensional normed spaces $(X,Y)$ such that there exists a Hahn-Banach operator $T:X\to Y$ of rank $k$. The latter result is a generalization of a recent result due to B.L. Chalmers and B. Shekhtman.


title: Ergodic-theoretic properties of certain Bernoulli convolutions

abstract: In [17] the author and A. Vershik have shown that for $\be=\frac12(1+\sqrt5)$ and the alphabet $\{0,1\}$ the infinite Bernoulli convolution ($=$ the Erd\"os measure) has a property similar to the Lebesgue measure. Namely, it is quasi-invariant of type $\mathrm{II}_1$ under the $\be$-shift, and the natural extension of the $\be$-shift provided with the measure equivalent to the Erd\"os measure, is Bernoulli. In this note we extend this result to all Pisot parameters $\be$ (modulo some general arithmetic conjecture) and an arbitrary "sufficient" alphabet.


title: The rational cohomology ring of the moduli space of abelian 3-folds

abstract: The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the moduli space of smooth projective curves of genus 3, and (2) the stratified Morse theory of Goresky and MacPherson, which we use to compute the homology of the jacobian locus (in the rank 3 Siegel upper half plane), or equivalently of the extended Torelli group in genus 3. In the revised version, we also compute the rational cohomology of the Satake compactification of A_3.


title: Enumeration of Genus-Three Plane Curves with a Fixed Complex Structure

abstract: We give a practical formula for counting irreducible nodal genus-three plane curves that a fixed generic complex structure on the normalization. As an intermediate step, we enumerate rational plane curves that have a $(3,4)$-cusp.


title: On linear programming bounds for spherical codes and designs

abstract: We investigate universal bounds on spherical codes and spherical designs that could be obtained using Delsarte's linear programming methods. We give a lower estimate for the LP upper bound on codes, and an upper estimate for the LP lower bound on designs. Specifically, when the distance of the code is fixed and the dimension goes to infinity, the LP upper bound on codes is at least as large as the average of the best known upper and lower bounds. When the dimension n of the design is fixed, and the strength k goes to infinity, the LP bound on designs turns out, in conjunction with known lower bounds, to be proportional to k^{n-1}.


title: On fusion categories

abstract: Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension.


title: Gauss Integers and Diophantine Figures

abstract: In this paper Gauss integers are used for to develop some geometry of full Erdoes graphs which vertics are points with integer coordinates. These graphs are called Diophantine figures.


title: Abelian integrals in holomorphic foliations

abstract: The aim of this paper is to introduce the theory of Abelian integrals for holomorphic foliations in a complex manifold of dimension two. We will show the importance of Picard-Lefschetz theory and the classification of relatively exact 1-forms in this theory. As an application we identify some irreducible components of the space of holomorphic foliations of a fixed degree and with a center singularity in the projective space of dimension two. Also we calculate higher Melnikov functions under some generic conditions.


title: Meromorphic connections on $\P1$ and the multiplicity of Abelian integrals

abstract: In this paper we introduce the concept of Abelian integrals in differential equations for an arbitrary vector bundle on $\P1$ with a meromorphic connection. In this general context we give an upper bound for the numbers we are looking for.


title: Graphs that are not complete pluripolar

abstract: Let D_1 be a subdomain of D_2 in the complex plane CC. Under very mild conditions on D_2 we show that there exist holomorphic functions f, defined on D_1 with the property that $f$ is nowhere extendible across the boundary of D_1, while the graph of f over D_1 is NOT complete pluripolar in D_2 times CC. This refutes a conjecture of Levenberg, Martin and Poletsky.


title: An Algebraic and Logical approach to continuous images

abstract: Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these continuous mappings -- also tools from Model Theory. We illustrate by showing that the \v{C}ech-Stone remainder $[0,\infty)$ has a universality property akin to that of $N^*$; a theorem of Ma\'ckowiak and Tymchatyn implies it own generalization to non-metric continua; and certain concrete compact spaces need not be continuous images of $N^*$.


title: A growth gap for diffeomorphisms of the interval

abstract: Given an orientation-preserving diffeomorphism of the interval [0;1], consider the uniform norm of the differential of its n-th iteration. We get a function of n called the growth sequence. Its asymptotic behaviour is an interesting invariant which naturally appears both in geometry of the diffeomorphisms groups and in smooth dynamics. Our main result is the following Gap Theorem: the growth rate of this sequence is either exponential, or at most quadratic with n. Further, we construct diffeomorphisms with quite an irregular behaviour of the growth sequence. This construction easily extends to arbitrary manifolds.


title: Cohomology with local coefficients of solvmanifolds and Morse-Novikov theory

abstract: We study the cohomology $H^*_{\lambda \omega}(G/\Gamma, {\mathbb C})$ of the deRham complex $\Lambda^*(G/\Gamma)\otimes{\mathbb C}$ of a compact solvmanifold $G/\Gamma$ with a deformed differential $d_{\lambda \omega}=d + \lambda\omega$, where $\omega$ is a closed 1-form. This cohomology naturally arises in the Morse-Novikov theory. We show that for a solvable Lie group $G$ with a completely solvable Lie algebra $\mathfrak{g}$ and a cocompact lattice $\Gamma \subset G$ the cohomology $H^*_{\lambda \omega}(G/\Gamma, {\mathbb C})$ coincides with the cohomology $H^*_{\lambda \omega}(\mathfrak{g})$ of the Lie algebra $\mathfrak{g}$ associated with the one-dimensional representation $\rho_{\lambda \omega}: \mathfrak{g} \to {\mathbb K}, \rho_{\lambda \omega}(\xi) = \lambda \omega(\xi)$. Moreover $H^*_{\lambda \omega}(G/\Gamma, {\mathbb C})$ is non-trivial if and only if $-\lambda [\omega]$ belongs to the finite subset $\{0\} \cup \tilde \Omega_{\mathfrak{g}}$ in $H^1(G/\Gamma, {\mathbb C})$ well defined in terms of $\mathfrak{g}$.


title: Asymptotic of the Heat Kernel in General Benedicks Domains

abstract: Using a new inequality relating the heat kernel and the probability of survival, we prove asymptotic ratio limit theorems for the heat kernel (and survival probability) in general Benedicks domains. In particular, the dimension of the cone of positive harmonic measures with Dirichlet boundary condition can be derived from the rate of convergence to zero of the heat kernel (or the survival probability).


title: On symplectic leaves and integrable systems in standard complex semisimple Poisson-Lie groups

abstract: We provide an explicit description of symplectic leaves of a simply connected connected semisimple complex Lie group equipped with the standard Poisson-Lie structure. This sharpens previously known descriptions of the symplectic leaves as connected components of certain varieties. Our main tool is the machinery of twisted generalized minors. They also allow us to present several quasi-commuting coordinate systems on every symplectic leaf. As a consequence, we construct new completely integrable systems on some special symplectic leaves.


title: One-Sided Projections on C*-algebras

abstract: In [BEZ] the notion of a complete one-sided M-ideal for an operator space X was introduced as a generalization of Alfsen and Effros' notion of an M-ideal for a Banach space [AE72]. In particular, various equivalent formulations of complete one-sided M-projections were given. In this paper, some sharper equivalent formulations are given in the special situation that $X = \mathcal{A}$, a $C^*$-algebra (in which case the complete left M-projections are simply left multiplication on $\mathcal{A}$ by a fixed orthogonal projection in $\mathcal{A}$ or its multiplier algebra). The proof of the first equivalence makes use of a technique which is of interest in its own right--a way of ``solving'' multi-linear equations in von Neumann algebras. This technique is also applied to show that preduals of von Neumann algebras have no nontrivial complete one-sided M-ideals. In addition, we show that in a $C^*$-algebra, the intersection of finitely many complete one-sided M-summands need not be a complete one-sided M-summand, unlike the classical situation.


title: Fat Points in P^1 x P^1 and their Hilbert Functions

abstract: We study the Hilbert functions of fat points in P^1 x P^1. If Z is an arbitrary fat point subscheme of P^1 x P^1, then it can be shown that for every i and j the values of the Hilbert function H_Z(l,j) and H_Z(i,l) eventually become constant for l >> 0. We show how to determine these eventual values by using only the multiplicities of the points, and the relative positions of the points in P^1 x P^1. This enables us to compute all but a finite number values of H_Z without using the coordinates of points. We also characterize the ACM fat points schemes using our description of the eventual behaviour. In fact, in the case that Z is ACM, then the entire Hilbert function and its minimal free resolution depend solely on knowing the eventual values of the Hilbert function.


title: Measures of maximal relative entropy

abstract: Given an irreducible subshift of finite type X, a subshift Y, a factor map \pi : X \to Y, and an ergodic invariant measure \nu on Y, there can exist more than one ergodic measure on X which projects to \nu and has maximal entropy among all measures in the fiber, but there is an explicit bound on the number of such maximal entropy preimages.


title: Fuzziness and Funds Allocation in Portfolio Optimization

abstract: Each individual investor is different, with different financial goals, different levels of risk tolerance and different personal preferences. From the point of view of investment management, these characteristics are often defined as objectives and constraints. Objectives can be the type of return being sought, while constraints include factors such as time horizon, how liquid the investor is, any personal tax situation and how risk is handled. It's really a balancing act between risk and return with each investor having unique requirements, as well as a unique financial outlook - essentially a constrained utility maximization objective. To analyze how well a customer fits into a particular investor class, one investment house has even designed a structured questionnaire with about two-dozen questions that each has to be answered with values from 1 to 5. The questions range from personal background (age, marital state, number of children, job type, education type, etc.) to what the customer expects from an investment (capital protection, tax shelter, liquid assets, etc.). A fuzzy logic system has been designed for the evaluation of the answers to the above questions. We have investigated the notion of fuzziness with respect to funds allocation.


title: Random polynomials with prescribed Newton polytope, I

abstract: The Newton polytope $P_f$ of a polynomial $f$ is well known to have a strong impact on its zeros, as in the Kouchnirenko-Bernstein theorem on the number of simultaneous zeros of $m$ polynomials with given Newton polytopes. In this article, we show that $P_f$ also has a strong impact on the distribution of zeros of one or several polynomials. We equip the space of (holomorphic) polynomials of degree $\leq N$ in $m$ complex variables with its usual $SU(m+1)$-invariant Gaussian measure and then consider the conditional measures $\gamma_{|NP}$ induced on the subspace of polynomials whose Newton polytope $P_f\subset NP$. When $P=\Sigma$, the unit simplex, then it is obvious and well-known that the expected distribution of zeros $Z_{f_1,...,f_k}$ (regarded as a current) of $k$ polynomials $f_1,...,f_k$ of degree $N$ is uniform relative to the Fubini-Study form. Our main results concern the conditional expectation $E_{|NP} (Z_{f_1,...,f_k})$ of zeros of $k$ polynomials with Newton polytope $NP\subset Np\Sigma$ (where $p=\deg P$); these results are asymptotic as the scaling factor $N\to\infty$. We show that $E_{|NP} (Z_{f_1,...,f_k})$ is asymptotically uniform on the inverse image $A_P$ of the open scaled polytope $p^{-1}P^\circ$ via the moment map $\mu:CP^m\to\Sigma$ for projective space. However, the zeros have an exotic distribution outside of $A_P$ and when $k=m$ (the case of the Kouchnirenko-Bernstein theorem) the percentage of zeros outside $A_P$ approaches 0 as $N\to\infty$.


title: $\pi_1$ of Hamiltonian $S^1$ manifolds

abstract: Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $S^1$ action. We prove that, as fundamental groups of topological spaces, $\pi_1(M)=\pi_1(\hbox{minimum})=\pi_1(\hbox{maximum})=\pi_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value in the image of the moment map $\phi$.


title: Borcherds products associated with certain Thompson series

abstract: We apply Zagier's result for the traces of singular moduli to construct Borcherds products in higher level cases.


title: The uniqueness of tangent cones for Yang-Mills connections with isolated singularities

abstract: We proved a uniqueness theorem of tangent connections for a Yang-Mills connection with an isolated singularity with a quadratic growth of the curvature at the singularity. We also obtained controls over the rate of the asymptotic convergence of the connection to the tangent connection under assumptions that the connection is stationary or the tangent connection is integrable. There are parallel results for the cones at infinity of a Yang-Mills connection on an asymptotically flat manifold. We also gave an application of our methods to the Yang-Mills flow and proved that the Yang-Mills flow exists for all time and has asymptotic limit if the initial value is close to a smooth local minimizer of the Yang-Mills functional.


title: Compactification of the moduli spaces of vortices and coupled vortices

abstract: Vortices and coupled vortices arise from Yang-Mills-Higgs theories and can be viewed as generalizations or analogues to Yang-Mills connections and, in particular, Hermitian-Yang-Mills connections. We proved an analytic compactification of the moduli spaces of vortices and coupled vortices on hermitian vector bundles over compact K\"ahler manifolds. In doing so we introduced the concept of ideal coupled vortices and characterized the singularities of ideal coupled vortices as well as Hermitian-Yang-Mills connections.


title: Tensor fields and connections on holomorphic orbit spaces of finite groups

abstract: For a representation of a finite group $G$ on a complex vector space $V$ we determine when a holomorphic $\binom{p}{q}$-tensor field on the principle stratum of the orbit space $V/G$ can be lifted to a holomorphic $G$-invariant tensor field on $V$. This extends also to connections. As a consequence we determine those holomorphic diffeomorphisms on $V/G$ which can be lifted to orbit preserving holomorphic diffeomorphisms on $V$. This in turn is applied to characterize complex orbifolds.


title: Estimating a structural distribution function by grouping

abstract: By the method of Poissonization we confirm some existing results concerning consistent estimation of the structural distribution function in the situation of a large number of rare events. Inconsistency of the so called natural estimator is proved. The method of grouping in cells of equal size is investigated and its consistency derived. A bound on the mean squared error is derived.


title: Cardinal arithmetic and Woodin cardinals

abstract: Suppose that there is a measurable cardinal. If \aleph_\omega is a strong limit cardinal, but the power of \aleph_\omega is bigger than \aleph_{\omega_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the measurable cardinal this answers a question of Gitik and Mitchell.


title: An order-reversing duality map for conjugacy classes in Lusztig's canonical quotient

abstract: We define a partial order on the set of pairs {(O,C)}, where O is a nilpotent orbit and C is a conjugacy class in Lusztig's canonical quotient of A(O). We then show that there is a unique order-reversing duality map on this set that has certain properties analagous to those of the original Lusztig-Spaltenstein duality map. This generalizes work of E. Sommers. In this revised version, a new approach leads to a strengthened version of Theorem 2, and applications of the results are discussed in greater detail.


title: Quantum Cohomology and Morse Theory on the Loop Space of Toric Varieties

abstract: On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ - module ${\mathcal{D}}/I$ over the Heisenberg algebra of first order differential operators on a complex torus. An element of $I$ gives a relation in the quantum cohomology of $M$ by taking the limit as $\hbar\to 0$. Givental (HomGeom), discovered that there should be a structure of a $\mathcal{D}$ - module on the (as yet not rigorously defined) ${S^1}$ equivariant Floer cohomology of the loop space of $M$ and conjectured that the two modules should be equal. Based on that, we formulate a conjecture about how to compute the quantum cohomology $\mathcal{D}$ - module in terms of Morse theoretic data for the symplectic action functional. The conjecture is proven in the case of toric manifolds with $\int_d{c_1}> 0$ for all nonzero classes $d$ of rational curves in $M$.


title: Linear extensions and nilpotence for Maltsev theories

abstract: Relationship is clarified between the notions of linear extension of algebraic theories, and central extension, in the sense of commutator calculus, of their models. Varieties of algebras turn out to be nilpotent Maltsev precisely when their theories may be obtained as results of iterated linear extensions by bifunctors from the so called abelian theories. The latter theories are described; they are slightly more general than theories of modules over a ring.


title: Projections in normed linear spaces and sufficient enlargements

abstract: Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists a projection P:Y\to X such that P(B(Y)) is a subset of A (by B(X) we denote the unit ball). The notion of sufficient enlargement is implicit in the paper: B.Grunbaum, Projection constants, Trans. Amer. Math. Soc. 95 (1960) 451--465. It was explicilty introduced by the author in: M.I.Ostrovskii, Generalization of projection constants: sufficient enlargements, Extracta Math., 11 (1996), 466--474. The main purpose of the present paper is to continue investigation of sufficient enlargements started in the papers cited above. In particular the author investigate sufficient enlargements whose support functions are in some directions close to those of the unit ball of the space, sufficient enlargements of minimal volume, sufficient enlargements for euclidean spaces.


title: On Z_2-twisted representation of vertex operator superalgebras and the Ising model SVOA

abstract: We investigate a general theory of the Z_2-twisted representations of vertex operator superalgebras. Certain one-to-one correspondence theorems are established. We also give an explicit realization of the Ising model SVOA and its Z_2-twisted modules. As an application, we obtain the Gerald Hoehn's Babymonster SVOA VB and its Z_2-twisted module VB_{tw} from the moonshine VOA V^\nat by cutting off the Ising models. It is also shown in this paper that Aut (VB) is finite.


title: 4-manifolds as covers of the 4-sphere branched over non-singular surfaces

abstract: We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S^4 branched over a locally flat surface (cf [J M Montesinos, 4-manifolds, 3-fold covering spaces and ribbons, Trans. Amer. Math. Soc. 245 (1978) 453--467]). In fact, we show how to eliminate all the node singularities of the branching set of any simple 4-fold branched covering M \to S^4 arising from the representation theorem given in [R Piergallini, Four-manifolds as 4-fold branched covers of S^4, Topology 34 (1995) 497--508]. Namely, we construct a suitable cobordism between the 5-fold stabilization of such a covering (obtained by adding a fifth trivial sheet) and a new 5-fold covering M --> S^4 whose branching set is locally flat. It is still an open question whether the fifth sheet is really needed or not.


title: Rational curves on hypersurfaces of low degree

abstract: Let n > 2 and let d < (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.


title: Rakib-Sivashinsky and Michelson-Sivashinsky Equations for Upward Propagating Flames: A Comparison Analysis

abstract: We establish a comparison between Rakib--Sivashinsky and Michelson-Sivashinsky quasilinear parabolic differential equations governing the weak thermal limit of upward flame front propagating in a channel. For the former equation, we give a complete description of all steady solutions and present their local and global stability analysis. For the latter, multi-coalescent unstable steady solutions are introduced and shown to be exponentially more numerous than the previous known coalescente solutions. This fact is argued to be responsible for the disagreement of the observed dynamics in numerical experiments with the exact (linear) stability analysis and also gives the ingredients to describe the quasi-stable behavior of parabolic steadily propagating flame with centered tip.


title: Symmetries of Contact Metric Manifolds

abstract: We study the Lie algebra of infinitesimal isometries on compact Sasakian and K--contact manifolds. On a Sasakian manifold which is not a space form or 3--Sasakian, every Killing vector field is an infinitesimal automorphism of the Sasakian structure. For a manifold with K--contact structure, we prove that there exists a Killing vector field of constant length which is not an infinitesimal automorphism of the structure if and only if the manifold is obtained from the Konishi bundle of a compact pseudo--Riemannian quaternion--Kaehler manifold after changing the sign of the metric on a maximal negative distribution. We also prove that non--regular Sasakian manifolds are not homogeneous and construct examples with cohomogeneity one. Using these results we obtain in the last section the classification of all homogeneous Sasakian manifolds.


title: Truncated microsupport and holomorphic solutions of D-modules

abstract: We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely determined by the characteristic variety of $M$. As an application, we obtain an extension theorem for the sections of $H^j(F)$, $j<d$, defined on an open subset whose boundary is non characteristic outside of a complex analytic subvariety of codimension $d$. We also give a characterization of the perversity for ${\bf C}$-constructible sheaves in terms of their truncated microsupports.


title: On certain generalized Hardy's inequalities and applications

abstract: We prove certain generalization of Hardy's inequality where the "boundary defining function" is replaced by a polynomial defining a singular algebraic variety. An application is given on the existence of a small time heat trace expansion for a Schr\"odinger operator with mild singularities along this algebraic set.


title: Height zeta functions of equivariant compactifications of the Heisenberg group

abstract: We study analytic properties of height zeta functions of equivariant compactifications of the Heisenberg group.


title: New polynomial analogues of Jacobi's triple product and Lebesgue's identities

abstract: In a recent paper by the authors, a bounded version of Goellnitz's (big) partition theorem was established. Here we show among other things how this theorem leads to nontrivial new polynomial analogues of certain fundamental identities of Jacobi and Lebesgue. We also derive a two parameter extension of Jacobi's famous triple product identity.


title: Toric varieties with huge Grothendieck group

abstract: In each dimension n>2 there are many projective simplicial toric varieties whose Grothendieck groups of vector bundles are at least as big as the ground field. In particular, the conjecture that the Grothendieck groups of locally trivial sheaves and coherent sheaves on such varieties are rationally isomorphic fails badly.


title: Toric Hyperkahler Varieties

abstract: Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.


title: On the rho invariant for manifolds with boundary

abstract: This article is a follow up of the previous article of the authors on the analytic surgery of eta- and rho-invariants. We investigate in detail the (Atiyah-Patodi-Singer)-rho-invariant for manifolds with boundary. First we generalize the cut-and-paste formula to arbitrary boundary conditions. A priori the rho-invariant is an invariant of the Riemannian structure and a representation of the fundamental group. We show, however, that the dependence on the metric is only very mild: it is independent of the metric in the interior and the dependence on the metric on the boundary is only up to its pseudo--isotopy class. Furthermore, we show that this cannot be improved: we give explicit examples and a theoretical argument that different metrics on the boundary in general give rise to different rho-invariants. Theoretically, this follows from an interpretation of the exponentiated rho-invariant as a covariantly constant section of a determinant bundle over a certain moduli space of flat connections and Riemannian metrics on the boundary. Finally we extend to manifolds with boundary the results of Farber-Levine-Weinberger concerning the homotopy invariance of the rho-invariant and spectral flow of the odd signature operator.


title: From Double Lie Groups to Quantum Groups

abstract: It is shown that there is a $C^*$-algebraic quantum group related to any double Lie group. An algebra underlying this quantum group is an algebra of a differential groupoid naturally associated with a double Lie group


title: On the Classification of Regular Groupoids

abstract: We observe that any regular Lie groupoid G over an manifold M fits into an extension $K \to G \to E$ of a foliation groupoid E by a bundle of connected Lie groups K. If $\FF$ is the foliation on M given by the orbits of E and T is a complete transversal to $\FF$, this extension restricts to T, as an extension $K_{T}\to G_{T}\to E_{T}$ of an \'etale groupoid $E_{T}$ by a bundle of connected groups $K_{T}$. We break up the classification into two parts. On the one hand, we classify the latter extensions of \'etale groupoids by (non-abelian) cohomology classes in a new \v{C}ech cohomology of \'{e}tale groupoids. On the other hand, given K and E and an extension $K_{T}\to G_{T}\to E_{T}$ over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension $K \to G \to E$ over M; if this obstruction vanishes, all extensions $K \to G \to E$ over M which restrict to a given extension over the transversal together form a principal bundle over a ``group'' of bitorsors under K.


title: Orbifolds as Groupoids: an Introduction

abstract: This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds.


title: Structure of the Malvenuto-Reutenauer Hopf algebra of permutations (Extended Abstract)

abstract: We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.