---
title: Grassmannian Formulation Overview
url: https://www.emergentmind.com/topics/grassmannian-formulation
type: topic
---

# Grassmannian Formulation Overview

The Grassmannian formulation is a geometric and algebraic framework in which central objects and processes in algebraic geometry, representation theory, mathematical physics, and optimization are encoded in terms of subspaces or "k-planes" inside a vector space. Grassmannian varieties, denoted $\operatorname{Gr}(k,n)$, parametrize $k$-dimensional linear subspaces of an $n$-dimensional (real or complex) vector space and have a rich structure, manifesting in algebraic, differential, combinatorial, and physical contexts. The recent literature develops powerful explicit and computationally efficient models for the Grassmannian, revealing deep connections to scattering amplitudes, supersymmetric sigma models, positive geometry, K-theory, and more [1411.6363][2009.13502][2405.05128][2603.24656][2011.13699][2512.25005][2310.15474][1212.5605][1303.5512][1901.03010][2006.02422][2505.03705].

## 1. Geometric Models and Algebraic Embeddings

Several concrete models of the Grassmannian exist, each advantageous for particular applications.

- **Plücker Embedding:** $\operatorname{Gr}(k,n) \to \mathbb{P}^{\binom{n}{k}-1}$, mapping a $k$-plane to its maximal minors (Plücker coordinates) of a $k \times n$ representative matrix. The image is cut out by quadratic Plücker relations [2310.15474][1901.03010].
- **Projection Matrix Model:** The set of symmetric, idempotent $n \times n$ matrices of rank $k$ with $\operatorname{tr}(P)=k$ [2405.05128][2011.13699]. Common in applications for representing subspaces directly.
- **Involution Model (Symmetric Orthogonal):** The affine variety $\{ Q \in O(n) : Q^T = Q,\, Q^2 = I,\, \operatorname{tr}(Q)=2k-n \}$, with $Q=P-P^\perp$ for $P$ the projection [2009.13502][2405.05128][2406.11821]. Offers numerically stable and computationally efficient formulations for geometric and optimization tasks.

Each model possesses a tractable and explicit description of tangent and normal spaces, metric, exponential and logarithm map, parallel transport, and curvature [2011.13699][2009.13502][2406.11821].

## 2. Differential Geometry and Curvatures

Recent advances provide explicit closed-form expressions for intrinsic and extrinsic differential geometry on the Grassmannian, especially in the involution model [2406.11821].

- **Tangent Space:** At $Q$, $T_Q \operatorname{Gr}(k,n) = \{ X \in \operatorname{Sym}(n)\mid XQ+QX=0 \}$.
- **Metric:** Trace inner product, $\langle X, Y \rangle = \operatorname{tr}(XY)$.
- **Riemann Curvature:** For tangent vectors $X$, $Y$, $Z$, $\operatorname{Riem}_Q(X,Y)Z = \frac{1}{2} [[X,Y],Z]$.
- **Sectional, Ricci, Scalar Curvature:** Sectional curvature for a $2$-plane: $\kappa_Q(X,Y) = \frac{\|[X,Y]\|^2}{4(\|X\|^2\|Y\|^2 - [XY]^2)}$; Ricci: $\operatorname{Ric}_Q(X,Y) = \frac{n-2}{8} \operatorname{tr}(XY)$; Scalar: $\operatorname{Scal}_Q = \frac{k(n-k)(n-2)}{8}$.
- **Second Fundamental Form, Weingarten Map, Mean Curvature:** $\mathrm{sff}_Q(X,Y) = \frac{1}{2}(XYQ + QYX)$; Weingarten map $S_Q(H) = \frac{1}{2}[H,X]$; mean curvature given explicitly in terms of $k$ and $n$.
- **Higher Tensors:** Includes detailed formulas for Schouten, Weyl, Bach, and vanishing of Cotton/non-Riemannian tensors. All admit block-matrix expressions tractable in high-performance linear algebra [2406.11821].

This detailed catalog enables stable computation of all geometric invariants, facilitating robust optimization and analysis.

