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.     

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

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 .     

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.     

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     

Non-relativistic Limit of a Dirac Polaron in Relativistic Quantum Electrodynamics

A quantum system of a Dirac particle interacting with the quantum radiation field is considered in the case where no external potentials exist. Then the total momentum of the system is conserved and the total Hamiltonian is unitarily equivalent to the direct integral of a family of self-adjoint operators acting in the Hilbert space , where is the Hilbert space of the quantum radiation field. The fiber operator is called the Hamiltonian of the Dirac polaron with total momentum . The main result of this paper is concerned with the non-relativistic (scaling) limit of . It is proven that the non-relativistic limit of yields a self-adjoint extension of a Hamiltonian of a polaron with spin 1/2 in non-relativistic quantum electrodynamics.     

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.     

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 .     

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.     

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.     

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.     

Group Orbits and Regular Partitions of Poisson Manifolds

We study a large class of Poisson manifolds, derived from Manin triples, for which we construct explicit partitions into regular Poisson submanifolds by intersecting certain group orbits. Examples include all varieties of Lagrangian subalgebras of reductive quadratic Lie algebras with Poisson structures defined by Lagrangian splittings of . In the special case of , where is a complex semi-simple Lie algebra, we explicitly compute the ranks of the Poisson structures on defined by arbitrary Lagrangian splittings of . Such Lagrangian splittings have been classified by P. Delorme, and they contain the Belavin–Drinfeld splittings as special cases.     

Zero Modes’ Fusion Ring and Braid Group Representations for the Extended Chiral <Emphasis Type="Italic">su</Emphasis>(2) WZNW Model

A zero modes’ Fock space is constructed for the extended chiral WZNW model. It gives room to a realization of the fusion ring of representations of the restricted quantum universal enveloping algebra at an even root of unity, and of its infinite dimensional extension by the Lusztig operators We provide a streamlined derivation of the characteristic equation for the Casimir invariant from the defining relations of A central result is the characterization of the Grothendieck ring of both and in Theorem 3.1. The properties of the fusion ring in are related to the braiding properties of correlation functions of primary fields of the conformal current algebra model.      

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.     

$${\mathsf{N}}$$ -Complexes as Functors,Amplitude Cohomology and Fusion Rules

We consider -complexes as functors over an appropriate linear category in order to show first that the Krull-Schmidt Theorem holds, then to prove that amplitude cohomology (called generalized cohomology by M. Dubois-Violette) only vanishes on injective functors providing a well defined functor on the stable category. For left truncated -complexes, we show that amplitude cohomology discriminates the isomorphism class up to a projective functor summand. Moreover amplitude cohomology of positive -complexes is proved to be isomorphic to an Ext functor of an indecomposable -complex inside the abelian functor category. Finally we show that for the monoidal structure of -complexes a Clebsch-Gordan formula holds, in other words the fusion rules for -complexes can be determined. This work has been supported by the projects PICT 08280 (ANPCyT), UBACYTX169, PIP-CONICET 5099 and the German Academic Exchange Service (DAAD). The second author is a research member of CONICET (Argentina) and a Regular Associate of ICTP Associate Scheme.     

Hidden Symmetries and Integrable Hierarchy of the $${\mathcal{N}}$$ = 4 Supersymmetric Yang-Mills Equations

We describe an infinite-dimensional algebra of hidden symmetries of supersymmetric Yang-Mills (SYM) theory. Our derivation is based on a generalization of the supertwistor correspondence. Using the latter, we construct an infinite sequence of flows on the solution space of the SYM equations. The dependence of the SYM fields on the parameters along the flows can be recovered by solving the equations of the hierarchy. We embed the SYM equations in the infinite system of the hierarchy equations and show that this SYM hierarchy is associated with an infinite set of graded symmetries recursively generated from supertranslations. Presumably, the existence of such nonlocal symmetries underlies the observed integrable structures in quantum SYM theory. On leave from Bogoliubov Laboratory of Theoretical Physics, JINR, Dubna, Russia. Address after October 1st, 2006: Theoretical Physics Group, The Blackett Laboratory, Imperial College London, Prince Consort Road, London SW7 2BW, United Kingdom.     

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     

Dynamical Noncommutativity and Noether Theorem in Twisted $${\phi^{\star 4}}$$ Theory

A -product is defined via a set of commuting vector fields , and used in a theory coupled to the fields. The -product is dynamical, and the vacuum solution , reproduces the usual Moyal product. The action is invariant under rigid translations and Lorentz rotations, and the conserved energy–momentum and angular momentum tensors are explicitly derived.