sl2

sl2
Name	sl2
Type	Lie algebra / group
Generators	e, f, h
Relations	[h,e]=2e, [h,f]=-2f, [e,f]=h

sl2

sl2 is a fundamental object in the theory of linear algebraic groups, Lie algebras, and representation theory, serving as a minimal non-abelian simple Lie algebra that underpins many structures across mathematics and theoretical physics. It provides the prototype for classification theorems used in the study of semisimple Lie algebras, algebraic groups, and differential equations, and appears in contexts ranging from the work of Élie Cartan and Hermann Weyl to constructions related to Albert Einstein's field equations and models by Paul Dirac. Its simplicity and ubiquity make it a recurrent tool in the analysis of modules, geometric actions, and quantum deformations studied by researchers associated with institutions such as the Institute for Advanced Study, Harvard University, Massachusetts Institute of Technology, and University of Cambridge.

Definition and basic properties

The algebra is most commonly defined as the set of 2×2 traceless matrices over a field such as ℝ or ℂ, with the commutator as Lie bracket; standard matrix representatives include three elements analogous to raising, lowering, and neutral operators studied in work by Sophus Lie and Wilhelm Killing. As a three-dimensional simple Lie algebra of rank one, it features in classification results due to Cartan and Killing that also characterize more complex families like so(n), sp(2n), and exceptional algebras explored at institutions like École Normale Supérieure. Over algebraically closed fields of characteristic zero, it is unique up to isomorphism and admits automorphism groups related to PGL2 and SL2 group actions investigated by authors associated with Princeton University and University of Paris.

Representation theory

Finite-dimensional representations are completely reducible by a theorem of Weyl and decompose into direct sums of irreducible highest-weight modules classified by nonnegative integers, a classification originally developed in correspondence between Élie Cartan and Hermann Weyl. The irreducible n+1-dimensional representation can be realized on homogeneous polynomials appearing in the work of Isaac Newton's successors and used in branching rules studied by researchers at Cambridge University Press and Springer. Infinite-dimensional representations include Verma modules introduced by Daya-Nand Verma and unitary representations important to the theories of Eugene Wigner and Harish-Chandra, with applications in harmonic analysis on groups like SL2(ℝ) and connections to modular forms studied by Goro Shimura and Atkin–Lehner.

Lie algebra structure and commutation relations

A standard basis {e, f, h} satisfies bilinear relations [h,e]=2e, [h,f]=-2f, [e,f]=h, relations that echo canonical commutation relations used by Paul Dirac and Werner Heisenberg in quantum mechanics and appear in algebraic formulations by John von Neumann. The Killing form is nondegenerate and, up to scalar, is determined by traces of adjoint actions as exploited in classification by Cartan; structure constants can be normalized so the Casimir element has a familiar quadratic form used in invariant theory by David Hilbert and Emmy Noether.

Root decomposition and Cartan subalgebras

The algebra admits a one-dimensional Cartan subalgebra spanned by h, yielding a root system with two opposite roots ±2 relative to the chosen normalization, a minimal example within the general root theory developed by Killing and Cartan. This simple root data embeds into Dynkin diagram theory where the corresponding diagram is a single node, a seed case for the classification of semisimple Lie algebras by Armand Borel and Jacques Tits. Constructions of highest-weight theory and weight lattices leverage foundational work by Weyl and Harish-Chandra and feed into geometric realizations used by Michael Atiyah and Isadore Singer in index theorems.

Universal enveloping algebra and Casimir element

The universal enveloping algebra admits a Poincaré–Birkhoff–Witt basis associated to ordered monomials in e, f, h, a result traced to the collaborative developments by Gaston Darboux and formalized in modern expositions by Serge Lang and Jean-Pierre Serre. The quadratic Casimir element, central in the enveloping algebra, acts by scalars on irreducible representations, a principle used by Harish-Chandra in harmonic analysis and by researchers at CERN and Los Alamos National Laboratory in quantum field theory computations. Quantum deformations lead to quantum enveloping algebras U_q with R-matrices explored by Vladimir Drinfeld and Michio Jimbo, underpinning knot invariants studied by Edward Witten.

Applications in geometry and physics

As a symmetry algebra, it governs isometries of constant-curvature surfaces and appears in the study of moduli spaces considered by William Thurston and Maxwell Herman Nye, in Teichmüller theory linked with work by Lipman Bers and Maryam Mirzakhani, and in geometric representation theory developed by Beilinson and Bernstein. In physics, sl2-type structures are central to angular momentum theory of Niels Bohr and Wolfgang Pauli, to conformal symmetry analyses relevant to Paul Dirac and Enrico Fermi, and to integrable models studied by Ludwig Faddeev and Patrick Dorey, with ramifications for string theory research at Caltech and Princeton University.

Category:Lie algebras