Affine Lie algebra explained

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. Given an affine Lie algebra, one can also form the associated affine Kac-Moody algebra, as described below. 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.

Affine Lie algebras play an important role in string theory and two-dimensional conformal field theory due to the way they are constructed: starting from a simple Lie algebra

ak{g} , one considers the loop algebra, L ak{g} , formed by the ak{g} -valued functions on a circle (interpreted as the closed string) with pointwise commutator. The affine Lie algebra \hat{ ak{g}} is obtained by adding one extra dimension to the loop algebra and modifying the commutator in a non-trivial way, which physicists call a quantum anomaly (in this case, the anomaly of the WZW model) and mathematicians a central extension. More generally, if σ is an automorphism of the simple Lie algebra ak{g} associated to an automorphism of its Dynkin diagram, the twisted loop algebra L _{\sigmaak{g}} consists of ak{g} -valued functions f on the real line which satisfythe twisted periodicity condition . Their central extensions are precisely the twisted affine Lie algebras. The point of view of string theory helps to understand many deep properties of affine Lie algebras, such as the fact that the characters of their representations transform amongst themselves under the modular group.

Affine Lie algebras from simple Lie algebras

Definition

If

ak{g} is a finite-dimensional simple Lie algebra, the corresponding affine Lie algebra \hat{ ak{g}} is constructed as a central extension of the loop algebra ak{g} ⊗ \Complex [t,t ^{-1} ] , with one-dimensional center \Complex c. As a vector space,\widehat{ ak{g}}= ak{g} ⊗ \Complex [t,t ^{-1} ] ⊕ \Complex c,

where

\Complex [t,t ^{-1} ] is the complex vector space of Laurent polynomials in the indeterminate t. The Lie bracket is defined by the formula[a ⊗ t ^{n+\alpha} c, b ⊗ t ^{m+\beta} c] = [a,b] ⊗ t ^{n+m} + \langle a|b\rangle n\delta _{m+n,0} c

for all

a,b\in ak{g}, \alpha,\beta\in \Complex and n,m\in Z , where [a,b] is the Lie bracket in the Lie algebra ak{g} and \langle ⋅ | ⋅ \rangle is the Cartan-Killing form on ak{g}.

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

\delta (a ⊗ t ^{m+\alpha} c) = t{d\over dt} (a ⊗ t ^{m).}

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

Constructing the Dynkin diagrams

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.

Classifying the central extensions

The attachment of an extra node to the Dynkin diagram of the corresponding simple Lie algebra corresponds to the following construction. An affine Lie algebra can always be constructed as a central extension of the loop algebra of the corresponding simple Lie algebra. If one wishes to begin instead with a semisimple Lie algebra, then one needs to centrally extend by a number of elements equal to the number of simple components of the semisimple algebra. In physics, one often considers instead the direct sum of a semisimple algebra and an abelian algebra

\Complex ^{n} . In this case one also needs to add n further central elements for the n abelian generators.

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.

Structure

Cartan–Weyl basis

As in the finite case, determining the Cartan–Weyl basis is an important step in determining the structure of affine Lie algebras.

Fix a finite-dimensional, simple, complex Lie algebra

ak{g} with Cartan subalgebra ak{h} and a particular root system \Delta . Introducing the notation X _{n} = X ⊗ t ^{n,} , one can attempt to extend a Cartan–Weyl basis \{H ^{i\}} \cup \{E ^{\alpha|\alpha} \in \Delta\} for ak{g} to one for the affine Lie algebra, given by \{H ^{i} _{n\}} \cup \{c\} \cup \{E ^{\alpha} _{n\}} , with \{H ^{i} _{0 \}} \cup \{c\} forming an abelian subalgebra.

The eigenvalues of

ad(H ^{i} _{0 )} and ad(c) on E ^{\alpha} _{n} are \alpha ^{i} and 0 respectively and independently of n . Therefore the root \alpha is infinitely degenerate with respect to this abelian subalgebra. Appending the derivation described above to the abelian subalgebra turns the abelian subalgebra into a Cartan subalgebra for the affine Lie algebra, with eigenvalues (\alpha ^{1,} … , \alpha ^{dim} }, 0, n) for E ^{\alpha} _{n.}

Killing form

The Killing form can almost be completely determined using its invariance property. Using the notation

