From HandWiki

In mathematics, the Grassmannian Gr(k, V) is a space that parameterizes all k-dimensional linear subspaces of the n-dimensional vector space V. For example, the Grassmannian Gr(1, V) is the space of lines through the origin in V, so it is the same as the projective space of one dimension lower than V.[1][2]

When V is a real or complex vector space, Grassmannians are compact smooth manifolds.[3] In general they have the structure of a smooth algebraic variety, of dimension [math]\displaystyle{ k(n-k). }[/math]

The earliest work on a non-trivial Grassmannian is due to Julius Plücker, who studied the set of projective lines in projective 3-space, equivalent to Gr(2, R4) and parameterized them by what are now called Plücker coordinates. Hermann Grassmann later introduced the concept in general.

Notations for the Grassmannian vary between authors; notations include Grk(V), Gr(k, V), Grk(n), or Gr(k, n) to denote the Grassmannian of k-dimensional subspaces of an n-dimensional vector space V.


By giving a collection of subspaces of some vector space a topological structure, it is possible to talk about a continuous choice of subspace or open and closed collections of subspaces; by giving them the structure of a differential manifold one can talk about smooth choices of subspace.

A natural example comes from tangent bundles of smooth manifolds embedded in Euclidean space. Suppose we have a manifold M of dimension k embedded in Rn. At each point x in M, the tangent space to M can be considered as a subspace of the tangent space of Rn, which is just Rn. The map assigning to x its tangent space defines a map from M to Gr(k, n). (In order to do this, we have to translate the tangent space at each xM so that it passes through the origin rather than x, and hence defines a k-dimensional vector subspace. This idea is very similar to the Gauss map for surfaces in a 3-dimensional space.)

This idea can with some effort be extended to all vector bundles over a manifold M, so that every vector bundle generates a continuous map from M to a suitably generalised Grassmannian—although various embedding theorems must be proved to show this. We then find that the properties of our vector bundles are related to the properties of the corresponding maps viewed as continuous maps. In particular we find that vector bundles inducing homotopic maps to the Grassmannian are isomorphic. Here the definition of homotopic relies on a notion of continuity, and hence a topology.

Low dimensions

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 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 one and only line through the origin that is perpendicular to that plane (and vice versa); hence the spaces Gr(2, 3), Gr(1, 3), and P2 (the projective plane) may all be identified with each other.

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

The geometric definition of the Grassmannian as a set

Let V be an n-dimensional vector space over a field K. The Grassmannian Gr(k, V) is the set of all k-dimensional linear subspaces of V. The Grassmannian is also denoted Gr(k, n) or Grk(n).

The Grassmannian as a differentiable manifold

To endow the Grassmannian Grk(V) with the structure of a differentiable manifold, choose a basis for V. This is equivalent to identifying it with V = Kn with the standard basis, denoted [math]\displaystyle{ (e_1, \dots, e_n) }[/math], viewed as column vectors. Then for any k-dimensional subspace wV, viewed as an element of Grk(V), we may choose a basis consisting of k linearly independent column vectors [math]\displaystyle{ (W_1, \dots, W_k) }[/math]. The homogeneous coordinates of the element wGrk(V) consist of the components of the n × k rectangular matrix W of maximal rank whose i-th column vector is [math]\displaystyle{ W_i }[/math], [math]\displaystyle{ i = 1, \dots, k }[/math]. Since the choice of basis is arbitrary, two such maximal rank rectangular matrices W and [math]\displaystyle{ \tilde{W} }[/math] represent the same element wGrk(V) if and only if [math]\displaystyle{ \tilde{W} = W g }[/math] for some element g ∈ GL(k, K) of the general linear group of invertible k × k matrices with entries in K.

