DOCSLIB.ORG

Arxiv:2008.06742V1 [Hep-Th] 15 Aug 2020 I.Mntosgaiyin Gravity Monstrous III

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2008.06742V1 [Hep-Th] 15 Aug 2020 I.Mntosgaiyin Gravity Monstrous III Monstrous M-theory Alessio Marrani∗ Centro Ricerche Enrico Fermi, Roma, and Dept. of Physics and Astronomy, University of Padova, and INFN, Padova, Italy Michael Rios† Dyonica ICMQG, Los Angeles, CA, USA David Chester‡ Quantum Gravity Research, Los Angeles, CA, USA We define a D = 26 + 1 Monstrous, purely bosonic M-theory, whose massless spectrum, of dimension 196, 884, is acted upon by the Monster group. Upon reduction to D = 25 + 1, this gives rise to a plethora of non-supersymmetric, gravito-dilatonic theories, whose spectrum irreducibly splits under the Monster as 196, 884 = 1 196, 883, where the singlet is identified with the dilaton, and 196, 883 denotes the smallest non-trivial⊕ representation of the Monster. This clarifies the definition of the Monster as the automorphism of the Griess algebra, by showing that such an algebra is not merely a sum of unrelated spaces, but rather an algebra of massless states for a Monstrous M-theory, which includes Horowitz and Susskind’s bosonic M-theory as a subsector. Remarkably, a certain subsector of Monstrous M-theory, when coupled to a Rarita-Schwinger massless field in 26 + 1, exhibits the same number of bosonic and fermionic degrees of freedom. Dedicated to John H. Conway Contents I. Introduction 2 II. Triality of d4 and its generalizations in d12 3 A. Weak λ-triality 4 B. Weak ψ-triality 4 C. Weak duality among (sets of) p-forms 4 III. Monstrous Gravity in 25+1 5 A. Classification 6 IV. Monstrous M-theory in 26+1 9 A. Lagrangian(s) 10 B. B = F in 26 + 1 11 arXiv:2008.06742v1 [hep-th] 15 Aug 2020 1. N = 1 Supergravity in 26+1? 12 V. Cohomological construction of lattices 14 VI. Conclusion 16 Acknowledgements 18 A. Chern-Simons Lagrangian terms for Monstrous M-theory 19 References 20 ∗Electronic address: [email protected] †Electronic address: [email protected] ‡Electronic address: [email protected] 2 I. INTRODUCTION The Monster group M was predicted to exist by Fischer and Griess [1]. It is the automorphism group of the Griess algebra, as well as the automorphism group of the Monster vertex algebra [3, 5]. Conway and Norton defined Monstrous moonshine as the observation that the Fourier coefficients of the j-function decompose into dimensions of representations of the Monster group [2] and this was proven by Borcherds using generalized Kac-Moody algebras [6]. In the language of conformal field theory, Monstrous moonshine is the statement that the states of an orbifold theory, 24 which is D = 25+1 bosonic string theory on (R /Λ24)/Z2 (where Λ24 is the Leech lattice [4, 31, 32]), are organized in representations of the Monster group, with partition function equivalent to the j-function [8, 12, 14]. Witten also found the Monster in three-dimensional pure gravity [22], for AdS3, where the dual CFT is expected to be that of Frenkel, Lepowsky and Meurman [5]. Eguchi, Ooguri and Tachikawa later noticed the elliptic genus of the K3 surface has a natural decomposition in terms of dimensions of irreducible representations of the largest Mathieu group M24 [9], and this was named Umbral moonshine [10, 11], which generalizes the moonshine correspondence for other sporadic groups [13]. With Witten’s proposal [21] that M-theory unifies all the ten-dimensional string theories with N = 1 supergravity in D = 10+1, Horowitz and Susskind argued [23] there exists a bosonic M-theory in D = 26 + 1 that reduces to the bosonic string upon compactification. As the Monster has a string theoretic interpretation in D = 25 + 1 [14–16], it is also natural to consider its action on fields from D = 26 + 1. Support for this is found from bosonic M-theory’s 23 2-brane near horizon geometry AdS4 × S , discussed by Horowitz and Susskind as an evidence for a 2+1 CFT dual with global SO24 symmetry [23]. Noting that the automorphism group of the Leech lattice, the Conway group Co0 [4, 32], is a maximal finite subgroup of SO24, and its Z2 quotient Co1 is a maximal subgroup of the Monster [4, 5], this provides a means to realize Monstrous symmetry as a finite subgroup of R-symmetry from D = 26 + 1 [25]. In the present paper, we introduce a purely bosonic gravity theory coupled to p-forms in 26+1 space-time dimensions, which contains the aforementioned bosonic string theory [23] as a subsector. We name such a theory Monstrous M- theory, or shortly M 2-theory, because its massless spectrum has the same dimension (196, 884) as the Griess algebra and it can thus be acted upon by the Monster group M. When reducing to 25 + 1, a plethora of gravito-dilatonic theories is generated, in which the decomposition 196, 884 = 196, 883⊕1, which first hinted at Monstrous moonshine [2], entails the fact that the dilaton in 25 + 1 is a singlet of M itself. As such, the irreducibility under M is crucially related to dilatonic gravity in 25 + 1. Thanks to existence of some maps among iso-dimensional representations of the massless little group SO24 in 25 + 1 (which generalize, in a “weak” sense, the triality of SO8), most of the gravito- dilatonic theories in 25 + 1, named Monstrous gravity theories, display a fermionic (massless) spectrum, as well, such that the whole spectrum is still acted upon by M. All this gives a more concise description of the Monster’s minimal representation 196, 883, coming from the field content of Monstrous gravity in D = 25 + 1; as such, this also elucidates the definition of the Monster as the automorphism group of the Griess algebra (the degree two piece of the monster vertex algebra), which has been considered artificial in that it was thought to involve an algebra of two or more unrelated spaces [4, 5, 7]. The plan of the paper is as follows. At the start of Sec. II, we briefly recall the triality among the 8-dimensional representations of the Lie algebra d4, as well as the duality among all semispinor representations and their conjugates (and among all the tensor products thereof) in Lie algebras dn. Then, we introduce some “weak” generalizations within the Lie algebra d12, namely weak λ-triality in Sec. II A and weak ψ-triality in Sec. II B. Furthermore, we also introduce a “weak” generalization of the aforementioned duality in Sec. II C. In all these cases, the “weakness” relies on the reducibility of the bosonic representations involved. Next, in Sec. III we introduce and classify non-supersymmetric, gravito-dilatonic theories, named Monstrous gravities, in 25+1 space-time dimensions, whose massless spectrum (also including fermions in most cases) has dimension 196, 884, namely the same dimension as the Griess algebra [3, 5], and it can thus be acted upon by the Monster group M. A purely bosonic uplift to 26 + 1 space-time dimensions is discussed in Sec. IV, in which the so-called M 2-theory is defined, along with some discussion of its Lagrangian in Sec. IVA; furthermore, Sec. IVB discusses a subsector of the M2-theory diplaying the same number of bosonic and fermionic massless degrees of freedom in 26 + 1; in this framework, after a discussion of some reductions to 25+1, in Sec. IVB1 a Lagrangian and local supersymmetry transformations are conjectured for the would-be N =1 supergravity in 26+1 space-time dimensions. Then, in Sec. V a cohomological construction of both the e8 root lattice and the Leech lattice Λ24 (respectively determining optimal sphere packing in 8 and 24 dimensions [4]) is discussed, and all this is again related to M-theory (i.e., N = 1 supergravity) in 10+1 and to the would-be N = 1 supergravity 26 + 1, respectively. Final comments are contained in the conclusive Sec. VI. 3 II. TRIALITY OF d4 AND ITS GENERALIZATIONS IN d12 By triality, denoted by T, in this paper we refer to a property of the Lie algebra d4 (see e.g. [19]), namely a map of its three 8-dimensional irreducible representations 1 ∧ ≡ 8v := (1, 0, 0, 0) (vector); d4 : λ ≡ 8s := (0, 0, 0, 1) (semispinor); (2.1) ′ ′ λ ≡ 8 ≡ 8c := (0, 0, 1, 0) (conjugate semispinor) s among themselves : ∧1 T : ↑↓ ցտ . (2.2) λ′ ⇄ λ This property can be traced back to the three-fold structural symmetry of the Dynkin diagram of d4, and to the existence of an outer automorphism of d4 which interchanges 8v, 8s and 8c; in fact, the outer automorphism group of d4 (or, more precisely, of the corresponding spin group Spin8, the double cover of the Lie group SO8) is isomorphic to the symmetric group S3 that permutes such three representations. Thence, triality affects all tensor products stemming from 8v, 8s and 8c. In particular, for later convenience, we stress that it maps also the three 56-dimensional irreducible representations of d4 : 3 ∧ ≡ 56v := (0, 0, 1, 1) (3-form); d4 : ψ ≡ 56s := (1, 0, 0, 1) (vector-semispinor ); (2.3) ′ ′ ψ ≡ 56 ≡ 56c := (1, 0, 1, 0) (conjugate vector-semispinor ) s among themselves ∧3 T : ↑↓ ցտ . (2.4) ψ ⇄ ψ′ α We recall here that, in order to correspond to an irreducible representation, the spinor-vector ψµ must be gamma- traceless : µ β Γαβψµ =0, (2.5) µ µ where µ and α are the vector resp. spinor indices, and Γαβ ≡ (Γ )αβ denote the gamma matrices of d4. ψ is a 3 Rarita-Schwinger (RS) field of spin/helicity 2 , and, in the context of supersymmetric theories, it is named gravitino (being the spartner of the graviton gµν ). As (2.2) denotes the action of triality T on (semi)spinors, (2.4) expresses the triality T acting on RS fields.
Load more

