Grassmannian

Grassmannian

In mathematics, a Grassmannian is a space which parameterizes all linear subspaces of a vector space "V" of a given dimension. 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 P"V". Grassmannians are named in honor of Hermann Grassmann.

Motivation

By giving subspaces 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. Though such concepts may seem strangely out of place they can coincide with things that one is interested in, and can describe ideas that could not be considered otherwise—or at least describe them more economically.

A natural example comes from tangent bundles of smooth manifolds embedded in Euclidean space. Suppose we have a manifold "M" of dimension "r" embedded in mathbb{R}^n. At each point "x" in "M", the tangent space to "M" can be considered as a subspace of the tangent space of mathbb{R}^n, which is just mathbb{R}^n. The map assigning to "x" its tangent space defines a map from "M" to "Gr""r"("n"). (In order to do this, we have to translate the geometrical tangent space to "M" so that it passes through the origin rather than "x", and hence defines a "r"-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 with maps that are homotopic are isomorphic. But the definition of homotopic relies on a notion of continuity, and hence a topology.

History

The simplest Grassmannian that is not a projective space is mathrm{Gr}_2(4). This was studied by Julius Plücker, as lines in projective 3-space, and he parametrized the space via Plücker coordinates. Hermann Grassmann generalized Plücker's work to general "r"-planes in "n"-space.

Low dimensions

When "k" = 2, the Grassmannian is the space of all planes through the origin. In Euclidean 3-space, a plane is completely characterized by the one and only line perpendicular to it (and vice-versa); hence "Gr"2(3) is isomorphic to "Gr"1(3) (both of which are isomorphic to the real projective plane).

The Grassmannian as a set

Let "V" be a finite-dimensional vector space over a field "k". The Grassmannian "Gr"r("V") is the set of all "r"-dimensional linear subspaces of "V". It is also denoted "G"r("V"), "Gr"("r", "V") or "G"("r", "V"). If "V" has dimension "n", then the Grassmannian is also denoted "Gr"("r", "n") or "G"("r", "n").

Vector subspaces of "V" are equivalent to linear subspaces of the projective space P"V", so it is equivalent to think of the Grassmannian as the set of all linear subspaces of P"V". When the Grassmannian is thought of this way, it is often written as Grr−1(P"V"), Gr−1(P"V"), Gr(r−1, n−1), or G(r−1, n−1).

The Grassmannian as a homogenous space

The quickest way of giving the Grassmannian a geometric structure is to express it as a homogenous 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 this action, we have:"Gr"r("V") = "GL"("V")/"H".

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:"Gr"("r", "n") = "O"("n")/("O"("k") × "O"("n"−"k")).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 "P"W be the projection of "V" onto "W". Then:d(W, W') = lVert P_W - P_{W'} Vert,where lVertcdot Vert denotes the operator norm, is a metric on "Gr"r("V").

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 can be shown that "H" is a parabolic subgroup, from which it follows that "Gr"r("V") is complete.

The Plücker embedding

The Plücker embedding is a natural embedding of a Grassmannian into a projective space::psi : mbox{Gr}_r(V) ightarrow mathbf{P}(wedge^r V).Suppose that "W" is an "r"-dimensional subspace of "V". To define ψ("W"), choose a basis "w"1, ..., "w"r of "W", and let ψ("W") be the wedge product of these basis elements::ψ("W") = "w"1 ∧ ... ∧ wr.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, ψ is well-defined. To see that ψ is an embedding, notice that it is possible to recover "W" from ψ("W") as the set of all vectors "w" such that "w" ∧ ψ("W") = 0.

The embedding of the Grassmannian satisfies some very simple quadratic polynomials called the "Plücker relations". These show that the Grassmannian embeds as an algebraic subvariety of P(&and;r"V") and give another method of constructing the Grassmannian. To state the Plücker relations, choose two "r"-dimensional subspaces "W" and "Z" of "V" with bases "w"1, ..., "w"r and "z"1, ..., "z"r, respectively. Then, for any integer k &ge; 0, the following equation is true in the homogenous coordinate ring of P(&and;r"V")::(w_1 wedge cdots wedge w_r)cdot(z_1 wedge cdots wedge z_r) - sum_{i_1 < cdots < i_k} (v_1 wedge cdots wedge v_{i_1 - 1} wedge w_1 wedge v_{i_1 + 1} wedge cdots wedge v_{i_k - 1} wedge w_k wedge v_{i_k + 1} wedge cdots wedge v_r)cdot(v_{i_1} wedge cdots wedge v_{i_k} wedge w_{k+1} cdots wedge w_r) = 0.

Duality

Every "r"-dimensional subspace "W" of "V" determines an "n"−"r"-dimensional quotient space "V"/"W" of "V". This can be written down quickly as a short exact sequence::0 o W o V o V/W o 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 o (V/W)^* o V^* o W^* o 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 "n"−"r"-dimensional subspaces of "V"*. In terms of the Grassmannian, this is a canonical isomorphism:mbox{Gr}_r(V) cong mbox{Gr}_{n-r}(V^*).Choosing an isomorphism of "V" with "V"* therefore determines a (non-canonical) isomorphism of "Gr"r("V") and "Gr"n−r("V"). This isomorphism sends an "r"-dimensional subspace into its "n"−"r"-dimensional orthogonal complement.

chubert 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, ..., V"r", with V"i" contained in V"i"+1. Then we consider the corresponding subset of "Gr""r"("n"), consisting of the W having intersection with V"i" of dimension at least "i", for "i" = 1 to "r". The manipulation of Schubert cells is Schubert calculus.

Here is an example of the technique. Consider the problem of determining the Euler characteristic chi(G_{n,r}) where G_{n,r} is the Grassmannian of r-dimensional subspaces of mathbb R^n. Fix a one-dimensional subspace R of mathbb R^n and consider the partition of G_{n,r} into those r-dimensional subspaces of mathbb R^n that contain R and those that do not. The former is G_{n-1,r-1} and the latter is a r-dimensional vector bundle over G_{n-1,r}. This gives recursive formulas::chi G_{n,r} = chi G_{n-1,r-1} + (-1)^r chi G_{n-1,r},where by design chi G_{n,0} = chi G_{n,n} = 1. If one solves this recurrence relation, you have the formula: chi G_{n,r} = 0 if and only if n even and r odd. Otherwise, chi G_{n,r} = {lfloor frac{n}{2} floor choose lfloor frac{r}{2} floor }.

Associated measure

When "V" is n-dimensional Euclidean space, one may define a uniform measure on G_{n,r} in the following way. Let heta_{n} be the unit Haar measure on the orthogonal group O(n) and fix Vin G_{n,r}. Then for a set Asubseteq G_{n,r}, define: gamma_{n,r}(A)= heta_{n}{gin O(n):gVin A}.This measure is invariant under actions from the group O(n), that is, gamma_{n,r}(gA)=gamma_{n,r}(A) for all gin O(n). Since heta_{n}(O(n))=1, we have gamma_{n,r}(G_{n,r})=1. Moreover, gamma_{n,r} 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.

ee also

For an example of 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)

