Given a vector space of dimension and an integer , is the smooth manifold of -planes of . It is a generalization of the projective space.
The dimension is
The key geometric idea is: deforming an -plane means specifying how each of its directions tilts into the complementary -dimensional directions.