Kac–Moody algebra

From Wikipedia, the free encyclopedia

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

[edit] Definition

A Kac–Moody algebra is given by the following:

  1. An n by n generalized Cartan matrix C = (cij) of rank r.
  2. A vector space \mathfrak{h} over the complex numbers of dimension 2n − r.
  3. A set of n linearly independent elements \alpha_i\ of \mathfrak{h} and a set of n linearly independent elements \alpha_i^* of the dual space, such that \alpha_i^*(\alpha_j) = c_{ij}. The \alpha_i\ are known as coroots, while the \alpha_i^* are known as roots.

The Kac–Moody algebra is the Lie algebra \mathfrak{g} defined by generators ei and fi and the elements of \mathfrak{h} and relations

  • [e_i,f_i] = \alpha_i.\
  • [e_i,f_j] = 0\ for i \neq j.
  • [e_i,x]=\alpha_i^*(x)e_i, for x \in \mathfrak{h}.
  • [f_i,x]=-\alpha_i^*(x)f_i, for x \in \mathfrak{h}.
  • [x,x'] = 0\ for x,x' \in \mathfrak{h}.
  • \textrm{ad}(e_i)^{1-c_{ij}}(e_j) = 0.
  • \textrm{ad}(f_i)^{1-c_{ij}}(f_j) = 0.

Where \textrm{ad}: \mathfrak{g}\to\textrm{End}(\mathfrak{g}),\textrm{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.

[edit] Interpretation

\mathfrak{h} is a Cartan subalgebra of the Kac–Moody algebra.

If g is an element of the Kac–Moody algebra such that

\forall x\in \mathfrak{h}\,[g,x]=\omega(x)g

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, ei has weight α*i and fi 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 \neq j simply means the α*i are simple roots.

[edit] Types of Kac–Moody algebras

Properties of a Kac–Moody algebra are controlled by the algebraic properties of its generalized Cartan matrix C. In order to classify Kac–Moody algebras, it is enough to consider the case of an indecomposable matrixC, i.e. assume that there is no decomposition of the set of indices I into a disjoint union of non-empty subsets I1 and I2 such that Cij = 0 for all i in I1 and j in I2. Any decomposition of the generalized Cartan matrix leads to the direct sum decomposition of the corresponding Kac–Moody algebra:

\mathfrak{g}(C)\simeq\mathfrak{g}(C_1)\oplus\mathfrak{g}(C_2),

where the two Kac–Moody algebras in the right hand side are associated with the submatrices of C corresponding to the index sets I1 and I2.

An important subclass of Kac–Moody algebras corresponds to symmetrizable generalized Cartan matrices C, which can be decomposed as DS, where D is a diagonal matrix with positive integer entries and S is a symmetric matrix. Under the assumptions that C is symmetrizable and indecomposable, the Kac–Moody algebras are divided into three classes:

Symmetrizable indecomposable generalized Cartan matrices of finite and affine type have been completely classified. They correspond to Dynkin diagrams and affine Dynkin diagrams. Very little is known about the Kac–Moody algebras of indefinite type. Among those, the main focus has been on the (generalized) Kac–Moody algebras of hyperbolic type, for which the matrix S is indefinite, but for each proper subset of I, the corresponding submatrix is positive definite or positive semidefinite. Such matrices have rank at most 10 and have also been completely determined.

[edit] References

[edit] See also

Languages