B for the Killing form on ak{g} and \hat B for the Killing form on the affine Kac–Moody algebra,$$\backslash hat\; B(X\_n,\; Y\_m)\; =\; B(X,Y)\backslash delta\_,$$ $$\backslash hat\; B(X\_n,\; c)\; =\; 0,\; \backslash hat\; B(X\_n,\; d)\; =\; 0$$$$\backslash hat\; B(c,\; c)\; =\; 0,\; \backslash hat\; B(c,\; d)\; =\; 1,\; \backslash hat\; B(d,d)\; =\; 0,$$where only the last equation is not fixed by invariance and instead chosen by convention. Notably, the restriction of \hat B to the c,d subspace gives a bilinear form with signature ( + , - ) .

Write the affine root associated with

E ^{\alpha} _{n} as \hat \alpha = (\alpha; 0 ;n) . Defining \delta = ( 0 , 0 , 1 ) , this can be rewritten$$\backslash hat\; \backslash alpha\; =\; \backslash alpha\; +\; n\backslash delta.$$

The full set of roots is$$\backslash hat\; \backslash Delta\; =\; \backslash \backslash cup\; \backslash .$$Then

\delta is unusual as it has zero length: (\delta, \delta) = 0 where ( ⋅ , ⋅ ) is the bilinear form on the roots induced by the Killing form.

Affine simple root

In order to obtain a basis of simple roots for the affine algebra, an extra simple root must be appended, and is given by$$\backslash alpha\_0\; =\; -\backslash theta\; +\; \backslash delta$$where

\theta is the highest root of ak{g} , using the usual notion of height of a root. This allows definition of the extended Cartan matrix and extended Dynkin diagrams.

Representation theory

The representation theory for affine Lie algebras is usually developed using Verma modules. Just as in the case of semi-simple Lie algebras, these are highest weight modules. There are no finite-dimensional representations; this follows from the fact that the null vectors of a finite-dimensional Verma module are necessarily zero; whereas those for the affine Lie algebras are not. Roughly speaking, this follows because the Killing form is Lorentzian in the

c,\delta directions, thus (z, \bar{z}) are sometimes called "lightcone coordinates" on the string. The "radially ordered" current operator products can be understood to be time-like normal ordered by taking z = \exp(\tau + i\sigma) with \tau the time-like direction along the string world sheet and \sigma the spatial direction.

Vacuum representation of rank k

The representations are constructed in more detail as follows.^[1]

Fix a Lie algebra

ak{g} and basis \{J ^{\rho\}} . Then \{J ^{\rho} _{n\}} = \{J ^{\rho} ⊗ t ^{n\}} is a basis for the corresponding loop algebra, and \{J ^{\rho} _{n\}\cup} \{c\} is a basis for the affine Lie algebra \hat ak{g} .

The vacuum representation of rank

k , denoted V _{k(akg)} where k \in C , is the complex representation with basis$$\backslash \; \backslash cup\; \backslash$$and define the action of \hat ak{g} on V = V _{k(ak{g})} by (with n > 0 )$$c\; =\; k\backslash text\_V,\; \backslash ,\; J^\backslash rho\_n\; \backslash Omega\; =\; 0,$$$$J^\backslash rho\_\backslash Omega\; =\; v^\backslash rho\_n\; \backslash ,\; J^\backslash rho\_v^\_\; =\; v^\_.$$

Affine Vertex Algebra

The vacuum representation in fact can be equipped with vertex algebra structure, in which case it is called the affine vertex algebra of rank

k . The affine Lie algebra naturally extends to the Kac–Moody algebra, with the differential d represented by the translation operator T in the vertex algebra.

Weyl group and characters

See main article: Weyl-Kac character formula.

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.

Applications

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.

Example

The Heisenberg algebra^[2] defined by generators

a _{n,} n \in Z satisfying commutation relations$$[a\_m,\; a\_n]\; =\; m\backslash delta\_c$$can be realized as the affine Lie algebra \hat ak u( 1 ) .

Notes and References

1. Book: Schottenloher . Martin . A Mathematical Introduction to Conformal Field Theory . Lecture Notes in Physics . 11 September 2008 . 759 . Springer-Verlag . Berlin . 978-3-540-68625-5 . 196–7 . 10.1007/978-3-540-68628-6 . 2 . 16 January 2023.
2. P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, 1997,