DOCSLIB.ORG

The Dark Side of the Moon - New Connections in Geometry, Number Theory and Physics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Dark Side of the Moon - New Connections in Geometry, Number Theory and Physics The dark side of the moon - new connections in geometry, number theory and physics - Daniel Persson Mathematical Sciences Colloquium January 29, 2018 Symmetries Transformations that leave a geometric object invariant A circle has infinitely many rotational symmetries Symmetries Transformations that leave a geometric object invariant A circle has infinitely many rotational symmetries Infinite rotational Finite reflection symmetry symmetry Symmetry groups The set of symmetries of an object form a mathematical structure called a group. Two consecutive transformations is also a symmetry There exists an identity transformation Each transformation has an inverse Consecutive transformations are associative Permutation symmetries The set {1,2,3} has 6 permutations (1,2,3) (1,3,2) (2,1,3) (2,3,1) (3,1,2) (3,2,1) These belong to the permutation group of 3 elements. “Ile de feu 2” (Island of fire) M12 Olivier Messiaen 1949 This piece of music has the symmetry group of a 45-dim algebraic structure “Ile de feu 2” (Island of fire) Olivier Messiaen 1949 M12 This piece of music has the symmetry group of a 45-dim algebraic structure This corresponds to the following permutation: P1 =(1, 7, 10, 2, 6, 4, 5, 9, 11, 12)(3, 8) This corresponds to the following permutation: P1 =(1, 7, 10, 2, 6, 4, 5, 9, 11, 12)(3, 8) Messiaen also uses the following permutation in another part: P2 =(1, 6, 9, 2, 7, 3, 5, 4, 8, 10, 11)(12) This corresponds to the following permutation: P1 =(1, 7, 10, 2, 6, 4, 5, 9, 11, 12)(3, 8) Messiaen also uses the following permutation in another part: P2 =(1, 6, 9, 2, 7, 3, 5, 4, 8, 10, 11)(12) Theorem (Diaconis, Graham, Kantor 1985): M = P ,P 12 h 1 2i Of course, Messiaen did not use all 95040 permutations in the Mathieu group! Finite simple groups Finite groups that can not be divided into smaller pieces are called simple. These are like building blocks of symmetries Finite simple groups Finite groups that can not be divided into smaller pieces are called simple. These are like building blocks of symmetries Prime numbers Elementary particles 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 Classification of finite simple groups 1832: Galois discovers the first infinite family (alternating groups) Classification of finite simple groups 1832: Galois discovers the first infinite family (alternating groups) 1861-1873: Mathieu discovers M11,M12,M22,M23,M24 Classification of finite simple groups 1832: Galois discovers the first infinite family (alternating groups) 1861-1873: Mathieu discovers M11,M12,M22,M23,M24 Classification of finite simple groups 1832: Galois discovers the first infinite family (alternating groups) 1861-1873: Mathieu discovers M11,M12,M22,M23,M24 1972-1983: Gorenstein program to classify all finite simple groups The monster Conjecture (Fischer & Griess, 1973): The monster There exists a huge finite simple group of order Conjecture (Fischer & Griess, 1973): The monster There exists a huge finite simple group of order Theorem (Griess 1982): The monster group exists. It is the symmetry group of a certain 196884-dimensional algebraic structure. (commutative, non-associative algebra) Conjecture (Fischer & Griess, 1973): The monster There exists a huge finite simple group of order Theorem (Griess 1982): The monster group exists. It is the symmetry group of a certain 196884-dimensional algebraic structure. (commutative, non-associative algebra) 1983: The classification program is completed! This was a heroic joint effort of 100’s of mathematicians. [https://irandrus.files.wordpress.com/2012/06/periodic-table-of-groups.pdf] Classification Several infinite families: cyclic, alternating, Lie type 26 sporadic cases Classification Several infinite families: cyclic, alternating, Lie type 26 sporadic cases Monster M Classification Several infinite families: cyclic, alternating, Lie type 26 sporadic cases The happy family (all related to the monster) Classification Several infinite families: cyclic, alternating, Lie type 26 sporadic cases The happy family (all related to the monster) Pariah groups (not related to the monster) Classification Several infinite families: cyclic, alternating, Lie type 26 sporadic cases The happy family (all related to the monster) Pariah groups (not related to the monster) Why do these groups exist? The first hints of moonshine… The first hints of moonshine… In 1978 John McKay was taking a break from the classification program of finite groups and was doing some recreational reading in number theory. The first hints of moonshine… In 1978 John McKay was taking a break from the classification program of finite groups and was doing some recreational reading in number theory. He then stumbled upon the following series expansion: 1 J(q)= + 196884q + 21493760q2 + 864299970q3 + 20245856256q4 + q ··· The first hints of moonshine… In 1978 John McKay was taking a break from the classification program of finite groups and was doing some recreational reading in number theory. He then stumbled upon the following series expansion: 1 J(q)= + 196884q + 21493760q2 + 864299970q3 + 20245856256q4 + q ··· Being a finite group theorist he immediately opened up the Atlas… 196884 = 1 + 196883 McKay’s equation 196884 = 1 + 196883 McKay’s equation 21493760 = 1 + 196883 + 21296876 Thompson’s equation 196884 = 1 + 196883 McKay’s equation 21493760 = 1 + 196883 + 21296876 Thompson’s equation What does this really mean? Fun with the monster 196884 = 1 + 196883 21493760 = 1 + 196883 + 21296876 We can think of 196883 as the dimension of a vector space on which the monster acts This is the smallest non-trivial irreducible representation of M The factor 1 then corresponds to the trivial reps. Fun with the monster 196884 = 1 + 196883 21493760 = 1 + 196883 + 21296876 We can think of 196883 as the dimension of a vector space on which the monster acts This is the smallest non-trivial irreducible representation of M The factor 1 then corresponds to the trivial reps. 1 V dim V =1 ! 1 R 1 196883 V dim V = 196883 ! 2 R 2 21296876 V dim V = 21296876 ! 3 R 3 Fun with the monster 196884 = 1 + 196883 21493760 = 1 + 196883 + 21296876 We can think of 196883 as the dimension of a vector space on which the monster acts This is the smallest non-trivial irreducible representation of M The factor 1 then corresponds to the trivial reps. 1 V dim V =1 =Tr e V1 ! 1 R 1 196883 V2 dim V2 = 196883 =Tr eV2 ! R 21296876 V dim V = 21296876 =Tr eV3 ! 3 R 3 Fun with the monster 196884 = 1 + 196883 21493760 = 1 + 196883 + 21296876 We can think of 196883 as the dimension of a vector space on which the monster acts This is the smallest non-trivial irreducible representation of M The factor 1 then corresponds to the trivial reps. 1 V dim V =1 =Tr e V1 ! 1 R 1 196883 V2 dim V2 = 196883 =Tr eV2 ! R 21296876 V dim V = 21296876 =Tr eV3 ! 3 R 3 characters of the identity element e M 2 McKay and Thompson conjectured that there exists an infinite-dimensional, graded monster module, called V \ , such that 1 V \ = V (n) n= 1 M− McKay and Thompson conjectured that there exists an infinite-dimensional, graded monster module, called V \ , such that 1 V \ = V (n) n= 1 M− ( 1) V − = V1 V (0) =0 and the J-function is the graded dimension (1) 1 V = V1 V2 J(q)= Tr(e V (n))qn ⊕ | n= 1 V (2) = V V V X− 1 ⊕ 2 ⊕ 3 McKay and Thompson conjectured that there exists an infinite-dimensional, graded monster module, called V \ , such that 1 V \ = V (n) n= 1 M− ( 1) V − = V1 V (0) =0 and the J-function is the graded dimension (1) 1 V = V1 V2 J(q)= Tr(e V (n))qn ⊕ | n= 1 V (2) = V V V X− 1 ⊕ 2 ⊕ 3 This suggests to also consider for each g M the McKay-Thompson series 2 1 T (q)= Tr(g V (n))qn g | n= 1 X− Modular forms 1 J(q)= + 196884q + 21493760q2 + 864299970q3 + 20245856256q4 + q ··· Modular forms 1 J(q)= + 196884q + 21493760q2 + 864299970q3 + 20245856256q4 + q ··· The J-function has a very special invariance property. If we set q = e2⇡i⌧ ⌧ H = z C (z) > 0 2 { 2 | = } then we have a⌧ + b ab f = f(⌧) SL(2, Z) c⌧ + d cd 2 ✓ ◆ ✓ ◆ Modular forms 1 J(q)= + 196884q + 21493760q2 + 864299970q3 + 20245856256q4 + q ··· The J-function has a very special invariance property. If we set q = e2⇡i⌧ ⌧ H = z C (z) > 0 2 { 2 | = } then we have a⌧ + b ab f = f(⌧) SL(2, Z) c⌧ + d cd 2 ✓ ◆ ✓ ◆ This is a modular form of weight 0 (or a modular function). Up to a constant there is a unique such function which is holomorphic away from a simple pole at the cusp (⌧) = !1 It generates the field of rational functions on the sphere (Hauptmodul) SL(2, Z) H \ ⇠ polynomial in J(⌧) any modular function = polynomial in J(⌧) It generates the field of rational functions on the sphere (Hauptmodul) SL(2, Z) H \ ⇠ polynomial in J(⌧) any modular function = polynomial in J(⌧) Monstrous moonshine conjecture (Conway-Norton 1979): For all elements g M The McKay-Thompson series Tg(⌧) 2 are hauptmoduls with respect to some genus zero Γg SL(2, R) ⇢ Γ genus zero Γg H g \ ⇠ “The stuff we were getting was not supported by logical argument. It had the feeling of mysterious moonbeams lighting up dancing Irish leprechauns. Moonshine can also refer to illicitly distilled spirits, and it seemed almost illicit to be working on this stuff.” - John Conway Monster group M ???? Modular function J(⌧) Monster group Enter physics! M 2d conformal field theory (vertex operator algebra) Modular function J(⌧) 1988: Frenkel, Lepowsky, Meurman constructed the moonshine module V \ It is a 2-dimensional orbifold conformal field theory (string theory), a.
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]
  • 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]
  • 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]
  • 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]
  • Characterizing Moonshine Functions by Vertex-Operator-Algebraic Conditions
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 14 (2018), 114, 8 pages Characterizing Moonshine Functions by Vertex-Operator-Algebraic Conditions Scott CARNAHAN, Takahiro KOMURO and Satoru URANO Division of Mathematics, University of Tsukuba, 1-1-1 Tennodai, Tsukuba, Ibaraki 305-8571 Japan E-mail: [email protected], [email protected], [email protected] URL: http://www.math.tsukuba.ac.jp/~carnahan/ Received May 07, 2018, in final form October 15, 2018; Published online October 25, 2018 https://doi.org/10.3842/SIGMA.2018.114 Abstract. Given a holomorphic C2-cofinite vertex operator algebra V with graded dimen- sion j − 744, Borcherds's proof of the monstrous moonshine conjecture implies any finite order automorphism of V has graded trace given by a \completely replicable function", and by work of Cummins and Gannon, these functions are principal moduli of genus zero modu- lar groups. The action of the monster simple group on the monster vertex operator algebra produces 171 such functions, known as the monstrous moonshine functions. We show that 154 of the 157 non-monstrous completely replicable functions cannot possibly occur as trace functions on V . Key words: moonshine; vertex operator algebra; modular function; orbifold 2010 Mathematics Subject Classification: 11F22; 17B69 1 Introduction In this paper, we show that the monstrous moonshine functions are nearly completely charac- terized by vertex-operator-algebra-theoretic properties of trace functions. In particular, we strongly constrain the possible exotic automorphisms of any counterexample to the conjectured uniqueness of the monster vertex operator algebra V \ (also known as the moonshine module) constructed in [15].
    [Show full text]
  • MONSTROUS MOONSHINE OVER $\Mathbb{Z}$?
    91 MONSTROUS MOONSHINE OVER \mathbb{Z} ? SCOTT CARNAHAN ABSTRACT. Monstrous Moonshine was extended in two complementary directions during the 1980s and 1990s , giving rise to Norton’s Generalized Moonshine conjecture and Ryba’s Modular Moon‐ shine conjecture. Both conjectures have been unconditionally established in the ıast few years, so we describe some speculative conjectures that may extend and unify them. ı. MONSTROUS MOONSHINE AND ITS EXTENSIONS Monstrous moonshine began in the 1970s with an examination of the modular J‐invariant, which we normalize as: J(\tau)=q^{-1}+196884q+21493760q^{2}+ Here, \tau ranges over the complex upper half‐plane \mathfrak{H} , and the expansion in powers of q=e^{2\pi i\tau} is the Fourier expansion. The J‐function is a Hauptmodul for SL_{2}(\mathbb{Z}) , meaning J is invariant under the standard action of SL_{2}(\mathbb{Z}) on \mathfrak{H} by Möbius transformations, and induces a complex‐analytic isomorphism from the quotient SL_{2}(\mathbb{Z})\backslash S to the complex projective line \mathbb{P}_{\mathbb{C}}^{1} minus finitely many points. McKay first observed a possible relationship between J and the Monster sporadic simple group \mathbb{M} , pointing out that the irreducible representations of \mathbb{M} have lowest dimension ı and ı96883, and that ı96884 =196883+1 . Thompson then showed that the next few coefficients of J also decompose into a small number of irreducible representations of \mathbb{M} [Thompson 1979]. This suggested that the coefficients of J , which are all non‐negative integers, describe a special class of representations of M. The observations by McKay and Thompson were explained by the construction of the Monster vertex operator algebra V^{\mathfrak{h}}=\oplus_{n=0}^{\infty}V_{n}^{\#} in [Fhenkel‐Lepowsky‐Meurman 1988].
    [Show full text]
  • Characterizing Moonshine Functions by Vertex-Operator-Algebraic Conditions
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 14 (2018), 114, 8 pages Characterizing Moonshine Functions by Vertex-Operator-Algebraic Conditions Scott CARNAHAN, Takahiro KOMURO and Satoru URANO Division of Mathematics, University of Tsukuba, 1-1-1 Tennodai, Tsukuba, Ibaraki 305-8571 Japan E-mail: [email protected], [email protected], [email protected] URL: http://www.math.tsukuba.ac.jp/~carnahan/ Received May 07, 2018, in final form October 15, 2018; Published online October 25, 2018 https://doi.org/10.3842/SIGMA.2018.114 Abstract. Given a holomorphic C2-cofinite vertex operator algebra V with graded dimen- sion j − 744, Borcherds's proof of the monstrous moonshine conjecture implies any finite order automorphism of V has graded trace given by a \completely replicable function", and by work of Cummins and Gannon, these functions are principal moduli of genus zero modu- lar groups. The action of the monster simple group on the monster vertex operator algebra produces 171 such functions, known as the monstrous moonshine functions. We show that 154 of the 157 non-monstrous completely replicable functions cannot possibly occur as trace functions on V . Key words: moonshine; vertex operator algebra; modular function; orbifold 2010 Mathematics Subject Classification: 11F22; 17B69 1 Introduction In this paper, we show that the monstrous moonshine functions are nearly completely charac- terized by vertex-operator-algebra-theoretic properties of trace functions. In particular, we strongly constrain the possible exotic automorphisms of any counterexample to the conjectured uniqueness of the monster vertex operator algebra V \ (also known as the moonshine module) constructed in [15].
    [Show full text]
  • Monstrous Moonshine and Monstrous Lie Superalgebras
    Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109, 405-444 (1992). Richard E. Borcherds, Department of pure mathematics and mathematical statistics, 16 Mill Lane, Cam- bridge CB2 1SB, England. We prove Conway and Norton’s moonshine conjectures for the infinite dimensional representation of the monster simple group constructed by Frenkel, Lepowsky and Meur- man. To do this we use the no-ghost theorem from string theory to construct a family of generalized Kac-Moody superalgebras of rank 2, which are closely related to the monster and several of the other sporadic simple groups. The denominator formulas of these su- peralgebras imply relations between the Thompson functions of elements of the monster (i.e. the traces of elements of the monster on Frenkel, Lepowsky, and Meurman’s repre- sentation), which are the replication formulas conjectured by Conway and Norton. These replication formulas are strong enough to verify that the Thompson functions have most of the “moonshine” properties conjectured by Conway and Norton, and in particular they are modular functions of genus 0. We also construct a second family of Kac-Moody super- algebras related to elements of Conway’s sporadic simple group Co1. These superalgebras have even rank between 2 and 26; for example two of the Lie algebras we get have ranks 26 and 18, and one of the superalgebras has rank 10. The denominator formulas of these algebras give some new infinite product identities, in the same way that the denominator formulas of the affine Kac-Moody algebras give the Macdonald identities. 1 Introduction. 2 Introduction (continued). 3 Vertex algebras.
    [Show full text]
  • Introduction to Stringy Moonshine ” June, 2018 Tohru Eguchi, University of Tokyo
    ”Introduction to Stringy Moonshine ” June, 2018 Tohru Eguchi, University of Tokyo Monstrous Moonshine Several years ago we found some curious phenomenon in string theory [1], i.e. appearance of exotic discrete symmetries in the theory. This is now called as moon- shine phenomenon and is now under intensive study. Today I would like to give you a brief introduction to moonshine phenomena which may possibly play an in- teresting role in string theory in the future. Before going to the moonshine phenomenon in string theory let me briefly recall the story of monstrous moon- shine which is well-known. Modular J function has a q-series expansion 1 J(q) = + 744 + 196884q + 21493760q2 + 864299970q3 q +20245856256q4 + 333202640600q5 + ··· : ( ) aτ + b a b q = e2πiτ ; Im(τ ) > 0;J(τ ) = J( ); 2 SL(2;Z) cτ + d c d It turns out q-expansion coefficients of J-function are decomposed into a sum of dimensions of irreducible representations of the monster group M as 196884 = 1 + 196883; 21493760 = 1 + 196883 + 21296876; 864299970 = 2 × 1 + 2 × 196883 + 21296876 + 842609326; 20245856256 = 1 × 1 + 3 × 196883 + 2 × 21296876 +842609326 + 19360062527; ··· : 1 Dimensions of irreducible representations of monster are in fact given by f1; 196883; 21296876; 842609326; 18538750076; 19360062527 · · · g Monster group is the largest sporadic discrete group, of order ≈ 1053 and the strange relationship between modular form and the largest discrete group was first noted by McKay. To be precise we may write as X n J1(τ ) = J(q) − 744 = c(n)q ; c(0) = 0 X n=−1 n = T rV (n) 1 × q ; dimV (n) = c(n) n=−1 McKay-Thompson series is given by X n Jg(τ ) = T rV (n) g × q ; g 2 M n=−1 where T rV (n) g denotes the character of a group ele- ment g in the representation V (n).
    [Show full text]
  • The Hidden Symmetry of the Heterotic String
    i \5-Kachru" | 2018/3/1 | 17:59 | page 1729 | #1 i i i ADV. THEOR. MATH. PHYS. Volume 21, Number 7, 1729{1745, 2017 The hidden symmetry of the heterotic string Shamit Kachru and Arnav Tripathy We propose that Borcherds' Fake Monster Lie algebra is a broken symmetry of heterotic string theory compactified on T 7 × T 2. As evidence, we study the fully flavored counting function for BPS instantons contributing to a certain loop amplitude. The result is controlled by Φ12, an automorphic form for O(2; 26; Z). The degen- eracies it encodes in its Fourier coefficients are graded dimensions of a second-quantized Fock space for this large symmetry algebra. This construction provides a concrete realization of Harvey and Moore's proposed relationship between Generalized Kac-Moody symmetries and supersymmetric string vacua. 1. Introduction It has long been a hope that string theory exhibits infinite-dimensional sym- metries which constrain the form of string effective actions and S-matrices [1{4]. Natural candidates are symmetries which generalize the normal struc- ture of Lie groups and even affine Kac-Moody symmetries | the so-called Generalized Kac-Moody (GKM) algebras. The Cartan matrices of these pro- posed larger symmetry algebras allow for negative diagonal entries, thereby greatly enlarging the root systems familiar from Lie theory to include whole lattices of \imaginary roots". That these extremely large symmetries might indeed exist as symmetries of sufficiently supersymmetric theories is of ob- vious interest for constraining the theory and possibly even formulating a classification of such theories. As such, the question has generated a consid- erable literature (including, in addition to the references above, papers such as [5{8] and references therein).
    [Show full text]