KAC–MOODY ALGEBRA

(Redirected from Kac-Moody algebra)
In mathematics, a 'Kac–Moody algebra' is a Lie algebra, usually infinite-dimensional, that can be defined by generators and relations through a generalized Cartan matrix. Kac–Moody algebras are named after Victor Kac and Robert Moody, who independently discovered them.
These algebras form a generalization of finite-dimensional semisimple Lie algebras, and many properties related to structure of the Lie algebra, its root system, irreducible representations, connection to flag manifolds have natural analogues in the Kac-Moody setting. A class of Kac-Moody algebras called 'affine Lie algebras' is of particular importance in mathematics and theoretical physics, especially conformal field theory and the theory of exactly solvable models. Kac discovered an elegant proof of certain combinatorial identities, Macdonald identities, which is based on the representation theory of affine Kac-Moody algebras. Garland and Lepowski demonstrated that Rogers-Ramanujan identities can be derived in a similar fashion.

Contents

Definition

Interpretation

Types of Kac–Moody algebras

References

See also

Definition

A Kac–Moody algebra is given by the following:
# An n by n generalized Cartan matrix $C\; =\; (c\_\{ij\})$ of rank ''r''.
# A vector space $mathfrak\{h\}$ over the complex numbers of dimension 2''n'' − ''r''.
# A set of ''n'' linearly independent elements of $mathfrak\{h\}$ and a set of ''n'' linearly independent elements
★ of the dual space, such that
★ (lpha_j) = c_{ij}. The are known as 'coroots', while the
★ are known as 'roots'.
The Kac–Moody algebra is the Lie algebra $mathfrak\{g\}$ defined by generators $e\_i$ and $f\_i$ and the elements of $mathfrak\{h\}$ and relations

★

★ $[e\_i,f\_j]\; =\; 0$ for $i$
eq j.

★
★ (x)e_i, for $x\; in\; mathfrak\{h\}.$

★
★ (x)f_i, for $x\; in\; mathfrak\{h\}.$

★ $[x,x\text{'}]\; =\; 0$ for $x,x\text{'}\; in\; mathfrak\{h\}.$

★ $extrm\{ad\}(e\_i)^\{1-c\_\{ij\}\}(e\_j)\; =\; 0.$

★ $extrm\{ad\}(f\_i)^\{1-c\_\{ij\}\}(f\_j)\; =\; 0.$
Where $extrm\{ad\}:\; mathfrak\{g\}\; o\; extrm\{End\}(mathfrak\{g\}),\; extrm\{ad\}(x)(y)=[x,y]$ is the adjoint representation of $mathfrak\{g\}$.
A real (possibly infinite-dimensional) Lie algebra is also considered a Kac–Moody algebra if its complexification is a Kac–Moody algebra.

Interpretation

$mathfrak\{h\}$ is a Cartan subalgebra of the Kac–Moody algebra.
If ''g'' is an element of the Kac–Moody algebra such that
:
where ω is an element of $mathfrak\{h\}^$
★ , then ''g'' is said to have weight ω. The Kac–Moody algebra can be diagonalized into weight eigenvectors. The Cartan subalgebra ''h'' has weight zero, ''e''_''i'' has weight α
★ _''i'' and ''f''_''i'' has weight −α
★ _''i''. If the Lie bracket of two weight eigenvectors is nonzero, then its weight is the sum of their weights. The condition $[e\_i,f\_j]\; =\; 0$ for $i$
eq j simply means the α
★ _''i'' are simple roots.

Types of Kac–Moody algebras

C can be decomposed as DS where D is a positive diagonal matrix and S is a symmetric matrix.

★ finite-dimensional simple Lie algebras (S is positive definite)

★ affine (S is positive semidefinite)

★ hyperbolic (S is indefinite)
S can never be negative definite or negative semidefinite because its diagonal entries are positive.

References

★ A. J. Wassermann, Lecture Notes on the Kac-Moody and Virasoro algebras

★ V. Kac ''Infinite dimensional Lie algebras'' ISBN 0521466938

★

★ V.G. Kac, ''Simple irreducible graded Lie algebras of finite growth'' Math. USSR Izv. , 2 (1968) pp. 1271–1311 Izv. Akad. Nauk USSR Ser. Mat. , 32 (1968) pp. 1923–1967

★ R.V. Moody, ''A new class of Lie algebras'' J. of Algebra , 10 (1968) pp. 211–230

See also

★ Weyl–Kac character formula

★ Generalized Kac–Moody algebra