Summary
In mathematics, monstrous moonshine, or moonshine theory, is the unexpected connection between the monster group M and modular functions, in particular, the j function. The initial numerical observation was made by John McKay in 1978, and the phrase was coined by John Conway and Simon P. Norton in 1979. The monstrous moonshine is now known to be underlain by a vertex operator algebra called the moonshine module (or monster vertex algebra) constructed by Igor Frenkel, James Lepowsky, and Arne Meurman in 1988, which has the monster group as its group of symmetries. This vertex operator algebra is commonly interpreted as a structure underlying a two-dimensional conformal field theory, allowing physics to form a bridge between two mathematical areas. The conjectures made by Conway and Norton were proven by Richard Borcherds for the moonshine module in 1992 using the no-ghost theorem from string theory and the theory of vertex operator algebras and generalized Kac–Moody algebras. In 1978, John McKay found that the first few terms in the Fourier expansion of the normalized J-invariant , with and τ as the half-period ratio could be expressed in terms of linear combinations of the dimensions of the irreducible representations of the monster group M with small non-negative coefficients. Let = 1, 196883, 21296876, 842609326, 18538750076, 19360062527, 293553734298, ... then, where the LHS are the coefficients of while the RHS are the dimensions of the monster group M. (Since there can be several linear relations between the such as , the representation may be in more than one way.) McKay viewed this as evidence that there is a naturally occurring infinite-dimensional graded representation of M, whose graded dimension is given by the coefficients of J, and whose lower-weight pieces decompose into irreducible representations as above. After he informed John G. Thompson of this observation, Thompson suggested that because the graded dimension is just the graded trace of the identity element, the graded traces of nontrivial elements g of M on such a representation may be interesting as well.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications (16)

Twist Accumulation in Conformal Field Theory: A Rigorous Approach to the Lightcone Bootstrap

Jiaxin Qiao

We prove that in any unitary CFT, a twist gap in the spectrum of operator product expansion (OPE) of identical scalar quasiprimary operators (i.e. phi x phi) implies the existence of a family of quasiprimary operators O t,l with spins l ->.infinity and twi ...
SPRINGER2023

Almost impossible E_8 and Leech lattices

Maryna Viazovska

We start this short note by introducing two remarkable mathematical objects: the E8E8​ root lattice Lambda8Lambda8 in 8-dimensional Euclidean space and the Leech lattice Lambda24Lambda24 in 24-dimensional space. These two lattices stand out among their lat ...
2021
Show more