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.     

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.     

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 .     

Linking and Causality in Globally Hyperbolic Space-times

The classical linking number lk is defined when link components are zero homologous. In [15] we constructed the affine linking invariant alk generalizing lk to the case of linked submanifolds with arbitrary homology classes. Here we apply alk to the study of causality in Lorentzian manifolds. Let M ^m be a spacelike Cauchy surface in a globally hyperbolic space-time (X ^m+1, g). The spherical cotangent bundle ST ^* M is identified with the space of all null geodesics in (X,g). Hence the set of null geodesics passing through a point gives an embedded (m−1)-sphere in called the sky of x. Low observed that if the link is nontrivial, then are causally related. This observation yielded a problem (communicated by R. Penrose) on the V. I. Arnold problem list [3,4] which is basically to study the relation between causality and linking. Our paper is motivated by this question. The spheres are isotopic to the fibers of They are nonzero homologous and the classical linking number lk is undefined when M is closed, while alk is well defined. Moreover, alk if M is not an odd-dimensional rational homology sphere. We give a formula for the increment of alk under passages through Arnold dangerous tangencies. If (X,g) is such that alk takes values in and g is conformal to that has all the timelike sectional curvatures nonnegative, then are causally related if and only if alk . We prove that if alk takes values in and y is in the causal future of x, then alk is the intersection number of any future directed past inextendible timelike curve to y and of the future null cone of x. We show that x,y in a nonrefocussing (X, g) are causally unrelated if and only if can be deformed to a pair of S ^m-1-fibers of by an isotopy through skies. Low showed that if (X, g) is refocussing, then M is compact. We show that the universal cover of M is also compact.     

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.     

Moment Bounds for the Smoluchowski Equation and their Consequences

We prove bounds on moments of the Smoluchowski coagulation equations with diffusion, in any dimension d ≥ 1. If the collision propensities α(n, m) of mass n and mass m particles grow more slowly than , and the diffusion rate is non-increasing and satisfies for some b ₁ and b ₂ satisfying 0 ≤ b ₂ < b ₁ < ∞, then any weak solution satisfies for every and T ∈(0, ∞), (provided that certain moments of the initial data are finite). As a consequence, we infer that these conditions are sufficient to ensure uniqueness of a weak solution and its conservation of mass. This work was performed while A.H. held a postdoctoral fellowship in the Department of Mathematics at U.B.C. This work is supported in part by NSF grant DMS0307021.     

On the Global Wellposedness to the 3-D Incompressible Anisotropic Navier-Stokes Equations

Corresponding to the wellposedness result [2] for the classical 3-D Navier-Stokes equations (NS _ν) with initial data in the scaling invariant Besov space, here we consider a similar problem for the 3-D anisotropic Navier-Stokes equations (ANS _ν), where the vertical viscosity is zero. In order to do so, we first introduce the Besov-Sobolev type spaces, and Then with initial data in the scaling invariant space we prove the global wellposedness for (ANS _ν) provided the norm of initial data is small enough compared to the horizontal viscosity. In particular, this result implies the global wellposedness of (ANS _ν) with high oscillatory initial data (1.2).     

One-and-a-Half Quantum de Finetti Theorems

When n − k systems of an n-partite permutation-invariant state are traced out, the resulting state can be approximated by a convex combination of tensor product states. This is the quantum de Finetti theorem. In this paper, we show that an upper bound on the trace distance of this approximation is given by , where d is the dimension of the individual system, thereby improving previously known bounds. Our result follows from a more general approximation theorem for representations of the unitary group. Consider a pure state that lies in the irreducible representation of the unitary group U(d), for highest weights μ, ν and μ + ν. Let ξ_μ be the state obtained by tracing out U _ν. Then ξ_μ is close to a convex combination of the coherent states , where and is the highest weight vector in U _μ. For the class of symmetric Werner states, which are invariant under both the permutation and unitary groups, we give a second de Finetti-style theorem (our “half” theorem). It arises from a combinatorial formula for the distance of certain special symmetric Werner states to states of fixed spectrum, making a connection to the recently defined shifted Schur functions [1]. This formula also provides us with useful examples that allow us to conclude that finite quantum de Finetti theorems (unlike their classical counterparts) must depend on the dimension d. The last part of this paper analyses the structure of the set of symmetric Werner states and shows that the product states in this set do not form a polytope in general.     

A Strong Szegő Theorem for Jacobi Matrices

We use a classical result of Golinskii and Ibragimov to prove an analog of the strong Szegő theorem for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in , the linearly-weighted l ² space. An erratum to this article can be found at     

Simple Systems with Anomalous Dissipation and Energy Cascade

