- Generalized Kac–Moody algebra
In
mathematics , a generalized Kac–Moody algebra is aLie algebra that is similar to aKac–Moody algebra , except that it is allowed to have imaginarysimple root s. Generalized Kac–Moody algebras are also sometimes called GKM algebras,Borcherds–Kac–Moody algebras, BKM algebras, or Borcherds algebras. The best known example is themonster Lie algebra .Motivation
Finite dimensional
semisimple Lie algebra s have the following properties:
* They have a symmetric invariant bilinear form (,)
* They have a grading such that the degree zero piece (theCartan subalgebra ) is abelian
* They have a (Cartan)involution "w".
* ("a", "w(a)") is positive if "a" is nonzero.For example, for the algebras of "n" by "n" matrices of trace zero, the bilinear form is ("a", "b") = Trace("ab"), the Cartan involutionis given by minus the transpose, and the grading can be given by"distance from the diagonal" so that the Cartan subalgebra is thediagonal elements.
Conversely one can try to find all Lie algebras with these properties (andsatisfying a few other technical conditions). The answer is that one gets sums of finite dimensional and
affine Lie algebra s.The
monster Lie algebra satisfies a slightly weakerversion of the conditions above: ("a", "w(a)") is positive if "a" is nonzero and has "nonzero degree",but may be negative when "a" has degree zero. The Lie algebras satisfying these weaker conditions are more or less generalized Kac–Moody algebras.They are essentially the same as algebras given by certain generators and relations (described below).Informally, generalized Kac–Moody algebras are the Lie algebras thatbehave like finite dimensional semisimple Lie algebras. In particular they have a
Weyl group ,Weyl character formula ,Cartan subalgebra ,roots, weights, and so on.Definition
A symmetrized
Cartan matrix is a (possibly infinite) square matrixwith entries such that
*
* if
* is an integer ifThe universal generalized Kac–Moody algebra with given symmetrized Cartan matrix is defined by generators and and and relations
* if , 0 otherwise.
* ,
* for applications of or if .
* ifThese differ from the relations of a (symmetrizable)
Kac-Moody algebra mainly by allowing the diagonal entries of the Cartan matrix to be non-positive. In other words we allow simple roots to be imaginary, whereas in a Kac-Moody algebra simple roots are always real.A generalized Kac–Moody algebra is obtained from a universal one by changing the Cartan matrix, by the operations of killing something in the center, or taking a central extension, or adding
outer derivation s.Some authors give a more general definition by removing the condition thatthe Cartan matrix should be symmetric. Not much is known about these non-symmetrizable generalized Kac–Moody algebras, and there seem to be no interesting examples.
It is also possible to extend the definition to superalgebras.
Structure
A generalized Kac–Moody algebra can be graded by giving "e""i" degree 1, "f""i" degree -1, and "h""i" degree 0.
The degree zero piece is an abelian subalgebra spanned by the elements "hi" andis called the Cartan subalgebra.
Properties
Most properties of generalized Kac–Moody algebras are straightforwardextensions of the usual properties of (symmetrizable) Kac–Moody algebras.
* A generalized Kac–Moody algebra has an invariant
symmetric bilinear form such that .* There is a character formula for
highest weight module s, similar to theWeyl–Kac character formula forKac–Moody algebra s except that it has correction terms for the imaginary simple roots.Examples
Most generalized Kac–Moody algebras are thought not to have distinguishing features. The interestingones are of three types:
* Finite dimensionalsemisimple Lie algebra s.
*Affine Kac–Moody algebra s
* Algebras with Lorentzian Cartan subalgebra whose denominator function is anautomorphic form of singular weight.There appear to be only a finite number of examples of the third type.Two examples are the
monster Lie algebra , acted on by themonster group and used in themonstrous moonshine conjectures,and thefake monster Lie algebra . There are similar examplesassociated to some of the othersporadic simple group s.It is possible to find many examples of generalized Kac–Moody algebras using the followingprinciple: anything that looks like a generalized Kac–Moody algebrais a generalized Kac–Moody algebra. More precisely, if a Lie algebrais graded by a Lorentzian lattice and has an invariant bilinear formand satisfies a few other easily checked technical conditions, then it is a generalized Kac–Moody algebra. In particular one can use vertex algebras to construct a Lie algebra from any
even lattice .If the lattice is positive definiteit gives a finite dimensional semisimple Lie algebra, if it is positive semidefinite it gives an affine Lie algebra, and if it is Lorentzian it givesan algebra satisfying the conditions above that is therefore a generalized Kac–Moody algebra. When the lattice is the even 26 dimensionalunimodular Lorentzian lattice the construction gives the fake monster Lie algebra; all other Lorentzian lattices seem to give uninteresting algebras.References
*V. Kac, "Infinite dimensional Lie algebras", ISBN 0521466938
*Minoru Wakimoto, "Infinite dimensional Lie algebras", ISBN 0821826549
*Urmie Ray, "Automorphic Forms and Lie Superalgebras", ISBN 1402050097
Wikimedia Foundation. 2010.