Special Unitary Group

Special Unitary Group
Name	Special Unitary Group
Notation	SU(n)
Type	Lie group
Dimension	n^2−1
Rank	n−1
Field	Complex numbers
Connected	Yes for n≥1
Simply connected	Yes for n≥2

Special Unitary Group is the group of n×n unitary matrices with determinant 1, forming a compact, simple Lie group central to modern Albert Einstein-era Institute for Advanced Study mathematics and 20th-century Élie Cartan classification. It appears across work by Élie Cartan, Hermann Weyl, Emmy Noether, Élie Cartan's contemporaries and later in developments by Harish-Chandra and Roger Penrose, linking representation theoretic results used by Paul Dirac, Werner Heisenberg, Enrico Fermi, and Murray Gell-Mann.

Definition and basic properties

SU(n) is defined as the set of n×n complex matrices U satisfying U*U = I and det U = 1, a closed subgroup of the unitary group U(n) studied by John von Neumann, Felix Klein, Sophus Lie, and Hermann Weyl. It is a compact, real Lie group with Lie algebra su(n), having center isomorphic to the cyclic group of order n which appears in classifications by Élie Cartan and in considerations by Évariste Galois-inspired symmetry in David Hilbert's invariant theory. SU(n) acts on complex vector spaces such as C^n; its adjoint action relates to work by Élie Cartan and later expositions by Claude Chevalley and Jean-Pierre Serre.

Matrix representation and Lie algebra

Elements of SU(n) are unitary matrices with determinant one, studied through matrix exponentials exp(X) where X lies in su(n), the algebra of traceless skew-Hermitian matrices, following constructions used by Hermann Weyl and Élie Cartan. The commutator [X,Y] of su(n) yields a simple Lie algebra of type A_{n−1} in the Cartan–Killing classification elaborated by Élie Cartan and later presented by Nathan Jacobson and Armand Borel. Cartan subalgebras, root systems, and Dynkin diagram for A_{n−1} connect to work by Bourbaki and Robert Langlands; structure constants appear in physics treatments by Paul Dirac, Richard Feynman, and Julian Schwinger.

Topology and connectedness

Topologically SU(n) is compact and simply connected for n≥2, with homotopy groups studied by Henri Poincaré and later computed in stable ranges by Raoul Bott and Michael Atiyah. Its fundamental group is trivial for n≥2, while its cohomology ring and characteristic classes are treated in texts by John Milnor, James Stasheff, Raoul Bott, and Jean-Pierre Serre. The fibration U(1) → U(n) → SU(n) and associated long exact sequences of homotopy and homology appear in research by M. F. Atiyah and Isadore Singer relevant to index-theoretic results used in the Atiyah–Singer index theorem.

Representation theory

Finite-dimensional representations of SU(n) are highest-weight modules classified via dominant integral weights, following the work of Hermann Weyl and expanded by George Mackey, Harish-Chandra, I. M. Gelfand, and Frederick Mostow. Irreducible representations correspond to Young tableaux used by Alfred Young and to Schur–Weyl duality linking symmetric group representations by Issai Schur and Weyl. Characters, Weyl dimension formula, and branching rules connect to research by Weyl, Harish-Chandra, and Roger Howe, and are instrumental in constructions by Eugene Wigner and J. J. Sakurai in quantum angular momentum and multiplet theory.

Applications in physics and geometry

SU(n) appears as a gauge group in Yang–Mills theory developed by Chen Ning Yang and Robert Mills, and as symmetry groups in the Standard Model with SU(2) and SU(3) central to work by Steven Weinberg, Sheldon Glashow, Abdus Salam, Murray Gell-Mann, and Gerard 't Hooft. In geometry, SU(n) holonomy characterizes Calabi–Yau manifolds studied by Shing-Tung Yau and used by Edward Witten in string theory; connections and principal bundles over manifolds feature in studies by Kurt Gödel-adjacent relativists and by Michael Atiyah and Isadore Singer in index theory. Instanton solutions and monopoles investigated by Alexander Polyakov and Gerard 't Hooft employ SU(n) gauge fields; topological quantum field theory constructions by Edward Witten leverage SU(n) representation categories.

Examples and classification

SU(1) is trivial, SU(2) is double-covered by the 3-sphere S^3 and isomorphic to the group of unit quaternions associated with William Rowan Hamilton; SU(3) underpins the eightfold way of Murray Gell-Mann and Yuval Ne'eman. Low-rank isomorphisms relate SU(2) ≅ Spin(3) and SU(4) connections to Spin(6) studied by Élie Cartan and Claude Chevalley. The general classification of SU(n) as compact, simple Lie groups of type A_{n−1} appears in the Cartan classification by Élie Cartan and in later comprehensive treatments by Serre and Bourbaki; explicit matrix models and root data are standard in expositions by Brian Hall and Fulton and Harris.

Category:Lie groups