Now we define a coordinate atlas. For any n × k matrix W, we can apply elementary column operations to obtain its reduced column echelon form. If the first k rows of W are linearly independent, the result will have the form [math]\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}. }[/math] The (nk) × k matrix A = (aij) determines w. In general, the first k rows need not be independent, but for any W whose rank is [math]\displaystyle{ k }[/math], there exists an ordered set of integers [math]\displaystyle{ 1 \le i_1 \lt \cdots \lt i_k \le n }[/math] such that the submatrix [math]\displaystyle{ W_{i_1, \dots, i_k} }[/math] consisting of the [math]\displaystyle{ i_1, \ldots, i_k }[/math]-th rows of W is nonsingular. We may apply column operations to reduce this submatrix to the identity, and the remaining entries uniquely correspond to w. Hence we have the following definition:

For each ordered set of integers [math]\displaystyle{ 1 \le i_1 \lt \cdots \lt i_k \le n }[/math], let [math]\displaystyle{ U_{i_1, \dots, i_k} }[/math] be the set of [math]\displaystyle{ n \times k }[/math] matrices W whose k × k submatrix [math]\displaystyle{ W_{i_1, \dots, i_k} }[/math] is nonsingular, where the jth row of [math]\displaystyle{ W_{i_1, \dots, i_k} }[/math] is the ijth row of W. The coordinate function on [math]\displaystyle{ U_{i_1, \dots, i_k} }[/math] is then defined as the map [math]\displaystyle{ A^{i_1, \dots, i_k} }[/math] that sends W to the (nk) × k rectangular matrix whose rows are the rows of the matrix [math]\displaystyle{ W W^{-1}_{i_1, \dots, i_k} }[/math] complementary to [math]\displaystyle{ (i_1, \dots, i_k) }[/math]. The choice of homogeneous coordinate matrix W representing the element wGrk(V) does not affect the values of the coordinate matrix [math]\displaystyle{ A^{i_1, \dots, i_k} }[/math] representing w on the coordinate neighbourhood [math]\displaystyle{ U_{i_1, \dots, i_k} }[/math]. Moreover, the coordinate matrices [math]\displaystyle{ A^{i_1, \dots, i_k} }[/math] may take arbitrary values, and they define a diffeomorphism from [math]\displaystyle{ U_{i_1, \dots, i_k} }[/math] onto the space of K-valued (nk) × k matrices.

On the overlap [math]\displaystyle{ U_{i_1, \dots, i_k} \cap U_{j_1, \dots, j_k} }[/math] of any two such coordinate neighborhoods, the coordinate matrix values are related by the transition relation [math]\displaystyle{ A^{i_1, \dots, i_k} W_{i_1, \dots, i_k} = A^{j_1, \dots, j_k} W_{j_1, \dots, j_k}, }[/math] where both [math]\displaystyle{ W_{i_1, \dots, i_k} }[/math] and [math]\displaystyle{ W_{j_1, \dots, j_k} }[/math] are invertible. Hence the transition functions are differentiable, even a quotient of polynomials. Hence [math]\displaystyle{ (U_{i_1, \dots, i_k}, A^{i_1, \dots, i_k}) }[/math] gives an atlas of Grk(V) as a differentiable, or even as an algebraic variety.

The Grassmannian as a set of orthogonal projections

An alternative way to define a real or complex Grassmannian as a real manifold is to consider it as an explicit set of orthogonal projections defined by explicit equations of full rank ((Milnor Stasheff) problem 5-C). For this choose a positive definite real or Hermitian inner product [math]\displaystyle{ \langle \cdot , \cdot \rangle }[/math] on [math]\displaystyle{ V }[/math] depending on whether V is real or complex. A [math]\displaystyle{ k }[/math]-dimensional subspace [math]\displaystyle{ U }[/math] now determines a unique orthogonal projection [math]\displaystyle{ P_U }[/math] of rank [math]\displaystyle{ k }[/math]. Conversely, every projection [math]\displaystyle{ P }[/math] of rank [math]\displaystyle{ k }[/math] defines a subspace: its image [math]\displaystyle{ U_P = \mathrm{Im}(P) }[/math]. Since for a projection the rank equals its trace, we can define the Grassman manifold as an explicit set of projections [math]\displaystyle{ \mathrm{Gr}(k, V) = \left\{ P \in \mathrm{End}(V) \mid P = P^2 = P^*,\, \mathrm{tr}(P) = k \right\} }[/math] In particular taking [math]\displaystyle{ V = \Reals^n }[/math] or [math]\displaystyle{ V = \Complex^n }[/math] this gives completely explicit equations for an embedding of the Grassmannian in the space of matrices [math]\displaystyle{ \Reals^{n \times n} }[/math] respectively [math]\displaystyle{ \Complex^{n \times n} }[/math].

