Sp(2n)

Sp(2n)
Name	Sp(2n)
Type	Classical Lie group
Field	ℝ, ℂ

Sp(2n).

Sp(2n) is the notation commonly used for the compact real symplectic group of rank n acting on a 2n-dimensional vector space, and for related complex and noncompact forms appearing in mathematics and physics. The group plays a central role in areas such as representation theory, algebraic geometry, and mathematical physics, interacting with topics associated to Élie Cartan, Hermann Weyl, Évariste Galois, and institutions like the Institute for Advanced Study and Princeton University. Sp(2n) appears in the study of classical groups alongside SO(n), SU(n), and in the context of dualities invoked by Roger Howe, Robert Langlands, and the Atiyah–Singer index theorem community.

Definition and notation

The symbol Sp(2n) denotes the group of 2n×2n matrices preserving a nondegenerate skew-symmetric bilinear form; historically this goes back to work of William Rowan Hamilton and later formalization by Carl Gustav Jacob Jacobi. In different contexts authors use variants: the compact real form often written as Sp(n) in the literature of Hermann Weyl and Claude Chevalley, while Sp(2n,ℂ) designates the complex symplectic group studied by André Weil and Alexander Grothendieck. Texts by Nicolas Bourbaki, Serge Lang, and James E. Humphreys present consistent notation for root systems of type C_n associated to this group.

Matrix and symplectic form representations

Concretely, Sp(2n,ℝ) = {M ∈ GL(2n,ℝ) | M^T J M = J} for a fixed antisymmetric matrix J of size 2n, a definition appearing in treatises by John von Neumann, Paul Dirac, and Marcel Berger. Standard choice J = 0, I_n; -I_n, 0 yields block matrix descriptions exploited by Carl Friedrich Gauss-style canonical forms. Over ℂ the group Sp(2n,ℂ) preserves a complex symplectic form studied in works of André Weil and in the geometry of Alexander Grothendieck's moduli problems. Lagrangian subspaces, Maslov indices, and the action on the Siegel upper half-space connect Sp(2n) to results by Carl Ludwig Siegel, Henri Poincaré, and Igor Shafarevich.

Lie group and Lie algebra structure

The Lie algebra sp(2n,ℝ) consists of matrices X with X^T J + J X = 0; this structure is one of the classical simple Lie algebras classified by Élie Cartan and recorded in the Cartan classification with Dynkin diagram C_n. Root system analysis by Hermann Weyl and highest-weight descriptions in the style of Harish-Chandra and Bertram Kostant identify simple roots and coroot lattices. The compact group Sp(n) is simply connected with fundamental group trivial in the compact form, while noncompact real forms carry fundamental groups discussed in literature by Armand Borel and Jean-Pierre Serre. Cartan involutions and Iwasawa decompositions for Sp(2n) appear in work by Sigurdur Helgason and are foundational to harmonic analysis on symmetric spaces studied by Israel Gelfand.

Representation theory and highest weights

Finite-dimensional irreducible representations of Sp(2n) are classified by highest weights for the C_n root system; classical sources include Weyl character formula expositions in texts by Hermann Weyl and treatments by N. J. Vilenkin. The fundamental representations correspond to exterior and symmetric constructions related historically to Arthur Cayley and Frobenius; the standard 2n-dimensional representation and the spin-like symplectic tensors are central in the work of Igor Dolgachev and Roger Howe’s theory of dual reductive pairs. Branching rules, tensor product decompositions, and plethysm involving Sp(2n) are treated in computational algebra systems used at Massachusetts Institute of Technology and in papers by William Fulton and Joe Harris.

Topology and homotopy properties

Topological properties of the compact form Sp(n) link to classical homotopy groups computed by methods of Henri Poincaré and modernized in the work of J. F. Adams and Raoul Bott. Bott periodicity yields stable homotopy patterns connecting Sp, O(n), and U(n), with specific homotopy groups tabulated by Raoul Bott and discussed at Institute for Advanced Study seminars. The flag varieties and homogeneous spaces Sp(2n)/P relate to Schubert calculus developed by Hermann Schubert and modern enumerative geometry literature from Alexander Kleiman and William Fulton.

Applications and examples

Sp(2n) appears in classical mechanics through symplectic transformations in phase space as in foundational texts by Joseph-Louis Lagrange and William Rowan Hamilton, and in quantum mechanics via metaplectic representations by L. D. Faddeev and André Weil. In algebraic geometry, moduli of principally polarized abelian varieties involve the Siegel modular group linked to Sp(2n,ℤ) studied by Carl Ludwig Siegel, David Mumford, and Pierre Deligne. In number theory and the Langlands program, automorphic representations of Sp(2n) are central to conjectures formulated by Robert Langlands and pursued by researchers at Institute for Advanced Study and Princeton University. In combinatorics and symmetric function theory, symplectic Schur functions and Hall–Littlewood polynomials for type C connect to work by Ian G. Macdonald and Richard Stanley. Examples include the classical group Sp(4) appearing in studies by Élie Cartan and applications to four-dimensional gauge theories considered in research by Edward Witten and Nathan Seiberg.

Category:Classical groups