An Infinite Genus Mapping Class Group and Stable Cohomology

We exhibit a finitely generated group whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface of infinite genus, and contains all the pure mapping class groups of compact surfaces of genus g with n boundary components, for any g ≥ 0 and n > 0. We construct a representation of into the restricted symplectic group of the real Hilbert space generated by the homology classes of non-separating circles on , which generalizes the classical symplectic representation of the mapping class groups. Moreover, we show that the first universal Chern class in is the pull-back of the Pressley-Segal class on the restricted linear group via the inclusion . L. F. was partially supported by the ANR Repsurf:ANR-06-BLAN-0311.     

Torelli Theorem for the Deligne–Hitchin Moduli Space

Fix integers g ≥ 3 and r ≥ 2, with r ≥ 3 if g = 3. Given a compact connected Riemann surface X of genus g, let denote the corresponding Deligne–Hitchin moduli space. We prove that the complex analytic space determines (up to an isomorphism) the unordered pair , where is the Riemann surface defined by the opposite almost complex structure on X.     

The <Emphasis Type="Italic">N</Emphasis> = 1 Triplet Vertex Operator Superalgebras

We introduce a newfamily of C ₂-cofinite N = 1 vertex operator superalgebras , m ≥ 1, which are natural super analogs of the triplet vertex algebra family , p ≥ 2, important in logarithmic conformal field theory. We classify irreducible -modules and discuss logarithmic modules. We also compute bosonic and fermionic formulas of irreducible characters. Finally, we contemplate possible connections between the category of -modules and the category of modules for the quantum group , , by focusing primarily on properties of characters and the Zhu’s algebra . This paper is a continuation of our paper Adv. Math. 217, no.6, 2664–2699 (2008). The second author was partially supported by NSF grant DMS-0802962.     

(Co)cyclic (Co)homology of Bialgebroids: An Approach via (Co)monads

For a (co)monad T _l on a category , an object X in , and a functor , there is a (co)simplex in . The aim of this paper is to find criteria for para-(co)cyclicity of Z ^*. Our construction is built on a distributive law of T _l with a second (co)monad T _r on , a natural transformation , and a morphism in . The (symmetrical) relations i and w need to satisfy are categorical versions of Kaygun’s axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads and on the category of R-bimodules. The functor Π can be chosen such that is the cyclic R-module tensor product. A natural transformation is given by the flip map and a morphism is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. The notion of a stable anti-Yetter-Drinfel’d module over certain bialgebroids, the so-called  ×  _R -Hopf algebras, is introduced. In the particular example when T is a module coring of a  ×  _R -Hopf algebra and X is a stable anti-Yetter-Drinfel’d -module, the para-cyclic object Z _* is shown to project to a cyclic structure on . For a -Galois extension , a stable anti-Yetter-Drinfel’d -module T _S is constructed, such that the cyclic objects and are isomorphic. This extends a theorem by Jara and Ştefan for Hopf Galois extensions. As an application, we compute Hochschild and cyclic homologies of a groupoid with coefficients in a stable anti-Yetter-Drinfel’d module, by tracing it back to the group case. In particular, we obtain explicit expressions for (coinciding relative and ordinary) Hochschild and cyclic homologies of a groupoid. The latter extends results of Burghelea on cyclic homology of groups.     

Measures on Banach Manifolds and Supersymmetric Quantum Field Theory

We show how to construct measures on Banach manifolds associated to supersymmetric quantum field theories. These measures are mathematically well-defined objects inspired by the formal path integrals appearing in the physics literature on quantum field theory. We give three concrete examples of our construction. The first example is a family of measures on a space of functions on the two-torus, parametrized by a polynomial P (the Wess-Zumino-Landau-Ginzburg model). The second is a family of measures on a space of maps from to a Lie group (the Wess-Zumino-Novikov-Witten model). Finally we study a family of measures on the product of a space of connections on the trivial principal bundle with structure group G on a three-dimensional manifold M with a space of -valued three-forms on M. We show that these measures are positive, and that the measures are Borel probability measures. As an application we show that formulas arising from expectations in the measures reproduce formulas discovered by Frenkel and Zhu in the theory of vertex operator algebras. We conjecture that a similar computation for the measures , where M is a homology three-sphere, will yield the Casson invariant of M. Dedicated to the memory of Raoul Bott Supported in part by NSF grant DMS 04/05670.     

Spectral Analysis and Zeta Determinant on the Deformed Spheres

We consider a class of singular Riemannian manifolds, the deformed spheres , defined as the classical spheres with a one parameter family g[k] of singular Riemannian structures, that reduces for k = 1 to the classical metric. After giving explicit formulas for the eigenvalues and eigenfunctions of the metric Laplacian , we study the associated zeta functions . We introduce a general method to deal with some classes of simple and double abstract zeta functions, generalizing the ones appearing in . An application of this method allows to obtain the main zeta invariants for these zeta functions in all dimensions, and in particular and . We give explicit formulas for the zeta regularized determinant in the low dimensional cases, N = 2,3, thus generalizing a result of Dowker [25], and we compute the first coefficients in the expansion of these determinants in powers of the deformation parameter k. Partially supported by FAPESP: 2005/04363-4     

