Ok, today we start our march towards Schubert Calculus. Before we start, we’ll review the Grassmannian variety itself, because it’s central to the story. A lot of this will consist of setting up notation, and there will be two different notations for the “same” Grassmannians, so the notation will describe how we’re going to think of the object. For this series, we’ll assume that everything is done over , because we’re going to use a bit of algebraic topology along the way.
Let be a vector space of dimension . We define for the set to be the set of subspaces of with codimension and by the set of subspaces of dimension . We’re mostly going to use the first, though the second is more intuitive. A second way to think of is as the set of -dimensional quotients of . Some examples:
, the space of all linear functionals on .
, the space of all lines in .
This is important: projective space is a special case of a Grassmannian.
Now, the Grassmannian is a projective variety. This is due to the Plucker Embedding, described in this old post. Now, it’s worth noting that the details on the Plucker embedding tell us that a Grassmannian is always nonsingular, and is always the intersection of quadrics. In particular, for , the first Grassmannian to not be a projective space, it will be a quadric hypersurface in .
The example above will be dimension four. Let’s see what the dimension of a Grassmannian will be in general: let be a subspace of codimension , that is, a point in and let have dimension . Then it corresponds to , and we get a dense open subset of the Grassmannian where is nonvanishing. However, this will just be the set of -dimensional subspaces that are complementary to , and we can view this as the graph of a map , and so the open set is isomorphic to , which is an affine space of dimension , which then must be the dimension of the Grassmannian.
Now, a bit of fun. Way back, I talked about the Veronese map. It broke down to looking at the th graded piece of the coordinate ring for . Well, we can generalize this to Grassmannians!
Let , the homogeneous coordinate ring of , and let the th graded piece be denoted by . Now, let . It has ideal and is a point of . (From here on out, when the vector space is , we’ll just write for convenience.)
Now, look at the degree part. That is, we have . Now, is a codimension subspace of dimensional space, so it gives us a point of .
Now, I’m not sure how USEFUL this -uple embedding of Grassmannians is in cases other than projective space, but it’s nice how it generalized. Next time, we’ll put together some nice subvarieties of the Grassmannian, called Schubert Varieties, which will be essential to our study of Schubert Calculus.