Sp(2n,R)

Sp(2n,R)
Name	Sp(2n,R)
Type	Real symplectic group
Dimension	n(2n+1)
Center	Z_2 (for n odd), Z (covering groups)

Sp(2n,R) is the real symplectic group of degree n, a classical noncompact Lie group preserving a nondegenerate skew-symmetric bilinear form on a 2n-dimensional real vector space. It appears throughout modern mathematics and theoretical physics in connections to Élie Cartan, Hermann Weyl, André Weil, Paul Dirac, and in applied contexts associated with William Rowan Hamilton's work and the Heisenberg group. The group features in studies by researchers affiliated with institutions such as Institut des Hautes Études Scientifiques, Princeton University, University of Cambridge, and École Normale Supérieure.

Definition and basic properties

Sp(2n,R) is defined as the set of 2n×2n real matrices that preserve a chosen standard symplectic form, a matrix often denoted J; matrices A satisfying A^T J A = J belong to the group. Foundational work connecting this definition can be traced to Sophus Lie and later expositions by Hermann Weyl, Élie Cartan, and Élie Joseph Cartan. As a real Lie group it has Lie algebra isomorphic to the symplectic Lie algebra sp(2n,R) and is connected to classification schemes developed by Bertram Kostant and Robert Langlands. Sp(2n,R) is noncompact, semisimple, and real-simple for n ≥ 1; its behavior is central in the study of automorphic forms on groups considered by James Arthur and Harish-Chandra.

Matrix representation and Lie algebra

The standard matrix model uses block matrices partitioned into n×n blocks; elements are expressed as A B C D with relations ensuring symplecticity. The Lie algebra sp(2n,R) consists of 2n×2n real matrices X satisfying X^T J + J X = 0, a structure analyzed in classical texts by Élie Cartan and in modern representation theory by Anthony Knapp and Daniel Bump. Root systems and Cartan subalgebras for sp(2n,R) fit into the type C_n classification in the Cartan–Killing scheme, described by Nicolas Bourbaki and used in the work of Victor Kac on Kac–Moody algebras. The Killing form, Casimir elements, and Chevalley bases for sp(2n,R) play roles in constructions by Claude Chevalley, Henri Cartan, and Jean-Pierre Serre.

Topology and global structure

Topologically Sp(2n,R) is connected and has fundamental group isomorphic to the integers, giving a universal covering group often denoted by a metaplectic-type cover; these coverings enter prominently in the metaplectic representation studied by André Weil and later by Roger Howe and Igor Shafarevich. Maximal compact subgroups are isomorphic to the unitary group U(n), appearing in analyses by Elie Cartan and Armand Borel. The group's symmetric space Sp(2n,R)/U(n) is a Hermitian symmetric domain which influenced the work of Hermann Weyl, Harish-Chandra, and David Mumford in moduli problems and period mappings. Characteristic classes and cohomology of Sp(2n,R) relate to contributions by Raoul Bott and Michael Atiyah.

Representations and unitary dual

Representation theory for Sp(2n,R) includes discrete series, principal series, and complementary series representations, with classification results obtained by Harish-Chandra, David Vogan, and Anthony Knapp. The metaplectic representation (a double cover representation) constructed by André Weil and clarified by Roger Howe provides a fundamental unitary representation linking Sp(2n,R) to the Heisenberg group and to theta correspondence studied by Stephen Rallis and Wee Teck Gan. Automorphic representations on Sp(2n,R) appear in the Langlands program developed by Robert Langlands, James Arthur, and Frenkel collaborators; L-functions and periods for these representations were studied by Frederick Taylor and Harris. Branching laws and unitarizability criteria involve work by Vogan, Langlands, and Knapp.

Symplectic geometry and action on R^{2n}

Sp(2n,R) acts linearly on R^{2n} preserving the canonical symplectic form ω, a theme central to William Rowan Hamilton's formalism and to modern symplectic geometry as developed by André Lichnerowicz, Alan Weinstein, Yasha Eliashberg, and Mikhail Gromov. The group gives linear models for Hamiltonian flows and appears in geometric quantization frameworks of Kostant and Souriau. Moment map constructions for Sp(2n,R)-actions are used in work by Frances Kirwan and Nicole Berline, and connections to Floer theory and mirror symmetry were pursued by Paul Seidel and Maxim Kontsevich. In mechanics and optics, Sp(2n,R) underlies canonical transformations studied by Joseph Fourier-influenced analysts and by researchers at Caltech and MIT.

Subgroups, coverings, and relations to other groups

Important subgroups include the maximal compact U(n), parabolic subgroups linked to Siegel parabolics studied by Carl Ludwig Siegel, and the stabilizers isomorphic to GL(n,R) appearing in classical work by Ernst Witt and Elie Cartan. The metaplectic group Mp(2n,R) is the nontrivial double cover appearing in the theta correspondence of André Weil and the oscillator representation of Shale-Weil theory. Sp(2n,R) relates to orthogonal groups O(p,q) via dual reductive pairs studied by Roger Howe and to unitary groups U(p,q) in branching problems examined by I. M. Gelfand and Mikhail Sodin. Connections to algebraic groups over number fields tie Sp(2n) to arithmetic groups like Sp(2n,Z) and to moduli spaces considered by Igor Dolgachev and Gerd Faltings.

Category:Lie groups Category:Classical groups Category:Symplectic geometry