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 Rn (described on this page), while in the other the affine Grassmannian is a quotient of a group-ring based on formal Laurent series.
Given a finite-dimensional vector space V and a non-negative integer k, then Graffk(V) is the topological space of all affine k-dimensional subspaces of V.
It has a natural projection p:Graffk(V) → Grk(V), the Grassmannian of all linear k-dimensional subspaces of V by defining p(U) to be the translation of U to a subspace through the origin. This projection is a fibration, and if V is given an inner product, the fibre containing U can be identified with
p(U)\perp
As a homogeneous space, the affine Grassmannian of an n-dimensional vector space V can be identified with
Graffk(V)\simeq
E(n) | |
E(k) x O(n-k) |
where E(n) is the Euclidean group of Rn and O(m) is the orthogonal group on Rm. It follows that the dimension is given by
\dim\left[Graffk(V)\right]=(n-k)(k+1).
Let be the usual linear coordinates on Rn. Then Rn is embedded into Rn+1 as the affine hyperplane xn+1 = 1. The k-dimensional affine subspaces of Rn are in one-to-one correspondence with the (k+1)-dimensional linear subspaces of Rn+1 that are in general position with respect to the plane xn+1 = 1. Indeed, a k-dimensional affine subspace of Rn is the locus of solutions of a rank n - k system of affine equations
\begin{align} a11x1+ … +a1nxn&=a1,n+1\\ &\vdots&\\ an-k,1x1+ … +an-k,nxn&=an-k,n+1. \end{align}
\begin{align} a11x1+ … +a1nxn&=a1,n+1xn+1\\ &\vdots&\\ an-k,1x1+ … +an-k,nxn&=an-k,n+1xn+1. \end{align}
whose solution is a (k + 1)-plane that, when intersected with xn+1 = 1, is the original k-plane.
Because of this identification, Graff(k,n) is a Zariski open set in Gr(k + 1, n + 1).