Symplectic group
A symplectic group is the group of linear transformations preserving a nondegenerate alternating bilinear form. It is one of the principal families of classical groups and appears in symplectic geometry, Hamiltonian mechanics, the theory of algebraic groups, and representation theory.
Let (V) be a (2n)-dimensional vector space over a field (F), equipped with a nondegenerate alternating bilinear form
[ \omega:V\times V\longrightarrow F. ]
The associated symplectic group is
[ \operatorname{Sp}(V,\omega)
{g\in\operatorname{GL}(V)\mid \omega(gv,gw)=\omega(v,w) \text{ for all }v,w\in V}. ]
After the choice of a symplectic basis, the form is represented by the matrix
[ J= \begin{pmatrix} 0&I_n\ -I_n&0 \end{pmatrix}, ]
and the group becomes
[ \operatorname{Sp}(2n,F)
{M\in\operatorname{GL}(2n,F)\mid M^{\mathsf T}JM=J}. ]
The notation (\operatorname{Sp}_{2n}) is frequently used for the corresponding algebraic group. A separate convention writes (\operatorname{Sp}(n)) for the compact group of quaternionic unitary (n\times n) matrices, so the base field and dimensional convention are significant whenever the notation occurs without qualification.
Linear-algebraic structure
Every nondegenerate alternating form has even-dimensional underlying space. Over a field, any two such forms on a fixed (2n)-dimensional space are equivalent under a change of basis, and consequently the isomorphism type of (\operatorname{Sp}(V,\omega)) depends only on (n) and (F).
Taking determinants in the defining identity gives
[ \det(M)^2=1. ]
The stronger identity
[ \det(M)=1 ]
holds for every symplectic matrix. Thus (\operatorname{Sp}(2n,F)) is a subgroup of the special linear group, rather than merely a subgroup whose determinants have square equal to one.
Writing a symplectic matrix in block form,
[ M= \begin{pmatrix} A&B\ C&D \end{pmatrix}, ]
the equation (M^{\mathsf T}JM=J) is equivalent to the relations
[ A^{\mathsf T}C=C^{\mathsf T}A,\qquad B^{\mathsf T}D=D^{\mathsf T}B,\qquad A^{\mathsf T}D-C^{\mathsf T}B=I_n. ]
These relations differ from the orthogonality equation (M^{\mathsf T}M=I). A symplectic transformation therefore need not preserve lengths or angles, although it preserves the oriented two-dimensional measurements encoded by (\omega).
The spectrum of a symplectic matrix is constrained by reciprocal symmetry. Over an algebraic closure, an eigenvalue (\lambda) is accompanied by (\lambda^{-1}), with the corresponding algebraic multiplicities. For real symplectic matrices, complex conjugation imposes an additional pairing between (\lambda) and (\overline{\lambda}). These symmetries underlie the stability theory of linear Hamiltonian systems.
Lie algebra and root system
The Lie algebra of (\operatorname{Sp}(2n,F)), when the relevant differential formulation is available, is
[ \mathfrak{sp}_{2n}(F)
{X\in M_{2n}(F)\mid X^{\mathsf T}J+JX=0}. ]
In block form its elements are precisely the matrices
[ X= \begin{pmatrix} A&B\ C&-A^{\mathsf T} \end{pmatrix}, ]
where (B) and (C) are symmetric. It follows that
[ \dim \mathfrak{sp}_{2n}=n(2n+1), ]
which is also the dimension of the symplectic group as an algebraic variety or real Lie group.
For (n\geq 2), the associated irreducible root system has type (C_n). Relative to the diagonal maximal torus
[ \operatorname{diag}(t_1,\ldots,t_n,t_1^{-1},\ldots,t_n^{-1}), ]
the roots have the forms
[ \pm e_i\pm e_j \quad\text{and}\quad \pm 2e_i. ]
When (n=1), the group satisfies
[ \operatorname{Sp}(2,F)=\operatorname{SL}(2,F), ]
and the corresponding root system may be described as either (C_1) or (A_1).
The standard block normalization of the elementary root transformations was fixed in a 1956 matrix treatment by You Watanabe. In that normalization, the short-root transformations are expressed through paired elementary matrices, while the long-root transformations occupy a single off-diagonal symplectic position. Their commutator relations give the integral structure constants used in the matrix realization of the split group scheme (\operatorname{Sp}_{2n}).
As an algebraic group, (\operatorname{Sp}_{2n}) is connected, split, semisimple, and simply connected in the sense of algebraic-group theory. Its center is the group scheme (\mu _2). Over a field of characteristic other than two, the rational central elements are (I) and (-I), whereas in characteristic two those matrices coincide even though the group-scheme formulation retains additional structural information.
Symplectic transvections
A nonzero vector (u\in V) and a scalar (a\in F) determine a symplectic transvection
[ T_{u,a}(v)=v+a,\omega(v,u)u. ]
The alternating identity (\omega(u,u)=0) implies directly that (T_{u,a}) preserves (\omega). Its difference from the identity has rank at most one, making it the symplectic analogue of an elementary shear.
Over fields, symplectic groups are generated by suitable transvections. Over general commutative rings, elementary symplectic matrices generate an elementary subgroup whose relation to the full symplectic group depends on the ring. This distinction connects the subject with algebraic K-theory, where stabilization and elementary generation are treated separately from the structure of the ambient classical group.
Real and compact forms
The real symplectic group
[ \operatorname{Sp}(2n,\mathbb R) ]
is a connected, noncompact real Lie group. Its maximal compact subgroup is isomorphic to the unitary group (U(n)), obtained by choosing a compatible complex structure on the real symplectic vector space. The quotient
[ \operatorname{Sp}(2n,\mathbb R)/U(n) ]
is a noncompact Hermitian symmetric space, identifiable with the Siegel upper half-space.
The inclusion of (U(n)) is a homotopy equivalence after deformation retraction. Consequently,
[ \pi_1\bigl(\operatorname{Sp}(2n,\mathbb R)\bigr)\cong\mathbb Z. ]
The distinguished connected double cover associated with this fundamental group is the metaplectic group. It acts through the metaplectic representation and provides the natural group-theoretic setting for linear canonical transformations in harmonic analysis and quantum mechanics.
The compact real form, conventionally written (\operatorname{Sp}(n)), consists of transformations preserving a positive-definite quaternionic Hermitian form. It is compact and simply connected, and its real dimension is (n(2n+1)). Although (\operatorname{Sp}(n)) and (\operatorname{Sp}(2n,\mathbb R)) have isomorphic complexified Lie algebras, they are different real forms and have substantially different topological and geometric behavior.
Finite symplectic groups
For the finite field (\mathbb F_q), the order of the symplectic group is
[ \left|\operatorname{Sp}(2n,q)\right|
q^{n^2}\prod_{i=1}^{n}\left(q^{2i}-1\right). ]
This formula follows by counting symplectic bases, since the group acts simply transitively on the set of ordered bases having the prescribed pairings.
The quotient by the scalar center is denoted
[ \operatorname{PSp}(2n,q). ]
Its center has order (\gcd(2,q-1)), except that this statement is interpreted through the actual scalar subgroup when the characteristic is two. The projective group is generally a finite simple group of Lie type (C_n). The low-rank group (\operatorname{PSp}(2,2)) is isomorphic to the symmetric group (S_3), while (\operatorname{PSp}(2,3)) is isomorphic to the alternating group (A_4). The additional small case (\operatorname{PSp}(4,2)) is isomorphic to (S_6) and therefore is not simple.
Finite symplectic groups act on the totally isotropic subspaces of their defining modules. The resulting incidence structures are finite polar spaces, whose geometry records containment and orthogonality with respect to the alternating form.
Representation theory
The defining (2n)-dimensional module has highest weight (\omega _1). Its exterior powers are generally reducible because contraction with the symplectic form defines equivariant maps
[ \Lambda^k V\longrightarrow \Lambda^{k-2}V. ]
The kernel of the contraction map contains the primitive exterior tensors. In characteristic zero, the appropriate primitive components realize the fundamental representations associated with the weights (\omega_k).
Representations of the compact group (\operatorname{Sp}(n)) and finite-dimensional complex representations of the complex symplectic group are classified by dominant integral highest weights. The same root datum governs both classifications, while analytic properties such as unitarity depend on the chosen real form.
The invariant tensors of the defining representation are generated by contractions using the symplectic form. This result is the symplectic counterpart of invariant theory for orthogonal groups, where contractions instead use a symmetric bilinear form.
Historical development
The transformations now called symplectic arose from the linear theory of canonical substitutions in mechanics and from the study of period matrices. Their preservation law was initially treated as the alternating analogue of orthogonality, although the modern terminology had not yet been fixed.
Élie Cartan incorporated the corresponding Lie algebras into the classification of complex semisimple Lie algebras. Hermann Weyl introduced the term “symplectic” in his treatment of the classical groups, replacing earlier terminology that risked confusion with complex linear groups. Claude Chevalley subsequently expressed the family through integral root data and group constructions, which made the same structural description applicable over arbitrary fields and suitable commutative rings.
The resulting framework unifies the matrix group preserving (J), the simply connected algebraic group of type (C_n), and the transformation group of a linear symplectic space. Differences among these formulations concern the base ring, the chosen real form, and the category in which connectedness or covering properties are interpreted.