In the previous post, we introduced the Fano scheme of a subscheme of projective space, as the Hilbert scheme of planes of a certain dimension on that subscheme. In this post, I’d like to work out an explicit example, of the 27 lines on a smooth cubic surface in ; as we’ll see, the Fano scheme is 27 reduced points, and the count can be made with a little calculation on the Grassmannian. Although the calculation is elementary, I found it worthwhile to work carefully through it, not only for its intrinsic interest but also as motivation for the study of intersection theory on moduli spaces in general. Once again, most of this material is from Eisenbud-Harris’s draft book 3264 and All That.
1. The normal bundle as self-intersection
Suppose is a smooth surface, imbedded in some projective space, and consider the scheme of lines in .
Fix a line in . In this case, the normal sheaf is actually a vector bundle of normal vector fields, given by the adjunction formula
In particular, is a line bundle on and has a well-defined degree. This degree is in fact the self-intersection of , considered as a divisor on the smooth surface .
To see this, let’s recall the definition of the intersection multiplicity on a smooth surface: to find , one needs to compute the Euler characteristic
where the tensor product is taken in the derived sense. In other words, the “derived tensor product” accounts for the fact that transversality fails. To compute this, we can use the resolution on ,
and tensor with to get that the derived tensor product is represented by the two-term complex
It follows that the Euler characteristic is given by
by Riemann-Roch. (This is not specific to lines in .)
Geometrically, the degree of the normal bundle on is a measure of its “positivity:” a greater degree indicates more sections, which in turn indicates that can be (at least infinitesimally) deformed to a greater degree. This in turn should correspond to the positivity of the intersection multiplicity: the statement implies that cannot be deformed into general position.
2. Adjunction again
In general, we have one more piece of information about the self-intersection if we know the surface . Namely, we have the adjunction formula
and, taking degrees, this implies that
where is the divisor of the canonical line bundle on .
Suppose that is a surface of degree , so that we can use adjunction again to conclude that for the hyperplane class. In this case, since , we get
so that . As , this suggests that the surface is less and less likely to contain lines, or at least that they will be extremely “rigid.”
Another interpretation of this is that, once , the Hilbert scheme of curves on is smooth at , and is a (reduced) point near : that is, more generally, the Fano scheme consists of reduced points. In fact, the negativity of the normal bundle () implies that there are no first-order deformations of , so that the tangent space of vanishes at .
In fact, a very general surface of degree in contains only divisors of degrees dividing : the Picard group is generated by the hyperplane class , by a theorem of Noether and Lefschetz. (In higher dimensions, Grothendieck’s version of the Lefschetz hyperplane theorem implies that the Picard group of a smooth hypersurface is always generated by , but in dimension , one needs and “very general.”)
Let be a smooth cubic surface, so that is the zero locus in of a section . Our goal in this section is to analyze the scheme of lines on . In the previous section, we saw that is always reduced and finite: in fact, by the analysis there, any line has self-intersection .
In the previous post, we saw another computationally useful expression for as a subscheme of the Grassmannian of lines in : is the zero locus in of a certain section of a certain four-dimensional vector bundle on . The vector bundle in question assigned to each line the global sections
that is, it assigned to the restriction of all the cubic polynomials in to . (As we saw, this vector bundle was well-defined and could be defined as a direct image.) Since is a global section of , it naturally defines a section of .
The zero-locus, both set-theoretically and scheme-theoretically, of defines precisely the scheme of lines in . Now, the statement that is reduced amounts precisely to saying that the section of is transverse to the zero section: in other words, the number of points in the zero locus is precisely the top Chern class (Euler class) of , integrated over . So, to count the number of lines on , we need to compute ! In particular, the answer we’ll get is independent of the smooth surface , and it’ll require a calculation on the Grassmannian.
4. The Grassmannian
The Grassmannian is a four-dimensional smooth variety (it is a quadric hypersurface in ), and its cohomology or Chow ring has concrete generators given by the Schubert cycles. Fix a point , a line , and a 2-plane which are “general.”
Then one has a natural hypersurface in the Grassmannian given by
consisting of lines meeting . (In fact, it is the intersection of the Grassmannian with a hyperplane under the Plücker embedding .) There are natural codimension two loci
and a codimension three subvariety
It is a basic fact that the Chow ring (or cohomology ring) of the Grassmannian is the free module on these four classes, together with the fundamental class and . In other words
where is the fundamental class (i.e., the class of a point). Moreover, one can compute the ring structure by intersecting cycles in general position: for instance, clearly
because, for instance, the first intersection consists of lines passing through two general points . The third intersection is zero if .
Here is an informal argument for this. To compute , we take lines in general position and compute the intersection of cycles , which consists of lines that meet two general lines . However, instead of taking in “truly” general position, we take them simply distinct and meeting at a point ; then the intersection of cycles consists of lines that either pass through the intersection or through the plane that span.
More precisely, to show that , one can use Poincaré duality: it suffices to compute the intersection of both sides with and . Now
both consist of single points by choosing two general lines and a general point or plane. For instance, is represented by lines that pass through a point and through two general lines : that means the line has to be in the intersection of the planes spanned by and .
Example 1 This calculation implies that
or that there are two lines in passing through four general lines.
Let’s now see how the Chern classes of the two-dimensional tautological bundle on given by look in this basis. By definition, a section of gives a section of whose zero locus is precisely the lines contained in a hyperplane: so
Given two linearly independent elements of , defining two hyperplanes in , the degeneracy locus of the two induced sections of consist of lines on which the restrictions of the two hyperplanes intersect: that is, lines which meet the intersection of the two hyperplanes. So
Using this, we can compute (which is the vector bundle ) using the splitting principle. Namely, if we write formally for the “Chern roots” of the set , then the Chern roots of the symmetric cube are , so the Euler class is
by expressing in terms of the elementary symmetric polynomials. In our case, this means that
by the previous formulas, and we get the twenty-seven lines on a cubic surface, as desired.