An Algebra of Deformation Quantization for Star-Exponentials on Complex Symplectic Manifolds

The cotangent bundle T ^* X to a complex manifold X is classically endowed with the sheaf of k-algebras of deformation quantization, where k := is a subfield of . Here, we construct a new sheaf of k-algebras which contains as a subalgebra and an extra central parameter t. We give the symbol calculus for this algebra and prove that quantized symplectic transformations operate on it. If P is any section of order zero of , we show that is well defined in .     

Quantisation of Twistor Theory by Cocycle Twist

We present the main ingredients of twistor theory leading up to and including the Penrose-Ward transform in a coordinate algebra form which we can then ‘quantise’ by means of a functorial cocycle twist. The quantum algebras for the conformal group, twistor space , compactified Minkowski space and the twistor correspondence space are obtained along with their canonical quantum differential calculi, both in a local form and in a global *-algebra formulation which even in the classical commutative case provides a useful alternative to the formulation in terms of projective varieties. We outline how the Penrose-Ward transform then quantises. As an example, we show that the pull-back of the tautological bundle on pulls back to the basic instanton on and that this observation quantises to obtain the Connes-Landi instanton on θ-deformed S ⁴ as the pull-back of the tautological bundle on our θ-deformed . We likewise quantise the fibration and use it to construct the bundle on θ-deformed that maps over under the transform to the θ-deformed instanton. The work was mainly completed while S.M. was visiting July-December 2006 at the Isaac Newton Institute, Cambridge, which both authors thank for support.     

A Uniform Quantum Version of the Cherry Theorem

Consider in the operator family . P ₀ is the quantum harmonic oscillator with diophantine frequency vector ω, F ₀ a bounded pseudodifferential operator with symbol decreasing to zero at infinity in phase space, and . Then there exist independent of and an open set such that if and , the quantum normal form near P ₀ converges uniformly with respect to . This yields an exact quantization formula for the eigenvalues, and for the classical Cherry theorem on convergence of Birkhoff’s normal form for complex frequencies is recovered. Partially supported by PAPIIT-UNAM IN106106-2.     

Uniqueness Theorem for BMS-Invariant States of Scalar QFT on the Null Boundary of Asymptotically Flat Spacetimes and Bulk-Boundary Observable Algebra Correspondence

This work concerns some features of scalar QFT defined on the causal boundary of an asymptotically flat at null infinity spacetime and based on the BMS-invariant Weyl algebra .(a) (i) It is noticed that the natural BMS invariant pure quasifree state λ on , recently introduced by Dappiaggi, Moretti and Pinamonti, enjoys positivity of the self-adjoint generator of u-translations with respect to every Bondi coordinate frame on , ( being the affine parameter of the complete null geodesics forming and complex coordinates on the transverse 2-sphere). This fact may be interpreted as a remnant of the spectral condition inherited from QFT in Minkowski spacetime (and it is the spectral condition for free fields when the bulk is the very Minkowski space). (ii) It is also proved that the cluster property under u-displacements is valid for every (not necessarily quasifree) pure state on which is invariant under u displacements. (iii) It is established that there is exactly one algebraic pure quasifree state which is invariant under u-displacements (of a fixed Bondi frame) and has positive self-adjoint generator of u-displacements. It coincides with the GNS-invariant state λ. (iv) Finally it is shown that in the folium of a pure u-displacement invariant state ω (like λ but not necessarily quasifree) on is the only state invariant under u-displacement.(b) It is proved that the theory can be formulated for spacetimes asymptotically flat at null infinity which also admit future time completion i ⁺ (and fulfill other requirements related with global hyperbolicity). In this case a -isomorphism ı exists - with a natural geometric meaning - which identifies the (Weyl) algebra of observables of a linear field propagating in the bulk spacetime with a sub algebra of . Using ı a preferred state on the field algebra in the bulk spacetime is induced by the BMS-invariant state λ on .     

Stability of Two Soliton Collision for Nonintegrable gKdV Equations

We continue our study of the collision of two solitons for the subcritical generalized KdV equations

Twistor Actions for Self-Dual Supergravities

We give holomorphic Chern-Simons-like action functionals on supertwistor space for self-dual supergravity theories in four dimensions, dealing with supersymmetries, the cases where different parts of the R-symmetry are gauged, and with or without a cosmological constant. The gauge group is formally the group of holomorphic Poisson transformations of supertwistor space where the form of the Poisson structure determines the amount of R-symmetry gauged and the value of the cosmological constant. We give a formulation in terms of a finite deformation of an integrable -operator on a supertwistor space, i.e., on regions in . For , we also give a formulation that does not require the choice of a background.     

