Grassmannian

In mathematics, a Grassmannian ${\displaystyle \mathbf {Gr} _{k}(V)}$, also known as a Grassmann manifold, is a differentiable manifold that parameterizes the set of all ${\displaystyle k}$-dimensional linear subspaces of an ${\displaystyle n}$-dimensional vector space ${\displaystyle V}$ over a field ${\displaystyle K}$ that has a differentiable structure. For example, the Grassmannian ${\displaystyle \mathbf {Gr} _{1}(V)}$ is the space of lines through the origin in ${\displaystyle V}$, so it is the same as the projective space ${\displaystyle \mathbf {P} (V)}$ of one dimension lower than ${\displaystyle V}$.¹² When ${\displaystyle V}$ is a real or complex vector space, Grassmannians are compact smooth manifolds, of dimension ${\displaystyle k(n-k)}$.³ In general they have the structure of a nonsingular projective algebraic variety. The Grassmannian is named for the German polymath, linguist and mathematician Hermann Grassmann, who introduced the concept to mathematics.

The earliest work on a non-trivial Grassmannian was by Julius Plücker, who studied the set of projective lines in real projective 3-space, which is equivalent to ${\displaystyle \mathbf {Gr} _{2}(\mathbf {R} ^{4})}$, parameterizing them by what are now called Plücker coordinates. Hermann Grassmann later generalized the concept.

Notations for Grassmannians vary between authors; they include ${\displaystyle \mathbf {Gr} _{k}(V)}$, ${\displaystyle \mathbf {Gr} (k,V)}$,${\displaystyle \mathbf {Gr} _{k}(n)}$, ${\displaystyle \mathbf {Gr} (k,n)}$ to denote the Grassmannian of ${\displaystyle k}$-dimensional subspaces of an ${\displaystyle n}$-dimensional vector space ${\displaystyle V}$.

By giving a collection of subspaces of a vector space a topological structure, it is possible to talk about a continuous choice of subspaces or open and closed collections of subspaces. Giving them the further structure of a differentiable manifold enables smooth choices of subspace.

A natural example comes from tangent bundles of smooth manifolds embedded in a Euclidean space. Given a manifold ${\displaystyle M}$ of dimension ${\displaystyle k}$ embedded in ${\displaystyle \mathbf {R} ^{n}}$. At each point ${\displaystyle x\in M}$, the tangent space to ${\displaystyle M}$ can be considered as a subspace of the tangent space of ${\displaystyle \mathbf {R} ^{n}}$, which is also just ${\displaystyle \mathbf {R} ^{n}}$. The map assigning to ${\displaystyle x}$ its tangent space defines a map from M to ${\displaystyle \mathbf {Gr} _{k}(\mathbf {R} ^{n})}$. (In order to do this, the tangent space at each ${\displaystyle x\in M}$ must be translated so that it passes through the origin rather than ${\displaystyle x}$, and hence defines a ${\displaystyle k}$-dimensional vector subspace. This idea is similar to the Gauss map for surfaces in a 3-dimensional space.)

This can be extended to all vector bundles over a manifold ${\displaystyle M}$, so that every vector bundle generates a continuous map from ${\displaystyle M}$ to a suitably generalised Grassmannian—although various embedding theorems must be proved to show this. The properties of vector bundles are thus related to the properties of the corresponding maps. In particular vector bundles inducing homotopic maps to the Grassmannian are isomorphic. Here the definition of homotopy relies on a notion of continuity, and hence a topology.

For k = 1, the Grassmannian Gr(1, n) is the space of lines through the origin in n-space, so it is the same as the projective space ${\displaystyle \mathbf {P} ^{n-1}}$ of n − 1 dimensions.

For k = 2, the Grassmannian is the space of all 2-dimensional planes containing the origin. In Euclidean 3-space, a plane containing the origin is completely characterized by the single line through the origin that is perpendicular to that plane (and vice versa); hence the spaces Gr(2, 3), Gr(1, 3), and P² (the projective plane) may all be identified with each other.

The simplest Grassmannian that is not a projective space is Gr(2, 4).

To endow ${\displaystyle \mathbf {Gr} _{k}(V)}$ with the structure of a differentiable manifold, a basis for ${\displaystyle V}$ must be chosen. This is equivalent to identifying ${\displaystyle V}$ with ${\displaystyle K^{n}}$, with the standard basis denoted ${\displaystyle (e_{1},\dots ,e_{n})}$, viewed as column vectors. Then for any ${\displaystyle k}$-dimensional subspace ${\displaystyle w\subset V}$, viewed as an element of ${\displaystyle \mathbf {Gr} _{k}(V)}$, a basis can be found consisting of ${\displaystyle k}$ linearly independent column vectors ${\displaystyle (W_{1},\dots ,W_{k})}$. The homogeneous coordinates of the element ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$ consist of the elements of the ${\displaystyle n\times k}$ maximal rank rectangular matrix ${\displaystyle W}$ whose ${\displaystyle i}$-th column vector is ${\displaystyle W_{i}}$, ${\displaystyle i=1,\dots ,k}$. Since the choice of basis is arbitrary, two such maximal rank rectangular matrices ${\displaystyle W}$ and ${\displaystyle {\tilde {W}}}$ represent the same element ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$ if and only if

${\displaystyle {\tilde {W}}=Wg}$

for some element ${\displaystyle g\in GL(k,K)}$ of the general linear group of invertible ${\displaystyle k\times k}$ matrices with entries in ${\displaystyle K}$. This defines an equivalence relation between ${\displaystyle n\times k}$ matrices ${\displaystyle W}$ of rank ${\displaystyle k}$, for which the equivalence classes are denoted ${\displaystyle [W]}$.

A coordinate atlas ensures that for any ${\displaystyle n\times k}$ homogeneous coordinate matrix ${\displaystyle W}$, elementary column operations can be applied (essentially multiplying ${\displaystyle W}$ by a sequence of elements ${\displaystyle g\in GL(k,K)}$) to obtain its reduced column echelon form. If the first ${\displaystyle k}$ rows of ${\displaystyle W}$ are linearly independent, the result has the form

${\displaystyle {\begin{bmatrix}1\\&1\\&&\ddots \\&&&1\\a_{1,1}&\cdots &\cdots &a_{1,k}\\\vdots &&&\vdots \\a_{n-k,1}&\cdots &\cdots &a_{n-k,k}\end{bmatrix}}}$

