This post will be an exercise in algebraic (differential) geometry: I’ll calculate the tangent bundle of the Grassmannian of r-dimensional subspaces of a fixed vector space E defined over a field k. We’ll deduce from this that Grassmannians are Fano varieties.
The two methods will be similar, but working in the differential category requires less machinery, so we’ll assume k is the real numbers first. In this case, we’ll use the definition of tangent spaces at a point x as the tangent vectors of curves starting at x. We’ll need the tautological bundle R on X, which is the subbundle of E x X given by . The quotient bundle will be denoted Q. Recall that the Plücker embedding is a map sends a subspace W of E to its rth exterior power . Under this embedding, the line bundle on P restricts to since is the tautological subbundle of .
The image of X under the Plücker embedding are precisely all lines in P which have a generator of the form for . So pick a point of X. Complete to a basis of E. Given a map , we can define a curve by . Since , this determines a tangent vector . Two curves given by determine the same tangent vector if and only if the image of their difference lies in , so the tangent space naturally contains Hom(W’, E/W’) as a subspace. But this subspace has dimension r(n-r), which is the dimension of X, so in fact they are equal. Hence we conclude that the tangent bundle of X is Hom(R, Q).
How do we turn the above analytic argument into an algebraic one for an arbitrary field? Recall that the Zariski tangent space of a scheme X at a point p is defined to be where is the maximal ideal of the local ring , and is the residue field . In the case that X is a scheme over a field k, and p is a k-rational point (i.e., its residue field is k), tangent vectors at p are equivalent to maps whose image is p. For simplicity of notation, set . This definition seems harder to understand, but we’ll see that it’s the natural one to use in the case of the Grassmannian.
This is true because the functor of points Hom(–, X) of the Grassmannian has a nice description. To be specific, let F be the functor which sends a k-scheme Y to the set of all rank r locally free subsheaves whose quotient is also locally free. Then F is isomorphic to Hom(–, X). (Given a map , we get such a subsheaf L by pulling back the tautological sequence from X, and conversely, every choice of L induces a map from Y to X). All closed points of the Grassmannian are k-rational. Using this language, X = F(Spec k), and for a closed point p of X, the tangent space is the fiber of p under the map , which is obtained by applying to the quotient map .
A closed point of F(Spec k) is just a dimension r subspace of W of E whose quotient is free (this condition is automatic), and so the fiber under T is just all rank r locally free subsheaves of whose quotient is locally free, and whose pullback under the map is W. Locally free sheaves on Spec S are equivalent to finitely generated projective S-modules, and since S is local, all such modules are free. Hence we have reduced to the following situation: find all free S-submodules M of whose quotient is free, and such that upon specializing , M becomes W.
This is very similar to writing down tangent vectors for curves: let be any linear map. Identifying and as vector spaces, we can define . This is a free S-submodule of with a basis given by any basis of W, and if and only if the image of the difference lies in W. So again we’ve concluded that Hom(W, E/W) is a subspace of the Zariski tangent space of W, which again must be whole thing by dimension counting since the Grassmannian is nonsingular.
Conclusion: the tangent bundle of the Grassmannian is , and hence the cotangent bundle is . Taking the highest exterior power (determinant), the canonical bundle is . But using the short exact sequence , we see that det R and det Q are dual bundles. Recall from above also that det R is O(-1) under the Plücker embedding, so the canonical bundle simplifies to . In particular, the anticanonical bundle is , which is very ample, and hence Grassmannians are Fano varieties (by definition, this means that the anticanonical bundle is ample).