Levi decomposition

Levi decomposition
Name	Levi decomposition
Field	Sophus Lie-theory; Élie Cartan-related algebra
Introduced	1905–1930s
Related	Lie algebra, semisimple Lie algebra, solvable Lie algebra, Levi subalgebra, radical (Lie algebra)

Levi decomposition The Levi decomposition expresses a finite-dimensional Lie algebra over a field of characteristic zero as a semidirect sum of a semisimple Lie algebra and its radical (Lie algebra), the maximal solvable Lie algebra ideal. It isolates the completely reducible part from the solvable part and underlies structure theory for Élie Cartan-classification, representation theory, and connections to Lie group structure such as the Levi–Malcev theorem-style results and the theory of connected Lie groups.

Statement and Definitions

A finite-dimensional Lie algebra g over a field of characteristic zero admits a direct vector-space decomposition g = s ⊕ r where r is the radical (Lie algebra) of g, the largest solvable ideal, and s is a subalgebra that is semisimple Lie algebra. Such an s is called a Levi subalgebra. The decomposition is a semidirect sum: r is an ideal and s acts on r via the adjoint representation ad: s → gl(r). Important related terms include nilradical, the maximal nilpotent ideal, and concepts from representation theory, such as complete reducibility for modules over semisimple Lie algebras.

Existence and Uniqueness of Levi Subalgebras

The existence of a Levi subalgebra for finite-dimensional Lie algebras over fields of characteristic zero is guaranteed by results due to Eugenio Elia Levi and later refined by Anatoly Maltsev and Jacques Tits. Uniqueness holds up to inner automorphism: any two Levi subalgebras are conjugate by an automorphism arising from exponentials of elements of the radical (Lie algebra); equivalently, they are conjugate by an inner automorphism of the corresponding simply connected Lie group whose Lie algebra has radical r. The rigidity reflects concepts used in classification theorems by Élie Cartan, Claude Chevalley, and in structural work by Nathan Jacobson. Over fields of positive characteristic or nonalgebraically closed fields, exotic counterexamples and obstructions studied by Helmut G. D. Zassenhaus and Barry J. F. Teichmüller appear, requiring extra hypotheses such as restricted Lie algebras or p‑nilpotency conditions.

Proofs and Constructions

Standard proofs combine Engel’s theorem and Weyl’s theorem on complete reducibility for semisimple Lie algebras. One approach uses induction on dimension: choose a minimal ideal and split by considering its solvable or semisimple nature; invoke Levi’s original argument to produce a complementary semisimple subalgebra. Another method uses cohomology: vanishing of the second cohomology group H^2(s, r) for semisimple s and module r (via Whitehead’s lemmas) yields the splitting and conjugacy statements. Constructions via algebraic groups use the existence of a maximal reductive subgroup of a linear algebraic group, linking to work of Armand Borel and Claude Chevalley; for analytic Lie groups, one uses exponential maps and Baker–Campbell–Hausdorff techniques from Hermann Weyl-style structural analysis.

Examples and Applications

Classic examples include the inhomogeneous Euclidean group algebra as a semidirect sum of a so(n)-type semisimple algebra with an abelian radical of translations, and the Poincaré algebra as so(1,3) acting on the translation ideal. In algebraic geometry and representation theory the decomposition underlies the structure of the Lie algebra of a linear algebraic group, used in work by Alexander Grothendieck and Jean-Pierre Serre on algebraic group cohomology, and in classification problems treated by Armand Borel and Robert Langlands. In mathematical physics, Levi decomposition organizes symmetry algebras in particle physics models associated to Murray Gell-Mann-style flavor symmetries and to spacetime symmetries studied by Eugene Wigner and Richard Feynman.

Variations and Generalizations

Generalizations include versions for infinite-dimensional Lie algebras under additional hypotheses, for restricted Lie algebras in characteristic p with contributions by Nathan Jacobson and Helmut Hasse, and for Lie superalgebras in work by Victor Kac where split sequences involve reductive even parts and nilpotent odd parts. Algebraic-group forms replace Levi subalgebras by Levi subgroups (maximal reductive subgroups) treated by Armand Borel and Claude Chevalley; the Levi–Malcev theorem and Malcev’s results on analytic groups connect to Igor Malcev's contributions. Deformation-theoretic perspectives invoke Hochschild and Chevalley–Eilenberg cohomology studied by Gerhard Hochschild and Samuel Eilenberg.

Historical Context and Attribution

The decomposition traces to work of Eugenio Elia Levi in the early 20th century and was developed through contributions by Élie Cartan, Hermann Weyl, Claude Chevalley, and Anatoly Maltsev who clarified existence and conjugacy. Developments in cohomological proofs came from Claude Chevalley and Nathan Jacobson, while algebraic-group formulations and widespread adoption in representation theory were promoted by Armand Borel, Alexander Grothendieck, and Jean-Pierre Serre. Subsequent refinements in characteristic p and for generalized algebraic structures involved Victor Kac, Igor Malcev, and others who adapted the decomposition to wider contexts.

Category:Lie algebras