As this defines the Grassmannian as a closed subset of the sphere [math]\displaystyle{ \{X \in \mathrm{End}(V) \mid \mathrm{tr}(XX^*) = k\} }[/math] this is one way to see that the Grassmannian is compact Hausdorff. This construction also makes the Grassmannian into a metric space: For a subspace W of V, let PW be the projection of V onto W. Then [math]\displaystyle{ d(W, W') = \lVert P_W - P_{W'} \rVert, }[/math] where |||| denotes the operator norm, is a metric on Gr(r, V). The exact inner product used does not matter, because a different inner product will give an equivalent norm on V, and so give an equivalent metric.

The Grassmannian as a homogeneous space

The quickest way of giving the Grassmannian a geometric structure is to express it as a homogeneous space. First, recall that the general linear group [math]\displaystyle{ \mathrm{GL}(V) }[/math] acts transitively on the [math]\displaystyle{ r }[/math]-dimensional subspaces of [math]\displaystyle{ V }[/math]. Therefore, if [math]\displaystyle{ W \subset V }[/math] is a subspace of [math]\displaystyle{ V }[/math] of dimension [math]\displaystyle{ r }[/math] and [math]\displaystyle{ H = \mathrm{stab}(W) }[/math] is the stabilizer under this action, we have

[math]\displaystyle{ \mathrm{Gr}(r, V) = \mathrm{GL}(V)/H }[/math]

If the underlying field is [math]\displaystyle{ \mathbb{R} }[/math] or [math]\displaystyle{ \mathbb{C} }[/math] and [math]\displaystyle{ \mathrm{GL}(V) }[/math] is considered as a Lie group, then this construction makes the Grassmannian into a smooth manifold. More generally, over a ground field [math]\displaystyle{ k }[/math], the group [math]\displaystyle{ \mathrm{GL}(V) }[/math] is an algebraic group, and then 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, [math]\displaystyle{ H }[/math] is a parabolic subgroup of [math]\displaystyle{ \mathrm{GL}(V) }[/math].

Over [math]\displaystyle{ \mathbb{R} }[/math] or [math]\displaystyle{ \mathbb{C} }[/math] it also becomes possible to use other groups to make this construction. To do this over [math]\displaystyle{ \mathbb{R} }[/math], fix an inner product [math]\displaystyle{ q }[/math] on [math]\displaystyle{ V }[/math]. The orthogonal group [math]\displaystyle{ O(V, q) }[/math] acts transitively on the set of k-dimensional subspaces [math]\displaystyle{ \mathrm{Gr}(k, V) }[/math] and the stabiliser of a [math]\displaystyle{ k }[/math]-space [math]\displaystyle{ W }[/math] is [math]\displaystyle{ O(W, q|_W)\times O(W^\perp, q|_{W^\perp}) }[/math]. This gives the description as a homogeneous space

[math]\displaystyle{ \mathrm{Gr}(r, V) = O(V, q)/\left(O(W, q|_W)\times O(W^\perp q|_{W^\perp})\right) }[/math].

If we take [math]\displaystyle{ V = \mathbb{R}^n }[/math] and [math]\displaystyle{ W = \mathbb{R}^r \hookrightarrow \mathbb{R}^n }[/math] one gets the isomorphism

[math]\displaystyle{ \mathrm{Gr}(r,n) = O(n)/\left(O(r) \times O(n - r)\right) }[/math]

Over C, one likewise chooses an Hermitian innerproduct [math]\displaystyle{ h }[/math] and the unitary group [math]\displaystyle{ U(V, h) }[/math] acts transitively, and one finds analogously

[math]\displaystyle{ \mathrm{Gr}(r, V) = U(V , h)/\left(U(W, h|_{W}) \times U(W^\perp|_{W^\perp})\right) }[/math]

