Ok, I just came across this proof, and it’s so cool I have to blog about it. This is not related to my ongoing series, nor is this anything to do with the conference I’m at (I won’t be blogging about this conference…though probably will for next year’s conferences).
Previously, I’d seen two proofs of the fact that a cubic surface has twenty-seven lines on it. The first and more elementary one involved using resultants to write down a polynomial that has a root for every line on a surface, and showed that it had degree 27 and no multiple roots. The second involved the hard route of showing that a cubic surface is the projective plane blown up at six points not lying on a conic, and then showing that the six conics, six exceptional divisors, and fifteen lines between pairs of blownup points all give lines, and nothing else does.
This proof is better than those, though it requires a little bit of background, but not so much that I can’t turn it into a seminar talk at some point in the future…
Take a cubic surface . That’s a degree three equation . Now, a line lies on the surface if and only if vanishes along the line. We need a way to count these lines. Now, as a cubic surface, it sits in . There’s a nice space parameterizing all of the lines in , we call it the Grassmannian . Strictly, it consists of all two dimensional subspaces of . So the problem is to identify how many points of lie on .
Now, we investigate this Grassmannian a bit more closely. It naturally has a rank 2 vector bundle on it which assigns to each point the two dimensional subspace of that represents it. Now, it turns out that what we want to get at is its Chern classes. Or not exactly its Chern classes, but its third symmetric power. The reason for this is that the third symmetric power consists of degree three polynomials in two variables. Now, is a section of this vector bundle, and the section will vanish exactly at the points which represent lines where restricts to zero, that is, lines in .
Now, the top Chern class, when integrated, gives how many points this is. So all we need to do is compute the top Chern class of on the Grassmannian, and then integrate it. To do this, we first need to work out the total Chern character of .
To compute the second Chern class of , we need a section. Taking a linear polynomial works, so over each point, we give it the value of the linear polynomial restricted to the line. When is this zero on ? Precisely on the lines where the linear form vanished, that is, the ones in the hyperplane. We’ll denote this set by . The first Chern class is harder to work out, but it turns out to be as defined below.
So now we need one more thing: the multiplicative structure on the cohomology of . This is an example of Schubert Calculus, which can be used to solve many problems. It’s a well known fact (meaning that I don’t want to explain it right now) that has cohomology of rank 1 in degrees 0,2,6 and 8, rank 2 in degree 4, and zero otherwise, and is generated by Schubert Classes, which we will now give explicit descriptions of. The rank of a Schubert class is going to just be . Now, the degree zero generator is , which is the cohomology class of the whole Grassmannian. All the others will in fact be classes of subvarieties called Schubert varieties.
To define the degree 2 generator, we fix a line . Then , so it’s the collection of lines intersecting a given line. For cohomology purposes, which line we chose doesn’t matter. The same with points and planes later, so we’ll just call this . For the degree 4 generators, is the locus of lines passing through a specified point, whereas are the lines contained in a given plane. For degree 6, we have which are the lines in a plane containing a given point, and in degree 8 we have , which is the class of a point. This may seem a bit arbitrary, but it can be explained quite handily with flags and partitions of integers, and I WILL discuss this when I get around to doing Schubert calculus thoroughly.
So now the point remaining is to work out multiplication, which will just be intersection with different points, lines and planes chosen to define the classes being multiplied. There’s a combinatorial way to do this, but for this example we don’t need to go into the full multiplication rule, but for now I will mention the Pieri rule: if we have , then the product is just the sum of the classes with , , and . And finally, we note that the integral of is just one.
Now all that’s left is the splitting principle. It lets us pretend that is a product of line bundles, and so we write for the Chern character. Then and . And as we’re working on we pretend it’s , and so we get .
The top Chern class of this will then be the product of the top Chern classes of the factors in the tensor product, and so we get . On first multiplication and doing all the replacement possible, we get . This multiplies to , which is . And so it reduces to . Working with the Pieri rule and just doing intersection for (which is just that there is a unique line contained in the intersection of two planes) we get , which integrates to 27. So there are then 27 lines on a cubic surface.
Of course, the blowup method gives their configuration and a few other nice things, but still, I like this method, because coming up with the number 27 is an almost trivial calculation once you’ve set things up, whereas with blowing up it’s nontrivial to prove that there are ONLY 27, and with the resultant, it’s not so easy to prove that there actually are twenty-seven distinct lines.