Symplectic Linear Group Action

• Symplectic linear group action is the canonical representation of Sp(2n, ℝ) on 2n-dimensional vector spaces, preserving the nondegenerate skew-symmetric bilinear form.
• It underlies orbit classification by generating invariants such as Pfaffians and rational/differential invariants, critical in invariant and representation theory.
• The action extends to affine, conformal, and contact settings, offering robust tools for normal form characterization and applications in algebraic K-theory.

A symplectic linear group action is the canonical linear action of the symplectic group $\operatorname{Sp}(2n, \mathbb{R})$ (or its variants over other base fields) on symplectic vector spaces and their associated geometric and algebraic objects. This action underlies much of the structural theory of symplectic geometry, invariant theory, representation theory, and algebraic geometry related to alternating forms, and provides a source of canonical invariants and orbit classification for submanifolds, functions, module objects, and algebraic varieties.

1. The Symplectic Group and Its Linear Action

Let $V \simeq \mathbb{R}^{2n}$ be a $2n$-dimensional real vector space equipped with the standard nondegenerate skew-symmetric bilinear form

$\omega = \sum_{i=1}^n dx^i \wedge dy^i,$

where $(x^1,\ldots,x^n, y^1,\ldots, y^n)$ serves as linear coordinates. In matrix terms, setting $z = (x, y)^T$ and $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$, the form is $\omega(z, w) = z^T \Omega w$. The real symplectic group is then

$$\operatorname{Sp}(2n, \mathbb{R}) = \{ g \in \operatorname{GL}(2n, \mathbb{R}) \mid g^T \Omega g = \Omega \},$$

acting linearly via $z \mapsto g z$, preserving $V \simeq \mathbb{R}^{2n}$0 and therefore the symplectic structure on $V \simeq \mathbb{R}^{2n}$1 (Pelayo, 2016).

This construction generalizes straightforwardly to arbitrary fields, to higher tensor powers (for "joint invariants"), and to the context of modules over commutative rings with $V \simeq \mathbb{R}^{2n}$2 (Chattopadhyay et al., 2011, Pandey et al., 2023).

2. Algebraic and Differential Invariants

2.1 Polynomial and Rational Invariants

For the diagonal action of $V \simeq \mathbb{R}^{2n}$3 on $V \simeq \mathbb{R}^{2n}$4-tuples $V \simeq \mathbb{R}^{2n}$5, the first fundamental theorem (FFT) of symplectic invariant theory asserts that the algebra of invariants is generated by the pairwise symplectic pairings

$V \simeq \mathbb{R}^{2n}$6

where $V \simeq \mathbb{R}^{2n}$7 (Andreassen et al., 2020). The minimal relations (second fundamental theorem, SFT) are given by vanishing of all Pfaffians of size $V \simeq \mathbb{R}^{2n}$8. That is, for any $V \simeq \mathbb{R}^{2n}$9 indices, the Pfaffian of the corresponding principal submatrix of $2n$0 must vanish, with precise forms in low dimensions being the classical Plücker relation for $2n$1.

The field of rational invariants has transcendence degree $2n$2 for $2n$3 (Andreassen et al., 2020).

2.2 Differential Invariants via the Lie–Tresse Theorem

When $2n$4 acts on jets of submanifolds or graphs of functions, the Lie–Tresse theorem supplies a finite generating set of differential invariants and invariant derivations. For $2n$5 on $2n$6, the algebra $2n$7 of differential invariants is generated by

• $2n$8 (order 0)
• $2n$9 (order 1)
• Quadratic contractions of the horizontal Hessian $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$0 as $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$1, $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$2, $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$3 (order 2)
• $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$4 invariant derivations $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$5 up to structure equations and syzygies

For example, for $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$6, the algebra closes with a finite number of differential syzygies among $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$7, $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$8, and the derivations $\omega = \sum_{i=1}^n dx^i \wedge dy^i,$9 (Jensen et al., 2020).

In higher codimension, the pattern is: curves in $(x^1,\ldots,x^n, y^1,\ldots, y^n)$0 yield one second-order invariant and $(x^1,\ldots,x^n, y^1,\ldots, y^n)$1 derivations; hypersurfaces yield $(x^1,\ldots,x^n, y^1,\ldots, y^n)$2 second-order invariants and $(x^1,\ldots,x^n, y^1,\ldots, y^n)$3 derivations, and so forth.

3. Orbit Structure and Classification

3.1 Linear and Symplectic Equivalence

The symplectic linear group action partitions ambient space (e.g., $(x^1,\ldots,x^n, y^1,\ldots, y^n)$4) into orbits classified by the values of the joint invariants $(x^1,\ldots,x^n, y^1,\ldots, y^n)$5, subject to Pfaffian relations (Andreassen et al., 2020). Two generic $(x^1,\ldots,x^n, y^1,\ldots, y^n)$6-tuples are in the same $(x^1,\ldots,x^n, y^1,\ldots, y^n)$7-orbit if and only if corresponding $(x^1,\ldots,x^n, y^1,\ldots, y^n)$8 invariants agree and all Pfaffian syzygies are satisfied.

