| symplectic group | |
|---|---|
| Name | Symplectic group |
| Type | Lie group |
| Dimension | n(2n+1) |
| Field | Real, Complex |
| Related | symplectic manifold, Lie algebra |
symplectic group
The symplectic group is the group of linear transformations that preserve a nondegenerate skew-symmetric bilinear form on a finite-dimensional vector space. In mathematics it is a classical Lie group with deep connections to geometry; in Quantum Physics it underlies canonical transformations, the structure of phase space, and key symmetry principles used in quantization and quantum optics. Its algebraic and representation-theoretic properties organize unitary implementations such as the metaplectic representation and feature in practical models studied at institutions like CERN and Max Planck Institute research programs.
For a 2n-dimensional vector space V over a field F equipped with a nondegenerate alternating form ω (a symplectic form), the symplectic group Sp(2n,F) is defined as thumb|right|A skew bilinear form ω the set of linear automorphisms g of V satisfying ω(gv,gw)=ω(v,w) for all v,w in V. Over the reals this yields the real symplectic group Sp(2n,ℝ); over the complex numbers one obtains Sp(2n,ℂ). Sp(2n) is connected (for ℝ it has one noncompact real form) and is simple for n≥2 as a real Lie group modulo its center. Important invariants include dimension n(2n+1), center {±I}, and the preservation of the associated symplectic manifold linear model.
Choosing a Darboux basis gives the standard matrix form: g ∈ Sp(2n,F) if and only if g^T J g = J where J = 0,I_n],[-I_n,0. This realizes Sp(2n,F) as a linear algebraic group defined by quadratic equations in the entries of g. Its Lie algebra sp(2n,F) consists of 2n×2n matrices X with X^T J + J X = 0. The exponential map exp: sp(2n,ℝ) → Sp(2n,ℝ) is surjective in a neighborhood of the identity, and the group admits maximal compact subgroups isomorphic to U(n) in the real case. These structures are central in the classification of classical groups (see works by Élie Cartan and Hermann Weyl).
The Lie algebra sp(2n,ℂ) is a simple complex Lie algebra of type C_n in the Cartan classification. Highest-weight theory applies: finite-dimensional irreducible representations are indexed by dominant integral weights and constructed via Weyl modules and the universal enveloping algebra using the Poincaré–Birkhoff–Witt theorem. For quantum applications, the infinite-dimensional unitary representations, notably the metaplectic double cover and oscillator representations, are most relevant; these connect to the harmonic oscillator and the canonical commutation relations studied by Paul Dirac and Werner Heisenberg.
On a classical phase space (a symplectic manifold), linearized symplectic maps model local canonical transformations that preserve Hamiltonian flow and the Poisson bracket. In quantum mechanics, these linear symplectic transformations correspond to transformations of canonical coordinates (q,p) that preserve the canonical commutation relations; through Weyl quantization and the theory of coherent states (pioneered by Roy Glauber and others), Sp(2n,ℝ) organizes symmetry operations on phase-space distributions such as the Wigner quasiprobability distribution. Conservation of symplectic form under time evolution is reflected in unitary propagators for quadratic Hamiltonians.
The metaplectic representation is the unique (up to sign) projective unitary representation of the double cover of Sp(2n,ℝ) on L^2(ℝ^n) that implements linear symplectic transformations as unitary operators. Constructed via Stone–von Neumann theorem on the uniqueness of the Schrödinger representation of the Heisenberg group, the metaplectic operators realize Fourier transforms, squeezers, and phase-space rotations used in quantum optics and signal analysis. Key references and constructions trace to Lion and Vergne, the work of André Weil (Weil representation), and implementations in algorithms such as the fast Fourier transform in computational contexts.
In quantum optics, Sp(2n,ℝ) symmetry classifies Gaussian states and Gaussian channels: beam splitters, phase shifters, and squeezers form subgroups of the symplectic group acting on mode quadratures. Experimental platforms at laboratories such as MIT and Institute of Photonic Sciences exploit these symmetries to generate entanglement and to implement continuous-variable quantum information protocols. In many-body physics, symplectic symmetry appears in fermionic Bogoliubov transformations, random-matrix ensembles with symplectic symmetry (linked to Dyson's threefold way), and in large-N approaches where Sp groups organize collective modes.
Symplectic geometry provides the natural language for canonical transformations in Hamiltonian mechanics; quantization schemes (canonical quantization, geometric quantization, and deformation quantization) require control of symplectic structures. The group Sp(2n) acts as the linear model for prequantum bundles and feeds into the construction of polarization choices in geometric quantization (see works by Jean-Marie Souriau and Bertram Kostant). Deformation quantization techniques, including the Moyal product, explicitly use phase-space coordinates transformed by symplectic maps, and computational schemes in quantum chemistry and semiclassical analysis (e.g., WKB methods) exploit representations of the symplectic group.
Category:Lie groups Category:Symplectic geometry Category:Quantum mechanics