DOCSLIB.ORG

Introduction to Stringy Moonshine ” June, 2018 Tohru Eguchi, University of Tokyo

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

”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). This depends on the conjugacy class g of M. If McKay-Thompson se- ries is known for all conjugacy classes, decomposition of V (n) into irreducible representations become uniquely determined. Series Jg are modular forms with respect to subgroups of SL(2;Z) and possess similar proper- ties like the modular J-function such as the genus=0 (Hauptmodul) property. Phenomenon of monstrous moonshine has been un- derstood mathematically in early 1990’s using the tech- nology of vertex operator algebra. However, we still do 2 not have a ’simple’ physical explanation of this phe- nomenon. Elliptic genus We now consider string theory compactified on K3 surface. K3 surface is a complex 2-dimensional hy- perKahler¨ manifold and is ubiquitous in string theory. It possesses SU(2) holonomy and a holomorphic 2-form. Thus the string theory on K3 has an N=4 superconfor- mal symmetry and contains the level k = 1 affine SU(2) symmetry and the central charge c = 6. Now instead of modular J-function we consider the elliptic genus of K3 surface. Elliptic genus describes the topological invariants of the target manifold and counts the number of BPS states in the theory. Using world- sheet variables it is written as F +F 4πizJ 3 L − c L¯ − c − L R L;0 0 24 0 24 Zelliptic(z; τ ) = T rHL×HR ( 1) e q q¯ Here L0 denotes the zero mode of the Visasoro operators and FL and FR are left and right moving fermion num- bers. In ellitpic genus the right moving sector is frozen to the supersymmetric ground states (BPS states) while in the left moving sector all the states in the Hilbert space HL contribute. N=4, level k theory contains a SUSY algebra i ∗ j ij k ij k fG¯ ; G¯ g = 2δ L¯0 − δ ; (i; j = 1; 2) =) L¯0 ≥ 0 0 2 4 k BPS states possess L0 = 4 3 In general it is difficult to compute elliptic genus, however, we were able to evaluate it by making use of Gepner models. Elliptic genus of K3 surface is given by [2]: " # ( )2 ( )2 ( )2 θ2(z; τ ) θ3(z; τ ) θ4(z; τ ) ZK3(z; τ ) = 8 + + θ2(0; τ ) θ3(0; τ ) θ4(0; τ ) Here θi(τ; z) are Jacobi theta functions. 1 ZK3(z = 0) = 24;ZK3(z = ) = 16 + O(q); 2 1 + τ − 1 1 ZK3(z = ) = 2q 2 + O(q 2 ) 2 It is known that the elliptic genus of a complex D-dimensional manifold is a Jacobi form of weight=0 and index=D/2. When D=2, space of Jacobi form is one-dimensional and given by the above formula. Jacobi form (weight k and index m) is defined by 2 '(τ; z + aτ + b) = e−2πim(a τ +2az)'(τ; z); 2 aτ + b z k 2πimcz '( ; ) = (cτ + d) e cτ +d '(τ; z) cτ + d cτ + d We would like to study the decomposition of the el- liptic genus in terms of irreducible representations of N=4 SCA. In N=4 SCA, hightest-weight states jh; `i are parametrized by j i j i 3j i j i L0 h; ` = h h; ` ; J0 h; ` = ` h; ` and the theory possesses two different type of represen- tations, i.e. BPS and non-BPS representations. In the 4 case of k = 1 there are representations (in Ramond sec- tor) 1 1 BPS rep. h = ; ` = 0; 4 2 1 1 non-BPS rep. h > ; ` = 4 2 Character of a representation is given by F L 4πizJ 3 T rR(−1) q 0 e 0 F L Its index is given by the value at z = 0, T rR(−1) q 0 . BPS representations have a non-vanishing index index (BPS, ` = 0) = 1 1 index (BPS, ` = ) = −2 2 Character function of ` = 0 BPS representation has the form [3] 2 R~ θ1(z; τ ) chh= 1 ;`=0(z; τ ) = µ(z; τ ) 4 η(τ )3 where πiz X 1 n(n+1) 2πinz −ie q 2 e µ(z; τ ) = (−1)n − n 2πiz θ1(z; τ ) n 1 q e On the other hand the character of non-BPS represen- tations are given by 2 ~ − 3 θ1(z; τ ) R h 8 chh> 1 ;`= 1 = q 4 2 η(τ )3 These have vanishing indices index (non-BPS rep) = 0 5 At the unitarity bound non-BPS representation splits into a sum of two BPS representations 2 − 3 θ1 ~ ~ h 8 R R lim q = chh= 1 ;`= 1 + 2chh= 1 ;`=0 ! 1 3 4 2 4 h 4 η Function µ(z; τ ) is a typical example of the so-called Mock theta functions (Lerch sum or Appell function). Mock theta functions look like theta functions but they have anomalous modular transformation laws and are difficult to handle. Recently there were developments in understanding the nature of Mock theta functions due to Zwegers [4]. He has introduced a method of regu- larization which is similar to those used in physics and improved the modular property of mock theta functions so that they transform as analytic Jacobi forms. It is possible to derive the following idenities ( ) 2 2 R~ θ2(z; τ ) θ1(z; τ ) chh= 1 ;`=0(z; τ ) = + µ2(τ ) 4 θ (0; τ ) η(τ )3 ( 2 ) 2 2 θ3(z; τ ) θ1(z; τ ) = + µ3(τ ) θ (0; τ ) η(τ )3 ( 3 ) 2 2 θ4(z; τ ) θ1(z; τ ) = + µ (τ ) 4 3 θ4(0; τ ) η(τ ) where 1 1 +τ τ µ2(τ )=µ(z= ; τ ); µ3(τ )=µ(z= ; τ ); µ4(τ )=µ(z= ; τ ) 2 2 2 πiz X 1 n(n+1) 2πinz −ie q 2 e µ(z; τ ) = (−1)n − n 2πiz θ1(z; τ ) n 1 q e 6 Then we can rewrite the ellitpic genus as X4 θ (z; τ )2 R~ − 1 ZK3 = 24chh= 1 ;`=0(z; τ ) 8 µi(τ ) 4 η(τ )3 i=2 Using q-expansion of functions µi we find X n− 1 8 (µ2(τ ) + µ3(τ ) + µ4(τ )) = −2 A(n)q 8 n=0 X R~ R~ ZK3 = 24ch 1 (z; τ ) + 2 A(n)ch 1 1 (z; τ ) h= 4 ;`=0 h= 4 +n;`= 2 n≥0 At smaller values of n, Fourier coefficients A(n) may be obtained by direct inspection. We find, A(0) = −1 n 1 2 3 4 5 6 7 8 ··· A(n) 45 231 770 2277 5796 13915 30843 65550 ::: Surprize: the dimensions of irreducible reps. of Math- ieu group M24 appear dimensions : f 45 231 770 990 1771 2024 2277 3312 3520 5313 5544 5796 10395 · · · g A(6) = 13915 = 3520 + 10395; A(7) = 30843 = 10395 + 5796 + 5544 + 5313 + 2024 + 1771 Mathieu moonshine [1] M24 is a subgroup of S24 (permutation group of 24 ob- 9 jects) and its order is given by ≈ 10 . M24 is known for 7 its many interesting arithmetic properties and in partic- ular intimately tied to Golay code of error corrections. Mathieu group appeared before in the work of Mukai on K3 surface. Mukai[5] considered K3 surfaces with finite automor- phism group. Then these groups are sugbgroups of M23. | Twisted Elliptic Genus Dimension of a representation equals the trace of the identity representation: we may identify as A(n) = T rVn 1 ∗ ∗ ∗ V1 = 45 + 45 ;V2 = 231 + 231 ;V3 = 770 + 770 ; ··· We may consider the trace of other group elements in M24 2 Ag(n) = T rVn g; g M24 T r g depends only on the conjugacy class of g. There exists 26 conjugacy classes fgg in M24 and also 26 ir- reducible representations fRg. We have the character table given by g χR = T rR g 8 1A 2A 3A 5A 4B 7A 7B 8A 6A 11A 15A 15B 14A 14B 23A 23B 12B 6B 4C 3B 2B 10A 21A 21B 4A 12A 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 23 7 5 3 3 2 2 1 1 1 0 0 0 0 0 0 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 252 28 9 2 4 0 0 0 1 -1 -1 -1 0 0 -1 -1 0 0 0 0 12 2 0 0 4 1 253 13 10 3 1 1 1 -1 -2 0 0 0 -1 -1 0 0 1 1 1 1 -11 -1 1 1 -3 0 1771 -21 16 1 -5 0 0 -1 0 0 1 1 0 0 0 0 -1 -1 -1 7 11 1 0 0 3 0 3520 64 10 0 0 -1 -1 0 -2 0 0 0 1 1 1 1 0 0 0 -8 0 0 -1 -1 0 0 + − + − − + 45 -3 0 0 1 e7 e7 -1 0 1 0 0 -e7 -e7 -1 -1 1 -1 1 3 5 0 e7 e7 -3 0 − + − + + − 45 -3 0 0 1 e7 e7 -1 0 1 0 0 -e7 -e7 -1 -1 1 -1 1 3 5 0 e7 e7 -3 0 + − + − − + 990 -18 0 0 2 e7 e7 0 0 0 0 0 e7 e7 1 1 1 -1 -2 3 -10 0 e7 e7 6 0 − + − + + − 990 -18 0 0 2 e7 e7 0 0 0 0 0 e7 e7 1 1 1 -1 -2 3 -10 0 e7 e7 6 0 + − − + 1035 -21 0 0 3 2 e7 2 e7 -1 0 1 0 0 0 0 0 0 -1 1 -1 -3 -5 0 -e7 -e7 3 0 − + + − 1035 -21 0 0 3 2 e 2 e -1 0 1 0 0 0 0 0 0 -1 1 -1 -3 -5 0 -e -e 3 0 0 7 7 7 7 1035 27 0 0 -1 -1 -1 1 0 1 0 0 -1 -1 0 0 0 2 3 6 35 0 -1 -1 3 0 + − 231 7 -3 1 -1 0 0 -1 1 0 e15 e15 0 0 1 1 0 0 3 0 -9 1 0 0 -1 -1 − + 231 7 -3 1 -1 0 0 -1 1 0 e15 e15 0 0 1 1 0 0 3 0 -9 1 0 0 -1 -1 + − 770 -14 5 0 -2 0 0 0 1 0 0 0 0 0 e23 e23 1 1 -2 -7 10 0 0 0 2 -1 − + 770 -14 5 0 -2 0 0 0 1 0 0 0 0 0 e23 e23 1 1 -2 -7 10 0 0 0 2 -1 483 35 6 -2 3 0 0 -1 2 -1 1 1 0 0 0 0 0 0 3 0 3 -2 0 0 3 0 1265 49 5 0 1 -2 -2 1 1 0 0 0 0 0 0 0 0 0 -3 8 -15 0 1 1 -7 -1 2024 8 -1 -1 0 1 1 0 -1 0 -1 -1 1 1 0 0 0 0 0 8 24 -1 1 1 8 -1 2277 21 0 -3 1 2 2 -1 0 0 0 0 0 0 0 0 0 2 -3 6 -19 1 -1 -1 -3 0 3312 48 0 -3 0 1 1 0 0 1 0 0 -1 -1 0 0 0 -2 0 -6 16 1 1 1 0 0 5313 49 -15 3 -3 0 0 -1 1 0 0 0 0 0 0 0 0 0 -3 0 9 -1 0 0 1 1 5796 -28 -9 1 4 0 0 0 -1 -1 1 1 0 0 0 0 0 0 0 0 36 1 0 0 -4 -1 5544 -56 9 -1 0 0 0 0 1 0 -1 -1 0 0 1 1 0 0 0 0 24 -1 0 0 -8 1 10395 -21 0 0 -1 0 0 1 0 0 0 0 0 0 -1 -1 0 0 3 0 -45 0 0 0 3 0 ( ) 1 p Character table of the Mathieu group M24 Here we have used e = −p − 1 .
Recommended publications
  • Flavor Moonshine

    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.
  • Umbral Moonshine and K3 Surfaces Arxiv:1406.0619V3 [Hep-Th]

    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.
  • Mock Moonshine by Prof. Kishore Marathe City University of New

    Mock Moonshine by Prof. Kishore Marathe City University of New

    Mock Moonshine by Prof. Kishore Marathe City University of New York, Brooklyn College International Conference on Recebt Developments in String Theory Congressi Stefano Franscini - Monte Verita, Switzerland July 21 to 25, 2014 ====================== 1 Thirty years ago some very surprising relations between the Fourier coefficients of the Jacobi Hauptmodul or the J-function and represen- tations of the largest finite simple sporadic group, the Monster were discovered. Precise formulation of these relations is now called the ’Monstrous Moonshine’. It has given rise to a large body of new mathematics. The moonshine correspondence has been extended to other groups revealing unexpected relations to conformal field theory, gravity and string theory in physics and to Ramanujan’s mock theta functions and its extensions in mathe- matics. We call these results which have been discoverd in the last 30 years ’ Mock Moon- shine’. We will survey some recent develop- ments related to Mock Moonshine and indicate directions for future research. 2 List of Topics 1. Some Historical Remarks 2. Modular objects 3. Monstrous Moonshine Conjectures 4. Monstrous Moonshine and Vertex Algebras 5. Moonshine for other groups 6. Mock Moonshine and Field Theories 3 The following historical material is taken from [4]. Recall that a group is called simple if it has no proper non-trivial normal subgroup. Thus an abelian group is simple if and only if it is isomorphic to one of the groups Zp, for p a prime number. This is the simplest example of an infinite family of finite simple groups. An- other infinite family of finite simple groups is the family of alternating groups An,n> 4 that we study in the first course in algebra.
  • Arxiv:1911.10534V3 [Math.AT] 17 Apr 2020 Statement

    Arxiv:1911.10534V3 [Math.AT] 17 Apr 2020 Statement

    THE ANDO-HOPKINS-REZK ORIENTATION IS SURJECTIVE SANATH DEVALAPURKAR Abstract. We show that the map π∗MString ! π∗tmf induced by the Ando-Hopkins-Rezk orientation is surjective. This proves an unpublished claim of Hopkins and Mahowald. We do so by constructing an E1-ring B and a map B ! MString such that the composite B ! MString ! tmf is surjective on homotopy. Applications to differential topology, and in particular to Hirzebruch's prize question, are discussed. 1. Introduction The goal of this paper is to show the following result. Theorem 1.1. The map π∗MString ! π∗tmf induced by the Ando-Hopkins-Rezk orientation is surjective. This integral result was originally stated as [Hop02, Theorem 6.25], but, to the best of our knowledge, no proof has appeared in the literature. In [HM02], Hopkins and Mahowald give a proof sketch of Theorem 1.1 for elements of π∗tmf of Adams-Novikov filtration 0. The analogue of Theorem 1.1 for bo (namely, the statement that the map π∗MSpin ! π∗bo induced by the Atiyah-Bott-Shapiro orientation is surjective) is classical [Mil63]. In Section2, we present (as a warmup) a proof of this surjectivity result for bo via a technique which generalizes to prove Theorem 1.1. We construct an E1-ring A with an E1-map A ! MSpin. The E1-ring A is a particular E1-Thom spectrum whose mod 2 homology is given by the polynomial subalgebra 4 F2[ζ1 ] of the mod 2 dual Steenrod algebra. The Atiyah-Bott-Shapiro orientation MSpin ! bo is an E1-map, and so the composite A ! MSpin ! bo is an E1-map.
  • Our Mathematical Universe: I. How the Monster Group Dictates All of Physics

    Our Mathematical Universe: I. How the Monster Group Dictates All of Physics

    October, 2011 PROGRESS IN PHYSICS Volume 4 Our Mathematical Universe: I. How the Monster Group Dictates All of Physics Franklin Potter Sciencegems.com, 8642 Marvale Drive, Huntington Beach, CA 92646. E-mail: [email protected] A 4th family b’ quark would confirm that our physical Universe is mathematical and is discrete at the Planck scale. I explain how the Fischer-Greiss Monster Group dic- tates the Standard Model of leptons and quarks in discrete 4-D internal symmetry space and, combined with discrete 4-D spacetime, uniquely produces the finite group Weyl E8 x Weyl E8 = “Weyl” SO(9,1). The Monster’s j-invariant function determines mass ratios of the particles in finite binary rotational subgroups of the Standard Model gauge group, dictates Mobius¨ transformations that lead to the conservation laws, and connects interactions to triality, the Leech lattice, and Golay-24 information coding. 1 Introduction 5. Both 4-D spacetime and 4-D internal symmetry space are discrete at the Planck scale, and both spaces can The ultimate idea that our physical Universe is mathematical be telescoped upwards mathematically by icosians to at the fundamental scale has been conjectured for many cen- 8-D spaces that uniquely combine into 10-D discrete turies. In the past, our marginal understanding of the origin spacetime with discrete Weyl E x Weyl E symmetry of the physical rules of the Universe has been peppered with 8 8 (not the E x E Lie group of superstrings/M-theory). huge gaps, but today our increased understanding of funda- 8 8 mental particles promises to eliminate most of those gaps to 6.
  • Construction of an Umbral Module

    Construction of an Umbral Module

    Thank the Organizers Construction of an Umbral module With John Duncan J. Harvey, Eurostrings 2015 OUTLINE 1. Moonshine, Monstrous and Umbral 2. A free fermion trick 3. The 3E8 example of Umbral Moonshine 4. Indefinite lattice theta functions 5. A Vertex Operator Algebra for indefinite lattices 6. Putting the pieces together 7. What does it mean for string theory? M O O N S H I N E M (Mock)ModularForms G S Groups (Finite) String theory A Algebras (VOA) The original example of this structure is Monstrous Moonshine G The Monster sporadic group M The weight zero modular function 1 2⇡i⌧ J(⌧)=q− + 196884q + ,q= e ··· A Vertex Operator Algebra (OPE of chiral Vertex operators) S Bosonic or Heterotic String on an asymmetric orbifold background 24 (R /ΛL)/(Z/2) We now have Mathieu Moonshine and its extension to Umbral Moonshine. We know the extension for two of these objects: G : M24 or more generally GX = Aut(LX )/W X M : A weight 1/2 mock modular form whose coefficients count the multiplicities of massive Eguchi, N=4 SCA characters in the elliptic genus of K3 Ooguri, Tachikawa (2) 1/8 2 3 H (⌧)=2q− 1 + 45q + 231q + 770q + − ··· or more generally, a weight 1/2, m-1 component X vector-valued mock modular form Hr (⌧) Here L X is one of the 23, rank 24 Niemeier lattices and m = m ( X ) is its Coxeter number. Are there analogs of the VOA algebraic structure and/or a string theoretic interpretation of these structures? More specifically, is there an explicit construction of the infinite-dimensional G X modules implied by these constructions along with an explicit action of G X ? That is, the M24 mock modular form suggests that there exists an infinite set of vector spaces (2) (2) (2) K 1/8,K7/8,K15/8, − ··· of dimension 2, 2x45, 2x231, …that provide representations of M24 and should be combined into (2) (2) 1 K = n=0 Kn 1/8 − L In Monstrous Moonshine we have \ V = Vn n 1 M≥− 1 n dimVn = c(n),J(q)= c(n)q n= 1 X− with V n the vector space of states of conformal dimension n c/ 24 in the Monster CFT.
  • The Romance Between Maths and Physics

    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.
  • String Theory Moonshine

    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.
  • §2. Elliptic Curves: J-Invariant (Jan 31, Feb 4,7,9,11,14) After

    §2. Elliptic Curves: J-Invariant (Jan 31, Feb 4,7,9,11,14) After

    24 JENIA TEVELEV §2. Elliptic curves: j-invariant (Jan 31, Feb 4,7,9,11,14) After the projective line P1, the easiest algebraic curve to understand is an elliptic curve (Riemann surface of genus 1). Let M = isom. classes of elliptic curves . 1 { } We are going to assign to each elliptic curve a number, called its j-invariant and prove that 1 M1 = Aj . 1 1 So as a space M1 A is not very interesting. However, understanding A ! as a moduli space of elliptic curves leads to some breath-taking mathemat- ics. More generally, we introduce M = isom. classes of smooth projective curves of genus g g { } and M = isom. classes of curves C of genus g with points p , . , p C . g,n { 1 n ∈ } We will return to these moduli spaces later in the course. But first let us recall some basic facts about algebraic curves = compact Riemann surfaces. We refer to [G] and [Mi] for a rigorous and detailed exposition. §2.1. Algebraic functions, algebraic curves, and Riemann surfaces. The theory of algebraic curves has roots in analysis of Abelian integrals. An easiest example is the elliptic integral: in 1655 Wallis began to study the arc length of an ellipse (X/a)2 + (Y/b)2 = 1. The equation for the ellipse can be solved for Y : Y = (b/a) (a2 X2), − and this can easily be differentiated !to find bX Y ! = − . a√a2 X2 − 2 This is squared and put into the integral 1 + (Y !) dX for the arc length. Now the substitution x = X/a results in " ! 1 e2x2 s = a − dx, 1 x2 # $ − between the limits 0 and X/a, where e = 1 (b/a)2 is the eccentricity.
  • K3 Elliptic Genus and an Umbral Moonshine Module

    K3 Elliptic Genus and an Umbral Moonshine Module

    UvA-DARE (Digital Academic Repository) K3 Elliptic Genus and an Umbral Moonshine Module Anagiannis, V.; Cheng, M.C.N.; Harrison, S.M. DOI 10.1007/s00220-019-03314-w Publication date 2019 Document Version Final published version Published in Communications in Mathematical Physics License CC BY Link to publication Citation for published version (APA): Anagiannis, V., Cheng, M. C. N., & Harrison, S. M. (2019). K3 Elliptic Genus and an Umbral Moonshine Module. Communications in Mathematical Physics, 366(2), 647-680. https://doi.org/10.1007/s00220-019-03314-w General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:27 Sep 2021 Commun. Math. Phys. 366, 647–680 (2019) Communications in Digital Object Identifier (DOI) https://doi.org/10.1007/s00220-019-03314-w Mathematical Physics K3 Elliptic Genus and an Umbral Moonshine Module Vassilis Anagiannis1, Miranda C.
  • K3 Surfaces, N= 4 Dyons, and the Mathieu Group

    K3 Surfaces, N= 4 Dyons, and the Mathieu Group

    K3 Surfaces, =4 Dyons, N and the Mathieu Group M24 Miranda C. N. Cheng Department of Physics, Harvard University, Cambridge, MA 02138, USA Abstract A close relationship between K3 surfaces and the Mathieu groups has been established in the last century. Furthermore, it has been observed recently that the elliptic genus of K3 has a natural inter- pretation in terms of the dimensions of representations of the largest Mathieu group M24. In this paper we first give further evidence for this possibility by studying the elliptic genus of K3 surfaces twisted by some simple symplectic automorphisms. These partition functions with insertions of elements of M24 (the McKay-Thompson series) give further information about the relevant representation. We then point out that this new “moonshine” for the largest Mathieu group is con- nected to an earlier observation on a moonshine of M24 through the 1/4-BPS spectrum of K3 T 2-compactified type II string theory. This insight on the symmetry× of the theory sheds new light on the gener- alised Kac-Moody algebra structure appearing in the spectrum, and leads to predictions for new elliptic genera of K3, perturbative spec- arXiv:1005.5415v2 [hep-th] 3 Jun 2010 trum of the toroidally compactified heterotic string, and the index for the 1/4-BPS dyons in the d = 4, = 4 string theory, twisted by elements of the group of stringy K3N isometries. 1 1 Introduction and Summary Recently there have been two new observations relating K3 surfaces and the largest Mathieu group M24. They seem to suggest that the sporadic group M24 naturally acts on the spectrum of K3-compactified string theory.
  • Umbral Moonshine and K3 Surfaces Arxiv:1406.0619V4 [Hep-Th] 18 Jul 2017

    Umbral Moonshine and K3 Surfaces Arxiv:1406.0619V4 [Hep-Th] 18 Jul 2017

    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.0619v4 [hep-th] 18 Jul 2017 ∗[email protected] [email protected] zOn leave from CNRS, Paris. 1 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 49 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.