In the module-theoretic context, orbits of the elementary symplectic transvection group on unimodular vectors coincide setwise with those of the elementary linear transvection group, reflecting a precise equivalence between linear and symplectic orbits once a hyperbolic summand is added (Chattopadhyay et al., 2011). This identification is critical for $(x^1,\ldots,x^n, y^1,\ldots, y^n)$9-theoretic stability results.

3.2 Conjugacy of Symplectic Forms

When $z = (x, y)^T$0 acts by conjugation on the space of nondegenerate skew-symmetric matrices, the algebraic invariants are the Pfaffian and the coefficients $z = (x, y)^T$1 of $z = (x, y)^T$2 for $z = (x, y)^T$3. These $z = (x, y)^T$4 invariants are algebraically independent and suffice to classify orbits in dimension four; the classification in higher dimensions is governed by the same set of invariants (Shi et al., 2022).

In the $z = (x, y)^T$5 case, the pair $z = (x, y)^T$6 completely determines the orbit, with the topology of orbits described via a discriminant $z = (x, y)^T$7.

4. Invariant Theory of Symplectic Group Actions on Polynomial Rings and Nullcones

The natural action of $z = (x, y)^T$8 on $z = (x, y)^T$9-copies of its defining representation endows the coordinate ring $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$0 with an invariant subring generated by the quadratic forms

$$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$1

subject to vanishing of all principal Pfaffians of size $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$2, yielding a generic Pfaffian algebra structure (Pandey et al., 2023). The Hilbert nullcone is defined by the vanishing of all nonconstant invariants, and its scheme-theoretic properties (strong F-regularity, rational singularities, properties of the divisor class group and Gorenstein locus) are completely described.

Table: Structure of the Symplectic Invariant Algebra on $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$3 Copies of $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$4

Generators	Relations	Singularities
Degree-2 $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$5 (from $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$6)	All Pfaffians of size $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$7 vanish	F-regular/rational
		Divisor class: $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$8 if $$\Omega = \begin{pmatrix} 0 & I_n \ -I_n & 0 \end{pmatrix}$$9

5. Geometric and Representation-Theoretic Consequences

The transitive $\omega(z, w) = z^T \Omega w$0-action on quaternionic projective space $\omega(z, w) = z^T \Omega w$1 and flag manifolds $\omega(z, w) = z^T \Omega w$2 encodes interaction degrees of freedom, with coset representatives parameterized by off-diagonal blocks, and the flag spaces serving as models for highest-weight representations via Borel–Weil theory. The Maurer–Cartan form decomposes curvature contributions, and the associated invariants reflect representation-theoretic labels (weights, roots, etc.) (Eichinger, 2011).

For analytic symplectic actions of semisimple Lie algebras, local linearization in Darboux coordinates is always possible; equivalently, any such analytic action with a fixed point is linearizable (but this generally fails in the smooth non-compact case) (Miranda, 2015).

6. Extensions: Conformal, Affine, and Contact Symplectic Actions

Modifying the group to the conformal symplectic group $\omega(z, w) = z^T \Omega w$3 brings an additional scaling generator, and invariants/derivations compatible with this (weight-zero) reduction yield generators for conformal-invariant algebras (Jensen et al., 2020, Andreassen et al., 2020). For the affine symplectic group $\omega(z, w) = z^T \Omega w$4, invariants are constructed via reduction to the linear case after translation.

Contactifications lead to rational relative invariants under the extended action, and discretization of joint invariants recovers the differential invariants of submanifold geometry.

7. Characterization of Normal Forms and Orbit Moduli

Normal forms for linear symplectic transformations are governed by Williamson's theorem: every element can be brought into block-diagonal form with blocks of elliptic, hyperbolic, or focus-focus type, and possibly nilpotent Jordan blocks. Co-adjoint orbits, via the momentum map, realize symplectic quotients corresponding to the orbit structure (Pelayo, 2016).

In the context of symplectic modules over rings, normal forms and conjugacy classes inform the stabilization of $\omega(z, w) = z^T \Omega w$5 and the structure and generation of the elementary symplectic group, with important implications for algebraic $\omega(z, w) = z^T \Omega w$6-theory (Chattopadhyay et al., 2011).

---

The symplectic linear group action organizes the invariant theory of symplectic structures, underlies the classification of forms and submanifolds, and connects geometric, algebraic, and representation-theoretic domains through its orbit structure, generating invariants, and their syzygies (Jensen et al., 2020, Andreassen et al., 2020, Shi et al., 2022, Pandey et al., 2023, Pelayo, 2016).