Whitehead lemma

Whitehead lemma is a foundational result in the cohomology theory of Lie algebras asserting vanishing of low-degree cohomology for semisimple Lie algebras acting on finite-dimensional modules. It plays a central role in the structure theory of Lie algebras and in representation theory, with deep connections to classical results such as Cartan's criteria, Weyl's theorem, and the Harish-Chandra isomorphism. The lemma underpins many structural theorems used in the study of algebraic groups, differential geometry, and mathematical physics.

Statement

The Whitehead lemma states that for a finite-dimensional semisimple Lie algebra g over a field of characteristic zero and any finite-dimensional g-module V, the first and second Lie algebra cohomology groups H^1(g,V) and H^2(g,V) vanish. This assertion interfaces with core results: for example, it complements Cartan's criterion for semisimplicity, supports Weyl's theorem on complete reducibility, and is used in proofs involving the Killing form, Casimir element, and the representation theory developed by Harish-Chandra. The lemma is typically formulated in the language of Lie algebra cohomology introduced by Claude Chevalley and Samuel Eilenberg and is applied in contexts ranging from the classification of extensions to deformation theory linked to Maurice Gerstenhaber.

Proofs

Classical proofs proceed via invariants and averaging techniques tied to the existence of an invariant bilinear form like the Killing form on semisimple algebras; these arguments historically invoke results from Élie Cartan and use reduction to sl2-substructures modeled on Lie's theorem and Jacobson-Morosov theorem. Alternative proofs exploit highest-weight theory, drawing on constructions from Hermann Weyl and the structure of Cartan subalgebra and root system decompositions present in work by Élie Cartan and Nikolai Bourbaki expositions. Homological algebra proofs use the spectral sequence machinery developed by Jean Leray and Henri Cartan along with the cohomology framework of Chevalley–Eilenberg complex, while analytic proofs in the compact real form proceed via averaging over a compact group using results by Hermann Weyl and Élie Cartan on compact Lie groups; these leverage the Peter–Weyl theorem and integration over groups such as SU(2), SO(n), and U(n). Modern categorical approaches utilize derived functors Ext^i in the category of g-modules, connecting to developments by Alexander Grothendieck and applications in Alain Connes's noncommutative geometry program.

Applications

Vanishing results from the Whitehead lemma yield classification consequences for extensions and deformations: H^1(g,V)=0 implies rigidity of modules and uniqueness of splittings used in the study of Chevalley groups and Alexander Grothendieck-style descent arguments; H^2(g,V)=0 controls equivalence classes of central extensions relevant to the construction of universal enveloping algebras studied by Ilya Piatetski-Shapiro and G. I. Olshanskii. In representation theory the lemma supports results about complete reducibility and tensor product decompositions used in the analysis of representations of SL(2,C), GL(n,C), and more generally complex semisimple groups as in the work of Harish-Chandra and George Mackey. In geometry and physics it underlies rigidity theorems for principal bundles over manifolds considered by Séverin Chern and Shing-Tung Yau, and controls anomalies and conservation laws in quantum field theory frameworks related to Richard Feynman and Edward Witten where Lie algebra cohomology classifies obstructions.

Generalizations

Generalizations extend the vanishing to broader contexts: for reductive Lie algebras one obtains modified statements involving central toral parts studied by Claude Chevalley and Michel Duflo, while cohomology vanishing in infinite-dimensional settings has been explored for Kac–Moody algebras by Victor Kac and for current algebras appearing in conformal field theory examined by Alexander Zamolodchikov. Analogues in algebraic group cohomology link to results by Serre, Jean-Pierre on Galois cohomology and to nonabelian cohomology approaches developed by Giraud, Jean; in homotopical algebra the lemma's spirit appears in obstruction theories formalized by Dennis Sullivan and Quillen, Daniel. Deformation quantization contexts connect to formality theorems by Maxim Kontsevich where vanishing of certain cohomology groups parallels Whitehead-type rigidity.

Historical context

The lemma originated in work of J. H. C. Whitehead in the early 1940s during development of cohomology for Lie algebras and influenced parallel advances by Claude Chevalley and Samuel Eilenberg on cohomology theories. It fed into mid-20th century synthesis of structural Lie theory by Élie Cartan, Hermann Weyl, and Nathan Jacobson, and later informed modern representation-theoretic developments by Harish-Chandra, Bertram Kostant, and Joseph Bernstein. Its implications permeated the literature on algebraic groups, enveloping algebras, and mathematical physics through subsequent works by I. M. Gelfand and Israel Gelfand-related schools and continue to be referenced in contemporary texts by J. F. Adams and William Fulton on representation theory and algebraic geometry.

Category:Lie algebra cohomology