INTRODUCTION TO SPORADIC GROUPS for physicists Luis J. Boya∗ Departamento de F´ısica Te´orica Universidad de Zaragoza E-50009 Zaragoza, SPAIN MSC: 20D08, 20D05, 11F22 PACS numbers: 02.20.a, 02.20.Bb, 11.24.Yb Key words: Finite simple groups, sporadic groups, the Monster group. Juan SANCHO GUIMERA´ In Memoriam Abstract We describe the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups Zp, and the alternating groups Altn>4. After a quick revision of finite fields Fq, q = pf , with p prime, we consider the 16 families of finite simple groups of Lie type. There are also 26 extra “sporadic” groups, which gather in three interconnected “generations” (with 5+7+8 groups) plus the Pariah groups (6). We point out a couple of physical applications, in- cluding constructing the biggest sporadic group, the “Monster” group, with close to 1054 elements from arguments of physics, and also the relation of some Mathieu groups with compactification in string and M-theory. ∗[email protected] arXiv:1305.5974v1 [math-ph] 25 May 2013 1 Contents 1 Introduction 3 1.1 Generaldescriptionofthework . 3 1.2 Initialmathematics............................ 7 2 Generalities about groups 14 2.1 Elementarynotions............................ 14 2.2 Theframeworkorbox .......................... 16 2.3 Subgroups................................. 18 2.4 Morphisms ................................ 22 2.5 Extensions................................. 23 2.6 Familiesoffinitegroups ......................... 24 2.7 Abeliangroups .............................. 27 2.8 Symmetricgroup ............................. 28 3 More advanced group theory 30 3.1 Groupsoperationginspaces. 30 3.2 Representations.............................. 32 3.3 Characters.Fourierseries . 35 3.4 Homological algebra and extension theory . 37 3.5 Groupsuptoorder16........................... 40 3.6 Characterizationofgroups. 42 4 Finite simple groups 45 4.1 The search for finite simple groups: historical survey . 45 4.2 Finitefields ................................ 46 4.3 Generalseries(PSL) ........................... 48 4.4 Otherregularseries(O,Sp,U) . 51 4.5 Exceptionalseries. ............................ 55 4.6 Division algebras and octonions. 58 5 Sporadic groups 61 5.1 Introductiontosporadicgroups. 61 5.2 Thefirstgeneration: Mathieugroups. 62 5.3 Secondfamilyofsporadicgroups.. 65 5.4 TheMonstergroup. ........................... 66 5.5 OthergroupsintheMonsterfamily. 68 5.6 The“Pariah”groups. .......................... 68 5.7 Tableofsporadicgroupsbysize. 70 6 Physical applications 71 6.1 Rotationsandpermutations. 71 6.2 MonstrousMoonshine. .. .. .. .. .. .. .. .. .. .. .. 73 6.3 StringTheory. .............................. 75 6.4 K3 and M24 ................................ 76 7 ACKNOWLEDGMENTS 76 8 LITERATURE 78 2 1 Introduction 1.1 General description of the work 1.1.1 Motivation. The algebraic structures called groups first appeared dis- tinctly in mathematics in the first third of the 19th century, after the work of Gauss (on congruences), and Lagrange, Ruffini, Abel and above all Galois, in re- lation to the solvability of polynomial equations by radicals: the groups appearing did permute the roots of the equation. In physics also finite groups were tacitly used, e.g. by Bravais, to classify some crystal lattices around 1850, and better and more directly by Fedorov, at the turn of that century. Lie groups, i.e. infinite continuous groups with some differentiability proper- ties, were first considered by Lie around 1870 in relation to solutions of differential equations, trying to imitate what Galois had done with algebraic equations. Cayley had provided in 1854 the first formal definition of a group, the same we use today. Klein (since 1872) identified many continuous groups acting by transformations on the diverse geometries, and even characterized these Geometries (euclidean, metric, affine, projective, conformal, etc.) by the group of allowed transformations, in the so-called “Erlangen-Program” [1]. By the turn of the 19th/20th centuries, groups were taking a prominent role in mathematics (Poincar´e, Hilbert, etc.), consolidated around 1920 as an indispensable part of Modern Algebra, indeed the core of it. With the advent of Quantum Mechanics (QM) in Physics in 1925, as evolu- tion of the Old Quantum Theory (of Planck, Einstein and Bohr, 1900-1925), some Lie groups and their representations were to be used in physics, starting with the three dimensional rotation group SO(3). Besides some original books in group the- ory at the very beginning [2-4], the three standard books for physics at the time were by Weyl, van der Waerden and Wigner ([5, 6], and ([7]). The Pauli exclusion principle led also to some properties of the representations of the symmetric group Sym S , with n! elements (Heisenberg, and Dirac, independently, in 1926). n ≡ n Soon the interest in atomic and nuclear physics and also in particle physics shifted wholly to general, continuous, Lie groups: isospin group: Heisenberg (1932); Poincar´egroup, Wigner (1939); Gell-Mann’s SU(3) flavor group (1962), etc, i.e. finite-dimensional manifolds which support a compatible group structure; as sym- metry operations enter QM through linear (and projective) representations, this formalism, including decomposition of products, traces, covering groups, etc., was more and more used in that period, as evidence the books mentioned above. Some people even talked about the Gruppenpest, [8]; so it was not before around 1962 that quantum physicists realized Group Theory was an unavoidable part of their mathematical toolkit. While continuous (simple Lie) groups were classified already by Killing and Car- tan around 1887/95, similar work on finite groups was very much delayed. After the foundational period with Jordan, Mathieu, Klein, etc, simple groups of Lie type (over finite fields) were studied by Dickson and Miller. Since around 1920 group theory took a preeminent role in mathematics, as said. By 1960, mathematicians were busy completing the list of families of finite simple groups (FSG), continuing the work started by Dickson (as mentioned) at the turn of the 20th century, and 3 the later one by Chevalley, Borel etc. about 1950 on some finite groups of Lie type. These FSG groups occur in several families (2+16, as we shall see), plus some iso- lated, sporadic groups (26 of them), initially discovered (the first five) by Mathieu in 1860: these first sporadic groups are still called Mathieu groups today. After a full century with no new sporadic groups found, the list was completed by the biggest of all, the Monster group M, conceived around 1973 by Fischer and Griess and definitively established in 1980 by Griess; see e.g. his [14]; it was given an al- ternative built-up form, inspired by string theory, a physical construct, by Frenkel et al. in 1984 [9], completed by Borcherds ([10], see [11, 12]). This was important also for physics, and indeed soon after other “sporadic” finite groups (e.g. M24, the largest Mathieu group) were used, in relation with the compactifying space K3 [13]. It is the purpose of this review to introduce the theory of FSG, in particular the sporadic groups, to a physics audience. We feel the time is ripe for that, as in one hand theoretical physics is in a standstill in microphysics, with no real progress made since around 1976, when the so-called Standard Model was completely estab- lished, so any new avenue is worth exploring, and on the other hand many physical clues point to concrete, finite symmetries, mostly realized as finite groups (examples will be discussed later). We recognize there was the construction of the Monster group via the Vertex Operators appearing in superstring theory [9], which triggered the interest of physicists in this somewhat exotic branch of pure mathematics. At the same time, we realized that while the practice of Lie groups today makes use of the tools known to the average theoretical physicist (e.g. differential geom- etry, representation theory), this is not the same for the finite groups; we want to supply a decent mathematical basis for individuals to engage in actual research in physics dealing with finite groups. So we have aimed to expose the theory from the beginning, although the very first definitions and concepts are glossed over rather quickly; it is our idea this re- view will serve as reference, so we shall start by recalling even the simplest notions of modern mathematics, e.g. sets and maps. In that spirit, we have strived to present things in a modern mathematical language. Although intended mainly for physicists, we have aimed at presenting the ma- terial from a modern point of view, also from the mathematical side: for us, mathe- matics is not only an instrument to describe the physical world, say helping to solve equations, but it also represents a conceptual frame, a building, in which physical events take place and develop. So we hope some mathematicians looking at this review can benefit, too. 1.1.2 What we cover. As we want to present the pure mathematical doctrine in actual terms, and often the mathematical instruction of physicists does not use several of these modern concepts, we have tried to show a modern unified treatment of algebra in general and group theory in particular starting from scratch, although naturally many results, theorems etc. are given only a cursory treatment. Our idea is that all concepts, definitions and results will be clearly if briefly stated, while many results are taken for granted and several others presented with proofs,