or for [math]\displaystyle{ V = \mathbb{C}^n }[/math] and [math]\displaystyle{ W = \mathbb{C}^r \hookrightarrow \mathbb{C}^n }[/math]

[math]\displaystyle{ \mathrm{Gr}(r, n) = U(n)/\left(U(r) \times U(n-r)\right) }[/math]

In particular, this again shows that the Grassmannian is a compact, and the (real or complex) dimension of the (real or complex) Grassmannian is r(nr).

The Grassmannian as a scheme

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

Representable functor

Let [math]\displaystyle{ \mathcal E }[/math] be a quasi-coherent sheaf on a scheme S. Fix a positive integer r. Then to each S-scheme T, the Grassmannian functor associates the set of quotient modules of [math]\displaystyle{ \mathcal E_T := \mathcal E \otimes_{O_S} O_T }[/math] locally free of rank r on T. We denote this set by [math]\displaystyle{ \mathbf{Gr}(r, \mathcal{E}_T) }[/math].

This functor is representable by a separated S-scheme [math]\displaystyle{ \mathbf{Gr}(r, \mathcal{E}) }[/math]. The latter is projective if [math]\displaystyle{ \mathcal E }[/math] is finitely generated. When S is the spectrum of a field k, then the sheaf [math]\displaystyle{ \mathcal E }[/math] is given by a vector space V and we recover the usual Grassmannian variety of the dual space of V, namely: Gr(r, V).

By construction, the Grassmannian scheme is compatible with base changes: for any S-scheme S′, we have a canonical isomorphism [math]\displaystyle{ \mathbf{Gr}(r, \mathcal E) \times_S S' \simeq \mathbf{Gr}(r, \mathcal E_{S'}) }[/math]

In particular, for any point s of S, the canonical morphism {s} = Spec(k(s)) → S, induces an isomorphism from the fiber [math]\displaystyle{ \mathbf{Gr}(r, \mathcal E)_s }[/math] to the usual Grassmannian [math]\displaystyle{ \mathbf{Gr}(r, \mathcal E \otimes_{O_S} k(s)) }[/math] over the residue field k(s).

Universal family

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

For any morphism of S-schemes: [math]\displaystyle{ T \to \mathbf{Gr}(r, \mathcal{E}), }[/math] this closed immersion induces a closed immersion [math]\displaystyle{ \mathbf{P}(\mathcal G_T) \to \mathbf{P} (\mathcal{E}) \times_S T. }[/math]

Conversely, any such closed immersion comes from a surjective homomorphism of OT-modules from [math]\displaystyle{ \mathcal E_T }[/math] to a locally free module of rank r.[5] Therefore, the elements of [math]\displaystyle{ \mathbf{Gr}(r, \mathcal E)(T) }[/math] are exactly the projective subbundles of rank r in [math]\displaystyle{ \mathbf{P} (\mathcal{E}) \times_S T. }[/math]

Under this identification, when T = S is the spectrum of a field k and [math]\displaystyle{ \mathcal E }[/math] is given by a vector space V, the set of rational points [math]\displaystyle{ \mathbf{Gr}(r, \mathcal{E})(k) }[/math] correspond to the projective linear subspaces of dimension r − 1 in P(V), and the image of [math]\displaystyle{ \mathbf{P}(\mathcal G)(k) }[/math] in [math]\displaystyle{ \mathbf{P}(V) \times_k \mathbf{Gr}(r, \mathcal E) }[/math] is the set [math]\displaystyle{ \left\{ (x, v) \in \mathbf{P}(V)(k) \times \mathbf{Gr}(r, \mathcal E)(k) \mid x\in v \right\}. }[/math]

The Plücker embedding

The Plücker embedding is a natural embedding of the Grassmannian [math]\displaystyle{ \mathbf{Gr}(k, V) }[/math] into the projectivization of the exterior algebra ΛkV: [math]\displaystyle{ \iota : \mathbf{Gr}(k, V) \to \mathbf{P} \left(\Lambda^k V \right ). }[/math]