## 3. Grassmannian Formulation in Scattering Amplitudes

Grassmannian integrals unify the computation of tree-level and (in some contexts) loop-level scattering amplitudes in maximally supersymmetric gauge and gravity theories. In $\mathcal{N}=4$ super Yang-Mills (SYM), the color-ordered $n$-point N$^k$MHV tree amplitude is given by a contour integral over $G(k,n)$:

\[
A_n^{(k)} = A_n^\mathrm{MHV} \oint_{\Gamma \subset G(k,n)} \frac{d^{k\times n}C}{\operatorname{Vol}[GL(k)]} \frac{1}{\prod_{i=1}^n M_i} \delta^{4k|4k}(C \cdot Z)
\]
where $C$ is a $k\times n$ matrix (modulo $GL(k)$), $M_i$ are cyclic minors, and $Z$ are momentum twistors [1411.6363][1212.5605][1410.5047]. Positroid cells—loci where certain minors vanish—stratify $G(k,n)$ and correspond to physical factorization channels [1212.5605][2512.25005].

**Orientation and Locality:** Summing residues over these cells requires careful assignment of orientation signs, computable algorithmically via path-dependent products of edge-weights in a poset of cells. The signed boundary operator satisfies $\partial^2=0$, ensuring exact cancellation of spurious poles and analytic locality of the amplitude [1411.6363].

**BCFW Bridge Charts:** BCFW recursion corresponds to sequences of adjacent transpositions in the permutation labeling of positroid cells, introducing one parameter and $d\log$-form per bridge [1411.6363][1212.5605].

**Generalizations:** The Grassmannian formalism extends to celestial amplitudes (via Mellin transforms), Wilson loops (amplituhedron interpretation), and to gravity theories, with $G(k,n)$ integrals reflecting KLT factorizations and soft theorems [1207.4712][2107.07496][2603.24656].

## 4. Combinatorial, Tropical, and Positive Geometries

**Positive Grassmannian:** The locus where all ordered $k\times k$ minors are positive, $G_+(k,n)$ embodies a "positive geometry" whose canonical form is the $d$-fold wedge of $d\log$'s of positive parameters. Each planar on-shell diagram corresponds to a positroid cell in $G_+(k,n)$ with its canonical measure, underpinning the geometry of scattering amplitudes [1212.5605].

**Non-Planar and Symplectic/Othogonal Grassmannians:** Non-planar amplitudes map to unions of positive cells ("oriented regions"), leading to pseudo-positive geometries [2512.25005]. For Coulomb branch and higher spin applications, symplectic ($\operatorname{SpGr}(n,2n)$) or orthogonal Grassmannians ($\operatorname{OGr}(k,2k)$) become the integration domains, encoding additional mass or spin structures [2505.03705][2603.24656].

**Tropical Grassmannian:** The polyhedral (fan) structure defined by tropical Plücker relations governs the combinatorics of generalized biadjoint amplitudes, soft theorems, and their factorization, yielding a correspondence between facets of the tropical Grassmannian and leading terms in soft expansions [1909.05291].

## 5. Optimization, Numerical Algorithms, and Applications

Efficient algorithms on Grassmannians underlie problems spanning signal processing, computer vision, neural network training, and physics-influenced variable projection frameworks.

**Matrix Models and Riemannian Calculus:**
- *Involution Model* [2009.13502][2406.11821]. All gradient, Hessian, exponential, and transport operations reduce to explicit block-matrix formulas, usually involving QR decompositions and block-skew exponentials. The model achieves $O(n k(n-k))$ arithmetic per iteration, is robust to ill-conditioning, and bypasses eigen/SVD where possible.
- *Projector and Stiefel Quotient Models* [2011.13699][2011.13699]. Projector models favor direct subspace operations but are numerically unstable for high codimension, while the quotient model is stable but operates on equivalence classes.

