---
title: Symplectic Grassmannians
url: https://www.emergentmind.com/topics/symplectic-grassmannians
type: topic
---

# Symplectic Grassmannians

A symplectic Grassmannian is a parameter space of linear subspaces of a symplectic vector space with specific isotropy or nondegeneracy constraints relative to the symplectic form. These spaces play fundamental roles in algebraic geometry, representation theory, integrable systems, and mathematical physics due to their rich geometry, distinctive cohomological invariants, and connections with classical Lie groups and moduli problems. The theory incorporates characterizations via orbit structure, homogenous models, Schubert calculus, quantum (and quantum K-) theory, and tropical, combinatorial, and representation-theoretic degenerations.

## 1. Definitions, Models, and Basic Structure

Let \( V \) be a finite-dimensional vector space (usually over \( \mathbb{C} \) or \( \mathbb{R} \)) equipped with a nondegenerate symplectic (alternating, skew-symmetric) bilinear form \( \omega \). For \( k \leq n = \tfrac{1}{2}\dim V \), the **symplectic Grassmannian** \( \mathrm{SpGr}(k,2n) \) is the algebraic variety of all \( k \)-dimensional isotropic subspaces \( W \subset V \), i.e.,
\[
\mathrm{SpGr}(k,2n) = \{\, W \subset V \mid \dim W = k,\; \omega|_{W \times W} = 0 \,\}
\]
["GLSMs for exotic Grassmannians" 2008.02281], [“A Characterization of Symplectic Grassmannians” 1604.06867].

For maximal isotropic subspaces (i.e., \( k = n \)), \( \mathrm{SpGr}(n,2n) \) is the **Lagrangian Grassmannian**.

An alternative, non-isotropic version, the **symplectic Grassmannian of nondegenerate subspaces**, parametrizes \( 2k \)-planes \( W \subset V \) such that \( \omega|_{W} \) is nondegenerate (symplectic). These varieties, also called *symplectic* or *nonisotropic* Grassmannians, can be realized as adjoint orbits of involutions:
\[
\Gr_{\Sp}(2k,F^{2n}) 
= \{\, X \in \Sp(2n,F) : X^2 = I_{2n},\, \operatorname{tr}(X)=4k-2n\, \}
\cong \Sp(2n,F) / (\Sp(2k,F) \times \Sp(2n-2k,F))
\]
[2501.18172].

In both cases, \( \mathrm{SpGr}(k,2n) \) is a rational homogeneous space for the symplectic group \( \Sp(2n) \), typically presented as \( \Sp(2n)/P_k \) for the parabolic \( P_k \) stabilizing a reference isotropic \( k \)-plane [2008.04909], [1206.6194].

The (complex or real) dimension is
\[
\dim\,\mathrm{SpGr}(k,2n) = k(2n - k) - \tfrac12 k(k-1)
\]
["Symplectic Grassmannians and Cyclic Quivers" 2407.00654].

## 2. Homogeneous Geometry, Orbit Structure, and Topology

Symplectic Grassmannians are homogeneous under \( \Sp(2n) \), with isotropy subgroups described as follows:

- For the symplectic Grassmannian of nondegenerate \( 2k \)-planes:
  \[
  \Gr_{\mathrm{symp}}(2k; V, \omega) \cong \Sp(2n)/[ \Sp(2k) \times \Sp(2n-2k) ]
  \]
  The action is transitive, and the spaces are compact connected homogeneous manifolds [2601.16441], [2501.18172].

- The Lagrangian Grassmannian \( \Lambda(V,\omega) \) is \( \Sp(2n,\mathbb{R})/U(n) \), a compact Kähler symmetric space of real dimension \( n(n+1) \) and complex dimension \( n(n+1)/2 \) [2304.10774]. The Siegel domain (symmetric complex matrices with positive imaginary part) provides coordinates for an open cell.

