DOCSLIB.ORG

A Uniform Construction of the Holomorphic Voas of Central

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Uniform Construction of the Holomorphic Voas of Central A Uniform Construction of the 71 Holomorphic VOAs of c = 24 from the Leech Lattice Sven Möller (joint work with Nils Scheithauer) Vertex Operator Algebras, Number Theory, and Related Topics: A Conference in Honor of Geoffrey Mason, California State University, Sacramento 12th June 2018 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Contents 1 Schellekens’ List 2 Orbifold Construction and Dimension Formulae 3 A Generalised Deep-Hole Construction Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Holomorphic VOAs of Small Central Charge Proposition (Consequence of [Zhu96]) Let V be a strongly rational, holomorphic VOA. Then the central charge c of V is in 8Z≥0. + c = 8: VE8 , c = 16: V 2 , V (only lattice theories) [DM04] E8 D16 Theorem ([Sch93, DM04, EMS15]) Let V be a strongly rational, holomorphic VOA of central charge c = 24. Then the Lie algebra V1 is isomorphic to one of the 71 Lie algebras on Schellekens’ list (V \, 24 Niemeier lattice theories, etc. with chV (τ) = j(τ) − 744 + dim(V1)). c = 32: already more than 1 160 000 000 lattice theories Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Classification Orbifold constructions give all 71 cases on Schellekens’ list. [FLM88, DGM90, Don93, DGM96, Lam11, LS12, LS15, Miy13, SS16, EMS15, Mö16, LS16b, LS16a, LL16] Theorem (Classification I) There is a strongly rational, holomorphic VOA V of central charge c = 24 with Lie algebra V1 if and only if V1 is isomorphic to one of the 71 Lie algebras on Schellekens’ list. Conjecture (Classification II) There are up to isomorphism exactly 71 strongly rational, holomorphic VOAs V of central charge c = 24. Uniqueness proved for all cases except V \. [DM04, LS16c, KLL16, LS15, LL16, EMS17, LS17, LS18] Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Schellekens’ List D. 0 24 36 48 60 72 84 96 108 120 132 144 156 168 192 216 240 264 288 300 312 336 360 384 408 456 552 624 744 1128 Rk. 0 0 4 C4,10 A6,7 A2,6 A2,2 6 D4,12 A1,2 F4,6 D5,8 A1,2A5,6 2 A1D6,5 B2,3 8 2 A1C5,3 A4,5 G2,2 3 A1A7,4 A1,2 A2B2 10 A3C7,2 A3 2 E 3,4 A1C3,2 6,4 D5,4 4 2 A2,2 3 A4,2 A3D7,3 A1 2 D4,4 C4,2 A G2 A A12 A6 A 2 B3 A F B2 5 B 12 1,4 2,3 5,3 4,2 8,2 4,2 6,2 E 12,2 6 4 A8,3 3 7,3 B2,2 D4,3 B3,2 E6,3G2 A4A9,2 2 2 B3 B E A2A5,2 A2D2 2 5 7,2 3 5,2 2 B4 D8,2 16 4 4 B2 B3 C4 A5C5 F4 B6 16 A1,2 A1A3,2 A7D9,2 B8E8,2 A A D6,2 E6,2 C10 B4D2 3 7,2 B C 2 C F 2 2 4,2 C 2 4 6 8 4 3 4 C4 4 2 A11D7 3 A5D4 A9D6 A17E7 E8 E6 24 24 12 8 6 4 2 2 3 2 3 2 24 C A1 A2 A3 A4 A6 A7D5 A8 A12 D8 A15D9 D12 A24 D24 6 4 4 2 D4 D6 E6 D10E7 D16E8 Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Cyclic Orbifold Construction Let V be a strongly rational, holomorphic VOA and let G = hgi with g ∈ Aut(V ) of order n and type n{0}, i.e. ρ(V (g)) ∈ (1/n)Z. The fusion algebra of V G is the group algebra of the finite quadratic space Zn × Zn with q((i, j)) = ij/n + Z. Assume that V G satisfies the positivity condition. Then the direct sum of irreducible V G -modules V orb(g) := M V (g i )G i∈Zn is again a strongly rational, holomorphic VOA. Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Dimension Formula I Conjecture (Dimension Formula I) In the orbifold situation with c = 24: φ((d, n/d)) n d X 24 + dim(V g ) − dim(V orb(g )) = 24 + R (d, n/d) d 1 1 d|n with 24 n−1 R = X X d dim(W (i,j)) φ(n) i,j,k k/n k=1 i,j∈Zn ij=k (mod n) and di,j,k ∈ Z>0. ∗ Proved if n prime, g(Γ0(n)\H ) = 0 [EMS17] or n = 14,... Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Dimension Formula II Conjecture (Dimension Formula II) In the orbifold situation with c = 24: orb(g) X gd ˜ dim(V1 ) = 24 + cd dim(V1 ) − R d|n P with the cd determined by d|n(t, d)cd = n/t for all t | n and 24 n−1 R˜ = X X d˜ dim(W (i,j)) φ(n) i,j,k k/n k=1 i,j∈Zn ij=k (mod n) ˜ ˜ with di,j,k ∈ Z≥0. Moreover, R ≥ 24 if n prime and g(Γ0(n)) 6= 0. ∗ Proved if n prime, g(Γ0(n)\H ) = 0 or n = 14,... Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Extremal Orbifolds Corollary (Upper Bound) In the orbifold situation with c = 24: orb(g) X gd dim(V1 ) ≤ 24 + cd dim(V1 ). d|n Definition We call g extremal if equality holds, i.e. if R˜ = 0. This is the case for example if ρ(V (g i )) ≥ 1 for all i ∈ Zn \{0} (equivalence for n prime and g(Γ0(n)) = 0). No extremal orbifolds for n prime and g(Γ0(n)) 6= 0. Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Deep-Hole Construction Construction of the 23 Niemeier lattices N(Φ) with Φ 6= ∅ from the deep holes of the Leech lattice Λ [CS99]. −(2πi)h Inner automorphism of VΛ of the form g = e 0 for ∼ ∨ h ∈ h = Λ ⊗Z C = (VΛ)1 a deep hole (of order n = h , the dual Coxeter number of Φ, i.e. nh ∈ Λ). Then ρ(VΛ(g)) = min hα, αi/2 = 1 α∈Λ+h orb(g) and g is extremal, i.e. dim((VΛ )1) = 24 + 24n. orb(g) ∼ Indeed, VΛ = VN(Φ) where Φ is the root system from the deep-hole construction. g h (Note that VΛ = VΛh with Λ := {α ∈ Λ | hα, hi ∈ Z}.) Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Generalised Deep-Hole Construction All finite-order automorphisms in Aut(VΛ) are conjugate to −(2πi)h0 ∼ g =ν ˆe for ν ∈ Aut(Λ) = Co0 and h ∈ πν (h) [DN99]. Q bt The dimension formula yields for ν with cycle shape t|m t orb(g) X ˜ dim(V1 ) = 24 + n bt /t − R. t|m Take ν from list [Hö17] of 11 (12) conjugacy classes hνi in O(Λ) arising from certain cyclic subgroups of the glue codes of the 23 Niemeier lattices with roots. g orb(g) Search for h ∈ πν (h) such that rk((VΛ )1) = rk((VΛ )1) and g is extremal, i.e. has large conformal weights i ρ(VΛ(g )) = ρνi + min hα, αi/2. α∈πνi (Λ)+ih orb(g) ∼ Expect that VΛ = U for all U on Schellekens’ list (observe that ∨ n = (hj /kj ) ord(ˆν) for simple components of U1). g ν,h (Note VΛν,h ⊆ VΛ with Λ := {α ∈ Λ | να = α, hα, hi ∈ Z}.) Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Automorphisms cycl. shp. orders n # orb. rk. orb. dim. A 124 1, 2,..., 25, 30, 46 24 24 24 + 24n B 1828 2, 4,..., 18, 22, 30 17 16 24 + 12n C 1636 3, 6, 9, 12, 18 6 12 24 + 8n D 212 2, 6, 10,..., 22, 46 9 12 24 + 6n E 142244 4, 8, 12, 16 5 10 24 + 6n F 1454 5, 10 2 8 24 + (24/5)n G 12223262 6, 12 2 8 24 + 4n H 1373 7 1 6 24 + (24/7)n I 12214182 8 1 6 24 + 3n J 2363 6, 18 2 6 24 + 2n K 22102 10 1 4 24 + (6/5)n L 1−24224 2 1 0 24 − 12n Sven Möller A Uniform Construction of the 71 holomorphic VOAs of c = 24 Schellekens’ List Orbifold Construction and Dimension Formulae A Generalised Deep-Hole Construction Results and Outlook Have candidate automorphism g for each of the 71 cases. Status: Proof of orbifold construction from the Leech lattice for 63 of the 71 cases. Application: Uniform proof of the uniqueness conjecture via inverse orbifolds.
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.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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/.
    [Show full text]
  • 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]).
    [Show full text]
  • The Leech Lattice Λ and the Conway Group ·O Revisited
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 362, Number 3, March 2010, Pages 1351–1369 S 0002-9947(09)04726-6 Article electronically published on October 20, 2009 THE LEECH LATTICE Λ AND THE CONWAY GROUP ·O REVISITED JOHN N. BRAY AND ROBERT T. CURTIS Dedicated to John Horton Conway as he approaches his seventieth birthday. Abstract. We give a new, concise definition of the Conway group ·Oasfol- lows. The Mathieu group M24 acts quintuply transitively on 24 letters and so acts transitively (but imprimitively) on the set of 24 tetrads. We use this 4 24 action to define a progenitor P of shape 2 4 :M24; that is, a free product of cyclic groups of order 2 extended by a group of permutations of the involutory generators. A simple lemma leads us directly to an easily described, short relator, and factoring P by this relator results in ·O. Consideration of the lowest dimension in which ·O can act faithfully produces Conway’s elements ξT and the 24–dimensional real, orthogonal representation. The Leech lattice is obtained as the set of images under ·O of the integral vectors in R24. 1. Introduction The Leech lattice Λ was discovered by Leech [14] in 1965 in connection with the packing of non-overlapping identical spheres into the 24–dimensional space R24 so that their centres lie at the lattice points; see Conway and Sloane [9]. Its con- struction relies heavily on the rich combinatorial structure underlying the Mathieu group M24. The full group of symmeries of Λ is, of course, infinite, as it contains all translations by a lattice vector.
    [Show full text]
  • U-Duality and the Leech Lattice
    U-Duality and the Leech Lattice Michael Rios∗ Dyonica ICMQG Los Angeles, CA USA April 5, 2018 Abstract It has recently been shown that the full automorphism group of the Leech lattice, Conway’s group Co , can be generated by 3 3 matrices 0 × over the octonions. We show such matrices are of type F4 in E6(−26), the U-duality group for = 2, D = 5 exceptional magic supergravity. By mapping points of theN Leech lattice to black hole charge vectors, it is seen Co0 is generated by U-duality transformations acting as rota- tions in the charge space for BPS black holes. Keywords : Leech Lattice, U-duality, BPS black holes. arXiv:1307.1554v2 [hep-th] 4 Apr 2018 ∗email: [email protected] 1 Contents 1 Introduction 2 2 Octonions, E8 and the Leech Lattice 3 2.1 TheOctonions .......................... 3 2.2 E8 andtheLeechLattice .................... 3 3 Jordan Algebras and D = 5 Magic Supergravity 4 3.1 JordanAlgebras ......................... 4 3.2 D =5MagicSupergravity. 5 4 The Leech Lattice and U-Duality 6 4.1 The Leech Lattice and BPS Black Holes . 6 4.2 Conway’s Group Co0 and U-Duality . 6 5 Conclusion 7 1 Introduction Recently, Wilson has given a three-dimensional octonionic construction of the Leech lattice and has shown its automorphism group, Conway’s group Co = 2 Co , is generated by 3 3 matrices over the octonions [1, 2]. Oc- 0 · 1 × tonions have found wide application in the black hole-qudit correspondence [3]-[9][19, 34, 36, 39, 40], through the study of the quantum informational in- terpretations of supergravities arising from toroidally compactified M-theory and magic supergravity theories [10]-[23],[28]-[30][33, 37, 38].
    [Show full text]
  • The Complex Lorentzian Leech Lattice and the Bimonster
    The complex Lorentzian Leech lattice and the bimonster Author : Tathagata Basak Address : Department of Mathematics, University of California at Berkeley, Berkeley, CA 94720 email : [email protected] Abstract: We find 26 reflections in the automorphism group of the the Lorentzian Leech lattice L over Z[e2πi/3] that form the Coxeter diagram seen in the presentation of the bimonster. We prove that these 26 reflections generate the automorphism group of L. We find evidence that these reflections behave like the simple roots and the vector fixed by the diagram automorphisms behaves like the Weyl vector for the reflection group. keywords: complex Leech lattice, complex hyperbolic reflection group, monster, Weyl group, Cox- eter diagram. 1. Introduction Let ω = e2πi/3 and = Z[ω] be the ring of Eisenstein integers. Let Λ be the Leech lattice considered as a twelveE dimensional negative definite complex Hermitian lattice over . In this paper we study the automorphism group of the Lorentzian complex Leech lattice LE = Λ H, where H is the lattice with gram matrix 0 θ¯ and θ = ω ω¯. We call ⊕ E⊕E θ 0 − H the hyperbolic cell. L is a Hermitian Lorentzian lattice over ; the underlying integer E ⊥ lattice is II2,26. A complex reflection in a lattice vector r L of negative norm, fixes r and multiplies r by a cube root of unity. The vector r is called∈ a root of the reflection. The subgroup R(L) of Aut(L) generated by these complex reflections is the reflection group of L. Modulo multiplication by scalars R(L) is a complex hyperbolic reflection group acting faithfully on 13 dimensional complex hyperbolic space CH13.
    [Show full text]
  • Constructing Integral Lattices with Prescribed Minimum. Ii
    MATHEMATICSOF COMPUTATION VOLUME60, NUMBER202 APRIL 1993, PAGES 817-825 CONSTRUCTING INTEGRAL LATTICES WITH PRESCRIBED MINIMUM. II W. PLESKEN AND M. POHST Dedicated to the memory ofH. Zassenhaus Abstract. Integral laminated lattices with minimum 4 which are generated by vectors of minimum length are constructed systematically together with their automorphism groups. All lattices obtained lie in the Leech lattice. 1. Introduction In this paper we continue our investigation of the lamination process of in- tegral lattices with prescribed minimum m started in [6]. More precisely, we consider all series Ai ç A2 ç A3 ç ... of /-dimensional lattices A, in Eu- clidean space with scalar product ( , ) such that (i) A, is integral; (ii) m = min(A;) := min{(x, x) | 0 ^ x e A,} ; (iii) A, is generated by its vectors of minimum norm; (iv) det(A,) is minimal amongst all such /-dimensional lattices containing A,_i, where det(A;) is the determinant of a Gram matrix of A,. In [6] we showed that every such sequence for minimum m = 3 necessarily contains a certain unimodular lattice A23 of dimension 23. Here we prove that for minimum m = 4, the lattice A24 must necessarily be the Leech lattice. Thus, we have an affirmative answer for m = 2,3, 4 to the problem raised by John Thompson, whether each such series necessarily passes through a uni- modular lattice. Essentially the same techniques as in [6] are applied. In §3 we investigate the effect of the lamination process on some lattices which are denser than the laminated lattices but which still have minimum 4, are integral, and which are generated by vectors of minimum norm.
    [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]
  • Dimension Formulae and Generalised Deep Holes of the Leech Lattice Vertex Operator Algebra
    DIMENSION FORMULAE AND GENERALISED DEEP HOLES OF THE LEECH LATTICE VERTEX OPERATOR ALGEBRA SVEN MÖLLERaAND NILS R. SCHEITHAUERb Dedicated to the memory of John Horton Conway. Abstract. We prove a dimension formula for the weight-1 subspace of a ver- tex operator algebra V orb(g) obtained by orbifolding a strongly rational, holo- morphic vertex operator algebra V of central charge 24 with a finite-order automorphism g. Based on an upper bound derived from this formula we introduce the notion of a generalised deep hole in Aut(V ). Then we show that the orbifold construction defines a bijection between the generalised deep holes of the Leech lattice vertex operator algebra VΛ with non- trivial fixed-point Lie subalgebra and the strongly rational, holomorphic vertex operator algebras of central charge 24 with non-vanishing weight-1 space. This provides the first uniform construction of these vertex operator algebras and naturally generalises the correspondence between the deep holes of the Leech lattice Λ and the 23 Niemeier lattices with non-vanishing root system found by Conway, Parker and Sloane. Contents 1. Introduction 1 2. Lie Algebras 4 3. Vertex Operator Algebras 7 4. Modular Forms 12 5. Dimension Formulae 21 6. Generalised Deep Holes 29 Appendix. List of Generalised Deep Holes 40 References 45 1. Introduction In 1973 Niemeier classified the positive-definite, even, unimodular lattices of rank 24 [Nie73]. He showed that up to isomorphism there are exactly 24 such lattices and that the isomorphism class is uniquely determined by the root system. The Leech lattice Λ is the unique lattice in this genus without roots.
    [Show full text]
  • Sporadic Groups and Where to Find Them
    Sporadic Groups and Where to Find Them Lectures by Theo Johnson-Freyd Canada/USA Mathcamp, July 24{26, 2019 Day 1: Preliminaries 1.1 All the finite simple groups This class is like going to a zoo or a natural history museum. My goal is to show you most of the sporadic simple groups in their natural habitats. But, like a zoo or natural history museum, I might give a slightly simplified version of the science. The sporadic groups are the magical beasts of the finite group world. Before we can talk about them, we should talk about the ordinary finite groups. Most finite groups in nature are solvable. Solvable groups are the insects of the finite group world: lots of them, lots of variety, hard to classify, not very exciting. The simple groups are the mammals. Even for the simple groups, most of them are deer or rabbits: pretty normal everyday things that you see a lot. Maybe \muggle groups" is a better name. The list of all finite simple groups goes: Muggle groups: These groups all come in infinite families. Most of their behaviour is system- matic. • Cyclic groups of prime order. These are both solvable and simple. They are very boring. Let's ignore them. • Alternating groups An for n ≥ 5. • Groups of Lie type. Most of them. Sporadic groups: These groups come in finite families. • Mathieu groups. We will construct these groups in the second lecture. • Leech groups. Third lecture. • Monstrous groups. Third lecture. • Pariahs. The other three sets are together the \happy family." \Pariah" is another word for \outcast." We won't talk about these in this class because we don't have the time.
    [Show full text]