**Optimization Landscape and Variable Projection:** The fundamental variable projection (VarPro) method for structured least squares exhibits a Grassmannian landscape with provable absence of spurious local minima, gradient and trust-region methods converge globally with probability 1 in the overparametrized regime. Rank-deficient phases are resolved using smoothly regularized submanifolds [2601.22897]. Table below summarizes the main computational models [2009.13502]:

| Model              | Representation                     | Key Cost         | Remarks                      |
|--------------------|------------------------------------|------------------|------------------------------|
| Quotient / Stiefel | $[V]$, $V \in O(n)$ mod $O(k)$     | QR + SVD         | Stable, equivalence classes  |
| Projection         | $P=P^T=P^2$, $\operatorname{tr}(P)=k$ | Direct projections | Unstable for large $n,k$     |
| Involution         | $Q=Q^T=Q^{-1}$, $\operatorname{tr}(Q)=2k-n$ | QR + exp(block skew) | Stable, no classes           |

**Curvature Formulas and Computational Geometry:** All curvature and geometric quantities—including the full Riemann, Ricci, scalar, Schouten, Weyl, Bach, fundamental forms and delta invariants—proven to admit simple matrix operations [2406.11821].

## 6. Algebraic and Topological Invariants

**Degree of Affine Grassmannians:** Closed-form expressions for the degree of $\operatorname{Gr}(k,\mathbb{R}^n)$ in projection and involution matrix models resolve the Devriendt–Friedman–Sturmfels conjecture, with combinatorial and representation-theoretic formulas involving gamma products and Selberg-type integrals [2405.05128].

**Soft Theorems and Dualities:** In both physical (amplitudes) and combinatorial contexts, Grassmannians support structural factorization theorems in the soft limit, and exhibit underlying dualities such as $G(k,n)\cong G(n-k,n)$ at the level of canonical forms, delta constraints, and combinatorics [1410.5047][1212.5605][1909.05291].

**K-theoretic and Infinite-Dimensional Grassmannians:** In equivariant K-theory, ind-Grassmannians support projection formulas for virtual classes, generalizing Borel–Weil–Bott and yielding character formulas for infinite-dimensional algebras and Macdonald-type identities [1303.5512].

## 7. Extensions: VOAs, Sigma Models, and Physical Theories

Grassmannian coset constructions yield a hierarchy of vertex operator algebras (VOAs) encompassing unitary and Lagrangian types, with explicit central charges, representation theory, and triality/pentality symmetries [2006.02422]. In sigma models, the Grassmannian target space enables the construction of $(0,2)$ supersymmetric models with calculable $\beta$-functions, rich large-$N$ behavior, and exact non-renormalization theorems [1901.03010]. These structures are central in the algebraic and quantum geometric approaches to moduli, amplitude gluing, and higher symmetry.

---

**References**
- [1411.6363] Orientations of BCFW Charts on the Grassmannian
- [2009.13502] Simpler Grassmannian optimization
- [2405.05128] Degree of the Grassmannian as an affine variety
- [2603.24656] The Vasiliev Grassmannian
- [2011.13699] A Grassmann Manifold Handbook: Basic Geometry and Computational Aspects
- [2512.25005] Grassmannian Geometries for Non-Planar On-Shell Diagrams
- [2310.15474] Coupled Cluster Degree of the Grassmannian
- [1212.5605] Scattering Amplitudes and the Positive Grassmannian
- [1303.5512] A projection formula for the ind-Grassmannian
- [1901.03010] On Grassmannian Heterotic Sigma Model
- [2006.02422] The Grassmannian VOA
- [2505.03705] Symplectic Grassmannian description of the Coulomb branch three and four point amplitudes
- [2406.11821] Simple matrix expressions for the curvatures of Grassmannian
- [1909.05291] A Soft Theorem for the Tropical Grassmannian
- [1410.5047] Soft Theorem of N=4 SYM in Grassmannian Formulation
- [2107.07496] The Grassmannian for Celestial Superamplitudes
- [1207.4712] Gravity in Twistor Space and its Grassmannian Formulation

Source: https://www.emergentmind.com/topics/grassmannian-formulation