Monstrous moonshine

In mathematics, monstrous moonshine is a term devised by John Horton Conway and Simon P. Norton in 1979, used to describe the (then totally unexpected) connection between the monster group M and modular functions (particularly, the j function).

History

Specifically, Conway and Norton, following an initial observation by John McKay, found that the Fourier expansion of j(τ) (OEIS A000521, with τ denoting the half-period ratio) could be expressed in terms of linear combinations of the dimensions of the irreducible representations of M (OEIS A001379)

Failed to parse (Missing texvc executable; please see math/README to configure.): j(\tau) = \frac{1}{{q}} + 744 + 196884{q} + 21493760{q}^2 + 864299970{q}^3 + \cdots

where Failed to parse (Missing texvc executable; please see math/README to configure.): {q} = e^{2\pi i\tau} , and

Failed to parse (Missing texvc executable; please see math/README to configure.): 1 \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): = \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): 1 \,\!
Failed to parse (Missing texvc executable; please see math/README to configure.): 196884 \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): = \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): 196883 + 1 \,\!
Failed to parse (Missing texvc executable; please see math/README to configure.): 21493760 \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): = \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): 21296876 + 196883 + 1 \,\!
Failed to parse (Missing texvc executable; please see math/README to configure.): 864299970 \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): = \,\!	Failed to parse (Missing texvc executable; please see math/README to configure.): 842609326 + 21296876 + 2\cdot 196883 + 2\cdot 1 \,\!
	Failed to parse (Missing texvc executable; please see math/README to configure.): \vdots

Conway and Norton formulated conjectures concerning the functions Failed to parse (Missing texvc executable; please see math/README to configure.): j_g({q})

obtained by replacing the traces on the identity by the traces on other elements g of M. The most striking part of these conjectures is that all these functions are genus zero. In other words, if Gg is the subgroup of SL2(R) which fixes Failed to parse (Missing texvc executable; please see math/README to configure.): j_g({q})

, then the quotient of the upper half of the complex plane by G_g is a sphere with a finite number of points removed, corresponding to the cusps of G_g.

It turns out that lying behind monstrous moonshine is a certain string theory having the Monster group as symmetries; the conjectures made by Conway and Norton were proven by Richard Ewen Borcherds in 1992 using the no-ghost theorem from string theory and the theory of vertex operator algebras and generalized Kac-Moody superalgebras. Borcherds won the Fields medal for his work, and more connections between M and the j-function were subsequently discovered.

Formal versions of Conway's and Norton's conjectures

The first conjecture made by Conway and Norton was the so-called "moonshine conjecture"; it states that there is an infinite-dimensional graded M-module

Failed to parse (Missing texvc executable; please see math/README to configure.): V = \bigoplus_{m\geq -1} V_m

with Failed to parse (Missing texvc executable; please see math/README to configure.): \dim(V_m) = c_m

for all m, where

Failed to parse (Missing texvc executable; please see math/README to configure.): j(\tau) = \sum_{m\geq -1} c_m {q}^m.

From this it follows that every element g of M acts on each V_m and has character value

Failed to parse (Missing texvc executable; please see math/README to configure.): \chi_m(g) = \mathrm{tr}(g|_{V_m})

which can be used to construct the McKay-Thompson series of g:

Failed to parse (Missing texvc executable; please see math/README to configure.): T_g({q}) = \sum_{m\geq -1} \chi_m(g){q}^m.

The second conjecture of Conway and Norton then states that with V as above, for every element g of M, there is a genus zero subgroup K of PSL₂(R), commensurable with the modular group Γ = PSL₂(Z), such that Failed to parse (Missing texvc executable; please see math/README to configure.): T_g({q})

is the normalised main modular function for K.

The Monster module

It was subsequently shown by A. Oliver L. Atkin, Paul Fong and Stephen D. Smith using computer calculation that there is indeed an infinite-dimensional graded representation of the Monster group whose McKay-Thompson series are precisely the Hauptmoduls found by Conway and Norton, and Igor Frenkel, James Lepowsky and Arne Meurman explicitly constructed this representation using vertex operators in conformal field theory describing bosonic string theory compactified on a 24-dimensional torus generated by the Leech lattice and orbifolded by a reflection. The resulting module is called the Monster module.