Suppose that W is a k-dimensional subspace of the n-dimensional vector space V. To define [math]\displaystyle{ \iota(W) }[/math], choose a basis {w1, ..., wk} of W, and let [math]\displaystyle{ \iota(W) }[/math] be the wedge product of these basis elements: [math]\displaystyle{ \iota(W) = [w_1 \wedge \cdots \wedge w_k]. }[/math]

A different basis for W will give a different wedge product, but the two products will differ only by a non-zero scalar (the determinant of the change of basis matrix). Since the right-hand side takes values in a projective space, [math]\displaystyle{ \iota }[/math] is well-defined. To see that [math]\displaystyle{ \iota }[/math] is an embedding, notice that it is possible to recover W from [math]\displaystyle{ \iota }[/math] as the span of the set of all vectors w such that [math]\displaystyle{ w \wedge \iota (W) = 0 }[/math].

Plücker coordinates and the Plücker relations

The Plücker embedding of the Grassmannian satisfies some very simple quadratic relations called the Plücker relations. These show that the Grassmannian embeds as an algebraic subvariety of PkV) and give another method of constructing the Grassmannian. To state the Plücker relations, fix a basis {e1, ..., en} of V, and let W be a k-dimensional subspace of V with basis {w1, ..., wk}. Let (wi1, ..., win) be the coordinates of wi with respect to the chosen basis of V, let [math]\displaystyle{ \mathsf{W} = \begin{bmatrix} w_{11} &\cdots & w_{1n}\\ \vdots & \ddots & \vdots\\ w_{k1} & \cdots & w_{kn} \end{bmatrix}, }[/math] and let {W1, ..., Wn} be the columns of [math]\displaystyle{ \mathsf{W} }[/math]. For any ordered sequence [math]\displaystyle{ 1\le i_1 \lt \cdots \lt i_k \le n }[/math] of [math]\displaystyle{ k }[/math] positive integers, let [math]\displaystyle{ W_{i_1, \dots , i_k} }[/math] be the determinant of the [math]\displaystyle{ k \times k }[/math] matrix with columns [math]\displaystyle{ W_{i_1}, \dots , W_{i_k} }[/math]. The set [math]\displaystyle{ \{W_{i_1, \dots , i_k} : 1 \leq i_1 \lt \cdots \lt i_k \leq n\} }[/math] is called the Plücker coordinates of the element [math]\displaystyle{ W }[/math] of the Grassmannian (with respect to the basis {e1, ..., en} of V). They are the linear coordinates of the image [math]\displaystyle{ \iota(W) }[/math] of [math]\displaystyle{ W }[/math] under the Plücker map, relative to the basis of the exterior power ΛkV induced by the basis {e1, ..., en} of V.

For any two ordered sequences [math]\displaystyle{ 1 \leq i_1 \lt i_2 \cdots \lt i_{k-1} \leq n }[/math] and [math]\displaystyle{ 1 \leq j_1 \lt j_2 \cdots \lt j_{k+1} \leq n }[/math] of [math]\displaystyle{ k-1 }[/math] and [math]\displaystyle{ k+1 }[/math] positive integers, respectively, the following homogeneous equations are valid and determine the image of Gr(k, V) under the Plücker embedding: [math]\displaystyle{ \sum_{\ell=1}^{k+1} (-1)^\ell W_{i_1, \dots , i_{k-1}, j_\ell} W_{j_1, \dots , \widehat{j_\ell}, \dots j_{k+1}} = 0, }[/math] where [math]\displaystyle{ j_1, \ldots , \widehat{j_\ell}, \ldots j_{k+1} }[/math] denotes the sequence [math]\displaystyle{ j_1, \ldots, j_{k+1} }[/math] with the term [math]\displaystyle{ j_\ell }[/math] omitted.

When dim(V) = 4, and k = 2, the simplest Grassmannian which is not a projective space, the above reduces to a single equation. Denoting the coordinates of PkV) by W12, W13, W14, W23, W24, W34, the image of Gr(2, V) under the Plücker map is defined by the single equation

W12W34W13W24 + W23W14 = 0.

In general, however, many more equations are needed to define the Plücker embedding of a Grassmannian in projective space.[6]

The Grassmannian as a real affine algebraic variety

