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.     

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

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     

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.     

Baxter Operator and Archimedean Hecke Algebra

In this paper we introduce Baxter integral -operators for finite-dimensional Lie algebras and . Whittaker functions corresponding to these algebras are eigenfunctions of the -operators with the eigenvalues expressed in terms of Gamma-functions. The appearance of the Gamma-functions is one of the manifestations of an interesting connection between Mellin-Barnes and Givental integral representations of Whittaker functions, which are in a sense dual to each other. We define a dual Baxter operator and derive a family of mixed Mellin-Barnes-Givental integral representations. Givental and Mellin-Barnes integral representations are used to provide a short proof of the Friedberg-Bump and Bump conjectures for G = GL(ℓ + 1) proved earlier by Stade. We also identify eigenvalues of the Baxter -operator acting on Whittaker functions with local Archimedean L-factors. The Baxter -operator introduced in this paper is then described as a particular realization of the explicitly defined universal Baxter operator in the spherical Hecke algebra , K being a maximal compact subgroup of G. Finally we stress an analogy between -operators and certain elements of the non-Archimedean Hecke algebra .     

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.     

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 Jancovici–Lebowitz–Manificat Law for Large Fluctuations of Random Complex Zeroes

Consider a Gaussian Entire Function

WZW Orientifolds and Finite Group Cohomology

The simplest orientifolds of the WZW models are obtained by gauging a symmetry group generated by a combined involution of the target Lie group G and of the worldsheet. The action of the involution on the target is by a twisted inversion , where ζ is an element of the center of G. It reverses the sign of the Kalb-Ramond torsion field H given by a bi-invariant closed 3-form on G. The action on the worldsheet reverses its orientation. An unambiguous definition of Feynman amplitudes of the orientifold theory requires a choice of a gerbe with curvature H on the target group G, together with a so-called Jandl structure introduced in [31]. More generally, one may gauge orientifold symmetry groups that combine the -action described above with the target symmetry induced by a subgroup Z of the center of G. To define the orientifold theory in such a situation, one needs a gerbe on G with a Z-equivariant Jandl structure. We reduce the study of the existence of such structures and of their inequivalent choices to a problem in group-Γ cohomology that we solve for all simple simply connected compact Lie groups G and all orientifold groups . Membre du C.N.R.S.     

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,

Holomorphic Factorization of Determinants of Laplacians using Quasi-Fuchsian Uniformization

For a quasi-Fuchsian group Γ with ordinary set Ω, and Δ _n the Laplacian on n-differentials on Γ\Ω, we define a notion of a Bers dual basis for ker Δ _n . We prove that det , is, up to an anomaly computed by Takhtajan and the second author in (Commun. Math Phys 239(1-2):183–240, 2003), the modulus squared of a holomorphic function F(n), where F(n) is a quasi-Fuchsian analogue of the Selberg zeta function Z(n). This generalizes the D’Hoker–Phong formula det , and is a quasi-Fuchsian counterpart of the result for Schottky groups proved by Takhtajan and the first author in Analysis 16, 1291–1323, 2006.      

The Navier Wall Law at a Boundary with Random Roughness

We consider the Navier-Stokes equation in a domain with irregular boundaries. The irregularity is modeled by a spatially homogeneous random process, with typical size . In the parent paper [8], we derived a homogenized boundary condition of Navier type as . We show here that for a large class of boundaries, this Navier condition provides a approximation in L ², instead of for periodic irregularities. Our result relies on the study of an auxiliary boundary layer system. Decay properties of this boundary layer are deduced from a central limit theorem for dependent variables.     

Cardy Condition for Open-Closed Field Algebras

Let V be a vertex operator algebra satisfying certain reductivity and finiteness conditions such that , the category of V-modules, is a modular tensor category. We study open-closed field algebras over V equipped with nondegenerate invariant bilinear forms for both open and closed sectors. We show that they give algebras over a certain -extension of the so-called Swiss-cheese partial dioperad, and we can obtain Ishibashi states easily in such algebras. The Cardy condition can be formulated as an additional condition on such open-closed field algebras in terms of the action of the modular transformation on the space of intertwining operators of V. We then derive a graphical representation of S in the modular tensor category . This result enables us to give a categorical formulation of the Cardy condition and the modular invariance condition for 1-point correlation functions on the torus. Then we incorporate these two conditions and the axioms of the open-closed field algebra over V equipped with nondegenerate invariant bilinear forms into a tensor-categorical notion called the Cardy -algebra. In the end, we give a categorical construction of the Cardy -algebra in the Cardy case.     

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     

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.     

Feynman Graphs,Rooted Trees,and Ringel-Hall Algebras

We construct symmetric monoidal categories of rooted forests and Feynman graphs. These categories closely resemble finitary abelian categories, and in particular, the notion of Ringel-Hall algebra applies. The Ringel-Hall Hopf algebras of , are dual to the corresponding Connes-Kreimer Hopf algebras on rooted trees and Feynman diagrams. We thus obtain an interpretation of the Connes-Kreimer Lie algebras on rooted trees and Feynman graphs as Ringel-Hall Lie algebras.     

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.