DOCSLIB.ORG

Many Moonshines: Monstrous, Mathieu and (M)Umbral

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Many Moonshines: Monstrous, Mathieu and (M)Umbral Many Moonshines: Monstrous, Mathieu and (M)Umbral Sam Fearn Durham University May 2nd, 2016 ‘The energy produced by the breaking down of the atom is a very poor kind of thing. Anyone who expects a source of power from the transformation of these atoms is talking moonshine’ Ernest Rutherford (1937), The Wordsworth Book of Humorous Quotations Outline 1. Introduction 2. Monstrous Moonshine 3. The Elliptic Genus of K3 4. G24 and M24 5. Mathieu Moonshine 6. Niemeier Lattices 7. Umbral Moonshine Sam Fearn (Durham University) 3 / 36 Outline 1. Introduction 2. Monstrous Moonshine 3. The Elliptic Genus of K3 4. G24 and M24 5. Mathieu Moonshine 6. Niemeier Lattices 7. Umbral Moonshine Sam Fearn (Durham University) 4 / 36 Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . The torus is described by a complex parameter τ in the upper half plane. Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Introduction Algebraic Modular Moonshine Objects Objects Sam Fearn (Durham University) 5 / 36 c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . The torus is described by a complex parameter τ in the upper half plane. Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Introduction Algebraic Modular Moonshine Objects Objects Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. Sam Fearn (Durham University) 5 / 36 The torus is described by a complex parameter τ in the upper half plane. Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Introduction Algebraic Modular Moonshine Objects Objects Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . Sam Fearn (Durham University) 5 / 36 Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Introduction Algebraic Modular Moonshine Objects Objects Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . The torus is described by a complex parameter τ in the upper half plane. Sam Fearn (Durham University) 5 / 36 Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Introduction Algebraic Modular Moonshine Objects Objects Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . The torus is described by a complex parameter τ in the upper half plane. Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Sam Fearn (Durham University) 5 / 36 Introduction Algebraic Modular Moonshine Objects Objects Here we present moonshine in the context of string theory, where the one-loop partition function has a world sheet with the topology of a torus. c L0− 24 2πiτ Z(τ) = TrHCFT [q ] q := e . The torus is described by a complex parameter τ in the upper half plane. Two tori with moduli τ, τ 0 are conformally equivalent if their moduli are related by aτ + b τ 0 = ad − bc = 1 cτ + d Therefore, Z(γτ) = Z(τ), γ ∈ SL2(Z) Sam Fearn (Durham University) 5 / 36 Outline 1. Introduction 2. Monstrous Moonshine 3. The Elliptic Genus of K3 4. G24 and M24 5. Mathieu Moonshine 6. Niemeier Lattices 7. Umbral Moonshine Sam Fearn (Durham University) 6 / 36 196884 = 196883 + 1 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, Sam Fearn (Durham University) 7 / 36 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, 196884 = 196883 + 1 Sam Fearn (Durham University) 7 / 36 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, 196884 = 196883 + 1 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 Sam Fearn (Durham University) 7 / 36 This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, 196884 = 196883 + 1 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) Sam Fearn (Durham University) 7 / 36 The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, 196884 = 196883 + 1 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). Sam Fearn (Durham University) 7 / 36 First Glimpse of the Monster The moonshine story begins with a surprisingly simple and deep equation, 196884 = 196883 + 1 21493760 = 21296876 + 196883 + 1 (1) 864299970 = 842609326 + 21296876 + 2 · 196883 + 2 · 1 The numbers of the left hand sides are coefficients of the j-invariant, a modular function (form of weight 0, where we allow meromorphicity) for 2πiτ SL(2, Z) with q ≡ e expansion j(τ) = q−1 + 744 + 196884q + 21493760q2 + 864299970q3 + ... (2) This function is known as the Hauptmodul for the ‘genus 0’ group SL(2, Z); all modular functions for SL(2, Z) are rational polynomials in j(τ). The numbers on the right are dimensions of irreducible representations of 53 the Monster group M, the largest finite sporadic group of order ≈ 8 × 10 . Sam Fearn (Durham University) 7 / 36 That is −1 2 j(τ) − 744 = dim(V−1)q + dim(V1)q + dim(V2)q + ... (4) Since the dimension of a representation ρ is given by the character of the identity, χρ(e) = Tr(ρ(e)) = dim(ρ), we may write this as −1 2 j(τ) − 744 = χV−1 (eV−1 )q + χV1 (eV1 )q + χV2 (eV2 )q + ... (5) Written in this form it is natural to consider the McKay - Thompson series ∞ −1 X i Tg (τ) = χV−1 (g)q + χVi (g)q (6) i=1 A Monster Module The previous equalities suggest the existence of a graded Monster module V V = V−1 ⊕ V1 ⊕ V2 ⊕ ..
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]
  • Classification of Positive Definite Lattices. 22 Feb 2000 Richard E
    Classification of positive definite lattices. 22 Feb 2000 Richard E. Borcherds, ∗ Mathematics department, Evans Hall #3840, University of California at Berkeley, CA 94720-3840 U.S.A. e-mail: [email protected] www home page www.math.berkeley.edu/˜reb Contents. 1. An algorithm for classifying vectors in some Lorentzian lattices. 2. Vectors in the lattice II1,25. 3. Lattices with no roots. Table 0: Primitive norm 0 vectors in II1,25. Table 1: Norm 2 vectors in II1,25. Table 2: Norm 4 vectors in II1,25. 1. Classification of positive norm vectors. In this paper we describe an algorithm for classifying orbits of vectors in Lorentzian lattices. The main point of this is that isomorphism classes of positive definite lattices in some genus often correspond to orbits of vectors in some Lorentzian lattice, so we can classify some positive definite lattices. Section 1 gives an overview of this algorithm, and in section 2 we describe this algorithm more precisely for the case of II1,25, and as an application we give the classification of the 665 25-dimensional unimodular positive definite lattices and the 121 even 25 dimensional positive definite lattices of determinant 2 (see tables 1 and 2). In section 3 we use this algorithm to show that there is a unique 26 dimensional unimodular positive definite lattice with no roots. Most of the results of this paper are taken from the unpublished manuscript [B], which contains more details and examples. For general facts about lattices used in this paper see [C-S], especially chapters 15–18 and 23–28.
    [Show full text]
  • Automorphism Groups of the Holomorphic Vertex Operator
    AUTOMORPHISM GROUPS OF THE HOLOMORPHIC VERTEX OPERATOR ALGEBRAS ASSOCIATED WITH NIEMEIER LATTICES AND THE 1-ISOMETRIES − HIROKI SHIMAKURA Abstract. In this article, we determine the automorphism groups of 14 holomorphic vertex operator algebras of central charge 24 obtained by applying the Z2-orbifold con- struction to the Niemeier lattice vertex operator algebras and lifts of the 1-isometries. − 1. Introduction Recently, (strongly regular) holomorphic vertex operator algebras (VOAs) of central charge 24 with non-zero weight one spaces are classified; there exist exactly 70 such VOAs (up to isomorphism) and they are uniquely determined by the Lie algebra structures on the weight one spaces. The remaining case is the famous conjecture in [FLM88]: a (strongly regular) holomorphic VOA of central charge 24 is isomorphic to the moonshine VOA if the weight one space is zero. The determination of the automorphism groups of vertex operator algebras is one of fundamental problems in VOA theory; it is natural to ask what the automorphism groups of holomorphic VOAs of central charge 24 are. For example, the automorphism group of the moonshine VOA is the Monster ([FLM88]) and those of Niemeier lattice VOAs were determined in [DN99]. However, the other cases have not been determined yet. The purpose of this article is to determine the automorphism group of the holomorphic orb(θ) VOA VN of central charge 24 obtained in [DGM96] by applying the Z2-orbifold con- arXiv:1811.05119v1 [math.QA] 13 Nov 2018 struction to the lattice VOA VN associated with a Niemeier lattice N and a lift θ of the orb(θ) 1-isometry of N.
    [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]
  • String Theory Moonshine
    Strings 2014, Princeton Umbral Moonshine and String Theory Miranda Cheng University of Amsterdam* *: on leave from CNRS, France. A Myseros Story Abot Strings on K3 Finite Moonshine Modular Groups Objects symmetries of interesting objects functions with special symmetries K3 Sigma-Model 2d sigma models: use strings to probe the geometry. M = K3 Σ N=(4,4) superconformal Elliptic Genus of 2d SCFT In a 2d N>=(2,2) SCFT, susy states are counted by the elliptic genus: q = e2⇡i⌧ ,y = e2⇡iz • holomorphic [Schellekens–Warner, Witten ’87] • modular SL(2,Z) •topological EG = EG ⇣ ⌘ ⇣ ⌘ K3 Sigma-Model 2d sigma model on K3 is a N=(4,4) SCFT. ⇒ The spectrum fall into irred. representations of the N=4 SCA. 4 2 J +J¯ J L c/24 L c/24 ✓i(⌧,z) EG(⌧,z; K3) = Tr ( 1) 0 0 y 0 q 0− q¯ 0− =8 HRR − ✓ (⌧, 0) i=2 i ⇣ ⌘ X ✓ ◆ = 24 massless multiplets + tower of massive multiplets 1 2 ✓ (⌧,z) 1/8 2 3 = 1 24 µ(⌧,z)+2 q− ( 1 + 45 q + 231 q + 770 q + ...) ⌘3(⌧) − “Appell–Lerch⇣ sum” numbers of massive N=4 multiplets ⌘ also dimensions of irreps of M24, ! an interesting finite group with ~108 elements [Eguchi–Ooguri–Tachikawa ’10] Why EG(K3) ⟷ M24? Q: Is there a K3 surface M whose symmetry (that preserves the hyperKähler structure) is M24? [Mukai ’88, Kondo ’98] No! M24 elements symmetries of M2 symmetries of M1 Q: Is there a K3 sigma model whose symmetry is M24? [Gaberdiel–Hohenegger–Volpato ’11] No! M24 elements possible symmetries of K3 sigma models 3.
    [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]
  • Arxiv:1403.3712V6 [Math.NT] 18 Aug 2015 the Q1 Coefficient of J(Τ), Can Be Expressed As a Linear Combination of Dimensions of Irreducible
    CLASSICAL AND UMBRAL MOONSHINE: CONNECTIONS AND p-ADIC PROPERTIES KEN ONO, LARRY ROLEN, SARAH TREBAT-LEDER Abstract. The classical theory of monstrous moonshine describes the unexpected connection between the representation theory of the monster group M, the largest of the sporadic simple groups, and certain modular functions, called Hauptmoduln. In particular, the n-th Fourier coefficient of Klein’s j-function is the dimension of the grade n part of a special infinite dimen- sional representation V \ of the monster group. More generally the coefficients of Hauptmoduln \ are graded traces Tg of g 2 M acting on V . Similar phenomena have been shown to hold for the Mathieu group M24, but instead of modular functions, mock modular forms must be used. This has been conjecturally generalized even further, to umbral moonshine, which associates to each of the 23 Niemeier lattices a finite group, infinite dimensional representation, and mock modular form. We use generalized Borcherds products to relate monstrous moonshine and umbral moon- shine. Namely, we use mock modular forms from umbral moonshine to construct via generalized Borcherds products rational functions of the Hauptmoduln Tg from monstrous moonshine. This allows us to associate to each pure A-type Niemeier lattice a conjugacy class g of the monster group, and gives rise to identities relating dimensions of representations from umbral moonshine to values of Tg. We also show that the logarithmic derivatives of the Borcherds products are p-adic modular forms for certain primes p and describe some of the resulting properties of their coefficients modulo p. 1. Introduction Monstrous moonshine begins with the surprising connection between the coefficients of the modular function P1 P 3 n 3 (1 + 240 d q ) 1 J(τ) := j(τ) − 744 = n=1 djn − 744 = + 196884q + 21493760q2 + ::: Q1 n 24 q n=1(1 − q ) q and the representation theory of the monster group M, which is the largest of the simple sporadic groups.
    [Show full text]
  • 18 Jul 2017 K3 String Theory, Lattices and Moonshine
    K3 String Theory, Lattices and Moonshine Miranda C. N. Cheng∗1,2, Sarah M. Harrison†3, Roberto Volpato‡4,5,6, and Max Zimet§5 1Korteweg-de Vries Institute for Mathematics, Amsterdam, the Netherlands 2Institute of Physics, University of Amsterdam, Amsterdam, the Netherlands 3Center for the Fundamental Laws of Nature, Harvard University, Cambridge, MA 02138, USA 4Dipartimento di Fisica e Astronomia ‘Galileo Galilei’ e INFN sez. di Padova Via Marzolo 8, 35131 Padova (Italy) 5Stanford Institute for Theoretical Physics, Department of Physics Stanford University, Stanford, CA 94305, USA 6Theory Group, SLAC, Menlo Park, CA 94309, USA Abstract In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on K3 × R6, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes singular. After classifying the symmetries as abstract groups, we study how they act on the BPS states of the theory. In particular, we classify the conjugacy classes in the T-duality group O+(Γ4,20) which represent physically distinct symmetries. Subsequently, we make two conjectures regarding the connection between the corresponding twining genera of K3 CFTs and Conway and umbral moonshine, building upon earlier work on the relation between moonshine and the K3 elliptic genus. ∗[email protected] (On leave from CNRS, France.) † arXiv:1612.04404v2 [hep-th] 18 Jul 2017 [email protected] ‡[email protected] §[email protected] 1 Contents 1 Introduction 3 2 Symmetries 6 2.1 TheModuliSpace ...........................
    [Show full text]
  • The Characteristic Masses of Niemeier Lattices Gaetan Chenevier
    The characteristic masses of Niemeier lattices Gaetan Chenevier To cite this version: Gaetan Chenevier. The characteristic masses of Niemeier lattices. Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, In press. hal-02915029 HAL Id: hal-02915029 https://hal.archives-ouvertes.fr/hal-02915029 Submitted on 13 Aug 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The characteristic masses of Niemeier lattices Gaëtan Chenevier∗ April 27, 2020 Abstract n Let L be an integral lattice in the Euclidean space R and W an n irreducible representation of the orthogonal group of R . We give an implemented algorithm computing the dimension of the subspace of invariants in W under the isometry group O(L) of L. A key step is the determination of the number of elements in O(L) having any given characteristic polynomial, a datum that we call the characteristic masses of L. As an application, we determine the characteristic masses of all the Niemeier lattices, and more generally of any even lattice of determinant ≤ 2 in dimension n ≤ 25. For Niemeier lattices, as a verification, we provide an alternative (human) computation of the characteristic masses.
    [Show full text]