In Morse–Bott theoretic terms, the Grassmannian of all subspaces decomposes into finitely many \( \Sp(V) \)-orbits, labeled by triples \( (n_0,n_+,n_-) \) encoding maximal isotropic, complex, and symplectic content. Each orbit retracts (via negative gradient flow for a quadratic energy function) onto a compact quotient of the unitary group:
\[
\Gr(n_0, n_+, n_-; V) \simeq U(n)/[O(n_0) \times U(n_+) \times U(n_-)]
\]
with the symplectic Grassmannian appearing as the case \( n_0=0 \) [2601.16441], [2410.16869].

Topological invariants (e.g., fundamental group, cohomology) are computed via this homogeneous bundle structure. For instance, \( \pi_1(\mathrm{SpGr}(k,2n)) \cong \mathbb{Z} \) for the symplectic orbit, \( \mathbb{Z}/2 \) for Lagrangian.

## 3. Schubert Calculus, Cohomology, and Combinatorial Geometry

Schubert calculus on symplectic Grassmannians generalizes type \( A \) theory, with *k-strict* partitions and isotropic flags governing Schubert data. The classical cohomology ring \( H^*(\mathrm{SpGr}(k,2n)) \) is generated by the Chern classes of the tautological and quotient bundles, subject to symplectic Giambelli-type relations. Pfaffian sum formulas (built from equivariant theta and double Schubert polynomials) express Schubert classes in terms of special ones [1401.3073], [1809.07932].

The table below summarizes generating presentations in cohomology and K-theory:

| Structure             | Generators         | Relations            |
|-----------------------|-------------------|----------------------|
| Cohomology            | \( e_i(Q) \)      | Giambelli/Pfaffian   |
| \( K \)-theory        | \( \lambda_{y}(S), \lambda_{y}(Q) \) | \( \lambda_y(S) \lambda_y(Q) = (1+y)^{2n} \) |

Combinatorial objects controlling cell decompositions include:

- **Weyl group**: Schubert cells indexed by signed permutations (type \( C \)) or, for 2-planes, admissible pairs avoiding conjugate indices [2307.00203].
- **Affinization and patterns**: Cellular decompositions in quiver degenerations are parameterized by *symplectic juggling patterns* or combinatorial necklaces, with top-dimensional cells matching classical Euler characteristics [2407.00654].
- **Toric/Matroidal geometry**: \( T \)-invariant subvarieties correspond to representable *symplectic Coxeter matroids*, controlling thin Schubert stratifications and moment polytopes [2307.00203].

The restriction of type \( A \) Schubert classes to the symplectic Grassmannian admits positive puzzle formulas ("self-dual puzzles") compatible with mirror symmetry and quantum integrable system structures [1811.07581].

## 4. Quantum Cohomology and Quantum K Theory

Quantum cohomology \( QH^*(\mathrm{SpGr}(k,2n)) \) is determined either by recursion on Gromov–Witten invariants (three-point correlators) or via Coulomb branch analysis of gauged linear sigma models (GLSMs) [2008.02281], [2008.04909]. The small quantum cohomology ring is presented by quantum-deformations of the Giambelli–Pierce relations, explicitly:
\[
q \prod_{b \neq a}(x_a + x_b) = x_a^{2n - k + 1}
\]
for the Chern roots \( x_a \), with Klein-type symmetries and quantum corrections entering in the top relations [2008.02281]. In equivariant quantum cohomology, twisted masses \( m_i \) lead to factorial Schur-type relations coupling the equivariant and quantum parameters.

Quantum \( K \)-theory for \( \mathrm{SpGr}(k,2n) \) is obtained from GLSM localization with Chern–Simons levels, yielding OPE algebras of half-BPS Wilson loops:
\[
(1 - x_a)^{2n} = (-1)^{k-1}q x_a^{k-1} \prod_{b \neq a} (1 - x_a x_b)
\]
Quantum \( K \)-theory is further organized in "shifted Wilson line" and \( \lambda_y \) class bases, reflecting both geometric and physical structures [2008.04909].

