# Grassmannian

# Grassmannian

In mathematics, the **Grassmannian** **Gr** (*k*, *V*) is a space which parametrizes 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.

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, **R** 4) and parameterized them by what are now called Plücker coordinates. Hermann Grassmann later introduced the concept in general.

Motivation

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 **R** n*. At each point x in M, the tangent space to M can be considered as a subspace of the tangent space of* **R** ch is just* **R** n*. 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 x ∈ M 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 **P** 2 (the projective plane) may all be identified with each other.

The simplest Grassmannian that is not a projective space is **Gr** (2, 4), which may be parameterized via Plücker coordinates.

The geometric definition of the Grassmannian as a set

The Grassmannian as a differentiable manifold

On the overlap

of any two such coordinate neighborhoods, the coordinate matrix values are related by the transition relation

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 GL(*V*) acts transitively on the r-dimensional subspaces of V. Therefore, if H is the stabilizer of any of the subspaces under this action, we have

- .

If the underlying field is **R** or **C** and GL(*V*) is considered as a Lie group, then this construction makes the Grassmannian into a smooth manifold. It also becomes possible to use other groups to make this construction. To do this, fix an inner product on V. Over **R**, one replaces GL(*V*) by the orthogonal group O(*V*), and by restricting to orthonormal frames, one gets the identity

- .

In particular, the dimension of the Grassmannian is *r* (*n* – *r*).

Over **C**, one replaces GL(*V*) by the unitary group U(*V*). This shows that the Grassmannian is compact. These constructions also make the Grassmannian into a metric space: For a subspace W of V, let *PW* be the projection of V onto W. Then

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.

If the ground field k is arbitrary and GL(*V*) is considered as an algebraic group, 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, H is a parabolic subgroup of GL(*V*).

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.^{[2]}

Representable functor

By construction, the Grassmannian scheme is compatible with base changes: for any S-scheme *S′*, we have a canonical isomorphism

Universal family

For any morphism of S-schemes:

this closed immersion induces a closed immersion

is the set

The Plücker embedding

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 **P** (∧*k**V*) and give another method of constructing the Grassmannian. To state the Plücker relations, fix a basis {*e*1,...,* en*} of V, and let W be a k-dimensional subspace of V with basis {*w*1,...,* wk*}. Let (*w*i1,...,* win*) be the coordinates of* wi*with respect to the basis { e1,...,* en*} of V, let

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 **P** (∧*k**V) by 12,* W*13,* W*14,* W*23,* W*24,* W*34, the image of* **Gr** (2, *V*) under the Plücker map is defined by the single equation

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

The Grassmannian as a real affine algebraic variety

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

X is a projection operator:

*X*2 =*X*.X is symmetric:

*Xt*=*X*.X has trace r: tr(

*X*) =*r*.

*A(r, n*d **Gr*** (r,* **R***) are homeomorphic, with a correspondence established by sending∈* A* (*r*,* n*) to the column space of X.

Duality

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

- .

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

- .

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 (*n* – *r*)-dimensional subspaces of *V*∗. In terms of the Grassmannian, this is a canonical isomorphism

- .

Choosing an isomorphism of V with *V*∗ therefore determines a (non-canonical) isomorphism of **Gr** (*r*, *V*) and **Gr** (*n* − *r*, *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 (*n* – *r*)-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 *V*1, *V*2,..., *Vr*, with *Vi* ⊂ *Vi + 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 **R** n*. Fix a 1-dimensional subspace* **R** **R** n*and consider the partition of* **Gr** r *n*) into those r-dimensional subspaces of **R** n*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:

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:

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 (*n* − *r*)-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

The quantum cohomology ring was calculated by Edward Witten in The Verlinde Algebra And The Cohomology Of The Grassmannian ^{[11]}. The generators are identical to those of the classical cohomology ring, but the top relation is changed to

reflecting the existence in the corresponding quantum field theory of an instanton with 2*n* fermionic zero-modes which violates the degree of the cohomology corresponding to a state by 2*n* 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 V in **Gr** (*r*, *n*). Then for a set *A* ⊆ **Gr** (*r*, *n*), define

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 **R** n*. It is a double cover of* **Gr** r, *n*) and is denoted by:

As a homogeneous space it can be expressed as:

Applications

Grassmann manifolds have found application in computer vision tasks of video-based face recognition and shape recognition.^{[5]} 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.^{[6]}

See also

For an example of the use of Grassmannians in differential geometry, see Gauss map and in projective geometry, see Plücker co-ordinates.

Flag manifolds are generalizations of Grassmannians and Stiefel manifolds are closely related.

Given a distinguished class of subspaces, one can define Grassmannians of these subspaces, such as the 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.

^{[7]}Affine Grassmannian

Grassmann bundle

## References

*É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

*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

*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)

*Journal of High Energy Physics*.

**2014**(10). arXiv:1312.2007. Bibcode:2014JHEP...10..030A. doi:10.1007/JHEP10(2014)030.

*Publications Mathématiques de l'IHÉS*.

**90**(90): 45–143. doi:10.1007/BF02698831. ISSN 1618-1913. MR 1813224. Retrieved 2008-09-05., see section 4.3., pp. 137–140