Recommended publications
  • Flavor Moonshine
    Prog. Theor. Exp. Phys. 2020, 013B03 (20 pages) DOI: 10.1093/ptep/ptz137 Flavor moonshine Shotaro Shiba Funai1,∗ Hirotaka Sugawara2,∗ 1Physics and Biology Unit, Okinawa Institute of Science and Technology (OIST), 1919-1 Tancha, Onna-son, Kunigami-gun, Okinawa 904-0495, Japan 2High Energy Accelerator Research Organization (KEK), 1-1 Oho, Tsukuba, Ibaraki 305-0801, Japan ∗E-mail: [email protected], [email protected] Received August 30, 2019; Revised October 17, 2019; Accepted October 23, 2019; Published January 13, 2020 ................................................................................................................... The flavor moonshine hypothesis is formulated to suppose that all particle masses (leptons, quarks, Higgs, and gauge particles—more precisely, their mass ratios) are expressed as coef- ficients in the Fourier expansion of some modular forms just as, in mathematics, dimensions of representations of a certain group are expressed as coefficients in the Fourier expansion of some modular forms. The mysterious hierarchical structure of the quark and lepton masses is thus attributed to that of the Fourier coefficient matrices of certain modular forms. Our inten- tion here is not to prove this hypothesis starting from some physical assumptions but rather to demonstrate that this hypothesis is experimentally verified and, assuming that the string theory correctly describes the natural law, to calculate the geometry (Kähler potential and the metric) of the moduli space of the Calabi–Yau manifold, thus providing a way to calculate the metric of the Calabi–Yau manifold itself directly from the experimental data. ................................................................................................................... Subject Index B41, B55 1. Introduction Some researchers, including one of the authors of this work (H.S.), have been working on flavor physics, assuming that some discrete symmetry plays an important role in its understanding [1–9]; S3, S4, A4, etc.
    [Show full text]
  • On Some Generation Methods of Finite Simple Groups
    Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography On Some Generation Methods of Finite Simple Groups Ayoub B. M. Basheer Department of Mathematical Sciences, North-West University (Mafikeng), P Bag X2046, Mmabatho 2735, South Africa Groups St Andrews 2017 in Birmingham, School of Mathematics, University of Birmingham, United Kingdom 11th of August 2017 Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Abstract In this talk we consider some methods of generating finite simple groups with the focus on ranks of classes, (p; q; r)-generation and spread (exact) of finite simple groups. We show some examples of results that were established by the author and his supervisor, Professor J. Moori on generations of some finite simple groups. Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Introduction Generation of finite groups by suitable subsets is of great interest and has many applications to groups and their representations. For example, Di Martino and et al. [39] established a useful connection between generation of groups by conjugate elements and the existence of elements representable by almost cyclic matrices. Their motivation was to study irreducible projective representations of the sporadic simple groups. In view of applications, it is often important to exhibit generating pairs of some special kind, such as generators carrying a geometric meaning, generators of some prescribed order, generators that offer an economical presentation of the group.
    [Show full text]
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [Show full text]
  • Umbral Moonshine and K3 Surfaces Arxiv:1406.0619V3 [Hep-Th]
    SLAC-PUB-16469 Umbral Moonshine and K3 Surfaces Miranda C. N. Cheng∗1 and Sarah Harrisony2 1Institute of Physics and Korteweg-de Vries Institute for Mathematics, University of Amsterdam, Amsterdam, the Netherlandsz 2Stanford Institute for Theoretical Physics, Department of Physics, and Theory Group, SLAC, Stanford University, Stanford, CA 94305, USA Abstract Recently, 23 cases of umbral moonshine, relating mock modular forms and finite groups, have been discovered in the context of the 23 even unimodular Niemeier lattices. One of the 23 cases in fact coincides with the so-called Mathieu moonshine, discovered in the context of K3 non-linear sigma models. In this paper we establish a uniform relation between all 23 cases of umbral moonshine and K3 sigma models, and thereby take a first step in placing umbral moonshine into a geometric and physical context. This is achieved by relating the ADE root systems of the Niemeier lattices to the ADE du Val singularities that a K3 surface can develop, and the configuration of smooth rational curves in their resolutions. A geometric interpretation of our results is given in terms of the marking of K3 surfaces by Niemeier lattices. arXiv:1406.0619v3 [hep-th] 18 Mar 2015 ∗[email protected] [email protected] zOn leave from CNRS, Paris. 1 This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, under Contract No. DE-AC02-76SF00515 and HEP. Umbral Moonshine and K3 Surfaces 2 Contents 1 Introduction and Summary 3 2 The Elliptic Genus of Du Val Singularities 8 3 Umbral Moonshine and Niemeier Lattices 14 4 Umbral Moonshine and the (Twined) K3 Elliptic Genus 20 5 Geometric Interpretation 27 6 Discussion 30 A Special Functions 32 B Calculations and Proofs 34 C The Twining Functions 41 References 48 Umbral Moonshine and K3 Surfaces 3 1 Introduction and Summary Mock modular forms are interesting functions playing an increasingly important role in various areas of mathematics and theoretical physics.
    [Show full text]
  • Sporadic Sics and Exceptional Lie Algebras
    Sporadic SICs and Exceptional Lie Algebras Blake C. Staceyy yQBism Group, Physics Department, University of Massachusetts Boston, 100 Morrissey Boulevard, Boston MA 02125, USA November 13, 2019 Abstract Sometimes, mathematical oddities crowd in upon one another, and the exceptions to one classification scheme reveal themselves as fellow-travelers with the exceptions to a quite different taxonomy. 1 Preliminaries A set of equiangular lines is a set of unit vectors in a d-dimensional vector space such that the magnitude of the inner product of any pair is constant: 1; j = k; jhv ; v ij = (1) j k α; j 6= k: The maximum number of equiangular lines in a space of dimension d (the so-called Gerzon bound) is d(d+1)=2 for real vector spaces and d2 for complex. In the real case, the Gerzon bound is only known to be attained in dimensions 2, 3, 7 and 23, and we know it can't be attained in general. If you like peculiar alignments of mathematical topics, the appearance of 7 and 23 might make your ears prick up here. If you made the wild guess that the octonions and the Leech lattice are just around the corner. you'd be absolutely right. Meanwhile, the complex case is of interest for quantum information theory, because a set of d2 equiangular lines in Cd specifies a measurement that can be performed upon a quantum-mechanical system. These measurements are highly symmetric, in that the lines which specify them are equiangular, and they are \informationally complete" in a sense that quantum theory makes precise.
    [Show full text]
  • A Natural Representation of the Fischer-Griess Monster
    Proc. Nati. Acad. Sci. USA Vol. 81, pp. 3256-3260, May 1984 Mathematics A natural representation of the Fischer-Griess Monster with the modular function J as character (vertex operators/finite simple group Fl/Monstrous Moonshine/affine Lie algebras/basic modules) I. B. FRENKEL*t, J. LEPOWSKY*t, AND A. MEURMANt *Department of Mathematics, Rutgers University, New Brunswick, NJ 08903; and tMathematical Sciences Research Institute, Berkeley, CA 94720 Communicated by G. D. Mostow, February 3, 1984 ABSTRACT We announce the construction of an irreduc- strange discoveries could make sense. However, instead of ible graded module V for an "affine" commutative nonassocia- illuminating the mysteries, he added a new one, by con- tive algebra S. This algebra is an "affinization" of a slight structing a peculiar commutative nonassociative algebra B variant R of the conMnutative nonassociative algebra B de- and proving directly that its automorphism group contains fined by Griess in his construction of the Monster sporadic F1. group F1. The character of V is given by the modular function The present work started as an attempt to explain the ap- J(q) _ q' + 0 + 196884q + .... We obtain a natural action of pearance of J(q) as well as the structure of B. Our under- the Monster on V compatible with the action of R, thus con- standing of these phenomena has now led us to conceptual ceptually explaining a major part of the numerical observa- constructions of several objects: V; a variant a of B; an "af- tions known as Monstrous Moonshine. Our construction starts finization" 9a of@a; and F1, which appears as a group of oper- from ideas in the theory of the basic representations of affine ators on V and at the sajne time as a group of algebra auto- Lie algebras and develops further the cadculus of vertex opera- morphisms of R and of 9a.
    [Show full text]
  • The Romance Between Maths and Physics
    The Romance Between Maths and Physics Miranda C. N. Cheng University of Amsterdam Very happy to be back in NTU indeed! Question 1: Why is Nature predictable at all (to some extent)? Question 2: Why are the predictions in the form of mathematics? the unreasonable effectiveness of mathematics in natural sciences. Eugene Wigner (1960) First we resorted to gods and spirits to explain the world , and then there were ….. mathematicians?! Physicists or Mathematicians? Until the 19th century, the relation between physical sciences and mathematics is so close that there was hardly any distinction made between “physicists” and “mathematicians”. Even after the specialisation starts to be made, the two maintain an extremely close relation and cannot live without one another. Some of the love declarations … Dirac (1938) If you want to be a physicist, you must do three things— first, study mathematics, second, study more mathematics, and third, do the same. Sommerfeld (1934) Our experience up to date justifies us in feeling sure that in Nature is actualized the ideal of mathematical simplicity. It is my conviction that pure mathematical construction enables us to discover the concepts and the laws connecting them, which gives us the key to understanding nature… In a certain sense, therefore, I hold it true that pure thought can grasp reality, as the ancients dreamed. Einstein (1934) Indeed, the most irresistible reductionistic charm of physics, could not have been possible without mathematics … Love or Hate? It’s Complicated… In the era when Physics seemed invincible (think about the standard model), they thought they didn’t need each other anymore.
    [Show full text]
  • Braids, 3-Manifolds, Elementary Particles: Number Theory and Symmetry in Particle Physics
    S S symmetry Article Braids, 3-Manifolds, Elementary Particles: Number Theory and Symmetry in Particle Physics Torsten Asselmeyer-Maluga German Aeorspace Center, Rosa-Luxemburg-Str. 2, 10178 Berlin, Germany; [email protected]; Tel.: +49-30-67055-725 Received: 25 July 2019; Accepted: 2 October 2019; Published: 15 October 2019 Abstract: In this paper, we will describe a topological model for elementary particles based on 3-manifolds. Here, we will use Thurston’s geometrization theorem to get a simple picture: fermions as hyperbolic knot complements (a complement C(K) = S3 n (K × D2) of a knot K carrying a hyperbolic geometry) and bosons as torus bundles. In particular, hyperbolic 3-manifolds have a close connection to number theory (Bloch group, algebraic K-theory, quaternionic trace fields), which will be used in the description of fermions. Here, we choose the description of 3-manifolds by branched covers. Every 3-manifold can be described by a 3-fold branched cover of S3 branched along a knot. In case of knot complements, one will obtain a 3-fold branched cover of the 3-disk D3 branched along a 3-braid or 3-braids describing fermions. The whole approach will uncover new symmetries as induced by quantum and discrete groups. Using the Drinfeld–Turaev quantization, we will also construct a quantization so that quantum states correspond to knots. Particle properties like the electric charge must be expressed by topology, and we will obtain the right spectrum of possible values. Finally, we will get a connection to recent models of Furey, Stoica and Gresnigt using octonionic and quaternionic algebras with relations to 3-braids (Bilson–Thompson model).
    [Show full text]
  • Arxiv:1305.5974V1 [Math-Ph]
    INTRODUCTION TO SPORADIC GROUPS for physicists Luis J. Boya∗ Departamento de F´ısica Te´orica Universidad de Zaragoza E-50009 Zaragoza, SPAIN MSC: 20D08, 20D05, 11F22 PACS numbers: 02.20.a, 02.20.Bb, 11.24.Yb Key words: Finite simple groups, sporadic groups, the Monster group. Juan SANCHO GUIMERA´ In Memoriam Abstract We describe the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups Zp, and the alternating groups Altn>4. After a quick revision of finite fields Fq, q = pf , with p prime, we consider the 16 families of finite simple groups of Lie type. There are also 26 extra “sporadic” groups, which gather in three interconnected “generations” (with 5+7+8 groups) plus the Pariah groups (6). We point out a couple of physical applications, in- cluding constructing the biggest sporadic group, the “Monster” group, with close to 1054 elements from arguments of physics, and also the relation of some Mathieu groups with compactification in string and M-theory. ∗[email protected] arXiv:1305.5974v1 [math-ph] 25 May 2013 1 Contents 1 Introduction 3 1.1 Generaldescriptionofthework . 3 1.2 Initialmathematics............................ 7 2 Generalities about groups 14 2.1 Elementarynotions............................ 14 2.2 Theframeworkorbox .......................... 16 2.3 Subgroups................................. 18 2.4 Morphisms ................................ 22 2.5 Extensions................................. 23 2.6 Familiesoffinitegroups ......................... 24 2.7 Abeliangroups .............................. 27 2.8 Symmetricgroup ............................. 28 3 More advanced group theory 30 3.1 Groupsoperationginspaces. 30 3.2 Representations.............................. 32 3.3 Characters.Fourierseries . 35 3.4 Homological algebra and extension theory . 37 3.5 Groupsuptoorder16..........................
    [Show full text]
  • Monstrous Entanglement JHEP10(2017)147 ] (Or Its Chiral 8 [ 3 20 6 22 11 15 4 22 28 9 16 29 26 , As Its Automorphism Group
    Published for SISSA by Springer Received: September 1, 2017 Accepted: October 12, 2017 Published: October 20, 2017 Monstrous entanglement JHEP10(2017)147 Diptarka Das,a Shouvik Dattab and Sridip Pala aDepartment of Physics, University of California San Diego, 9500 Gilman Drive, La Jolla, CA 92093, U.S.A. bInstitut f¨urTheoretische Physik, Eidgen¨ossischeTechnische Hochschule Z¨urich, Wolfgang-Pauli-Strasse 27, 8049 Z¨urich,Switzerland E-mail: [email protected], [email protected], [email protected] Abstract: The Monster CFT plays an important role in moonshine and is also conjectured to be the holographic dual to pure gravity in AdS3. We investigate the entanglement and R´enyi entropies of this theory along with other extremal CFTs. The R´enyi entropies of a single interval on the torus are evaluated using the short interval expansion. Each order in the expansion contains closed form expressions in the modular parameter. The leading terms in the q-series are shown to precisely agree with the universal corrections to R´enyi entropies at low temperatures. Furthermore, these results are shown to match with bulk computations of R´enyi entropy using the one-loop partition function on handlebodies. We also explore some features of R´enyi entropies of two intervals on the plane. Keywords: Conformal Field Theory, AdS-CFT Correspondence, Field Theories in Lower Dimensions, Discrete Symmetries ArXiv ePrint: 1708.04242 Open Access, c The Authors. https://doi.org/10.1007/JHEP10(2017)147 Article funded by SCOAP3. Contents 1 Introduction1 2 Short interval expansion
    [Show full text]
  • Final Report (PDF)
    Novel Approaches to the Finite Simple Groups John McKay (Concordia University), Roland Friedrich (Humboldt University Berlin) 22. April–29. April 2012 1 Motivation It is now accepted that the classification of finite simple groups (CFSG) is complete. Our purpose is in con- structions which we re-examine in the light of observations that suggest that a substantial amount of insight is to be gained if we pursue novel connections to other, apparently disparate, areas of mathematics. This may lead to a natural home for the 26 sporadic simple groups which today are considered the complement of the Lie-Chevalley groups. 2 Overview of the Field In order to understand the importance of the new ideas and conjectures linked with Monstrous Moon- shine (MM) that we set out to develop, we have to understand its history, see [15, 19, 20]. Although the Monster is the most spectacular of the sporadic groups, it is just one of 26 groups under our wing. We discern three major evolutionary periods linked with the Monster group, the early and foundational one [5, 6, 7, 9, 10, 11, 17, 18, 22, 23], the time when the fruits of previous labour could be picked, cul- minating in Borcherds’ Fields medal rewarded proof of the conjecture [2], and finally the post Moonshine one, where it is becoming evident that we are not dealing with one particular isolated phenomenon but rather with a (possible) new class of objects of which MM is the most prominent representative so far, and its new mathematical connections [16]. An electronic collection of relevant articles for the subject has been posted at: http://www.fields.utoronto.ca/˜jplazas/MoonshineRoadmap.html 3 Recent Developments and Open Problems During the focused research group various parts of this picture became clearer.
    [Show full text]
  • Modular Forms in String Theory and Moonshine
    (Mock) Modular Forms in String Theory and Moonshine Miranda C. N. Cheng Korteweg-de-Vries Institute of Mathematics and Institute of Physics, University of Amsterdam, Amsterdam, the Netherlands Abstract Lecture notes for the Asian Winter School at OIST, Jan 2016. Contents 1 Lecture 1: 2d CFT and Modular Objects 1 1.1 Partition Function of a 2d CFT . .1 1.2 Modular Forms . .4 1.3 Example: The Free Boson . .8 1.4 Example: Ising Model . 10 1.5 N = 2 SCA, Elliptic Genus, and Jacobi Forms . 11 1.6 Symmetries and Twined Functions . 16 1.7 Orbifolding . 18 2 Lecture 2: Moonshine and Physics 22 2.1 Monstrous Moonshine . 22 2.2 M24 Moonshine . 24 2.3 Mock Modular Forms . 27 2.4 Umbral Moonshine . 31 2.5 Moonshine and String Theory . 33 2.6 Other Moonshine . 35 References 35 1 1 Lecture 1: 2d CFT and Modular Objects We assume basic knowledge of 2d CFTs. 1.1 Partition Function of a 2d CFT For the convenience of discussion we focus on theories with a Lagrangian description and in particular have a description as sigma models. This in- cludes, for instance, non-linear sigma models on Calabi{Yau manifolds and WZW models. The general lessons we draw are however applicable to generic 2d CFTs. An important restriction though is that the CFT has a discrete spectrum. What are we quantising? Hence, the Hilbert space V is obtained by quantising LM = the free loop space of maps S1 ! M. Recall that in the usual radial quantisation of 2d CFTs we consider a plane with 2 special points: the point of origin and that of infinity.
    [Show full text]