and the ${\displaystyle (n-k)\times k}$ affine coordinate matrix ${\displaystyle A}$ with entries ${\displaystyle (a_{ij})}$ determines ${\displaystyle w}$. In general, the first ${\displaystyle k}$ rows need not be independent, but since ${\displaystyle W}$ has maximal rank ${\displaystyle k}$, an ordered set of integers ${\displaystyle 1\leq i_{1}<\cdots <i_{k}\leq n}$ exists such that the ${\displaystyle k\times k}$ submatrix ${\displaystyle W_{i_{1},\dots ,i_{k}}}$ whose rows are the ${\displaystyle (i_{1},\ldots ,i_{k})}$-th rows of ${\displaystyle W}$ is nonsingular. Column operations can reduce this submatrix to the identity matrix, and the remaining entries uniquely determine ${\displaystyle w}$. This gives the following definition:

For each ordered set of integers ${\displaystyle 1\leq i_{1}<\cdots <i_{k}\leq n}$, let ${\displaystyle U_{i_{1},\dots ,i_{k}}}$ a set of elements ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$ exists for which, for any choice of homogeneous coordinate matrix ${\displaystyle W}$, the ${\displaystyle k\times k}$ submatrix ${\displaystyle W_{i_{1},\dots ,i_{k}}}$ whose ${\displaystyle j}$-th row is the ${\displaystyle i_{j}}$-th row of ${\displaystyle W}$ is nonsingular. The affine coordinate functions on ${\displaystyle U_{i_{1},\dots ,i_{k}}}$ are then defined as the entries of the ${\displaystyle (n-k)\times k}$ matrix ${\displaystyle A^{i_{1},\dots ,i_{k}}}$ whose rows are those of the matrix ${\displaystyle WW_{i_{1},\dots ,i_{k}}^{-1}}$ complementary to ${\displaystyle (i_{1},\dots ,i_{k})}$, written in the same order. The choice of homogeneous ${\displaystyle n\times k}$ coordinate matrix ${\displaystyle W}$ in ${\displaystyle [W]}$ representing the element ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$ does not affect the values of the affine coordinate matrix ${\displaystyle A^{i_{1},\dots ,i_{k}}}$ representing w on the coordinate neighbourhood ${\displaystyle U_{i_{1},\dots ,i_{k}}}$. Moreover, the coordinate matrices ${\displaystyle A^{i_{1},\dots ,i_{k}}}$ may take arbitrary values, and they define a diffeomorphism from ${\displaystyle U_{i_{1},\dots ,i_{k}}}$ to the space of ${\displaystyle K}$-valued ${\displaystyle (n-k)\times k}$ matrices. This can be denoted by

${\displaystyle {\hat {A}}^{i_{1},\dots ,i_{k}}:=W(W_{i_{1},\dots ,i_{k}})^{-1}}$

the homogeneous coordinate matrix having the identity matrix as the ${\displaystyle k\times k}$ submatrix with rows ${\displaystyle (i_{1},\dots ,i_{k})}$ and the affine coordinate matrix ${\displaystyle A^{i_{1},\dots ,i_{k}}}$ in the consecutive complementary rows. On the overlap ${\displaystyle U_{i_{1},\dots ,i_{k}}\cap U_{j_{1},\dots ,j_{k}}}$ between any two such coordinate neighborhoods, the affine coordinate matrix values ${\displaystyle A^{i_{1},\dots ,i_{k}}}$ and ${\displaystyle A^{j_{1},\dots ,j_{k}}}$ are related by the transition relations

${\displaystyle {\hat {A}}^{i_{1},\dots ,i_{k}}W_{i_{1},\dots ,i_{k}}={\hat {A}}^{j_{1},\dots ,j_{k}}W_{j_{1},\dots ,j_{k}},}$

where both ${\displaystyle W_{i_{1},\dots ,i_{k}}}$ and ${\displaystyle W_{j_{1},\dots ,j_{k}}}$ are invertible. This may equivalently be written as

${\displaystyle {\hat {A}}^{j_{1},\dots ,j_{k}}={\hat {A}}^{i_{1},\dots ,i_{k}}({\hat {A}}_{j_{1},\dots ,j_{k}}^{i_{1},\dots ,i_{k}})^{-1},}$

where ${\displaystyle {\hat {A}}_{j_{1},\dots ,j_{k}}^{i_{1},\dots ,i_{k}}}$ is the invertible ${\displaystyle k\times k}$ matrix whose ${\displaystyle l}$th row is the ${\displaystyle j_{l}}$th row of ${\displaystyle {\hat {A}}^{i_{1},\dots ,i_{k}}}$. The transition functions are therefore rational in the matrix elements of ${\displaystyle A^{i_{1},\dots ,i_{k}}}$, and ${\displaystyle \{U_{i_{1},\dots ,i_{k}},A^{i_{1},\dots ,i_{k}}\}}$ gives an atlas for ${\displaystyle \mathbf {Gr} _{k}(V)}$ as a differentiable manifold and also as an algebraic variety.

An alternative way to define a real or complex Grassmannian as a manifold is to view it as a set of orthogonal projection operators.⁴ For this, a positive definite real or Hermitian inner product ${\displaystyle \langle \cdot ,\cdot \rangle }$ on ${\displaystyle V}$ can be chosen, depending on whether ${\displaystyle V}$ is real or complex. A ${\displaystyle k}$-dimensional subspace ${\displaystyle w}$ determines a unique orthogonal projection operator ${\displaystyle P_{w}:V\rightarrow V}$ whose image is ${\displaystyle w\subset V}$ by splitting ${\displaystyle V}$ into the orthogonal direct sum

${\displaystyle V=w\oplus w^{\perp }}$

of ${\displaystyle w}$ and its orthogonal complement ${\displaystyle w^{\perp }}$ and defining

${\displaystyle P_{w}(v)={\begin{cases}v\quad {\text{ if }}v\in w\\0\quad {\text{ if }}v\in w^{\perp }.\end{cases}}}$

Conversely, every projection operator ${\displaystyle P}$ of rank ${\displaystyle k}$ defines a subspace ${\displaystyle w_{P}:=\mathrm {Im} (P)}$ as its image. Since the rank of an orthogonal projection operator equals its trace, we can identify the Grassmann manifold ${\displaystyle \mathbf {Gr} (k,V)}$ with the set of rank ${\displaystyle k}$ orthogonal projection operators ${\displaystyle P}$:

${\displaystyle \mathbf {Gr} (k,V)\sim \left\{P\in \mathrm {End} (V)\mid P=P^{2}=P^{\dagger },\,\mathrm {tr} (P)=k\right\}.}$

In particular, taking ${\displaystyle V=\mathbf {R} ^{n}}$ or ${\displaystyle V=\mathbf {C} ^{n}}$ gives completely explicit equations for embedding the Grassmannians ${\displaystyle \mathbf {Gr} (k,\mathbf {R} ^{N})}$, ${\displaystyle \mathbf {Gr} (k,\mathbf {C} ^{N})}$ in the space of real or complex ${\displaystyle n\times n}$ matrices ${\displaystyle \mathbf {R} ^{n\times n}}$, ${\displaystyle \mathbf {C} ^{n\times n}}$, respectively.

