Monstrous Moonshine and Monstrous Lie Superalgebras
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Generating the Mathieu Groups and Associated Steiner Systems
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 112 (1993) 41-47 41 North-Holland Generating the Mathieu groups and associated Steiner systems Marston Conder Department of Mathematics and Statistics, University of Auckland, Private Bag 92019, Auckland, New Zealand Received 13 July 1989 Revised 3 May 1991 Abstract Conder, M., Generating the Mathieu groups and associated Steiner systems, Discrete Mathematics 112 (1993) 41-47. With the aid of two coset diagrams which are easy to remember, it is shown how pairs of generators may be obtained for each of the Mathieu groups M,,, MIz, Mz2, M,, and Mz4, and also how it is then possible to use these generators to construct blocks of the associated Steiner systems S(4,5,1 l), S(5,6,12), S(3,6,22), S(4,7,23) and S(5,8,24) respectively. 1. Introduction Suppose you land yourself in 24-dimensional space, and are faced with the problem of finding the best way to pack spheres in a box. As is well known, what you really need for this is the Leech Lattice, but alas: you forgot to bring along your Miracle Octad Generator. You need to construct the Leech Lattice from scratch. This may not be so easy! But all is not lost: if you can somehow remember how to define the Mathieu group Mz4, you might be able to produce the blocks of a Steiner system S(5,8,24), and the rest can follow. In this paper it is shown how two coset diagrams (which are easy to remember) can be used to obtain pairs of generators for all five of the Mathieu groups M,,, M12, M22> Mz3 and Mz4, and also how blocks may be constructed from these for each of the Steiner systems S(4,5,1 I), S(5,6,12), S(3,6,22), S(4,7,23) and S(5,8,24) respectively. -
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]
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. -
Arxiv:Math/0612474V3 [Math.NT] 23 May 2017 20D08
KAC-MOODY ALGEBRAS, THE MONSTROUS MOONSHINE, JACOBI FORMS AND INFINITE PRODUCTS Jae-Hyun Yang Table of Contents 1. Introduction Notations 2. Kac-Moody Lie Algebras Appendix : Generalized Kac-Moody Algebras 3. The Moonshine Conjectures and the Monster Lie Algebra Appendix : The No-Ghost Theorem 4. Jacobi Forms 5. Infinite Products and Modular Forms 6. Final Remarks 6.1. The Fake Monster Lie Algebras 6.2. Generalized Kac-Moody Algebras of the Arithmetic Type 6.3. Open Problems Appendix A : Classical Modular Forms Appendix B : Kohnen Plus Space and Maass Space arXiv:math/0612474v3 [math.NT] 23 May 2017 Appendix C : The Orthogonal Group Os+2,2(R) Appendix D : The Leech Lattice Λ References This work was in part supported by TGRC-KOSEF. Mathematics Subject Classification (1991) : Primary 11F30, 11F55, 17B65, 17B67, 20C34, 20D08. Typeset by AMS-TEX 1 2 JAE-HYUN YANG 1. Introduction Recently R. E. Borcherds obtained some quite interesting results in [Bo6-7]. First he solved the Moonshine Conjectures made by Conway and Norton([C-N]). Secondly he constructed automorphic forms on the orthogonal group Os+2,2(R) which are modular products and then wrote some of the well-known meromorphic modular forms as infinite products. Modular products roughly mean infinite prod- ucts whose exponents are the coefficients of certain nearly holomorphic modular forms. The theory of Jacobi forms plays an important role in his second work in [Bo7]. More than 10 years ago Feingold and Frenkel([F-F]) realized the connec- tion between the theory of a special hyperbolic Kac-Moody Lie algebra of the type (1) HA1 and that of Jacobi forms of degree one and then generalized the results of H. -
Sphere Packing, Lattice Packing, and Related Problems
Sphere packing, lattice packing, and related problems Abhinav Kumar Stony Brook April 25, 2018 Sphere packings Definition n A sphere packing in R is a collection of spheres/balls of equal size which do not overlap (except for touching). The density of a sphere packing is the volume fraction of space occupied by the balls. ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ In dimension 1, we can achieve density 1 by laying intervals end to end. In dimension 2, the best possible is by using the hexagonal lattice. [Fejes T´oth1940] Sphere packing problem n Problem: Find a/the densest sphere packing(s) in R . In dimension 2, the best possible is by using the hexagonal lattice. [Fejes T´oth1940] Sphere packing problem n Problem: Find a/the densest sphere packing(s) in R . In dimension 1, we can achieve density 1 by laying intervals end to end. Sphere packing problem n Problem: Find a/the densest sphere packing(s) in R . In dimension 1, we can achieve density 1 by laying intervals end to end. In dimension 2, the best possible is by using the hexagonal lattice. [Fejes T´oth1940] Sphere packing problem II In dimension 3, the best possible way is to stack layers of the solution in 2 dimensions. This is Kepler's conjecture, now a theorem of Hales and collaborators. mmm m mmm m There are infinitely (in fact, uncountably) many ways of doing this! These are the Barlow packings. Face centered cubic packing Image: Greg A L (Wikipedia), CC BY-SA 3.0 license But (until very recently!) no proofs. In very high dimensions (say ≥ 1000) densest packings are likely to be close to disordered. -
ORBITS in the LEECH LATTICE 1. Introduction the Leech Lattice Λ Is a Lattice in 24-Dimensional Euclidean Space with Many Remark
ORBITS IN THE LEECH LATTICE DANIEL ALLCOCK Abstract. We provide an algorithm for determining whether two vectors in the Leech lattice are equivalent under its isometry group, 18 the Conway group Co 0 of order 8 10 . Our methods rely on and develop the work of R. T.∼ Curtis,× and we describe our in- tended applications to the symmetry groups of Lorentzian lattices and the enumeration of lattices of dimension 24 with good prop- erties such as having small determinant. Our≈ algorithm reduces 12 the test of equivalence to 4 tests under the subgroup 2 :M24, ≤ and a test under this subgroup to 12 tests under M24. We also give algorithms for testing equivalence≤ under these two subgroups. Finally, we analyze the performance of the algorithm. 1. Introduction The Leech lattice Λ is a lattice in 24-dimensional Euclidean space with many remarkable properties, for us the most important of which is that its isometry group (modulo I ) is one of the sporadic finite {± } simple groups. The isometry group is called the Conway group Co 0, and our purpose is to present an algorithm for a computer to determine whether two given vectors of Λ are equivalent under Co 0. The group is fairly large, or order > 8 1018, so the obvious try-every-isometry algorithm is useless. Instead,× we use the geometry of Λ to build a faster algorithm; along the way we build algorithms for the problem 24 12 of equivalence of vectors in R under the subgroups 2 :M24 and M24, where M24 is the Mathieu group permuting the 24 coordinates. -
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. -
Optimality and Uniqueness of the Leech Lattice Among Lattices
ANNALS OF MATHEMATICS Optimality and uniqueness of the Leech lattice among lattices By Henry Cohn and Abhinav Kumar SECOND SERIES, VOL. 170, NO. 3 November, 2009 anmaah Annals of Mathematics, 170 (2009), 1003–1050 Optimality and uniqueness of the Leech lattice among lattices By HENRY COHN and ABHINAV KUMAR Dedicated to Oded Schramm (10 December 1961 – 1 September 2008) Abstract We prove that the Leech lattice is the unique densest lattice in R24. The proof combines human reasoning with computer verification of the properties of certain explicit polynomials. We furthermore prove that no sphere packing in R24 can 30 exceed the Leech lattice’s density by a factor of more than 1 1:65 10 , and we 8 C give a new proof that E8 is the unique densest lattice in R . 1. Introduction It is a long-standing open problem in geometry and number theory to find the densest lattice in Rn. Recall that a lattice ƒ Rn is a discrete subgroup of rank n; a minimal vector in ƒ is a nonzero vector of minimal length. Let ƒ vol.Rn=ƒ/ j j D denote the covolume of ƒ, i.e., the volume of a fundamental parallelotope or the absolute value of the determinant of a basis of ƒ. If r is the minimal vector length of ƒ, then spheres of radius r=2 centered at the points of ƒ do not overlap except tangentially. This construction yields a sphere packing of density n=2 r Án 1 ; .n=2/Š 2 ƒ j j since the volume of a unit ball in Rn is n=2=.n=2/Š, where for odd n we define .n=2/Š .n=2 1/. -
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. -
Octonions and the Leech Lattice
Octonions and the Leech lattice Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS 18th December 2008 Abstract We give a new, elementary, description of the Leech lattice in terms of octonions, thereby providing the first real explanation of the fact that the number of minimal vectors, 196560, can be expressed in the form 3 × 240 × (1 + 16 + 16 × 16). We also give an easy proof that it is an even self-dual lattice. 1 Introduction The Leech lattice occupies a special place in mathematics. It is the unique 24- dimensional even self-dual lattice with no vectors of norm 2, and defines the unique densest lattice packing of spheres in 24 dimensions. Its automorphism group is very large, and is the double cover of Conway’s group Co1 [2], one of the most important of the 26 sporadic simple groups. This group plays a crucial role in the construction of the Monster [13, 4], which is the largest of the sporadic simple groups, and has connections with modular forms (so- called ‘Monstrous Moonshine’) and many other areas, including theoretical physics. The book by Conway and Sloane [5] is a good introduction to this lattice and its many applications. It is not surprising therefore that there is a huge literature on the Leech lattice, not just within mathematics but in the physics literature too. Many attempts have been made in particular to find simplified constructions (see for example the 23 constructions described in [3] and the four constructions 1 described in [15]). -
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. -
§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.