Borcherds' proof

Richard Borcherds' proof of the conjecture of Conway and Norton can be broken into five major steps as follows:

1. A vertex algebra V is constructed that is a graded algebra affording the moonshine representations on M, and it is verified that the monster module has a vertex algebra structure invariant under the action of M. V is thus called the Monster vertex algebra.
2. A Lie algebra Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{M}

is constructed from V using the Goddard-Thorn "no-ghost" theorem from string theory; this is a generalized Kac-Moody Lie algebra.

1. A denominator identity for Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{M}

is constructed that is related to the coefficients of Failed to parse (Missing texvc executable; please see math/README to configure.): j({q})

.

1. A number of twisted denominator identities are constructed that are similarly related to the series Failed to parse (Missing texvc executable; please see math/README to configure.): T_g({q})

.

1. The denominator identities are used to determine the numbers c_m, using Hecke operators, Lie algebra homology and Adams operations.

Thus, the proof is completed. Borcherds was later quoted as saying "I was over the moon when I proved the moonshine conjecture", and "I sometimes wonder if this is the feeling you get when you take certain drugs. I don't actually know, as I have not tested this theory of mine."

Why "monstrous moonshine"?

The term "monstrous moonshine" was coined by Conway, who, when told by John McKay in the late 1970s that the coefficient of Failed to parse (Missing texvc executable; please see math/README to configure.): {q}

(namely 196884) was precisely the dimension of the Griess algebra (and thus exactly one more than the degree of the smallest faithful complex representation of the Monster group), replied that this was "moonshine" (crazy or foolish ideas). Thus, the term not only refers to the Monster group M; it also refers to the perceived craziness of the intricate relationship between M and the theory of modular functions.

However, "moonshine" is also a slang word for illegally distilled whiskey, and in fact, the name may be explained in this light as well. The Monster group was investigated in the 1970s by mathematicians Jean-Pierre Serre, Andrew Ogg and John G. Thompson; they studied the quotient of the hyperbolic plane by subgroups of SL₂(R), particularly, the normalizer Γ₀(p)⁺ of Γ₀(p) in SL(2,R). They found that the Riemann surface resulting from taking the quotient of the hyperbolic plane by Γ₀(p)⁺ has genus zero if and only if p is 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 or 71, and when Ogg heard about the Monster group later on and noticed that these were precisely the prime factors of the size of M, he wrote up a paper offering a bottle of Jack Daniel's whiskey to anyone who could explain this fact.

References

• John Horton Conway and Simon P. Norton, Monstrous Moonshine, Bull. London Math. Soc. 11, 308–339, 1979.
• I. B. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster, Pure and Applied Math., Vol. 134, Academic Press, 1988
• Richard Ewen Borcherds, Monstrous Moonshine and Monstrous Lie Superalgebras, Invent. Math. 109, 405–444, 1992, online
• Terry Gannon, Monstrous Moonshine: The first twenty-five years, 2004, online
• Terry Gannon, Monstrous Moonshine and the Classification of Conformal Field Theories, reprinted in Conformal Field Theory, New Non-Perturbative Methods in String and Field Theory, (2000) Yavuz Nutku, Cihan Saclioglu, Teoman Turgut, eds. Perseus Publishing, Cambridge Mass. ISBN 0-7382-0204-5 (Provides introductory reviews to applications in physics).
• Terry Gannon, Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics ISBN 0-521-83531-3
• Koichiro Harada, Monster, Iwanami Pub. (1999) ISBN 4-000-06055-4, The First book about Monster Group is written in Japanese.
• Mark Ronan, Symmetry and the Monster, Oxford University Press, 2006. ISBN 978-0-19-280723-6 (Concise introduction for lay reader)

External links

• Moonshine bibliographyes:Monstrous moonshine

fr:Conjecture Monstrous Moonshine