We analyze a class of dynamical systems of the type where f _n (t) is a forcing term with only for and the coupling coefficients c _n satisfy a condition ensuring the formal conservation of energy . Despite being formally conservative, we show that these dynamical systems support dissipative solutions (suitably defined) and, as a result, may admit unique (statistical) steady states when the forcing term f _n (t) is nonzero. This claim is demonstrated via the complete characterization of the solutions of the system above for specific choices of the coupling coefficients c _n . The mechanism of anomalous dissipations is shown to arise via a cascade of the energy towards the modes with higher n; this is responsible for solutions with interesting energy spectra, namely scales as as n→∞. Here the exponents α depend on the coupling coefficients c _n and denotes expectation with respect to the equilibrium measure. This is reminiscent of the conjectured properties of the solutions of the Navier-Stokes equations in the inviscid limit and their accepted relationship with fully developed turbulence. Hence, these simple models illustrate some of the heuristic ideas that have been advanced to characterize turbulence, similar in that respect to the random passive scalar or random Burgers equation, but even simpler and fully solvable.     

(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.     

Quantum Conjugacy Classes of Simple Matrix Groups

Let G be a simple complex classical group and its Lie algebra. Let be the Drinfeld-Jimbo quantization of the universal enveloping algebra . We construct an explicit -equivariant quantization of conjugacy classes of G with Levi subgroups as the stabilizers. Dedicated to the memory of Joseph Donin This research is partially supported by the Emmy Noether Research Institute for Mathematics, the Minerva Foundation of Germany, the Excellency Center “Group Theoretic Methods in the study of Algebraic Varieties” of the Israel Science foundation, by the EPSRC grant C511166, and by the RFBR grant no. 06-01-00451.     

Hidden Grassmann Structure in the XXZ Model

For the critical XXZ model, we consider the space of operators which are products of local operators with a disorder operator. We introduce two anti-commutative families of operators which act on . These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter’s Q-operators. We show that the vacuum expectation values of operators in can be expressed in terms of an exponential of a quadratic form of . On leave of absence from Skobeltsyn Institute of Nuclear Physics, MSU, 119992, Moscow, Russia Membre du CNRS     

Boson Stars as Solitary Waves

We study the nonlinear equation

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,

Stability,Convergence to Self-Similarity and Elastic Limit for the Boltzmann Equation for Inelastic Hard Spheres

We consider the spatially homogeneous Boltzmann equation for inelastic hard spheres, in the framework of so-called constant normal restitution coefficients . In the physical regime of a small inelasticity (that is for some constructive ) we prove uniqueness of the self-similar profile for given values of the restitution coefficient , the mass and the momentum; therefore we deduce the uniqueness of the self-similar solution (up to a time translation). Moreover, if the initial datum lies in , and under some smallness condition on depending on the mass, energy and norm of this initial datum, we prove time asymptotic convergence (with polynomial rate) of the solution towards the self-similar solution (the so-called homogeneous cooling state). These uniqueness, stability and convergence results are expressed in the self-similar variables and then translate into corresponding results for the original Boltzmann equation. The proofs are based on the identification of a suitable elastic limit rescaling, and the construction of a smooth path of self-similar profiles connecting to a particular Maxwellian equilibrium in the elastic limit, together with tools from perturbative theory of linear operators. Some universal quantities, such as the “quasi-elastic self-similar temperature” and the rate of convergence towards self-similarity at first order in terms of (1−α), are obtained from our study. These results provide a positive answer and a mathematical proof of the Ernst-Brito conjecture [16] in the case of inelastic hard spheres with small inelasticity.     

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.     

A Space–Time Integral Estimate For A Large Data Semi-linear Wave Equation on the Schwarzschild Manifold

We consider the wave equation with in . The wave equation on a spherically symmetric manifold with a single closed geodesic surface or on the exterior of the Schwarzschild manifold can be reduced to this form. Using a smoothed Morawetz estimate which does not require a spherical harmonic decomposition, we show that there is decay in for initial data in the energy class, even if the initial data is large. This requires certain conditions on the potentials V, V _L and f. We show that a key condition on the weight in the smoothed Morawetz estimate can be reduced to an ODE condition, which is verified numerically.      

The Bloch-Okounkov Correlation Functions of Classical Type

Bloch and Okounkov introduced an n-point correlation function on the infinite wedge space and found an elegant closed formula in terms of theta functions. This function has connections to Gromov-Witten theory, Hilbert schemes, symmetric groups, etc., and it can also be interpreted as correlation functions on integrable -modules of level one. Such -correlation functions at higher levels were then calculated by Cheng and Wang. In this paper, generalizing the type A results, we formulate and determine the n-point correlation functions in the sense of Bloch-Okounkov on integrable modules over classical Lie subalgebras of of type B, C, D at arbitrary levels. As byproducts, we obtain new q-dimension formulas for integrable modules of type B, C, D and some fermionic type q-identities.