So, as of the last post in the series, we defined Schubert cells. We’re going to use them to discuss the Cohomology of the Grassmannian, and to write down an explicit basis. With an eye looking forward, next time, we’ll work out the cup product in this cohomology ring, and then finally we’ll use it to solve some problems. So today, we’ll discuss Cellular Homology, Poincaré Duality, and the cohomology of the Grassmannian.
The first thing we need is that the Grassmannian is the union of the Schubert cells, and that any two of them are disjoint. Let be two Young diagrams fitting into an box. Then, for each, there is a unique form of a reduced row echelon matrix , as described last time. (That is, all entries are arbitrary, except has a 1 in the place and zeros in that column and to the right.)
Now, assume that . Then is the row span of a matrix of the form and one of the form , and the matrix in each is uniquely determined, as the matrices are in row eschelon form. Look at the first such that , and, without loss of generality, assume that . Then the condition from says that for all , we have the entry is zero. One such entry is , and so this entry must be both 1 and 0. This is a contradiction, so , and so the Schubert cells are disjoint. It is straightforward that they cover .
Now, as the notation suggests, , though we’re not going to bother proving it. Instead, we’re going to move on to the algebraic topology we need.
We’ll need to talk about CW complexes for a bit first. An -cell is a topological space homeomorphic to the closed -disc. A CW complex is any space that can be built up in the following way:
Start with a discrete set, called , the 0-skeleton. Then inductively define the -skeleton from by attaching -cells by gluing it to along the boundary -sphere. There’s a third condition, but it’s irrelevant to us, because we only care about complexes with finitely many cells.
Now, to work, we’ll need to use homology rather than cohomology. The big lemma about CW complexes is as follows:
Lemma If is a CW complex, then
- is zero for and is free abelian for , with a basis in one-to-one correspondence with the -cells of .
- for .
- The inclusion induces an isomorphism if .
This, along with the relative homology exact sequence, when
Next, we can use the long exact sequences (as above) of the pairs to construct maps and by taking where is the map in the long exact sequence of .
This gives us a chain complex called the cellular chain complex, and its homology groups are the cellular homology of , denoted . The big theorem is that this is isomorphic to the usual singular homology , and this gives the following results about CW complexes:
- if has no -cells.
- If has -cells, tehn is generated by at most elements.
- If is a CW complex with no two cells in adjacent dimension, then is free abelian with basis in correspondence to the -cells.
That last one is the most important for us. Using Schubert cells, we have the Grassmannian as a CW complex with no cells in odd dimension, so 3 holds. That means that is the free ablian group of the Schubert cells of dimension .
The final ingredient is Poincaré duality. A Grassmannian is a compact manifold (it’s a smooth projective variety over ) and the complex structure gives it a natural orientation, so it must be orientable. Thus, it satisfies Poincaré duality. This says that there’s an isomorphism . This tells us that consists of Schubert cells of codimension .
So, finally, we have that the cohomology ring of a Grassmannian has basis the classes of Schubert varieties (because when we use Poincaré duality, we want to replace the represenatives of the classes with their closures).
There are two more facts that we want to mention today:
First is that the cohomology classes don’t depend on the choice of flag, so for any two flags, we get different , but they represent the same cohomology class. This is because the group acts transitively on the space of complete flags in .
The last thing to mention now is that the basis is self dual. That is, for each , there exists such that . This relationship will hold if and only if for all . More geometrically, this says that two Schubert varieties intersect in a unique point if and only if their Young diagrams fit together to form the rectangle. That is, if the Young diagrams are , then if we rotate by 180 degrees and put the two diagrams together, they form the whole rectangle that diagrams are allowed to fit into.
That’ll be it for today. Next time: the Pieri and Giambelli formulas that will allow us to compute arbitrary intersections. (For those following who know more, I will NOT be discussing the Littlewood-Richardson rule, partly because I don’t need to prove that things are positive anywhere, and the LR rule is complicated and combinatorial.)