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 .     

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     

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 .     

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.     

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 .     

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.     

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.     

On the Uniqueness of Weak Weyl Representations of the Canonical Commutation Relation

Let (T, H) be a weak Weyl representation of the canonical commutation relation (CCR) with one degree of freedom. Namely T is a symmetric operator and H is a self-adjoint operator on a complex Hilbert space satisfying the weak Weyl relation: for all (the set of real numbers), e^−itH D(T) ⊂ D(T) (i is the imaginary unit and D(T) denotes the domain of T) and . In the context of quantum theory where H is a Hamiltonian, T is called a strong time operator of H. In this paper we prove the following theorem on uniqueness of weak Weyl representations: Let be separable. Assume that H is bounded below with and , where is the set of complex numbers and, for a linear operator A on a Hilbert space, σ(A) denotes the spectrum of A. Then ( is the closure of T) is unitarily equivalent to a direct sum of the weak Weyl representation on the Hilbert space , where is the multiplication operator by the variable and with . Using this theorem, we construct a Weyl representation of the CCR from the weak Weyl representation . This work is supported by the Grant-in-Aid No.17340032 for Scientific Research from Japan Society for the Promotion of Science (JSPS).     

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.     

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.     

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.     

$${\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.     

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.     

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.     

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

Compound Basis Arising from the Basic {A^{(1)}_{1}}-Module

Given a conditionally completely positive map on a unital *-algebra , we find an interesting connection between the second Hochschild cohomology of with coefficients in the bimodule of adjointable maps, where M is the GNS bimodule of , and the possibility of constructing a quantum random walk [in the sense of (Attal et al. in Ann Henri Poincar 7(1):59–104, 2006; Lindsay and Parthasarathy in Sankhya Ser A 50(2):151–170, 1988; Sahu in Quantum stochastic Dilation of a class of Quantum dynamical Semigroups and Quantum random walks. Indian Statistical Institute, 2005; Sinha in Banach Center Publ 73:377–390, 2006)] corresponding to . D. Goswami was supported by a project funded by the Indian National Academy of Sciences. L. Sahu had research support from the National Board of Higher Mathematics, DAE (India) is gratefully acknowledged.     

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.