Since this defines the Grassmannian as a closed subset of the sphere ${\displaystyle \{X\in \mathrm {End} (V)\mid \mathrm {tr} (XX^{\dagger })=k\}}$ the Grassmannian is a compact Hausdorff space. This construction also turns the Grassmannian ${\displaystyle \mathbf {Gr} (k,V)}$ into a metric space with metric

${\displaystyle d(w,w'):=\lVert P_{w}-P_{w'}\rVert ,}$

for any pair ${\displaystyle w,w'\subset V}$ of ${\displaystyle k}$-dimensional subspaces, where ‖⋅‖ denotes the operator norm. The exact inner product used does not matter, because a different inner product gives an equivalent norm on ${\displaystyle V}$, and hence an equivalent metric.

For the case of real or complex Grassmannians, the following is an equivalent way to express the above construction in terms of matrices.

Let ${\displaystyle M(n,\mathbf {R} )}$ denote the space of real ${\displaystyle n\times n}$ matrices and the subset ${\displaystyle P(k,n,\mathbf {R} )\subset M(n,\mathbf {R} )}$ of matrices ${\displaystyle P\in M(n,\mathbf {R} )}$ that satisfy the three conditions:

• ${\displaystyle P}$ is a projection operator: ${\displaystyle P^{2}=P}$.
• ${\displaystyle P}$ is symmetric: ${\displaystyle P^{T}=P}$.
• ${\displaystyle P}$ has trace ${\displaystyle \operatorname {tr} (P)=k}$.

A bijective correspondence exists between ${\displaystyle P(k,n,\mathbf {R} )}$ and the Grassmannian ${\displaystyle \mathbf {Gr} (k,\mathbf {R} ^{n})}$ of ${\displaystyle k}$-dimensional subspaces of ${\displaystyle \mathbf {R} ^{n}}$ given by sending ${\displaystyle P\in P(k,n,\mathbf {R} )}$ to the ${\displaystyle k}$-dimensional subspace of ${\displaystyle \mathbf {R} ^{n}}$ spanned by its columns and, conversely, sending any element ${\displaystyle w\in \mathbf {Gr} (k,\mathbf {R} ^{n})}$ to the projection matrix

${\displaystyle P_{w}:=\sum _{i=1}^{k}w_{i}w_{i}^{T},}$

where ${\displaystyle (w_{1},\cdots ,w_{k})}$ is any orthonormal basis for ${\displaystyle w\subset \mathbf {R} ^{n}}$, viewed as real ${\displaystyle n}$ component column vectors.

An analogous construction applies to the complex Grassmannian ${\displaystyle \mathbf {Gr} (k,\mathbf {C} ^{n})}$, identifying it bijectively with the subset ${\displaystyle P(k,n,\mathbf {C} )\subset M(n,\mathbf {C} )}$ of complex ${\displaystyle n\times n}$ matrices ${\displaystyle P\in M(n,\mathbf {C} )}$ satisfying

• ${\displaystyle P}$ is a projection operator: ${\displaystyle P^{2}=P}$.
• ${\displaystyle P}$ is self-adjoint (Hermitian): ${\displaystyle P^{\dagger }=P}$.
• ${\displaystyle P}$ has trace ${\displaystyle \operatorname {tr} (P)=k}$,

where the self-adjointness is with respect to the Hermitian inner product ${\displaystyle \langle \,\cdot ,\cdot \,\rangle }$ in which the standard basis vectors ${\displaystyle (e_{1},\cdots ,e_{n})}$ are orthonomal. The formula for the orthogonal projection matrix ${\displaystyle P_{w}}$ onto the complex ${\displaystyle k}$-dimensional subspace ${\displaystyle w\subset \mathbf {C} ^{n}}$ spanned by the orthonormal (unitary) basis vectors ${\displaystyle (w_{1},\cdots ,w_{k})}$ is

${\displaystyle P_{w}:=\sum _{i=1}^{k}w_{i}w_{i}^{\dagger }.}$

The quickest way of giving the Grassmannian a geometric structure is to express it as a homogeneous space. The general linear group ${\displaystyle \mathrm {GL} (V)}$ acts transitively on the ${\displaystyle k}$-dimensional subspaces of ${\displaystyle V}$. Therefore, by choosing a subspace ${\displaystyle w_{0}\subset V}$ of dimension ${\displaystyle k}$, any element ${\displaystyle w\in \mathbf {Gr} (k,V)}$ can be expressed as

${\displaystyle w=g(w_{0})}$

for some group element ${\displaystyle g\in \mathrm {GL} (V)}$, where ${\displaystyle g}$ is determined only up to right multiplication by elements ${\displaystyle \{h\in H\}}$ of the stabilizer of ${\displaystyle w_{0}}$:

${\displaystyle H:=\mathrm {stab} (w_{0}):=\{h\in \mathrm {GL} (V)\,|\,h(w_{0})=w_{0}\}\subset \mathrm {GL} (V)}$

under the ${\displaystyle \mathrm {GL} (V)}$-action.

${\displaystyle \mathbf {Gr} (k,V)}$ can be identified with the quotient space

${\displaystyle \mathbf {Gr} (k,V)=\mathrm {GL} (V)/H}$

of left cosets of ${\displaystyle H}$.

If the underlying field ${\displaystyle \mathbf {R} }$ or ${\displaystyle \mathbf {C} }$ and ${\displaystyle \mathrm {GL} (V)}$ is considered as a Lie group, this construction makes the Grassmannian a smooth manifold under the quotient structure. More generally, over a ground field ${\displaystyle K}$, the group ${\displaystyle \mathrm {GL} (V)}$ is an algebraic group, and this construction shows that the Grassmannian is a non-singular algebraic variety. It follows from the existence of the Plücker embedding that the Grassmannian is complete as an algebraic variety. In particular, ${\displaystyle H}$ is a parabolic subgroup of ${\displaystyle \mathrm {GL} (V)}$.

Over ${\displaystyle \mathbf {R} }$ or ${\displaystyle \mathbf {C} }$ it becomes possible to use smaller groups in this construction. To do this over ${\displaystyle \mathbf {R} }$, a Euclidean inner product can be fixed ${\displaystyle q}$ on ${\displaystyle V}$. The real orthogonal group ${\displaystyle O(V,q)}$ acts transitively on the set of ${\displaystyle k}$-dimensional subspaces ${\displaystyle \mathbf {Gr} (k,V)}$ and the stabiliser of a ${\displaystyle k}$-space ${\displaystyle w_{0}\subset V}$ is

${\displaystyle O(w_{0},q|_{w_{0}})\times O(w_{0}^{\perp },q|_{w_{0}^{\perp }})}$,

where ${\displaystyle w_{0}^{\perp }}$ is the orthogonal complement of ${\displaystyle w_{0}}$ in ${\displaystyle V}$. This gives an identification as the homogeneous space

${\displaystyle \mathbf {Gr} (k,V)=O(V,q)/\left(O(w,q|_{w})\times O(w^{\perp },q|_{w^{\perp }})\right)}$.

taking ${\displaystyle V=\mathbf {R} ^{n}}$ and ${\displaystyle w_{0}=\mathbf {R} ^{k}\subset \mathbf {R} ^{n}}$ (the first ${\displaystyle k}$ components) gives the isomorphism

${\displaystyle \mathbf {Gr} (k,\mathbf {R} ^{n})=O(n)/\left(O(k)\times O(n-k)\right).}$

Over C, choosing an Hermitian inner product ${\displaystyle h}$ let the unitary group ${\displaystyle U(V,h)}$ act transitively, and analogously

${\displaystyle \mathbf {Gr} (k,V)=U(V,h)/\left(U(w_{0},h|_{w_{0}})\times U(w_{0}^{\perp }|,h_{w_{0}^{\perp }})\right),}$

or, for ${\displaystyle V=\mathbf {C} ^{n}}$ and ${\displaystyle w_{0}=\mathbf {C} ^{k}\subset \mathbf {C} ^{n}}$,

${\displaystyle \mathbf {Gr} (k,\mathbf {C} ^{n})=U(n)/\left(U(k)\times U(n-k)\right).}$

In particular, this shows that the Grassmannian is compact, and of (real or complex) dimension k(n − k).

In the realm of algebraic geometry, the Grassmannian can be constructed as a scheme by expressing it as a representable functor.⁵

If ${\displaystyle {\mathcal {E}}}$ is a quasi-coherent sheaf on a scheme ${\displaystyle S}$ for a positive integer ${\displaystyle k}$, then to each ${\displaystyle S}$-scheme ${\displaystyle T}$, the Grassmannian functor associates the set of quotient modules of

${\displaystyle {\mathcal {E}}_{T}:={\mathcal {E}}\otimes _{O_{S}}O_{T}}$

locally free of rank ${\displaystyle k}$ on ${\displaystyle T}$. We denote this set by ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}}_{T})}$.