A Criterion for Uniqueness of Lagrangian Trajectories for Weak Solutions of the 3D Navier-Stokes Equations

Foias, Guillopé, & Temam showed in 1985 that for a given weak solution of the three-dimensional Navier-Stokes equations on a domain Ω, one can define a ‘trajectory mapping’ that gives a consistent choice of trajectory through each initial condition , and that respects the volume-preserving property one would expect for smooth flows. The uniqueness of this mapping is guaranteed by the theory of renormalised solutions of non-smooth ODEs due to DiPerna & Lions. However, this is a distinct question from the uniqueness of individual particle trajectories. We show here that if one assumes a little more regularity for u than is known to be the case, namely that , then the particle trajectories are unique and C ¹ in time for almost every choice of initial condition in Ω. This degree of regularity is more than can currently be guaranteed for weak solutions () but significantly less than that known to ensure that u is regular ( . We rely heavily on partial regularity results due to Caffarelli, Kohn, & Nirenberg and Ladyzhenskaya & Seregin.     

Regular Strongly Typical Blocks of $${\mathcal{O}^{\mathfrak {q}}}$$

We use the technique of Harish-Chandra bimodules to prove that regular strongly typical blocks of the category for the queer Lie superalgebra are equivalent to the corresponding blocks of the category for the Lie algebra .     

Local Asymptotic Normality in Quantum Statistics

The theory of local asymptotic normality for quantum statistical experiments is developed in the spirit of the classical result from mathematical statistics due to Le Cam. Roughly speaking, local asymptotic normality means that the family consisting of joint states of n identically prepared quantum systems approaches in a statistical sense a family of Gaussian state ϕ _u of an algebra of canonical commutation relations. The convergence holds for all “local parameters” such that parametrizes a neighborhood of a fixed point . In order to prove the result we define weak and strong convergence of quantum statistical experiments which extend to the asymptotic framework the notion of quantum sufficiency introduces by Petz. Along the way we introduce the concept of canonical state of a statistical experiment, and investigate the relation between the two notions of convergence. For the reader’s convenience and completeness we review the relevant results of the classical as well as the quantum theory. Dedicated to Slava Belavkin on the occasion of his 60th anniversary     

A Counterexample to Dispersive Estimates for Schrödinger Operators in Higher Dimensions

In dimension n > 3 we show the existence of a compactly supported potential in the differentiability class , for which the solutions to the linear Schrödinger equation in,

The Paraboson Fock Space and Unitary Irreducible Representations of the Lie Superalgebra {\mathfrak{osp}(1|2n)}

It is known that the defining relations of the orthosymplectic Lie superalgebra are equivalent to the defining (triple) relations of n pairs of paraboson operators . In particular, with the usual star conditions, this implies that the “parabosons of order p” correspond to a unitary irreducible (infinite-dimensional) lowest weight representation V(p) of . Apart from the simple cases p = 1 or n = 1, these representations had never been constructed due to computational difficulties, despite their importance. In the present paper we give an explicit and elegant construction of these representations V(p), and we present explicit actions or matrix elements of the generators. The orthogonal basis vectors of V(p) are written in terms of Gelfand-Zetlin patterns, where the subalgebra of plays a crucial role. Our results also lead to character formulas for these infinite-dimensional representations. Furthermore, by considering the branching , we find explicit infinite-dimensional unitary irreducible lowest weight representations of and their characters. NIS was supported by a project from the Fund for Scientific Research – Flanders (Belgium) and by project P6/02 of the Interuniversity Attraction Poles Programme (Belgian State – Belgian Science Policy). An erratum to this article can be found at     

A Negative Mass Theorem for the 2-Torus

Let M be a closed surface. For a metric g on M, denote the area element by dA and the Laplace-Beltrami operator by Δ = Δ _g . We define the Robin mass m(p) at the point to be the value of the Green function G(p, q) at q = p after the logarithmic singularity has been subtracted off, and we define trace . This regularized trace can also be obtained by regularization of the spectral zeta function and is hence a spectral invariant which heuristically measures the total wavelength of the surface.We define the Δ-mass of (M, g) to equal , where is the Laplacian on the round sphere of area A. This scale invariant quantity is a non-trivial analog for closed surfaces of the ADM mass for higher dimensional asymptotically flat manifolds.In this paper we show that in each conformal class for the 2-torus, there exists a metric with negative Δ-mass. From this it follows that the minimum of the Δ-mass on is negative and attained by some metric . For this minimizing metric g, one gets a sharp logarithmic Hardy-Littlewood-Sobolev inequality and an Onofri-type inequality.We remark that if the flat metric in is sufficiently long and thin then the minimizing metric g is non-flat. The proof of our result depends on analyzing the ordinary differential equation which is equivalent to h′′ = 1 − 1/h. The solutions are periodic and we need to establish quite delicate, asymptotically sharp inequalities relating the period to the maximum value. The author was supported by the National Science Foundation #DMS-0302647.