Sp(4)

Sp(4)
Name	Sp(4)
Type	Compact symplectic group
Dimension	10
Root system	C_2

Sp(4) Sp(4) is the compact symplectic Lie group of rank two and real dimension ten. It appears in the classification of simple Lie groups alongside SU(3), SO(5), G2, and E8; it shares the root system type C_2 with classical constructions used by Élie Cartan, Hermann Weyl, and Évariste Galois-inspired classification. As a group of symplectic automorphisms, Sp(4) interacts with structures studied by Bernard Riemann, Sophus Lie, William Rowan Hamilton, and André Weil.

Definition and basic properties

Sp(4) can be defined as the group of 4×4 complex matrices preserving a nondegenerate skew-symmetric bilinear form, paralleling definitions used for GL(n,C), SL(2,C), and Sp(2n,R). Its compact real form is often presented analogously to constructions for SU(n), SO(n), and U(n), and it admits a maximal torus isomorphic to the product of two copies of U(1). The center of Sp(4) is a finite subgroup related to the centers of Spin(5) and Sp(1), reflecting relationships exploited by Élie Cartan and Hermann Weyl in classification theorems. Sp(4) is simply connected in the sense used by Henri Poincaré and Léon Brillouin for compact Lie groups.

Lie group and Lie algebra structure

The Lie algebra sp(4,C) is a simple complex Lie algebra of type C_2 in the Cartan classification promulgated by Élie Cartan and later systematized by Claude Chevalley and Armand Borel. The real compact form sp(4) admits a Cartan subalgebra whose Weyl group is isomorphic to the hyperoctahedral group encountered in work by Augustin-Louis Cauchy and Arthur Cayley. Structure constants and Killing form computations mirror methods of Élie Cartan and Weyl character theory developed by Hermann Weyl. Sp(4) relates to other Lie groups via isogenies and low-rank coincidences such as the local isomorphism between Spin(5) and classical symplectic constructions referenced in papers by Marcel Berger and Élie Cartan.

Representations and root system

Irreducible representations of sp(4) are indexed by highest weights in the weight lattice described in texts by Hermann Weyl, Harish-Chandra, and Nathan Jacobson. The root system of type C_2 consists of short and long roots; its Dynkin diagram appears alongside diagrams for types A_n, B_n, D_n, and exceptional types in atlases by George Mackey and Robert Hermann. The Weyl character formula, developed by Hermann Weyl and applied by Élie Cartan, computes characters for finite-dimensional representations; tensor product decompositions connect to reciprocity laws studied by Issai Schur and Frobenius. Connections to the representation theory of SU(2), SU(3), and SO(5) are exploited in branching rules used by Eugene Wigner and Roger Penrose.

Topology and homotopy groups

As a compact, simply connected Lie group, Sp(4) has homotopy groups computable via Bott periodicity proved by Raoul Bott and techniques developed by Jean-Pierre Serre and Hatcher. The homology and cohomology rings mirror computations for SU(n), SO(n), and Sp(n), with characteristic classes related to constructions of Élie Cartan and Shiing-Shen Chern. The fibration sequences linking Sp(4) to spheres and Stiefel manifolds invoke classical results by Stiefel, Whitney, and Milnor, and the fundamental group considerations parallel those treated by Henri Poincaré in foundational topology.

Symplectic forms and geometric realizations

Sp(4) acts as the group of linear symplectomorphisms on a four-dimensional symplectic vector space, a setting studied by André Weil, Vladimir Arnold, and Alan Weinstein. Geometric realizations include homogeneous spaces analogous to flag varieties and Grassmannians that appear in work by Alexander Grothendieck, Hermann Weyl, and Weyl. Moment map techniques, developed by Mikhael Gromov and Victor Guillemin, give symplectic quotients and Hamiltonian actions of Sp(4) used in modern studies by Nigel Hitchin and Edward Witten. Connections to Kähler geometry and complex structures invoke methods associated with Shing-Tung Yau and Simon Donaldson.

Applications in mathematics and physics

Sp(4) arises in gauge theory contexts analogous to those involving SU(2), SU(3), and SO(10) in work by Yang–Mills pioneers and later by Edward Witten and Michael Atiyah. In string theory and supersymmetry, Sp(4) symmetry appears in model-building similar to uses of E8×E8 and SO(32), and it features in dualities studied by Juan Maldacena and Cumrun Vafa. In mathematical contexts, Sp(4) surfaces in arithmetic geometry through automorphic forms studied by Robert Langlands and Atle Selberg, and in integrable systems linked to contributions from Kentaro Ueno and Igor Krichever. Representation-theoretic applications connect to number-theoretic instances explored by Andrew Wiles and Pierre Deligne, while geometric representation theory techniques from George Lusztig and Joseph Bernstein exploit Sp(4) actions on varieties and categories.

Category:Lie groups