This functor is representable by a separated ${\displaystyle S}$-scheme ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})}$. The latter is projective if ${\displaystyle {\mathcal {E}}}$ is finitely generated. When ${\displaystyle S}$ is the spectrum of a field ${\displaystyle K}$, then the sheaf ${\displaystyle {\mathcal {E}}}$ is given by a vector space ${\displaystyle V}$ and the usual Grassmannian variety of the dual space of ${\displaystyle V}$can be recovered, namely: ${\displaystyle \mathbf {Gr} (k,V)}$. By construction, the Grassmannian scheme is compatible with base changes: for any ${\displaystyle S}$-scheme ${\displaystyle S'}$, giving the canonical isomorphism

${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})\times _{S}S'\simeq \mathbf {Gr} (k,{\mathcal {E}}_{S'})}$

In particular, for any point ${\displaystyle s}$ of ${\displaystyle S}$, the canonical morphism ${\displaystyle \{s\}={\text{Spec}}K(s)\rightarrow S}$ induces an isomorphism from the fiber ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})_{s}}$ to the usual Grassmannian ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}}\otimes _{O_{S}}K(s))}$ over the residue field ${\displaystyle K(s)}$.

Since the Grassmannian scheme represents a functor, it comes with a universal object, ${\displaystyle {\mathcal {G}}}$, which is an object of ${\displaystyle \mathbf {Gr} \left(k,{\mathcal {E}}_{\mathbf {Gr} (k,{\mathcal {E}})}\right),}$ and therefore a quotient module ${\displaystyle {\mathcal {G}}}$ of ${\displaystyle {\mathcal {E}}_{\mathbf {Gr} (k,{\mathcal {E}})}}$, locally free of rank ${\displaystyle k}$ over ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})}$. The quotient homomorphism induces a closed immersion from the projective bundle:

${\displaystyle \mathbf {P} ({\mathcal {G}})\to \mathbf {P} \left({\mathcal {E}}_{\mathbf {Gr} (k,{\mathcal {E}})}\right)=\mathbf {P} ({\mathcal {E}})\times _{S}\mathbf {Gr} (k,{\mathcal {E}}).}$

For any morphism of S-schemes:

${\displaystyle T\to \mathbf {Gr} (k,{\mathcal {E}}),}$

this closed immersion induces a closed immersion

${\displaystyle \mathbf {P} ({\mathcal {G}}_{T})\to \mathbf {P} ({\mathcal {E}})\times _{S}T.}$

Conversely, any such closed immersion comes from a surjective homomorphism of ${\displaystyle O_{T}}$-modules from ${\displaystyle {\mathcal {E}}_{T}}$ to a locally free module of rank ${\displaystyle k}$.⁶ Therefore, the elements of ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})(T)}$ are exactly the projective subbundles of rank ${\displaystyle k}$ in ${\displaystyle \mathbf {P} ({\mathcal {E}})\times _{S}T.}$

Under this identification, when ${\displaystyle T=S}$ is the spectrum of a field ${\displaystyle K}$ and ${\displaystyle {\mathcal {E}}}$ is given by a vector space ${\displaystyle V}$, the set of rational points ${\displaystyle \mathbf {Gr} (k,{\mathcal {E}})(K)}$ correspond to the projective linear subspaces of dimension ${\displaystyle k-1}$ in ${\displaystyle \mathbf {P} (V)}$, and the image of ${\displaystyle \mathbf {P} ({\mathcal {G}})(K)}$ in

$\mathbf {P} (V)\times _{K}\mathbf {Gr} (k,{\mathcal {E}})$

is the set

${\displaystyle \left\{(x,v)\in \mathbf {P} (V)(K)\times \mathbf {Gr} (k,{\mathcal {E}})(K)\mid x\in v\right\}.}$

The Plücker embedding⁷ is a natural embedding of the Grassmannian ${\displaystyle \mathbf {Gr} (k,V)}$ into the projectivization of the ${\displaystyle k}$th exterior power ${\displaystyle \Lambda ^{k}V}$ of ${\displaystyle V}$.

$\iota :\mathbf {Gr} (k,V)\to \mathbf {P} \left(\Lambda ^{k}V\right).$