Let Gr(r, Rn) denote the Grassmannian of r-dimensional subspaces of Rn. Let M(n, R) denote the space of real n × n matrices. Consider the set of matrices A(r, n) ⊂ M(n, R) defined by XA(r, n) if and only if the three conditions are satisfied:

  • X is a projection operator: X2 = X.
  • X is symmetric: Xt = X.
  • X has trace r: tr(X) = r.

A(r, n) and Gr(r, Rn) are homeomorphic, with a correspondence established by sending XA(r, n) to the column space of X.


Every r-dimensional subspace W of V determines an (nr)-dimensional quotient space V/W of V. This gives the natural short exact sequence:

0 → WVV/W → 0.

Taking the dual to each of these three spaces and linear transformations yields an inclusion of (V/W) in V with quotient W:

0 → (V/W)VW → 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 there is a one-to-one correspondence between r-dimensional subspaces of V and (nr)-dimensional subspaces of V. In terms of the Grassmannian, this is a canonical isomorphism

Gr(r, V) → Gr(nr, V).

Choosing an isomorphism of V with V therefore determines a (non-canonical) isomorphism of Gr(r, V) and Gr(nr, V). An isomorphism of V with V is equivalent to a choice of an inner product, and with respect to the chosen inner product, this isomorphism of Grassmannians sends an r-dimensional subspace into its (nr)-dimensional orthogonal complement.

Schubert cells

The detailed study of the Grassmannians uses a decomposition into subsets called Schubert cells, which were first applied in enumerative geometry. The Schubert cells for Gr(r, n) are defined in terms of an auxiliary flag: take subspaces V1, V2, ..., Vr, with ViVi + 1. Then we consider the corresponding subset of Gr(r, n), consisting of the W having intersection with Vi of dimension at least i, for i = 1, ..., r. The manipulation of Schubert cells is Schubert calculus.

Here is an example of the technique. Consider the problem of determining the Euler characteristic of the Grassmannian of r-dimensional subspaces of Rn. Fix a 1-dimensional subspace RRn and consider the partition of Gr(r, n) into those r-dimensional subspaces of Rn that contain R and those that do not. The former is Gr(r − 1, n − 1) and the latter is a r-dimensional vector bundle over Gr(r, n − 1). This gives recursive formulas: [math]\displaystyle{ \chi_{r,n} = \chi_{r-1,n-1} + (-1)^r \chi_{r, n-1}, \qquad \chi_{0,n} = \chi_{n,n} = 1. }[/math]

If one solves this recurrence relation, one gets the formula: χr,n = 0 if and only if n is even and r is odd. Otherwise: [math]\displaystyle{ \chi_{r, n} = \binom{\left\lfloor \frac{n}{2} \right\rfloor}{\left\lfloor \frac{r}{2} \right\rfloor}. }[/math]

Cohomology ring of the complex Grassmannian

Every point in the complex Grassmannian manifold Gr(r, n) defines an r-plane in n-space. Fibering these planes over the Grassmannian one arrives at the vector bundle E which generalizes the tautological bundle of a projective space. Similarly the (nr)-dimensional orthogonal complements of these planes yield an orthogonal vector bundle F. The integral cohomology of the Grassmannians is generated, as a ring, by the Chern classes of 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 E and F. Then the relations merely state that the direct sum of the bundles E and F is trivial. Functoriality of the total Chern classes allows one to write this relation as [math]\displaystyle{ c(E) c(F) = 1. }[/math]

The quantum cohomology ring was calculated by Edward Witten in The Verlinde Algebra And The Cohomology Of The Grassmannian. The generators are identical to those of the classical cohomology ring, but the top relation is changed to [math]\displaystyle{ c_k(E) c_{n-k}(F) = (-1)^{n-r} }[/math] reflecting the existence in the corresponding quantum field theory of an instanton with 2n fermionic zero-modes which violates the degree of the cohomology corresponding to a state by 2n units.

Associated measure

