# Affine Lie algebra

In mathematics, an **affine Lie algebra** is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. It is a Kac–Moody algebra for which the generalized Cartan matrix is positive semi-definite and has corank 1. From a purely mathematical point of view, affine Lie algebras are interesting because their representation theory, like representation theory of finite-dimensional semisimple Lie algebras, is much better understood than that of general Kac–Moody algebras. As observed by Victor Kac, the character formula for representations of affine Lie algebras implies certain combinatorial identities, the Macdonald identities.

The affine Lie algebra corresponding to a finite-dimensional semisimple Lie algebra is the direct sum of the affine Lie algebras corresponding to its simple summands. There is a distinguished derivation of the affine Lie algebra defined by

The corresponding **affine Kac-Moody algebra** is defined as a semidirect product by adding an extra generator *d* that satisfies [*d*, *A*] = *δ*(*A*).

The Dynkin diagram of each affine Lie algebra consists of that of the corresponding simple Lie algebra plus an additional node, which corresponds to the addition of an imaginary root. Of course, such a node cannot be attached to the Dynkin diagram in just any location, but for each simple Lie algebra there exists a number of possible attachments equal to the cardinality of the group of outer automorphisms of the Lie algebra. In particular, this group always contains the identity element, and the corresponding affine Lie algebra is called an **untwisted** affine Lie algebra. When the simple algebra admits automorphisms that are not inner automorphisms, one may obtain other Dynkin diagrams and these correspond to **twisted** affine Lie algebras.

The second integral cohomology of the loop group of the corresponding simple compact Lie group is isomorphic to the integers. Central extensions of the affine Lie group by a single generator are topologically circle bundles over this free loop group, which are classified by a two-class known as the first Chern class of the fibration. Therefore, the central extensions of an affine Lie group are classified by a single parameter *k* which is called the *level* in the physics literature, where it first appeared. Unitary highest weight representations of the affine compact groups only exist when *k* is a natural number. More generally, if one considers a semi-simple algebra, there is a central charge for each simple component.

The Weyl group of an affine Lie algebra can be written as a semi-direct product of the Weyl group of the zero-mode algebra (the Lie algebra used to define the loop algebra) and the coroot lattice.

The Weyl character formula of the algebraic characters of the affine Lie algebras generalizes to the Weyl-Kac character formula. A number of interesting constructions follow from these. One may construct generalizations of the Jacobi theta function. These theta functions transform under the modular group. The usual denominator identities of semi-simple Lie algebras generalize as well; because the characters can be written as "deformations" or q-analogs of the highest weights, this led to many new combinatoric identities, include many previously unknown identities for the Dedekind eta function. These generalizations can be viewed as a practical example of the Langlands program.

Due to the Sugawara construction, the universal enveloping algebra of any affine Lie algebra has the Virasoro algebra as a subalgebra. This allows affine Lie algebras to serve as symmetry algebras of conformal field theories such as WZW models or coset models. As a consequence, affine Lie algebras also appear in the worldsheet description of string theory.