For the odd symplectic Grassmannian \( \mathrm{IG}(2,2n+1) \), the quantum cohomology ring is semisimple—contrasting with the even case—and Dubrovin's conjecture on exceptional collections holds [1012.4257].

## 5. Characterization Theorems and Rigidity

Symplectic Grassmannians are naturally characterized by their varieties of minimal rational tangents (VMRT). If a Fano manifold of Picard number one has VMRTs locally or globally projectively equivalent to those of a symplectic Grassmannian, it is (biregularly) isomorphic to one [1604.06867], [1901.00357]. This fills the "short root" case for rational homogeneous varieties, extending earlier parabolic geometry results.

\[
\text{If } X \text{ Fano},\ \cC_x \sim \mathrm{VMRT}(\mathrm{SpGr}(k,2n)) \ \forall x \implies X \cong \mathrm{SpGr}(k,2n)
\]
This rigidity extends under Kähler deformation [1901.00357], and reduces the global geometry to local tangent behavior.

## 6. Quiver, Tropical, and Degeneration Approaches

Degenerate and tropical models reveal further structure:

- **Quiver Grassmannians**: The flat degenerations of \( \mathrm{SpGr}(k,2n) \) arise as loci of self-orthogonal subrepresentations for cyclic quivers with symplectic structure. Cells correspond to "symplectic juggling patterns" with explicit combinatorial formulas for Euler characteristics and Poincaré polynomials [2407.00654].
- **Tropicalization**: The tropical symplectic Grassmannian is defined by tropicalizations of the Plücker and symplectic relations; these provide matroidal and fan-theoretic perspectives, but several combinatorial pathologies arise for \( k \ge 3 \) [2103.16512].
- **Linked Grassmannians**: In limit linear series theory, symplectic Grassmannians generalize to "linked symplectic Grassmannians" parameterizing chains of isotropic subbundles with expected codimension formulas, crucial in moduli of Brill–Noether loci [1101.0825].

## 7. Applications, Extensions, and Open Directions

Symplectic Grassmannians and their degenerations appear across mathematical physics (mirror symmetry, GLSMs, gauge theory), representation theory (moduli of parabolic sheaves, Beilinson–Bott–Hodge theory), and combinatorics (matroids, puzzles, tableaux). Further developments include:

- Quantum and K-theoretic Schubert calculus (Grothendieck polynomials, double theta functions) [1809.07932], [1401.3073].
- Symplectic group factorizations into Grassmannians of involutions, with four-factor decompositions paralleling known orthogonal/unitary results [2501.18172].
- Cell decompositions and \( T \)-fixed point loci controlled by BC-type matroids [2307.00203].
- Infinite-dimensional and loop Grassmannians (restricted classes, Banach manifold models) [2304.10774].
- Open questions include the full characterization of quantum cohomology rings, positive combinatorial formulae for quantum and K-theoretic structure constants, explicit tropical and matroidal classification, and generalizations to other types and to singular moduli problems.

---

**Key references:**  
- "GLSMs for exotic Grassmannians" [2008.02281];  
- "A Morse-Bott unification of the Grassmannians of a symplectic vector space" [2601.16441];  
- "A Characterization of Symplectic Grassmannians" [1604.06867];  
- "Quantum K theory of symplectic Grassmannians" [2008.04909];  
- "Characterizing symplectic Grassmannians by varieties of minimal rational tangents" [1901.00357];  
- "Symplectic Grassmannians and Cyclic Quivers" [2407.00654];  
- "The tropical symplectic Grassmannian" [2103.16512];  
- "Pfaffian sum formula for the symplectic Grassmannians" [1401.3073];  
- "Double Grothendieck Polynomials for Symplectic and Odd Orthogonal Grassmannians" [1809.07932];  
- "On $T$-invariant subvarieties of symplectic Grassmannians..." [2307.00203].

Source: https://www.emergentmind.com/topics/symplectic-grassmannians