Supposing that ${\displaystyle w\subset V}$ is a ${\displaystyle k}$-dimensional subspace of the ${\displaystyle n}$-dimensional vector space ${\displaystyle V}$. To define ${\displaystyle \iota (w)}$, a basis ${\displaystyle (w_{1},\cdots ,w_{k})}$ for ${\displaystyle w}$ can be chosen with ${\displaystyle \iota (w)}$ as the projectivization of the wedge product of these basis elements:$${\displaystyle \iota (w)=[w_{1}\wedge \cdots \wedge w_{k}],}$$where ${\displaystyle [\,\cdot \,]}$ denotes the projective equivalence class.

A different basis for ${\displaystyle w}$ gives a different wedge product, but the two differ only by a non-zero scalar multiple (the determinant of the change of basis matrix). Since the right-hand side takes values in the projectivized space, ${\displaystyle \iota }$ is well-defined. That it is an embedding, is shown by recovering ${\displaystyle w}$ from ${\displaystyle \iota (w)}$ as the span of the set of all vectors ${\displaystyle v\in V}$ such that

${\displaystyle v\wedge \iota (w)=0}$.

The Plücker embedding of the Grassmannian satisfies simple quadratic relations called the Plücker relations. These show that the Grassmannian ${\displaystyle \mathbf {Gr} _{k}(V)}$ embeds as a nonsingular projective algebraic subvariety of the projectivization ${\displaystyle \mathbf {P} (\Lambda ^{k}V)}$ of the ${\displaystyle k}$th exterior power of ${\displaystyle V}$ and gives another method for constructing the Grassmannian. To state the Plücker relations, a basis ${\displaystyle (e_{1},\cdots ,e_{n})}$ for ${\displaystyle V}$ is fixed, and ${\displaystyle w\subset V}$ becomes a ${\displaystyle k}$-dimensional subspace of ${\displaystyle V}$ with basis ${\displaystyle (w_{1},\cdots ,w_{k})}$. ${\displaystyle (w_{i1},\cdots ,w_{in})}$ becomes the components of ${\displaystyle w_{i}}$ with respect to the chosen basis of ${\displaystyle V}$, and ${\displaystyle (W^{1},\dots ,W^{n})}$ the ${\displaystyle k}$-component column vectors forming the transpose of the corresponding homogeneous coordinate matrix:

${\displaystyle W^{T}=[W^{1}\,\cdots W^{n}]={\begin{bmatrix}w_{11}&\cdots &w_{1n}\\\vdots &\ddots &\vdots \\w_{k1}&\cdots &w_{kn}\end{bmatrix}},}$

For any ordered sequence ${\displaystyle 1\leq i_{1}<\cdots <i_{k}\leq n}$ of ${\displaystyle k}$ positive integers, ${\displaystyle w_{i_{1},\dots ,i_{k}}}$ becomes the determinant of the ${\displaystyle k\times k}$ matrix with columns ${\displaystyle [W^{i_{1}},\dots ,W^{i_{k}}]}$. The elements ${\displaystyle \{w_{i_{1},\dots ,i_{k}}\,\vert \,1\leq i_{1}<\cdots <i_{k}\leq n\}}$ are the Plücker coordinates of the element ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$ of the Grassmannian (with respect to the basis ${\displaystyle (e_{1},\cdots ,e_{n})}$ of ${\displaystyle V}$). These are the linear coordinates of the image ${\displaystyle \iota (w)}$ of ${\displaystyle w}$ under the Plücker map, relative to the basis of the exterior power ${\displaystyle \Lambda ^{k}V}$ space generated by the basis ${\displaystyle (e_{1},\cdots ,e_{n})}$ of ${\displaystyle V}$. Since a change of basis for ${\displaystyle w}$ gives rise to multiplication of the Plücker coordinates by a nonzero constant (the determinant of the change of basis matrix), these are only defined up to projective equivalence, and hence determine a point in ${\displaystyle \mathbf {P} (\Lambda ^{k}V)}$.

For any two ordered sequences ${\displaystyle 1\leq i_{1}<i_{2}\cdots <i_{k-1}\leq n}$ and ${\displaystyle 1\leq j_{1}<j_{2}\cdots <j_{k+1}\leq n}$ of ${\displaystyle k-1}$ and ${\displaystyle k+1}$ positive integers, respectively, the following homogeneous quadratic equations, known as the Plücker relations, or the Plücker-Grassmann relations, are valid and determine the image ${\displaystyle \iota (\mathbf {Gr} _{k}(V))}$ of ${\displaystyle \mathbf {Gr} _{k}(V)}$ under the Plücker map embedding:

${\displaystyle \sum _{l=1}^{k+1}(-1)^{\ell }w_{i_{1},\dots ,i_{k-1},j_{l}}w_{j_{1},\dots ,{\widehat {j_{l}}},\dots j_{k+1}}=0,}$

where ${\displaystyle j_{1},\ldots ,{\widehat {j_{l}}},\ldots j_{k+1}}$ denotes the sequence ${\displaystyle j_{1},\ldots ,j_{k+1}}$ with the term ${\displaystyle j_{l}}$ omitted. These are consistent, determining a nonsingular projective algebraic variety, but they are not algebraically independent. They are equivalent to the statement that ${\displaystyle \iota (w)}$ is the projectivization of a completely decomposable element of ${\displaystyle \Lambda ^{k}V}$.

