sl(n,C)

sl(n,C)
Name	sl(n,C)
Type	Complex simple Lie algebra
Dimension	n^2 − 1
Rank	n − 1
Root system	A_{n−1}
Cartan subalgebra	Diagonal traceless matrices
Universal cover	SL(n,C)

sl(n,C)

sl(n,C) is the complex Lie algebra of traceless n×n complex matrices. It is a classical simple Lie algebra that plays a central role in the theory of complex semisimple Lie algebras, algebraic groups, and representation theory. As the Lie algebra of the matrix group SL(n,C), it appears across mathematics and theoretical physics in contexts ranging from differential geometry to quantum field theory.

Definition and basic properties

sl(n,C) is defined as the set of all n×n complex matrices with trace zero, equipped with the commutator [X,Y]=XY−YX. Its dimension is n^2−1 and its rank is n−1. sl(n,C) is simple for n≥2, meaning it has no nontrivial ideals, and it is complex reductive; for n=2 it coincides with the classical A1 type. The Killing form on sl(n,C) is nondegenerate and proportional to the trace form Tr(ad_X ad_Y), which is invariant under the adjoint action of SL(n,C). Important structural results about sl(n,C) were developed in the work of Wilhelm Killing and Élie Cartan, and later organized by Claude Chevalley and Hermann Weyl.

Matrix representation and examples

A standard matrix realization uses the elementary matrices E_{ij} with a 1 in the (i,j)-entry and 0 elsewhere; traceless linear combinations of E_{ii} and off-diagonal E_{ij} (i≠j) span sl(n,C). For n=2 this gives the well-known isomorphism with the span of Pauli matrices used in the work of Wolfgang Pauli and Paul Dirac in quantum mechanics; for n=3 the Gell-Mann matrices introduced by Murray Gell-Mann furnish a basis widely used in particle physics. Concrete finite-dimensional representations arise from the defining representation on C^n and from tensor constructions examined by Hermann Weyl and Issai Schur. Matrices in sl(n,C) act on vector spaces that show up in the classification programs advanced by Élie Cartan and Harish-Chandra.

Lie algebra structure and classification

As a member of the A_{n−1} series in Cartan’s classification, sl(n,C) fits into the ADE classification studied by John McKay and Friedrich Hirzebruch. Its simple roots and Dynkin diagram characterize its isomorphism class; for n≥3 the Dynkin diagram is a chain with n−1 nodes. The universal enveloping algebra U(sl(n,C)) was studied by Pierre Deligne and Alexander Beilinson in relation to category O pioneered by James Lepowsky and Joseph Bernstein. sl(n,C) admits outer automorphisms related to diagram symmetries; its inner automorphism group is isomorphic to PSL(n,C) modulo center, a theme appearing in the development of algebraic groups by Armand Borel and Jacques Tits.

Representations and highest-weight theory

Finite-dimensional irreducible representations of sl(n,C) are classified by highest weights according to the highest-weight theory developed by Élie Cartan and Hermann Weyl and expanded by Roger Howe and Robert Langlands. Dominant integral weights correspond to Young diagrams and partitions familiar from the work of Alfred Young and Issai Schur; Schur–Weyl duality links representations of sl(n,C) with symmetric group representations studied by Richard Brauer and Gian-Carlo Rota. Verma modules, introduced by Dmitri Verma, provide universal highest-weight modules whose irreducible quotients yield all highest-weight modules. The Borel–Weil theorem, associated with Armand Borel and André Weil, realizes irreducible representations in spaces of sections over flag varieties studied by Élie Cartan and Jean-Louis Koszul.

Root system and Cartan subalgebra

A Cartan subalgebra of sl(n,C) is the subspace of diagonal traceless matrices; its dual contains the root system of type A_{n−1} described by Wilhelm Killing and Élie Cartan. Roots are the functionals ε_i−ε_j with i≠j arising from the difference of coordinate functionals ε_i, and root spaces are one-dimensional spanned by E_{ij}. The Weyl group is isomorphic to the symmetric group S_n, a classical object in the work of Arthur Cayley and Évariste Galois, acting by permuting the ε_i. The simple roots may be chosen as ε_i−ε_{i+1}, producing the standard Dynkin diagram and Cartan matrix that appear in the classification by Cartan and Killing.

Applications and connections (geometry, physics)

sl(n,C) occurs throughout differential and algebraic geometry via its role in the description of holomorphic vector bundles and moduli spaces investigated by Simon Donaldson and Nigel Hitchin; Hitchin’s self-duality equations relate sl(n,C) to Higgs bundles and nonabelian Hodge theory developed by Carlos Simpson. In mathematical physics, sl(n,C) underlies gauge theories such as Yang–Mills theory studied by Chen Ning Yang and Robert Mills and appears in models of particle physics via the special unitary subgroup SU(n) used by Murray Gell-Mann and Yoichiro Nambu. Constructions in conformal field theory and integrable systems connect sl(n,C) to affine Kac–Moody algebras introduced by Victor Kac and Robert Moody and to quantum groups developed by Vladimir Drinfeld and Michio Jimbo. In number theory and the Langlands program initiated by Robert Langlands, automorphic representations of GL(n) and related L-functions implicate the structure and representations of sl(n,C) through the theory of algebraic groups studied by Armand Borel and Jean-Pierre Serre.

Category:Complex Lie algebras