Monstrous M-theory Alessio Marrani∗ Centro Ricerche Enrico Fermi, Roma, and Dept. of Physics and Astronomy, University of Padova, and INFN, Padova, Italy Michael Rios† Dyonica ICMQG, Los Angeles, CA, USA David Chester‡ Quantum Gravity Research, Los Angeles, CA, USA We define a D = 26 + 1 Monstrous, purely bosonic M-theory, whose massless spectrum, of dimension 196, 884, is acted upon by the Monster group. Upon reduction to D = 25 + 1, this gives rise to a plethora of non-supersymmetric, gravito-dilatonic theories, whose spectrum irreducibly splits under the Monster as 196, 884 = 1 196, 883, where the singlet is identified with the dilaton, and 196, 883 denotes the smallest non-trivial⊕ representation of the Monster. This clarifies the definition of the Monster as the automorphism of the Griess algebra, by showing that such an algebra is not merely a sum of unrelated spaces, but rather an algebra of massless states for a Monstrous M-theory, which includes Horowitz and Susskind’s bosonic M-theory as a subsector. Remarkably, a certain subsector of Monstrous M-theory, when coupled to a Rarita-Schwinger massless field in 26 + 1, exhibits the same number of bosonic and fermionic degrees of freedom. Dedicated to John H. Conway Contents I. Introduction 2 II. Triality of d4 and its generalizations in d12 3 A. Weak λ-triality 4 B. Weak ψ-triality 4 C. Weak duality among (sets of) p-forms 4 III. Monstrous Gravity in 25+1 5 A. Classification 6 IV. Monstrous M-theory in 26+1 9 A. Lagrangian(s) 10 B. B = F in 26 + 1 11 arXiv:2008.06742v1 [hep-th] 15 Aug 2020 1. N = 1 Supergravity in 26+1? 12 V. Cohomological construction of lattices 14 VI. Conclusion 16 Acknowledgements 18 A. Chern-Simons Lagrangian terms for Monstrous M-theory 19 References 20 ∗Electronic address: [email protected] †Electronic address: [email protected] ‡Electronic address: [email protected] 2 I. INTRODUCTION The Monster group M was predicted to exist by Fischer and Griess [1]. It is the automorphism group of the Griess algebra, as well as the automorphism group of the Monster vertex algebra [3, 5]. Conway and Norton defined Monstrous moonshine as the observation that the Fourier coefficients of the j-function decompose into dimensions of representations of the Monster group [2] and this was proven by Borcherds using generalized Kac-Moody algebras [6]. In the language of conformal field theory, Monstrous moonshine is the statement that the states of an orbifold theory, 24 which is D = 25+1 bosonic string theory on (R /Λ24)/Z2 (where Λ24 is the Leech lattice [4, 31, 32]), are organized in representations of the Monster group, with partition function equivalent to the j-function [8, 12, 14]. Witten also found the Monster in three-dimensional pure gravity [22], for AdS3, where the dual CFT is expected to be that of Frenkel, Lepowsky and Meurman [5]. Eguchi, Ooguri and Tachikawa later noticed the elliptic genus of the K3 surface has a natural decomposition in terms of dimensions of irreducible representations of the largest Mathieu group M24 [9], and this was named Umbral moonshine [10, 11], which generalizes the moonshine correspondence for other sporadic groups [13]. With Witten’s proposal [21] that M-theory unifies all the ten-dimensional string theories with N = 1 supergravity in D = 10+1, Horowitz and Susskind argued [23] there exists a bosonic M-theory in D = 26 + 1 that reduces to the bosonic string upon compactification. As the Monster has a string theoretic interpretation in D = 25 + 1 [14–16], it is also natural to consider its action on fields from D = 26 + 1. Support for this is found from bosonic M-theory’s 23 2-brane near horizon geometry AdS4 × S , discussed by Horowitz and Susskind as an evidence for a 2+1 CFT dual with global SO24 symmetry [23]. Noting that the automorphism group of the Leech lattice, the Conway group Co0 [4, 32], is a maximal finite subgroup of SO24, and its Z2 quotient Co1 is a maximal subgroup of the Monster [4, 5], this provides a means to realize Monstrous symmetry as a finite subgroup of R-symmetry from D = 26 + 1 [25]. In the present paper, we introduce a purely bosonic gravity theory coupled to p-forms in 26+1 space-time dimensions, which contains the aforementioned bosonic string theory [23] as a subsector. We name such a theory Monstrous M- theory, or shortly M 2-theory, because its massless spectrum has the same dimension (196, 884) as the Griess algebra and it can thus be acted upon by the Monster group M. When reducing to 25 + 1, a plethora of gravito-dilatonic theories is generated, in which the decomposition 196, 884 = 196, 883⊕1, which first hinted at Monstrous moonshine [2], entails the fact that the dilaton in 25 + 1 is a singlet of M itself. As such, the irreducibility under M is crucially related to dilatonic gravity in 25 + 1. Thanks to existence of some maps among iso-dimensional representations of the massless little group SO24 in 25 + 1 (which generalize, in a “weak” sense, the triality of SO8), most of the gravito- dilatonic theories in 25 + 1, named Monstrous gravity theories, display a fermionic (massless) spectrum, as well, such that the whole spectrum is still acted upon by M. All this gives a more concise description of the Monster’s minimal representation 196, 883, coming from the field content of Monstrous gravity in D = 25 + 1; as such, this also elucidates the definition of the Monster as the automorphism group of the Griess algebra (the degree two piece of the monster vertex algebra), which has been considered artificial in that it was thought to involve an algebra of two or more unrelated spaces [4, 5, 7]. The plan of the paper is as follows. At the start of Sec. II, we briefly recall the triality among the 8-dimensional representations of the Lie algebra d4, as well as the duality among all semispinor representations and their conjugates (and among all the tensor products thereof) in Lie algebras dn. Then, we introduce some “weak” generalizations within the Lie algebra d12, namely weak λ-triality in Sec. II A and weak ψ-triality in Sec. II B. Furthermore, we also introduce a “weak” generalization of the aforementioned duality in Sec. II C. In all these cases, the “weakness” relies on the reducibility of the bosonic representations involved. Next, in Sec. III we introduce and classify non-supersymmetric, gravito-dilatonic theories, named Monstrous gravities, in 25+1 space-time dimensions, whose massless spectrum (also including fermions in most cases) has dimension 196, 884, namely the same dimension as the Griess algebra [3, 5], and it can thus be acted upon by the Monster group M. A purely bosonic uplift to 26 + 1 space-time dimensions is discussed in Sec. IV, in which the so-called M 2-theory is defined, along with some discussion of its Lagrangian in Sec. IVA; furthermore, Sec. IVB discusses a subsector of the M2-theory diplaying the same number of bosonic and fermionic massless degrees of freedom in 26 + 1; in this framework, after a discussion of some reductions to 25+1, in Sec. IVB1 a Lagrangian and local supersymmetry transformations are conjectured for the would-be N =1 supergravity in 26+1 space-time dimensions. Then, in Sec. V a cohomological construction of both the e8 root lattice and the Leech lattice Λ24 (respectively determining optimal sphere packing in 8 and 24 dimensions [4]) is discussed, and all this is again related to M-theory (i.e., N = 1 supergravity) in 10+1 and to the would-be N = 1 supergravity 26 + 1, respectively. Final comments are contained in the conclusive Sec. VI. 3 II. TRIALITY OF d4 AND ITS GENERALIZATIONS IN d12 By triality, denoted by T, in this paper we refer to a property of the Lie algebra d4 (see e.g. [19]), namely a map of its three 8-dimensional irreducible representations 1 ∧ ≡ 8v := (1, 0, 0, 0) (vector); d4 : λ ≡ 8s := (0, 0, 0, 1) (semispinor); (2.1) ′ ′ λ ≡ 8 ≡ 8c := (0, 0, 1, 0) (conjugate semispinor) s among themselves : ∧1 T : ↑↓ ցտ . (2.2) λ′ ⇄ λ This property can be traced back to the three-fold structural symmetry of the Dynkin diagram of d4, and to the existence of an outer automorphism of d4 which interchanges 8v, 8s and 8c; in fact, the outer automorphism group of d4 (or, more precisely, of the corresponding spin group Spin8, the double cover of the Lie group SO8) is isomorphic to the symmetric group S3 that permutes such three representations. Thence, triality affects all tensor products stemming from 8v, 8s and 8c. In particular, for later convenience, we stress that it maps also the three 56-dimensional irreducible representations of d4 : 3 ∧ ≡ 56v := (0, 0, 1, 1) (3-form); d4 : ψ ≡ 56s := (1, 0, 0, 1) (vector-semispinor ); (2.3) ′ ′ ψ ≡ 56 ≡ 56c := (1, 0, 1, 0) (conjugate vector-semispinor ) s among themselves ∧3 T : ↑↓ ցտ . (2.4) ψ ⇄ ψ′ α We recall here that, in order to correspond to an irreducible representation, the spinor-vector ψµ must be gamma- traceless : µ β Γαβψµ =0, (2.5) µ µ where µ and α are the vector resp. spinor indices, and Γαβ ≡ (Γ )αβ denote the gamma matrices of d4. ψ is a 3 Rarita-Schwinger (RS) field of spin/helicity 2 , and, in the context of supersymmetric theories, it is named gravitino (being the spartner of the graviton gµν ). As (2.2) denotes the action of triality T on (semi)spinors, (2.4) expresses the triality T acting on RS fields.