Monster Lie algebra

In mathematics, the monster Lie algebra is an infinite-dimensional generalized Kac–Moody algebra acted on by the monster group, which was used to prove the monstrous moonshine conjectures.

Structure

The monster Lie algebra m is a Z²-graded Lie algebra. The piece of degree (m,n) has dimension c_mn if (m,n) is nonzero, and dimension 2 if (m,n) is (0,0). The integers c_n are the coefficients of qⁿ of the j-invariant as elliptic modular function

j(q)-744={1 \over q}+196884q+21493760q^{2}+\cdots .

The Cartan subalgebra is the 2-dimensional subspace of degree (0,0), so the monster Lie algebra has rank 2.

The monster Lie algebra has just one real simple root, given by the vector (1,-1), and the Weyl group has order 2, and acts by mapping (m,n) to (n,m). The imaginary simple roots are the vectors

(1,n) for n = 1,2,3,...,

and they have multiplicities c_n.

The denominator formula for the monster Lie algebra is the product formula for the j-invariant:

j(p)-j(q)=\left({1 \over p}-{1 \over q}\right)\prod _{n,m=1}^{\infty }(1-p^{n}q^{m})^{c_{nm}}.

The denominator formula (sometimes called the Koike-Norton-Zagier infinite product identity) was discovered in the 1980s. Several mathematicians, including Masao Koike, Simon P. Norton, and Don Zagier, independently made the discovery.[1]

Construction

There are two ways to construct the monster Lie algebra. As it is a generalized Kac–Moody algebra whose simple roots are known, it can be defined by explicit generators and relations; however, this presentation does not give an action of the monster group on it.

It can also be constructed from the monster vertex algebra by using the Goddard–Thorn theorem of string theory. This construction is much harder, but also proves that the monster group acts naturally on it.[1]

gollark: It doesn't just materialize from nowhere if I click "accept".

gollark: I do not understand where you would expect them to actually get said data from.

gollark: Just because I'm (dubiously - the EULAs may not actually be enforecable) legally allowing them to gather data, doesn't mean they actually *can*.

gollark: I literally do not have Google Play Services or anything on it.

gollark: Well, installed a custom ROM without it, that is.

References

Borcherds, Richard E. (October 2002). "What Is ... the Monster?" (PDF). Notices of the American Mathematical Society. 49 (2): 1076–1077. (See p. 1077).

Richard Borcherds, "Vertex algebras, Kac-Moody algebras, and the Monster", Proc. Natl. Acad. Sci. USA. 83 (1986) 3068-3071
Igor Frenkel, James Lepowsky, Arne Meurman, "Vertex operator algebras and the Monster". Pure and Applied Mathematics, 134. Academic Press, Inc., Boston, MA, 1988. liv+508 pp. ISBN 0-12-267065-5
Victor Kac, "Vertex algebras for beginners". University Lecture Series, 10. American Mathematical Society, 1996. viii+141 pp. ISBN 0-8218-0643-2; Kac, Victor G (1998). revised and expanded, 2nd edition. ISBN 0-8218-1396-X; pbk. vi+201 pp.
- Kac, Victor (1999). "Corrections to the book "Vertex algebras for beginners", second edition, by Victor Kac". arXiv:math/9901070.
R. W. Carter, "Lie Algebras of Finite and Affine Type", Cambridge Studies No. 96, 2005, ISBN 0-521-85138-6 (Introductory study text with a brief account of Borcherds algebra in Ch. 21)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[WhatIs-1] Borcherds, Richard E. (October 2002). "What Is ... the Monster?" (PDF). Notices of the American Mathematical Society. 49 (2): 1076–1077. (See p. 1077).