References

* Joe Harris, "Algebraic Geometry, A First Course", (1992) Springer, New York, ISBN 0-387-97716-3
* Pertti Mattila, "Geometry of Sets and Measures in Euclidean Spaces", (1995) Cambridge University Press, New York, ISBN 0-521-65595-1


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Grassmannian (disambiguation) — In mathematics, a Grassmannian may refer to:*Affine Grassmannian *Affine Grassmannian (manifold) *Grassmannian, the classical parameter space for linear subspaces of a linear space or projective space *Lagrangian Grassmannian …   Wikipedia

  • Affine Grassmannian (manifold) — In mathematics, there are two distinct meanings of the term affine Grassmannian . In one it is the manifold of all k dimensional affine subspaces of R n (described on this page), while in the other the Affine Grassmannian is a quotient of a group …   Wikipedia

  • Lagrangian Grassmannian — In mathematics, the Lagrangian Grassmannian is the smooth manifold of Lagrangian subspaces of a real symplectic vector space V. Its dimension is n(n+1)/2 (where the dimension of V is 2n). It may be identified with the homogeneous space U(n)/O(n)… …   Wikipedia

  • Affine Grassmannian — In mathematics, the term affine Grassmannian has two distinct meanings. In one meaning the affine Grassmannian (manifold) is the manifold of all k dimensional subspaces of a finite dimensional vector space, while (described here) the affine… …   Wikipedia

  • List of simple Lie groups — In mathematics, the simple Lie groups were classified by Élie Cartan.The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. See also the table of Lie groups for a smaller list of… …   Wikipedia

  • Classifying space for U(n) — In mathematics, the classifying space for the unitary group U(n) is a space B(U(n)) together with a universal bundle E(U(n)) such that any hermitian bundle on a paracompact space X is the pull back of E by a map X → B unique up to homotopy. This… …   Wikipedia

  • Daniel Biss — Member of the Illinois House of Representatives from the 17th district In office 2011 – Preceded by Elizabeth Coulson Personal details Born August 27, 1977 ( …   Wikipedia

  • Plücker embedding — In the mathematical fields of algebraic geometry and differential geometry (as well as representation theory), the Plücker embedding describes a method to realise the Grassmannian of all k dimensional subspaces of a vector space V , such as R n… …   Wikipedia

  • Hilbert scheme — In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general scheme), refining the Chow variety. The Hilbert scheme is a disjoint… …   Wikipedia

  • Prehomogeneous vector space — In mathematics, a prehomogeneous vector space (PVS) is a finite dimensional vector space V together with a subgroup G of GL( V ) such that G has an open dense orbit in V . Prehomogeneous vector spaces were introduced by Mikio Sato in 1970 and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”