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.     

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     

Elliptic Equation with Singular Terms on Riemannian Manifold

In this paper we deal with the following equation: on a three-dimensional Riemannian manifold . We assume that the volume of Σ, the norm , and are small enough. Using a rather simple argument we show the existence of solution to the problem. Dedicated to Gosia and Basia.     

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.     

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     

On \mathbb{Z}-Gradations of Twisted Loop Lie Algebras of Complex Simple Lie Algebras

We define the twisted loop Lie algebra of a finite dimensional Lie algebra as the Fréchet space of all twisted periodic smooth mappings from to . Here the Lie algebra operation is continuous. We call such Lie algebras Fréchet Lie algebras. We introduce the notion of an integrable -gradation of a Fréchet Lie algebra, and find all inequivalent integrable -gradations with finite dimensional grading subspaces of twisted loop Lie algebras of complex simple Lie algebras.On leave of absence from the Institute for Nuclear Research of the Russian Academy of Sciences, 117312 Moscow, Russia.     

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

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

The Green-Kubo Formula for the Spin-Fermion System

The spin-fermion model describes a two level quantum system (spin 1/2) coupled to finitely many free Fermi gas reservoirs which are in thermal equilibrium at inverse temperatures β _j . We consider non-equilibrium initial conditions where not all β _j are the same. It is known that, at small coupling, the combined system has a unique non-equilibrium steady state (NESS) characterized by strictly sitive entropy production. In this paper we study linear response in this NESS and prove the Green-Kubo formula and the Onsager reciprocity relations for heat fluxes generated by temperature differentials. Dedicated to Jean Michel Combes on the occasion of his sixtyfifth birthday     

Uniform Decay of Local Energy and the Semi-Linear Wave Equation on Schwarzschild Space

We provide a uniform decay estimate for the local energy of general solutions to the inhomogeneous wave equation on a Schwarzschild background. Our estimate implies that such solutions have asymptotic behavior as long as the source term is bounded in the norm . In particular this gives scattering at small amplitudes for non-linear scalar fields of the form for all 2 < p. This paper is dedicated to the memory of Hope Machedon The second author would like thank MSRI and Princeton University, where a portion of this research was conducted during the Fall of 2005. The second author was also supported by a NSF postdoctoral fellowship.     

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.     

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.     

The Dynamics of Relativistic Strings Moving in the Minkowski Space $$\mathbb{R}^{1+n}$$

In this paper we investigate the dynamics of relativistic (in particular, closed) strings moving in the Minkowski space . We first derive a system with n nonlinear wave equations of Born-Infeld type which governs the motion of the string. This system can also be used to describe the extremal surfaces in . We then show that this system enjoys some interesting geometric properties. Based on this, we give a sufficient and necessary condition for the global existence of extremal surfaces without space-like point in with given initial data. This result corresponds to the global propagation of nonlinear waves for the system describing the motion of the string in . We also present an explicit exact representation of the general solution for such a system. Moreover, a great deal of numerical analyses are investigated, and the numerical results show that, in phase space, various topological singularities develop in finite time in the motion of the string. Finally, some important discussions related to the theory of extremal surfaces of mixed type in are given.     

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 .     

Wave Decay on Convex Co-Compact Hyperbolic Manifolds

For convex co-compact hyperbolic quotients , we analyze the long-time asymptotic of the solution of the wave equation u(t) with smooth compactly supported initial data f = (f ₀, f ₁). We show that, if the Hausdorff dimension δ of the limit set is less than n/2, then where and . We explain, in terms of conformal theory of the conformal infinity of X, the special cases , where the leading asymptotic term vanishes. In a second part, we show for all the existence of an infinite number of resonances (and thus zeros of Selberg zeta function) in the strip . As a byproduct we obtain a lower bound on the remainder R(t) for generic initial data f.     

Quantum Spin Systems at Positive Temperature

We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical model, the corresponding quantum model will have a similar phase transition, provided the inverse temperature β and the magnitude of the quantum spins satisfy . From the quantum system we require that it is reflection positive and that it has a meaningful classical limit; the core technical estimate may be described as an extension of the Berezin-Lieb inequalities down to the level of matrix elements. The general theory is applied to prove phase transitions in various quantum spin systems with . The most notable examples are the quantum orbital-compass model on and the quantum 120-degree model on which are shown to exhibit symmetry breaking at low-temperatures despite the infinite degeneracy of their (classical) ground state.     

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.     

Regularity Criteria for the Dissipative Quasi-Geostrophic Equations in Hölder Spaces

We study regularity criteria for weak solutions of the dissipative quasi-geostrophic equation (with dissipation (−Δ) ^γ/2, 0 < γ ≤ 1). We show in this paper that if , or with is a weak solution of the 2D quasi-geostrophic equation, then θ is a classical solution in . This result improves our previous result in [18]. Partially supported by a start-up funding from the Division of Applied Mathematics of Brown University and NSF grant number DMS 0800129. Partially supported by a start-up funding from the College of Natural Sciences of the University of Texas at Austin, NSF grant number DMS 0758247 and an Alfred P. Sloan Research Fellowship.     

Spectral Measure of Heavy Tailed Band and Covariance Random Matrices

We study the asymptotic behavior of the appropriately scaled and possibly perturbed spectral measure of large random real symmetric matrices with heavy tailed entries. Specifically, consider the N × N symmetric matrix whose (i, j) entry is , where (x _ij , 1 ≤ i ≤ j < ∞) is an infinite array of i.i.d real variables with common distribution in the domain of attraction of an α-stable law, , and σ is a deterministic function. For random diagonal D _N independent of and with appropriate rescaling a _N , we prove that converges in mean towards a limiting probability measure which we characterize. As a special case, we derive and analyze the almost sure limiting spectral density for empirical covariance matrices with heavy tailed entries. Supported in part by a Discovery grant from the Natural Sciences and Engineering Research Council of Canada and a University of Saskatchewan start-up grant. Research partially supported by NSF grant #DMS-0806211.