When V is n-dimensional Euclidean space, one may define a uniform measure on Gr(r, n) in the following way. Let θn be the unit Haar measure on the orthogonal group O(n) and fix W in Gr(r, n). Then for a set AGr(r, n), define [math]\displaystyle{ \gamma_{r, n}(A) = \theta_n\{g \in \operatorname{O}(n) : gW \in A\}. }[/math]

This measure is invariant under actions from the group O(n), that is, γr,n(gA) = γr,n(A) for all g in O(n). Since θn(O(n)) = 1, we have γr,n(Gr(r, n)) = 1. Moreover, γr,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.

Oriented Grassmannian

This is the manifold consisting of all oriented r-dimensional subspaces of Rn. It is a double cover of Gr(r, n) and is denoted by: [math]\displaystyle{ \widetilde{\mathbf{Gr}}(r, n). }[/math]

As a homogeneous space it can be expressed as: [math]\displaystyle{ \operatorname{SO}(n) / (\operatorname{SO}(r) \times \operatorname{SO}(n-r)). }[/math]


A key application of Grassmannians is as the "universal" embedding space for bundles with connections on compact manifolds.[7][8]

Solutions of the Kadomtsev–Petviashvili equation can be expressed in terms of abelian group flows on an infinite-dimensional Grassmann manifold. The KP equation, expressed in Hirota bilinear form in terms of the Tau function (integrable systems) is equivalent to the Plücker relations.[9][10] Positive Grassmann manifolds can be used to express soliton solutions of KP equations which are nonsingular for real values of the KP flow parameters.[11][12]

Grassmann manifolds have found applications in computer vision tasks of video-based face recognition and shape recognition.[13] They are also used in the data-visualization technique known as the grand tour.

Grassmannians allow the scattering amplitudes of subatomic particles to be calculated via a positive Grassmannian construct called the amplituhedron.[14]

See also

Further reading

A Grassmann Manifold Handbook: Basic Geometry and Computational Aspects, Zimmermann, Bendokat and Absil.


  1. Lee 2012, p. 22, Example 1.36.
  2. Shafarevich 2013, p. 42, Example 1.24.
  3. (Milnor Stasheff), pp. 57–59.
  4. Grothendieck, Alexander (1971). Éléments de géométrie algébrique. 1 (2nd ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-540-05113-8. , Chapter I.9
  5. EGA, II.3.6.3.
  6. 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 
  7. Narasimhan, M. S.; Ramanan, S. (1961). "Existence of Universal Connections". American Journal of Mathematics 83 (3): 563-572. doi:10.2307/2372896. 
  8. Narasimhan, M. S.; Ramanan, S. (1963). "Existence of Universal Connections II.". American Journal of Mathematics 85 (2): 223-231. doi:10.2307/2373211. 
  9. Chakravarty, S.; Kodama, Y. (July 2009). "Soliton Solutions of the KP Equation and Application to Shallow Water Waves" (in en). Studies in Applied Mathematics 123: 83–151. doi:10.1111/j.1467-9590.2009.00448.x. 
  10. Sato, Mikio (October 1981). "Soliton Equations as Dynamical Systems on a Infinite Dimensional Grassmann Manifolds (Random Systems and Dynamical Systems)". 数理解析研究所講究録 439: 30–46. 
  11. Kodama, Yuji; Williams, Lauren (December 2014). "KP solitons and total positivity for the Grassmannian" (in en). Inventiones Mathematicae 198 (3): 637–699. doi:10.1007/s00222-014-0506-3. Bibcode2014InMat.198..637K. 
  12. Hartnett, Kevin (16 December 2020). "A Mathematician's Unanticipated Journey Through the Physical World" (in en). 
  13. 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)
  14. Arkani-Hamed, Nima; Trnka, Jaroslav (2013). "The Amplituhedron". Journal of High Energy Physics 2014 (10): 30. doi:10.1007/JHEP10(2014)030. Bibcode2014JHEP...10..030A. 
  15. Morel, Fabien; Voevodsky, Vladimir (1999). "A1-homotopy theory of schemes". Publications Mathématiques de l'IHÉS 90 (90): 45–143. doi:10.1007/BF02698831. ISSN 1618-1913. Retrieved 2008-09-05. , see section 4.3., pp. 137–140