Minimal Representations of E6, E7, and E8 and the Generalized Capelli

Total Page:16

File Type:pdf, Size:1020Kb

Minimal Representations of E6, E7, and E8 and the Generalized Capelli Proc. Nati. Acad. Sci. USA Vol. 91, pp. 2469-2472, March 1994 Mathematics Minimal representations of E6, E7, and E8 and the generalized Capelli identity (Joseph ideal/unitary representa/geonec quantzatn/Jordan algebra/hnpremel fmctfon) RANEE BRYLINSKI*t AND BERTRAM KOSTANTt *Pennsylvania State University, University Park, PA 16802; tHarvard University, Cambridge, MA 02138; and tDepartment of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139 Contributed by Bertram Kostant, December 8, 1993 ABSTRACT We explicitly construct, in a uniform fashion, 'r(e) and ir0() rests upon an application of a generalized the (unique) mnimal and spherical representation ir, of the Capelli identity. The generalization is established in a paper split real Lie group ofexceptional type E6, E7, orEs. We obtain of Kostant and Sahi (5) and is a statement about operators several algebraic and analytic results about if. which arise from the norm of a Jordan algebra. A relation between E6, E7, and E8 and Jordan algebras is a well-known In this paper the term minimal representation refers to an result ofTits (9). In fact, Tits has a construction ofE6, E7, and infinitesimally irreducible representation ofa simple Lie group E8 in terms of the Jordan algebras ,I = Herm(3, F), where F whose anihilator, in the enveloping algebra, is the Joseph is respectively C, H, and the octonians. But these are degree ideal (1). Results about minimal representations ofexceptional 3 Jordan algebras. We define a construction ofE6, E7, and E8 Lie groups appear in refs. 2-4. Vogan (2) obtained results on using the three (all classical) degree 4 Jordan algebras ,I' = the K-type structure of any minimal representation as well as Herm(4, F), where F is respectively R, C, and H. In fact, a several existence results, including the existence of a unitary construction ofE6, E7, and E8 using degree 4 Jordan algebras spherical minimal representation of the split form of E8. is not new (see refs. 6 and 7). Curiously, one has Kazhdan and Savin (3) constructed aunitary spherical minimal representation ofthe split forms (over a local field) of E6, E7, dim ,I' = dim 9i + 1, and E8. A very big step forward is made in ref. 4. The main interest in ref. 4 is not the split forn-although even here the and a relation between ,$' and $ is a theorem in ref. 7. Let d K-type structure is determined-but in the rank 4 ("quater- = dimRF so that for us d takes the values 1, 2, and 4. nionic" case) real forms. Making, among other things, a The representation ir, is unitary. Using the generalized brilliant use ofthe admissibility ofaparticular SU(2) subgroup, Capelli identity and the fact that V' has degree 4, we produce Gross and Wallach show that, for certain subgroups, there is a family of polynomials of degree 4 which lead to the a discrete reduction-in some cases of Howe type-and determination of the g,-invariant pre-Hilbert space structure determine the reduction. The representations considered in B on R(Y). In fact, we explicitly express B in terms of the ref. 4 are constructed by cohomological induction (e.g., Zuck- coefficients ofthe hypergeometric function F(1 + d/2, 1 + d; erman functors). Their existence and the existence of the 2 + 3/2d; z). The representation ire, is spherical, and if L0 C corresponding unitary structure rest on some rather sophisti- G0 is the SL(2, R) root subgroup corresponding to a split form cated derived functor machinery. of the span of (h, e, f), then 4IL, is the spherical function of In the present paper we are concerned with the (unique) the subrepresentation of xr0IL0 generated by the K0-spherical spherical and minimal representation ir, ofthe split form G0 of = + E6, E7, and E8, and our approach is fairly direct. Very much vector ld. Explicitly, if x e f, then in the spirit of a usual construction of the metaplectic repre- sentation, we explicitly exhibit the operators (which turn out 4(exp tx) =F(1 +,2 1+d; 2+2d; -sinh2(f)), to be pseudodifferential) ir(x) where x E g, the complexifica- tion of gO = LieG0, and ir: U(g) -- EndV is a representation ofthe enveloping algebra U(g) on the Harish-Chandra module which is just the Jacobi function (W'/+2,/2d"0). For Jacobi V of ir,,,. The construction is explicit enough to readily yield a function notation see, e.g., ref. 8. number of algebraic and analytic results about irf. Remark: The split group L0 here and the compact group Let g = f + p be a complexified Cartan decomposition of SU(2) in ref. 4 are real forms of the same complex root SL(2, g corresponding to go. Let G be a simply-connected Lie C) group. In the ref. 4 case one has admissibility and a group with Lie algebra g and let K be the subgroup corre- discrete decomposition for the SU(2). In our case there will sponding to f. Also let C, C g be the minimal (nontrivial) instead be a direct integral decomposition for L, That this G-nilpotent orbit in g. Motivated by precepts of geometric direct integral is computable is a consequence of the fact the quantization, we find that we can take the Harish-Chandra Jacobi function 4j+2i3/2d,0) is not only integrable on (0, ) but module V for ire, to be the ring R(Y) of regular functions on exponentially decays so fast that it admits a Jacobi transform. a Lagrangian submanifold Y of Om.. In fact, we can take Y See, e.g., ref. 8. = °mifn p so that Y is K-homogeneous. The action of K on In ref. 4 the SU(2) group and complex conjugates of it R(Y) is the obvious one, and the problem of constructing ir appear as one member ofa Howe pair-thereby giving rise to becomes the determination of ir(p). But in fact this is readily a discrete reduction for the pair. In our case Lo is unique-up reduced to the determination of two operators, ir(e) and to real conjugation-and it too is a member of a Howe pair. ir(f), where (h, e, f) is the SL(2, C) triple corresponding to However, in our case the reduction is continuous rather than the highest root of g. The determination (see Theorem 4) of discrete. The nontrivial element r of the center of L, defines an involution on G0 whose fixed point subgroup F0, "mod- The publication costs ofthis article were defrayed in part by page charge ulo" T, is a direct product payment. This article must therefore be hereby marked "advertisement" in accordance with 18 U.S.C. §1734 solely to indicate this fact. F0 = Lo x SO. 2469 Downloaded by guest on September 28, 2021 2470 Mathematics: Brylinski and Kostant Proc. Nad. Acad. Sci. USA 91 (1994) Furthermore, SO is semisimple and split (e.g., in the E8 case, so that the span u C f is a Lie algebra isomorphic to LieSL(2, S is the split form of E7). Then SO is a Howe pair partner to C). In such a case the eigenvalues ofad z on f are necessarily L,-,in a particularly strong way. Let X0 be the Lo cyclic integers. If (z, u, v) is an S-triple in f we will say that it is of subspace of the Hilbert space XC of iro which is spanned by Jordan type if the eigenvalues of lad z are exactly the 1rT(L0)ld-so that 4,+I/+3/2dO) defines a direct integral decom- numbers {1, 0, -1}. The corresponding eigenspaces then position (with respect to Lo) of X0. Let K' = Ko n So so that define a decomposition Ko is a maximal compact subgroup of SO. Then f = fo + f1 + f-1. Using the action ofto on f- , the Tits-Koecher theory defines so that if the (continuous) "components" of XC0 admit S0 the structure of a simple (formally real) Jordan algebra ,0 infinitesimal characters they would, as spherical vectors, whose complexification is given by generate spherical irreducible representations of 5,, leading to an Fo direct integral decomposition of the Fo cyclic '*C = f-1, subspace generated by 1d. That this is in fact the case is a consequence of the following result. where v E f-1 becomes the identity element. A Tits-Koecher Let EndoR(Y) be the algebra ofall ad g-finite operators on theorem is that, modulo isomorphisms, the correspondence the Harish-Chandra module R(Y). Of course lr(U(g)) C (z, u, v) tIC EndoR(Y). Let c(Lo), c(So) E U(g) be the quadratic Casimir elements associated to Lo and S0. Let I be the complexifica- defines a bijection yielding all complexified simple Jordan tion of LieLo and P the complexification of LieSo. algebras. Furthermore, THEOREM 1. We have ir(U(g)) = EndR(Y). Furthermore, any operator in End0R(Y) which commutes with nr(I S)@ is degree ,$ = symmetric space rank (d,f,). a polynomial in c(Lo) and also a polynomial in c(SO). In particular, this applies to any element in the center of the Note that with this construction we can regard the sym- and metric algebra Sff') as the ring ofpolynomial functions on the enveloping algebras U(I) U(B). Jordan algebra f-1. Its structure as a f0-module is particularly It follows, for example, from the above theorem, that in a beautiful. First of all, S(f1) is multiplicity free, so that ifS(fl)n direct integral decomposition the infinitesimal characters of denotes the space ofhighest weight vectors in Sff1), then each U(f) pair offwith certain infinitesimal characters of U(B).
Recommended publications
  • Orthogonal Symmetric Affine Kac-Moody Algebras
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 367, Number 10, October 2015, Pages 7133–7159 http://dx.doi.org/10.1090/tran/6257 Article electronically published on April 20, 2015 ORTHOGONAL SYMMETRIC AFFINE KAC-MOODY ALGEBRAS WALTER FREYN Abstract. Riemannian symmetric spaces are fundamental objects in finite dimensional differential geometry. An important problem is the construction of symmetric spaces for generalizations of simple Lie groups, especially their closest infinite dimensional analogues, known as affine Kac-Moody groups. We solve this problem and construct affine Kac-Moody symmetric spaces in a series of several papers. This paper focuses on the algebraic side; more precisely, we introduce OSAKAs, the algebraic structures used to describe the connection between affine Kac-Moody symmetric spaces and affine Kac-Moody algebras and describe their classification. 1. Introduction Riemannian symmetric spaces are fundamental objects in finite dimensional dif- ferential geometry displaying numerous connections with Lie theory, physics, and analysis. The search for infinite dimensional symmetric spaces associated to affine Kac-Moody algebras has been an open question for 20 years, since it was first asked by C.-L. Terng in [Ter95]. We present a complete solution to this problem in a series of several papers, dealing successively with the functional analytic, the algebraic and the geometric aspects. In this paper, building on work of E. Heintze and C. Groß in [HG12], we introduce and classify orthogonal symmetric affine Kac- Moody algebras (OSAKAs). OSAKAs are the central objects in the classification of affine Kac-Moody symmetric spaces as they provide the crucial link between the geometric and the algebraic side of the theory.
    [Show full text]
  • S-Duality, the 4D Superconformal Index and 2D Topological QFT
    Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N S-duality, the 4d Superconformal Index and 2d Topological QFT Leonardo Rastelli with A. Gadde, E. Pomoni, S. Razamat and W. Yan arXiv:0910.2225,arXiv:1003.4244, and in progress Yang Institute for Theoretical Physics, Stony Brook Rutgers, November 9 2010 Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Space of complex structures Σ = parameter space of the 4d • theory. Moore-Seiberg groupoid of Σ = (generalized) 4d S-duality • Vast generalization of “ =4 S-duality as modular group of T 2”. N Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Space of complex structures Σ = parameter space of the 4d • theory.
    [Show full text]
  • The Top Yukawa Coupling from 10D Supergravity with E8 × E8 Matter
    hep-th/9804107 ITEP-98-11 The top Yukawa coupling from 10D supergravity with E E matter 8 × 8 K.Zyablyuk1 Institute of Theoretical and Experimental Physics, Moscow Abstract We consider the compactification of N=1, D=10 supergravity with E E Yang- 8 × 8 Mills matter to N=1, D=4 model with 3 generations. With help of embedding SU(5) → SO(10) E E we find the value of the top Yukawa coupling λ = 16πα =3 → 6 → 8 t GUT at the GUT scale. p 1 Introduction Although superstring theories have great success and today are the best candidates for a quantum theory unifying all interactions, they still do not predict any experimentally testable value, mostly because there is no unambiguous procedure of compactification of extra spatial dimensions. On the other hand, many phenomenological models based on the unification group SO(10) were constructed (for instance [1]). They describe quarks and leptons in representa- tions 161,162,163 and Higgses, responsible for SU(2) breaking, in 10. Basic assumption of these models is that there is only one Yukawa coupling 163 10 163 at the GUT scale, which gives masses of third generation. Masses of first two families· and· mixings are generated due to the interaction with additional superheavy ( MGUT ) states in 16 + 16, 45, 54. Such models explain generation mass hierarchy and allow∼ to express all Yukawa matrices, which well fit into experimentally observable pattern, in terms of few unknown parameters. Models of [1] are unlikely derivable from ”more fundamental” theory like supergrav- ity/string. Nevertheless, something similar can be constructed from D=10 supergravity coupled to E8 E8 matter, which is low-energy limit of heterotic string [2].
    [Show full text]
  • Lattices and Vertex Operator Algebras
    My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List Lattices and Vertex Operator Algebras Gerald H¨ohn Kansas State University Vertex Operator Algebras, Number Theory, and Related Topics A conference in Honor of Geoffrey Mason Sacramento, June 2018 Gerald H¨ohn Kansas State University Lattices and Vertex Operator Algebras My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List How all began From gerald Mon Apr 24 18:49:10 1995 To: [email protected] Subject: Santa Cruz / Babymonster twisted sector Dear Prof. Mason, Thank you for your detailed letter from Thursday. It is probably the best choice for me to come to Santa Cruz in the year 95-96. I see some projects which I can do in connection with my thesis. The main project is the classification of all self-dual SVOA`s with rank smaller than 24. The method to do this is developed in my thesis, but not all theorems are proven. So I think it is really a good idea to stay at a place where I can discuss the problems with other people. [...] I must probably first finish my thesis to make an application [to the DFG] and then they need around 4 months to decide the application, so in principle I can come September or October. [...] I have not all of this proven, but probably the methods you have developed are enough. I hope that I have at least really constructed my Babymonster SVOA of rank 23 1/2. (edited for spelling and grammar) Gerald H¨ohn Kansas State University Lattices and Vertex Operator Algebras My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List Theorem (H.
    [Show full text]
  • N = 2 Dualities and 2D TQFT Space of Complex Structures Σ = Parameter Space of the 4D Theory
    Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications = 2 Dualities and 2d TQFT N Abhijit Gadde with L. Rastelli, S. Razamat and W. Yan arXiv:0910.2225 arXiv:1003.4244 arXiv:1104.3850 arXiv:1110:3740 ... California Institute of Technology Indian Israeli String Meeting 2012 Abhijit Gadde N = 2 Dualities and 2d TQFT Space of complex structures Σ = parameter space of the 4d theory. Mapping class group of Σ = (generalized) 4d S-duality Punctures: SU(2) ! SU(N) = Flavor symmetry: Commutant We will focus on "maximal" puncture: with SU(N) flavor symmetry Sphere with 3 punctures = Theories without parameters Free hypermultiplets Strongly coupled fixed points Vast generalization of “N = 4 S-duality as modular group of T 2”. 6=4+2: beautiful and unexpected 4d/2d connections. For ex., Correlators of Liouville/Toda on Σ compute the 4d partition functions (on S4) Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications A new paradigm for 4d = 2 SCFTs [Gaiotto, . ] N Compactify of the 6d (2; 0) AN−1 theory on a 2d surface Σ, with punctures. =)N = 2 superconformal theories in four dimensions. Abhijit Gadde N = 2 Dualities and 2d TQFT We will focus on "maximal" puncture: with SU(N) flavor symmetry Sphere with 3 punctures = Theories without parameters Free hypermultiplets Strongly coupled fixed points Vast generalization of “N = 4 S-duality as modular group of T 2”. 6=4+2: beautiful and unexpected 4d/2d connections. For ex., Correlators of Liouville/Toda on Σ compute the 4d partition functions (on S4) Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications A new paradigm for 4d = 2 SCFTs [Gaiotto, .
    [Show full text]
  • Classification of Holomorphic Framed Vertex Operator Algebras of Central Charge 24
    Classification of holomorphic framed vertex operator algebras of central charge 24 Ching Hung Lam, Hiroki Shimakura American Journal of Mathematics, Volume 137, Number 1, February 2015, pp. 111-137 (Article) Published by Johns Hopkins University Press DOI: https://doi.org/10.1353/ajm.2015.0001 For additional information about this article https://muse.jhu.edu/article/570114/summary Access provided by Tsinghua University Library (22 Nov 2018 10:39 GMT) CLASSIFICATION OF HOLOMORPHIC FRAMED VERTEX OPERATOR ALGEBRAS OF CENTRAL CHARGE 24 By CHING HUNG LAM and HIROKI SHIMAKURA Abstract. This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism. 1. Introduction. The classification of holomorphic vertex operator alge- bras (VOAs) of central charge 24 is one of the fundamental problems in vertex operator algebras and mathematical physics. In 1993 Schellekens [Sc93] obtained a partial classification by determining possible Lie algebra structures for the weight one subspaces of holomorphic VOAs of central charge 24. There are 71 cases in his list but only 39 of the 71 cases were known explicitly at that time. It is also an open question if the Lie algebra structure of the weight one subspace will determine the VOA structure uniquely when the central charge is 24.
    [Show full text]
  • Supersymmetric Nonlinear Sigma Models
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server OU-HET 348 TIT/HET-448 hep-th/0006025 June 2000 Supersymmetric Nonlinear Sigma Models a b Kiyoshi Higashijima ∗ and Muneto Nitta † aDepartment of Physics, Graduate School of Science, Osaka University, Toyonaka, Osaka 560-0043, Japan bDepartment of Physics, Tokyo Institute of Technology, Oh-okayama, Meguro, Tokyo 152-8551, Japan Abstract Supersymmetric nonlinear sigma models are formulated as gauge theo- ries. Auxiliary chiral superfields are introduced to impose supersymmetric constraints of F-type. Target manifolds defined by F-type constraints are al- ways non-compact. In order to obtain nonlinear sigma models on compact manifolds, we have to introduce gauge symmetry to eliminate the degrees of freedom in non-compact directions. All supersymmetric nonlinear sigma models defined on the hermitian symmetric spaces are successfully formulated as gauge theories. 1Talk given at the International Symposium on \Quantum Chromodynamics and Color Con- finement" (Confinement 2000) , 7-10 March 2000, RCNP, Osaka, Japan. ∗e-mail: [email protected]. †e-mail: [email protected] 1 Introduction Two dimensional (2D) nonlinear sigma models and four dimensional non-abelian gauge theories have several similarities. Both of them enjoy the property of the asymptotic freedom. They are both massless in the perturbation theory, whereas they acquire the mass gap or the string tension in the non-perturbative treatment. Although it is difficult to solve QCD in analytical way, 2D nonlinear sigma models can be solved by the large N expansion and helps us to understand various non- perturbative phenomena in four dimensional gauge theories.
    [Show full text]
  • E 8 in N= 8$$\Mathcal {N}= 8$$ Supergravity in Four Dimensions
    Published for SISSA by Springer Received: November 30, 2017 Accepted: December 23, 2017 Published: January 8, 2018 JHEP01(2018)024 E8 in N = 8 supergravity in four dimensions Sudarshan Ananth,a Lars Brinkb,c and Sucheta Majumdara aIndian Institute of Science Education and Research, Pune 411008, India bDepartment of Physics, Chalmers University of Technology, S-41296 G¨oteborg, Sweden cDivision of Physics and Applied Physics, School of Physical and Mathematical Sciences, Nanyang Technological University, 637371, Singapore E-mail: [email protected], [email protected], [email protected] Abstract: We argue that = 8 supergravity in four dimensions exhibits an exceptional N E8(8) symmetry, enhanced from the known E7(7) invariance. Our procedure to demonstrate this involves dimensional reduction of the = 8 theory to d = 3, a field redefinition to N render the E8(8) invariance manifest, followed by dimensional oxidation back to d = 4. Keywords: Supergravity Models, Superspaces, Field Theories in Lower Dimensions ArXiv ePrint: 1711.09110 Open Access, c The Authors. https://doi.org/10.1007/JHEP01(2018)024 Article funded by SCOAP3. Contents 1 Introduction 1 2 (N = 8, d = 4) supergravity in light-cone superspace 2 2.1 E7(7) symmetry 4 3 Maximal supergravity in d = 3 — version I 5 JHEP01(2018)024 4 Maximal supergravity in d = 3 — version II 5 4.1 E8(8) symmetry 6 5 Relating the two different versions of three-dimensional maximal super- gravity 7 5.1 The field redefinition 7 5.2 SO(16) symmetry revisited 7 6 Oxidation back to d = 4 preserving the E8(8) symmetry 8 7 Conclusions 9 A Verification of field redefinition 10 B SO(16)-invariance of the new Lagrangian 11 C E8 invariance 12 1 Introduction Gravity with maximal supersymmetry in four dimensions, = 8 supergravity, exhibits N both = 8 supersymmetry and the exceptional E symmetry [1].
    [Show full text]
  • The Duality Between F-Theory and the Heterotic String in with Two Wilson
    Letters in Mathematical Physics (2020) 110:3081–3104 https://doi.org/10.1007/s11005-020-01323-8 The duality between F-theory and the heterotic string in D = 8 with two Wilson lines Adrian Clingher1 · Thomas Hill2 · Andreas Malmendier2 Received: 2 June 2020 / Revised: 20 July 2020 / Accepted: 30 July 2020 / Published online: 7 August 2020 © Springer Nature B.V. 2020 Abstract We construct non-geometric string compactifications by using the F-theory dual of the heterotic string compactified on a two-torus with two Wilson line parameters, together with a close connection between modular forms and the equations for certain K3 surfaces of Picard rank 16. Weconstruct explicit Weierstrass models for all inequivalent Jacobian elliptic fibrations supported on this family of K3 surfaces and express their parameters in terms of modular forms generalizing Siegel modular forms. In this way, we find a complete list of all dual non-geometric compactifications obtained by the partial Higgsing of the heterotic string gauge algebra using two Wilson line parameters. Keywords F-theory · String duality · K3 surfaces · Jacobian elliptic fibrations Mathematics Subject Classification 14J28 · 14J81 · 81T30 1 Introduction In a standard compactification of the type IIB string theory, the axio-dilaton field τ is constant and no D7-branes are present. Vafa’s idea in proposing F-theory [51] was to simultaneously allow a variable axio-dilaton field τ and D7-brane sources, defining at a new class of models in which the string coupling is never weak. These compactifications of the type IIB string in which the axio-dilaton field varies over a base are referred to as F-theory models.
    [Show full text]
  • Arxiv:1805.06347V1 [Hep-Th] 16 May 2018 Sa Rte O H Rvt Eerhfudto 08Awar 2018 Foundation Research Gravity the for Written Essay Result
    Maximal supergravity and the quest for finiteness 1 2 3 Sudarshan Ananth† , Lars Brink∗ and Sucheta Majumdar† † Indian Institute of Science Education and Research Pune 411008, India ∗ Department of Physics, Chalmers University of Technology S-41296 G¨oteborg, Sweden and Division of Physics and Applied Physics, School of Physical and Mathematical Sciences Nanyang Technological University, Singapore 637371 March 28, 2018 Abstract We show that N = 8 supergravity may possess an even larger symmetry than previously believed. Such an enhanced symmetry is needed to explain why this theory of gravity exhibits ultraviolet behavior reminiscent of the finite N = 4 Yang-Mills theory. We describe a series of three steps that leads us to this result. arXiv:1805.06347v1 [hep-th] 16 May 2018 Essay written for the Gravity Research Foundation 2018 Awards for Essays on Gravitation 1Corresponding author, [email protected] [email protected] [email protected] Quantum Field Theory describes three of the four fundamental forces in Nature with great precision. However, when attempts have been made to use it to describe the force of gravity, the resulting field theories, are without exception, ultraviolet divergent and non- renormalizable. One striking aspect of supersymmetry is that it greatly reduces the diver- gent nature of quantum field theories. Accordingly, supergravity theories have less severe ultraviolet divergences. Maximal supergravity in four dimensions, N = 8 supergravity [1], has the best ultraviolet properties of any field theory of gravity with two derivative couplings. Much of this can be traced back to its three symmetries: Poincar´esymmetry, maximal supersymmetry and an exceptional E7(7) symmetry.
    [Show full text]
  • Introduction to String Theory A.N
    Introduction to String Theory A.N. Schellekens Based on lectures given at the Radboud Universiteit, Nijmegen Last update 6 July 2016 [Word cloud by www.worldle.net] Contents 1 Current Problems in Particle Physics7 1.1 Problems of Quantum Gravity.........................9 1.2 String Diagrams................................. 11 2 Bosonic String Action 15 2.1 The Relativistic Point Particle......................... 15 2.2 The Nambu-Goto action............................ 16 2.3 The Free Boson Action............................. 16 2.4 World sheet versus Space-time......................... 18 2.5 Symmetries................................... 19 2.6 Conformal Gauge................................ 20 2.7 The Equations of Motion............................ 21 2.8 Conformal Invariance.............................. 22 3 String Spectra 24 3.1 Mode Expansion................................ 24 3.1.1 Closed Strings.............................. 24 3.1.2 Open String Boundary Conditions................... 25 3.1.3 Open String Mode Expansion..................... 26 3.1.4 Open versus Closed........................... 26 3.2 Quantization.................................. 26 3.3 Negative Norm States............................. 27 3.4 Constraints................................... 28 3.5 Mode Expansion of the Constraints...................... 28 3.6 The Virasoro Constraints............................ 29 3.7 Operator Ordering............................... 30 3.8 Commutators of Constraints.......................... 31 3.9 Computation of the Central Charge.....................
    [Show full text]
  • S-Duality-And-M5-Mit
    N . More on = 2 S-dualities and M5-branes .. Yuji Tachikawa based on works in collaboration with L. F. Alday, B. Wecht, F. Benini, S. Benvenuti, D. Gaiotto November 2009 Yuji Tachikawa (IAS) November 2009 1 / 47 Contents 1. Introduction 2. S-dualities 3. A few words on TN 4. 4d CFT vs 2d CFT Yuji Tachikawa (IAS) November 2009 2 / 47 Montonen-Olive duality • N = 4 SU(N) SYM at coupling τ = θ=(2π) + (4πi)=g2 equivalent to the same theory coupling τ 0 = −1/τ • One way to ‘understand’ it: start from 6d N = (2; 0) theory, i.e. the theory on N M5-branes, put on a torus −1/τ τ 0 1 0 1 • Low energy physics depends only on the complex structure S-duality! Yuji Tachikawa (IAS) November 2009 3 / 47 S-dualities in N = 2 theories • You can wrap N M5-branes on a more general Riemann surface, possibly with punctures, to get N = 2 superconformal field theories • Different limits of the shape of the Riemann surface gives different weakly-coupled descriptions, giving S-dualities among them • Anticipated by [Witten,9703166], but not well-appreciated until [Gaiotto,0904.2715] Yuji Tachikawa (IAS) November 2009 4 / 47 Contents 1. Introduction 2. S-dualities 3. A few words on TN 4. 4d CFT vs 2d CFT Yuji Tachikawa (IAS) November 2009 5 / 47 Contents 1. Introduction 2. S-dualities 3. A few words on TN 4. 4d CFT vs 2d CFT Yuji Tachikawa (IAS) November 2009 6 / 47 S-duality in N = 2 . SU(2) with Nf = 4 .
    [Show full text]