Creating a "larger" Lie algebra from a smaller one, in one of several ways
Lie groups and Lie algebras
Classical groups
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
Simple Lie groups
Classical
An
Bn
Cn
Dn
Exceptional
G2
F4
E6
E7
E8
Other Lie groups
Circle
Lorentz
Poincaré
Conformal group
Diffeomorphism
Loop
Euclidean
Lie algebras
Lie group–Lie algebra correspondence
Exponential map
Adjoint representation
Killing form
Index
Simple Lie algebra
Loop algebra
Affine Lie algebra
Semisimple Lie algebra
Dynkin diagrams
Cartan subalgebra
Root system
Weyl group
Real form
Complexification
Split Lie algebra
Compact Lie algebra
Representation theory
Lie group representation
Lie algebra representation
Representation theory of semisimple Lie algebras
Representations of classical Lie groups
Theorem of the highest weight
Borel–Weil–Bott theorem
Lie groups in physics
Particle physics and representation theory
Lorentz group representations
Poincaré group representations
Galilean group representations
Scientists
Sophus Lie
Henri Poincaré
Wilhelm Killing
Élie Cartan
Hermann Weyl
Claude Chevalley
Harish-Chandra
Armand Borel
Glossary
Table of Lie groups
v
t
e
In the theory of Lie groups, Lie algebras and their representation theory, a Lie algebra extensione is an enlargement of a given Lie algebra g by another Lie algebra h. Extensions arise in several ways. There is the trivial extension obtained by taking a direct sum of two Lie algebras. Other types are the split extension and the central extension. Extensions may arise naturally, for instance, when forming a Lie algebra from projective group representations. Such a Lie algebra will contain central charges.
Starting with a polynomial loop algebra over finite-dimensional simple Lie algebra and performing two extensions, a central extension and an extension by a derivation, one obtains a Lie algebra which is isomorphic with an untwisted affine Kac–Moody algebra. Using the centrally extended loop algebra one may construct a current algebra in two spacetime dimensions. The Virasoro algebra is the universal central extension of the Witt algebra.[1]
Central extensions are needed in physics, because the symmetry group of a quantized system usually is a central extension of the classical symmetry group, and in the same way the corresponding symmetry Lie algebra of the quantum system is, in general, a central extension of the classical symmetry algebra.[2] Kac–Moody algebras have been conjectured to be symmetry groups of a unified superstring theory.[3] The centrally extended Lie algebras play a dominant role in quantum field theory, particularly in conformal field theory, string theory and in M-theory.[4][5]
A large portion towards the end is devoted to background material for applications of Lie algebra extensions, both in mathematics and in physics, in areas where they are actually useful. A parenthetical link, (background material), is provided where it might be beneficial.
^Cite error: The named reference Bauerle_de_Kerf_1997 was invoked but never defined (see the help page).
^Schottenloher 2008, Introduction
^Dolan 1995 The Beacon of Kac–Moody Symmetry for Physics. (free access)
^Green, Schwarz & Witten 1987
^Schottenloher 2008
and 24 Related for: Lie algebra extension information
mathematics, a Liealgebra (pronounced /liː/ LEE) is a vector space g {\displaystyle {\mathfrak {g}}} together with an operation called the Lie bracket, an...
quantum mechanics. Liealgebraextension Virasoro algebra HNN extension Group contraction Extension of a topological group group+extension#Definition at the...
affine Liealgebra is an infinite-dimensional Liealgebra that is constructed in a canonical fashion out of a finite-dimensional simple Liealgebra. Given...
of representation theory, a Liealgebra representation or representation of a Liealgebra is a way of writing a Liealgebra as a set of matrices (or endomorphisms...
mathematics, a Liealgebra is semisimple if it is a direct sum of simple Liealgebras. (A simple Liealgebra is a non-abelian Liealgebra without any non-zero...
successive central extensions. Note that the definition means that, viewed as a non-associative non-unital algebra, a Liealgebra g {\displaystyle {\mathfrak...
circle. Its Liealgebra is (more or less) the Witt algebra, whose central extension the Virasoro algebra (see Virasoro algebra from Witt algebra for a derivation...
used to read off the list of simple Liealgebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, R {\displaystyle...
mathematics, Liealgebra cohomology is a cohomology theory for Liealgebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups...
Virasoro algebra (named after the physicist Miguel Ángel Virasoro) is a complex Liealgebra and the unique central extension of the Witt algebra. It is...
In mathematics, loop algebras are certain types of Liealgebras, of particular interest in theoretical physics. For a Liealgebra g {\displaystyle {\mathfrak...
mathematics, a Lie superalgebra is a generalisation of a Liealgebra to include a Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } ‑grading. Lie superalgebras...
enveloping algebra of a Liealgebra is the unital associative algebra whose representations correspond precisely to the representations of that Liealgebra. Universal...
In mathematics, a restricted Liealgebra (or p-Liealgebra) is a Liealgebra over a field of characteristic p>0 together with an additional "pth power"...
constants forms a Liealgebra under the Poisson bracket. This Liealgebra is a one-dimensional central extension of the commutative Liealgebra R 2 n {\displaystyle...
In mathematics, the complex Witt algebra, named after Ernst Witt, is the Liealgebra of meromorphic vector fields defined on the Riemann sphere that are...
In the mathematical field of Lie theory, the radical of a Liealgebra g {\displaystyle {\mathfrak {g}}} is the largest solvable ideal of g . {\displaystyle...
Liealgebra called a current algebra. Mathematically these are Liealgebras consisting of smooth maps from a manifold into a finite dimensional Lie algebra...
Such an algebra is called a Lie superalgebra. Just as one can have representations of a Liealgebra, one can also have representations of a Lie superalgebra...
being the use of the corresponding 'infinitesimal' representations of Liealgebras. A complex representation of a group is an action by a group on a finite-dimensional...
and a semisimple algebra over an algebraically closed field. The universal enveloping algebra of a Liealgebra is an associative algebra that can be used...