When ${\displaystyle \dim(V)=4}$, and ${\displaystyle k=2}$ (the simplest Grassmannian that is not a projective space), the above reduces to a single equation. Denoting the homogeneous coordinates of the image ${\displaystyle \iota (\mathbf {Gr} _{2}(V)\subset \mathbf {P} (\Lambda ^{2}V)}$ under the Plücker map as ${\displaystyle (w_{12},w_{13},w_{14},w_{23},w_{24},w_{34})}$, this single Plücker relation is

${\displaystyle w_{12}w_{34}-w_{13}w_{24}+w_{14}w_{23}=0.}$

In general, many more equations are needed to define the image ${\displaystyle \iota (\mathbf {Gr} _{k}(V))}$ of the Grassmannian in ${\displaystyle \mathbf {P} (\Lambda ^{k}V)}$ under the Plücker embedding.

Every ${\displaystyle k}$-dimensional subspace ${\displaystyle W\subset V}$ determines an ${\displaystyle (n-k)}$-dimensional quotient space ${\displaystyle V/W}$ of ${\displaystyle V}$. This gives the natural short exact sequence:

${\displaystyle 0\rightarrow W\rightarrow V\rightarrow V/W\rightarrow 0.}$

Taking the dual to each of these three spaces and the dual linear transformations yields an inclusion of ${\displaystyle (V/W)^{*}}$ in ${\displaystyle V^{*}}$ with quotient ${\displaystyle W^{*}}$

${\displaystyle 0\rightarrow (V/W)^{*}\rightarrow V^{*}\rightarrow W^{*}\rightarrow 0.}$

Using the natural isomorphism of a finite-dimensional vector space with its double dual shows that taking the dual again recovers the original short exact sequence. Consequently, a one-to-one correspondence links ${\displaystyle k}$-dimensional subspaces of ${\displaystyle V}$ and ${\displaystyle (n-k)}$-dimensional subspaces of ${\displaystyle V^{*}}$. In terms of the Grassmannian, this gives a canonical isomorphism

${\displaystyle \mathbf {Gr} _{k}(V)\leftrightarrow \mathbf {Gr} _{n-k}(V^{*})}$

that associates to each subspace ${\displaystyle W\subset V}$ its annihilator ${\displaystyle W^{0}\subset V^{*}}$. Choosing an isomorphism of ${\displaystyle V}$ with ${\displaystyle V^{*}}$ therefore determines a (non-canonical) isomorphism between ${\displaystyle \mathbf {Gr} _{k}(V)}$ and ${\displaystyle \mathbf {Gr} _{n-k}(V)}$. An isomorphism of ${\displaystyle V}$ with ${\displaystyle V^{*}}$ is equivalent to the choice of an inner product, so with respect to the chosen inner product, this isomorphism of Grassmannians sends any ${\displaystyle k}$-dimensional subspace into its ${\displaystyle (n-k)}$-dimensional orthogonal complement.

The detailed study of Grassmannians makes use of a decomposition into affine subpaces called Schubert cells, which were first applied in enumerative geometry. The Schubert cells for ${\displaystyle \mathbf {Gr} _{k}(V)}$ are defined in terms of a specified complete flag of subspaces ${\displaystyle V_{1}\subset V_{2}\subset \cdots \subset V_{n}=V}$ of dimension ${\displaystyle \mathrm {dim} (V_{i})=i}$. For any integer partition

${\displaystyle \lambda =(\lambda _{1},\cdots ,\lambda _{k})}$

of weight

${\displaystyle |\lambda |=\sum _{i=1}^{k}\lambda _{i}}$

consisting of weakly decreasing non-negative integers

${\displaystyle \lambda _{1}\geq \cdots \geq \lambda _{k}\geq 0,}$

whose Young diagram fits within the rectangular one ${\displaystyle (n-k)^{k}}$, the Schubert cell ${\displaystyle X_{\lambda }(k,n)\subset \mathbf {Gr} _{k}(V)}$ consists of those elements ${\displaystyle W\in \mathbf {Gr} _{k}(V)}$ whose intersections with the subspaces ${\displaystyle \{V_{i}\}}$ have the following dimensions

${\displaystyle X_{\lambda }(k,n)=\{W\in \mathbf {Gr} _{k}(V)\,|\,\dim(W\cap V_{n-k+j-\lambda _{j}})=j\}.}$

These are affine spaces, and their closures (within the Zariski topology) are Schubert varieties.

As an example of the technique, determining the Euler characteristic ${\displaystyle \chi _{k,n}}$ of the Grassmannian ${\displaystyle \mathbf {Gr} _{k}(\mathbf {R} ^{n})}$ of k-dimensional subspaces of Rⁿ is illustrative. Fixing a ${\displaystyle 1}$-dimensional subspace ${\displaystyle \mathbf {R} \subset \mathbf {R} ^{n}}$ and partitioning ${\displaystyle \mathbf {Gr} _{k}(\mathbf {R} ^{n})}$ into k-dimensional subspaces of Rⁿ that contain R and those that do not, reveals that the former is ${\displaystyle \mathbf {Gr} _{k-1}(\mathbf {R} ^{n-1})}$ and the latter is a rank ${\displaystyle k}$ vector bundle over ${\displaystyle \mathbf {Gr} _{k}(\mathbf {R} ^{n-1})}$. This gives recursive formulae:

${\displaystyle \chi _{k,n}=\chi _{k-1,n-1}+(-1)^{k}\chi _{k,n-1},\qquad \chi _{0,n}=\chi _{n,n}=1.}$

Solving these recursion relations gives the formula: ${\displaystyle \chi _{k,n}=0}$ if ${\displaystyle n}$ is even and ${\displaystyle k}$ is odd and

${\displaystyle \chi _{k,n}={\begin{pmatrix}\left\lfloor {\frac {n}{2}}\right\rfloor \\\left\lfloor {\frac {k}{2}}\right\rfloor \end{pmatrix}}}$

otherwise.

Every point in the complex Grassmann manifold ${\displaystyle \mathbf {Gr} _{k}(\mathbf {C} ^{n})}$ defines a ${\displaystyle k}$-plane in ${\displaystyle n}$-space. Mapping each point in a k-plane to the point representing that plane in the Grassmannian yields the vector bundle ${\displaystyle E}$, which generalizes the tautological bundle of a projective space. Similarly the ${\displaystyle (n-k)}$-dimensional orthogonal complements of these planes yield an orthogonal vector bundle ${\displaystyle F}$. The integral cohomology of the Grassmannians is generated, as a ring, by the Chern classes of ${\displaystyle E}$. In particular, all of the integral cohomology is at even degree as in the case of a projective space.

These generators are subject to a set of relations, which defines the ring. The defining relations are easy to express for a larger set of generators, which consists of the Chern classes of ${\displaystyle E}$ and ${\displaystyle F}$. Then the relations state that the direct sum of the bundles ${\displaystyle E}$ and ${\displaystyle F}$ is trivial. Functoriality of the total Chern classes shows that this relation is

${\displaystyle c(E)c(F)=1.}$

The quantum cohomology ring was calculated by Edward Witten.⁸ The generators are identical to those of the classical cohomology ring, but with the top relation

${\displaystyle c_{k}(E)c_{n-k}(F)=(-1)^{n-k}}$

reflecting the existence in the corresponding quantum field theory of an instanton with ${\displaystyle 2n}$ fermionic zero-modes, which violates the degree of the cohomology corresponding to a state by ${\displaystyle 2n}$ units.

When ${\displaystyle V}$ is an ${\displaystyle n}$-dimensional Euclidean space, a uniform measure on ${\displaystyle \mathbf {Gr} _{k}(V)}$ can be defined. If ${\displaystyle \theta _{n}}$ is the unit Haar measure on the orthogonal group ${\displaystyle O(n)}$ and fix ${\displaystyle w\in \mathbf {Gr} _{k}(V)}$, then for a set ${\displaystyle A\subset \mathbf {Gr} _{k}(V)}$ ,

${\displaystyle \gamma _{k,n}(A)=\theta _{n}\{g\in \operatorname {O} (n):gw\in A\}.}$

This measure is invariant under the action of the group ${\displaystyle O(n)}$; that is,

${\displaystyle \gamma _{k,n}(gA)=\gamma _{k,n}(A)}$

for all ${\displaystyle g\in O(n)}$. Since ${\displaystyle \theta _{n}(O(n))=1}$, ${\displaystyle \gamma _{k,n}(\mathbf {Gr} _{k}(V))=1}$. Moreover, ${\displaystyle \gamma _{k,n}}$ is a Radon measure with respect to the metric space topology and is uniform in the sense that every ball of the same radius (with respect to this metric) is of the same measure.

This is the manifold consisting of all oriented ${\displaystyle k}$-dimensional subspaces of ${\displaystyle \mathbf {R} ^{n}}$. It is a double cover of ${\displaystyle \mathbf {Gr} _{k}(\mathbf {R} ^{n})}$ and is denoted by ${\displaystyle {\widetilde {\mathbf {Gr} }}_{k}(\mathbf {R} ^{n})}$.

As a homogeneous space it can be expressed as:

${\displaystyle {\widetilde {\mathbf {Gr} }}_{k}(\mathbf {R} ^{n})=\operatorname {SO} (n)/(\operatorname {SO} (k)\times \operatorname {SO} (n-k)).}$

Given a real or complex nondegenerate symmetric bilinear form ${\displaystyle Q}$ on the ${\displaystyle n}$-dimensional space ${\displaystyle V}$ (i.e., a scalar product), the totally isotropic Grassmannian ${\displaystyle \mathbf {Gr} _{k}^{0}(V,Q)}$ is defined as the subvariety ${\displaystyle \mathbf {Gr} _{k}^{0}(V,Q)\subset \mathbf {Gr} _{k}(V)}$ consisting of all ${\displaystyle k}$-dimensional subspaces ${\displaystyle w\subset V}$ for which

${\displaystyle Q(u,v)=0,\,\forall \,u,v\in w,}$

i.e., totally isotropic subspaces. Maximal isotropic Grassmannians with respect to a real or complex scalar product are related to Cartan's theory of spinors. Under the Cartan embedding, their connected components are equivariantly diffeomorphic to the projectivized minimal spinor orbit. Under the spin representation, the projective pure spinor variety which, similarly to the image of the Plücker map embedding, is cut out as the intersection of a number of quadrics, becomes Cartan quadrics.⁹¹⁰¹¹

A key application of Grassmannians is as the "universal" embedding space for bundles with connections on compact manifolds.¹²¹³

Another important application is Schubert calculus, which is the enumerative geometry involved in calculating the number of points, lines, planes, etc. in a projective space that intersect a given set of points, lines, etc., using the intersection theory of Schubert varieties. Subvarieties of Schubert cells can also be used to parametrize simultaneous eigenvectors of complete sets of commuting operators in quantum integrable spin systems, such as the Gaudin model, using the Bethe ansatz method.¹⁴

A further application is to the solution of hierarchies of classical completely integrable systems of partial differential equations, such as the Kadomtsev–Petviashvili equation and the associated KP hierarchy. These can be expressed in terms of Abelian group flows on an infinite-dimensional Grassmann manifold.^15161718 The KP equations, expressed in Hirota bilinear form in terms of the KP Tau function are equivalent to the Plücker relations.¹⁹¹⁸ A similar construction holds for solutions of the BKP integrable hierarchy, in terms of Abelian group flows on an infinite dimensional, maximal isotropic, Grassmann manifold.¹⁶¹⁷²⁰

Finite dimensional positive Grassmann manifolds can be used to express soliton solutions of KP equations that are nonsingular for real values of the KP flow parameters.²¹²²²³

The scattering amplitudes of subatomic particles in maximally supersymmetric super Yang-Mills theory may be calculated in the planar limit via a positive Grassmannian construct called the amplituhedron.²⁴

In quantum chemistry and many-body quantum physics, the Grassmannian can be identified with the space of pure many-particle fermionic states which can be written as a single Slater determinant. The geometric properties of the Grassmannian can be used to study theoretical properties of the Hartree-Fock method.²⁵

Grassmann manifolds have found applications in computer vision tasks of video-based face recognition and shape recognition,²⁶ and are used in the data-visualization technique known as the grand tour.

Grassmann flows are under consideration as a potential replacement for attention mechanisms in large language models, based on research showing competitive performance with better computational efficiency and interpretability. Using low-dimensional subspaces on the Grassmann manifold, causal Grassmann layers allow:

• reducing token states to a lower dimension (e.g., from 256 to 32).
• encoding local token pairs as 2D subspaces using Plücker coordinates.
• fusing into hidden states through gated mixing, allowing information to "flow" via controlled deformations over multi-scale local windows.
• avoiding high-dimensional, pairwise tensor operations of standard self-attention, confining computations to a structured manifold for more traceable geometry.

In contrast to attention models, which process context at the scale of (O(n²)), Grassmann flows address scale linearly (O(n) for fixed subspace rank), enabling efficiency on long sequences without approximations like sparse attention.²⁷

See also

See also

• Schubert calculus
• For an example of the use of Grassmannians in differential geometry, see Gauss map
• In projective geometry, see Plücker embedding and Plücker co-ordinates.
• Flag manifolds are generalizations of Grassmannians whose elements, viewed geometrically, are nested sequences of subspaces of specified dimensions.
• Stiefel manifolds are bundles of orthonormal frames over Grassmannians.
• Given a distinguished class of subspaces, one can define Grassmannians of these subspaces, such as Isotropic Grassmannians or Lagrangian Grassmannians .
• Isotropic Grassmannian
• Lagrangian Grassmannian
• Grassmannians provide classifying spaces in K-theory, notably the classifying space for U(n). In the homotopy theory of schemes, the Grassmannian plays a similar role for algebraic K-theory.²⁸
• Affine Grassmannian
• Grassmann bundle
• Grassmann graph

References

References

1. Lee 2012, p. 22, Example 1.36.
2. Shafarevich 2013, p. 42, Example 1.24.
3. Milnor & Stasheff (1974), pp. 57–59.
4. Milnor & Stasheff 1974.
5. Grothendieck, Alexander (1971). Éléments de géométrie algébrique. Vol. 1 (2nd ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-540-05113-8., Chapter I.9
6. EGA, II.3.6.3.
7. Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library (2nd ed.), New York: John Wiley & Sons, p. 211, ISBN 0-471-05059-8, MR 1288523, Zbl 0836.14001
8. Witten, Edward (1993). "The Verlinde algebra and the cohomology of the Grassmannian". arXiv:hep-th/9312104.
9. Cartan, Élie (1981) [1938]. The theory of spinors. New York: Dover Publications. ISBN 978-0-486-64070-9. MR 0631850.
10. Harnad, J.; Shnider, S. (1992). "Isotropic geometry and twistors in higher dimensions. I. The generalized Klein correspondence and spinor flags in even dimensions". Journal of Mathematical Physics. 33 (9). American Institute of Physics: 3197–3208. Bibcode:1992JMP....33.3197H. doi:10.1063/1.529538.
11. Harnad, J.; Shnider, S. (1995). "Isotropic geometry and twistors in higher dimensions. II. Odd dimensions, reality conditions, and twistor superspaces". Journal of Mathematical Physics. 36 (9). American Institute of Physics: 1945–1970. Bibcode:1995JMP....36.1945H. doi:10.1063/1.531096.
12. Narasimhan, M. S.; Ramanan, S. (1961). "Existence of Universal Connections". American Journal of Mathematics. 83 (3): 563–572. doi:10.2307/2372896. hdl:10338.dmlcz/700905. JSTOR 2372896. S2CID 123324468.
13. Narasimhan, M. S.; Ramanan, S. (1963). "Existence of Universal Connections II". American Journal of Mathematics. 85 (2): 223–231. doi:10.2307/2373211. JSTOR 2373211.
14. Mukhin, E.; Tarasov, V.; Varchenko, A. (2009). "Schubert Calculus and representations of the general linear group". J. Amer. Math. Soc. 22 (4). American Mathematical Society: 909–940. arXiv:0711.4079. Bibcode:2009JAMS...22..909M. doi:10.1090/S0894-0347-09-00640-7.
15. M. Sato, "Soliton equations as dynamical systems on infinite dimensional Grassmann manifolds", Kokyuroku, RIMS, Kyoto Univ., 30–46 (1981).
16. Date, Etsuro; Jimbo, Michio; Kashiwara, Masaki; Miwa, Tetsuji (1981). "Operator Approach to the Kadomtsev-Petviashvili Equation–Transformation Groups for Soliton Equations III–". Journal of the Physical Society of Japan. 50 (11). Physical Society of Japan: 3806–3812. Bibcode:1981JPSJ...50.3806D. doi:10.1143/jpsj.50.3806. ISSN 0031-9015.
17. Jimbo, Michio; Miwa, Tetsuji (1983). "Solitons and infinite-dimensional Lie algebras". Publications of the Research Institute for Mathematical Sciences. 19 (3). European Mathematical Society Publishing House: 943–1001. doi:10.2977/prims/1195182017. ISSN 0034-5318.
18. Harnad, J.; Balogh, F. (2021). Tau functions and Their Applications, Chapts. 4 and 5. Cambridge Monographs on Mathematical Physics. Cambridge, U.K.: Cambridge University Press. doi:10.1017/9781108610902. ISBN 9781108610902. S2CID 222379146.
19. Sato, Mikio (October 1981). "Soliton Equations as Dynamical Systems on Infinite Dimensional Grassmann Manifolds (Random Systems and Dynamical Systems)". 数理解析研究所講究録. 439: 30–46. hdl:2433/102800.
20. Harnad, J.; Balogh, F. (2021). Tau functions and Their Applications, Chapt. 7. Cambridge Monographs on Mathematical Physics. Cambridge, U.K.: Cambridge University Press. doi:10.1017/9781108610902. ISBN 9781108610902. S2CID 222379146.
21. Chakravarty, S.; Kodama, Y. (July 2009). "Soliton Solutions of the KP Equation and Application to Shallow Water Waves". Studies in Applied Mathematics. 123 (1): 83–151. arXiv:0902.4433. doi:10.1111/j.1467-9590.2009.00448.x. S2CID 18390193.
22. Kodama, Yuji; Williams, Lauren (December 2014). "KP solitons and total positivity for the Grassmannian". Inventiones Mathematicae. 198 (3): 637–699. arXiv:1106.0023. Bibcode:2014InMat.198..637K. doi:10.1007/s00222-014-0506-3. S2CID 51759294.
23. Hartnett, Kevin (16 December 2020). "A Mathematician's Unanticipated Journey Through the Physical World". Quanta Magazine. Retrieved 17 December 2020.
24. Arkani-Hamed, Nima; Trnka, Jaroslav (2013). "The Amplituhedron". Journal of High Energy Physics. 2014 (10): 30. arXiv:1312.2007. Bibcode:2014JHEP...10..030A. doi:10.1007/JHEP10(2014)030. S2CID 7717260.
25. Chiumiento, Eduardo; Melgaard, Michael (2012). "Stiefel and Grassmann manifolds in quantum chemistry". Journal of Geometry and Physics. 62 (8): 1866–1881. arXiv:1105.1661. doi:10.1016/j.geomphys.2012.04.005.
26. Pavan Turaga, Ashok Veeraraghavan, Rama Chellappa: Statistical analysis on Stiefel and Grassmann manifolds with applications in computer vision, CVPR 23–28 June 2008, IEEE Conference on Computer Vision and Pattern Recognition, 2008, ISBN 978-1-4244-2242-5, pp. 1–8 (abstract, full text)
27. Chong, Zhang (2025-12-22). "Attention Is Not What You Need". arXiv:2512.19428 [cs.LG].
28. Morel, Fabien; Voevodsky, Vladimir (1999). "A¹-homotopy theory of schemes" (PDF). Publications Mathématiques de l'IHÉS. 90 (90): 45–143. doi:10.1007/BF02698831. ISSN 1618-1913. MR 1813224. S2CID 14420180. Retrieved 2008-09-05., see section 4.3., pp. 137–140

Sources

• Griffiths, Phillip; Harris, Joseph (1994). Principles of algebraic geometry. Wiley Classics Library (2nd ed.). New York: John Wiley & Sons. p. 211. ISBN 0-471-05059-8. MR 1288523. Zbl 0836.14001.
• Hatcher, Allen (2003). Vector Bundles & K-Theory (PDF) (2.0 ed.). section 1.2
• Milnor, John W.; Stasheff, James D. (1974). Characteristic classes. Annals of Mathematics Studies. Vol. 76. Princeton, NJ: Princeton University Press. ISBN 0-691-08122-0. see chapters 5–7
• Harris, Joe (1992). Algebraic Geometry: A First Course. New York: Springer. ISBN 0-387-97716-3.
• Helgason, Sigurdur (1978), Differential geometry, Lie groups, and symmetric spaces, Academic Press, ISBN 978-0-8218-2848-9
• Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218 (Second ed.). New York London: Springer-Verlag. ISBN 978-1-4419-9981-8. OCLC 808682771.
• Mattila, Pertti (1995). Geometry of Sets and Measures in Euclidean Spaces. New York: Cambridge University Press. ISBN 0-521-65595-1.
• Shafarevich, Igor R. (2013). Basic Algebraic Geometry 1. Springer Science. doi:10.1007/978-3-642-37956-7. ISBN 978-0-387-97716-4.