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.     

Quantum Out-States Holographically Induced by Asymptotic Flatness: Invariance under Spacetime Symmetries, Energy Positivity and Hadamard Property

This paper continues the analysis of the quantum states introduced in previous works and determined by the universal asymptotic structure of four-dimensional asymptotically flat vacuum spacetimes at null infinity M. It is now focused on the quantum state λ _M , of a massless conformally coupled scalar field propagating in M. λ _M is “holographically” induced in the bulk by the universal BMS-invariant state λ defined on the future null infinity of M. It is done by means of the correspondence between observables in the bulk and those on the boundary at future null infinity discussed in previous papers. This induction is possible when some requirements are fulfilled, in particular whenever the spacetime M and the associated unphysical one, M͂, are globally hyperbolic and M admits future time infinity i ⁺. λ _M coincides with Minkowski vacuum if M is Minkowski spacetime. It is now proved that, in the general case of a curved spacetime M, the state λ _M enjoys the following further remarkable properties:

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.     

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.     

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 .     

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.     

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.     

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

A Negative Mass Theorem for Surfaces of Positive Genus

Let M be a closed surface. For a metric g on M, denote the Laplace-Beltrami operator by Δ = Δ _g . We define trace , where dA is the area element for g and m(p) is the Robin constant at the point , that is the value of the Green function G(p, q) at q = p after the logarithmic singularity has been subtracted off. Since trace Δ⁻¹ can also be obtained by regularization of the spectral zeta function, it is a spectral invariant. Heuristically it represents the sum of squares of the wavelengths of the surface. We define the Δ-mass of (M, g) to equal , where is the Laplacian on the round sphere of area A. This is an analog for closed surfaces of the ADM mass from general relativity. We show that if M has positive genus, the minimum of the Δ-mass on each conformal class is negative and attained by a smooth metric. For this minimizing metric, there is a sharp logarithmic Hardy-Littlewood-Sobolev inequality and a Moser-Trudinger-Onofri type inequality. The author would like to acknowledge the support of the Institute for Advanced Study.     

Maximum Solutions of Normalized Ricci Flow on 4-Manifolds

We consider the maximum solution g(t), t ∈ [0,  + ∞), to the normalized Ricci flow. Among other things, we prove that, if (M, ω) is a smooth compact symplectic 4-manifold such that and let g(t), t ∈ [0, ∞), be a solution to (1.3) on M whose Ricci curvature satisfies that |Ric(g(t))| ≤ 3 and additionally χ(M) = 3τ (M) > 0, then there exists an , and a sequence of points {x _j,k ∈ M}, j = 1, . . . , m, satisfying that, by passing to a subsequence,

Convergence of the Wick Star Product

We construct a Fréchet space as a subspace of where the Wick star product converges and is continuous. The resulting Fréchet algebra _ħ is studied in detail including a ^*-representation of _ħ in the Bargmann-Fock space and a discussion of star exponentials and coherent states.     

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.     

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.     

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.     

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.     

Complete Einstein Metrics are Geodesically Rigid

We prove that every complete Einstein (Riemannian or pseudo-Riemannian) metric g of nonconstant curvature is geodesically rigid: if any other complete metric has the same (unparametrized) geodesics with g, then the Levi-Civita connections of g and coincide.     

Type O pure radiation metrics with a cosmological constant

In this paper we complete the integration of the conformally flat pure radiation spacetimes with a non-zero cosmological constant Λ, and , by considering the case . This is a further demonstration of the power and suitability of the generalised invariant formalism (GIF) for spacetimes where only one null direction is picked out by the Riemann tensor. For these spacetimes, the GIF picks out a second null direction (from the second derivative of the Riemann tensor) and once this spinor has been identified the calculations are transferred to the simpler GHP formalism, where the tetrad and metric are determined. The whole class of conformally flat pure radiation spacetimes with a non-zero cosmological constant (those found in this paper, together with those found earlier for the case ) have a rich variety of subclasses with zero, one, two, three, four or five Killing vectors.     

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.