Last time we did a quick run through of how to put together the Hilbert Scheme. A few questions came up in the comments, the first being: how can we guarantee the existence of the we used, which works uniformly for ideals with a given Hilbert Polynomial? The other is in proving that the defined exists, and it’s called the flattening stratification. Also, to answer Todd, we do need to be flat over for the schemes to all work out, I missed that. So now, we’ll go about proving the lemmas needed for the construction.
We’re going to follow Mumford, as Kollár recommends. We’ll start with the existence of , and see how far we get. First we define a coherent sheaf on to be -regular if for all . This definition might seem funny at first glance, but it’s just what we need for a vanishing theorem of Castelnuovo’s.
First, though, an aside of vanishing theorems. Now, we call something a vanishing theorem whenever we get a result indicating that all the nonzero cohomology of a sheaf is zero under some circumstances. One reason we like these is that there are a lot of nice theorems that compute the Euler characteristic, which is , and if everything higher vanishes, this reduces to just , which we denote by . Now, way back on the first Hilbert Polynomial post, John was asking about why the Hilbert polynomial was evaluated at zero, when it only depended on data far away from zero. The cause is a vanishing theorem. The classical Hilbert function is just . However, the Hilbert Polynomial happens to be equal to . They’re equal once all the higher cohomology dies, but not until then. So then the Hilbert polynomial at zero is just , whose significance is a bit clearer.
Anyway, back to -regularity. The Castelnuovo theorem is as follows:
Theorem: Let be an -regular coherent sheaf on . Then
- We have spanned by for .
- for and .
This in fact tells us that if , then is generated by its global sections.
Proof: We will proceed by induction. If , then is a point. Then things go kind of easily, because coherent sheaves over a point are finite dimensional vectors spaces over a field.
Next the induction. Given take a generic hyperplane , then we tensor the exact sequence with . For any point in projective space, multiplication by the local equation for is injective, because for a generic hyperplane, the local equation will be a unit at all the associated primes of . What that means is that it will be a unit in the local ring at the points represented by those primes. Note that an associated prime to a module is just a prime ideal which is the set of elements multiplying some specified element of the module to zero.
So the injectivity of this multiplication map gives us the short exact sequence , and we’ll denote the last term by . This gives us a long exact sequence on cohomology, a piece of which is . Now, as is -regular, the sheaf on will be too, and since , we use induction to claim the result for .
So we now look at the part of the exact sequence, and by the second part of the theorem for , the last group is zero, and by -regularity for , the first is. By exactness, the middle group is zero, adn so is -regular. Continuing in this way, we get part 2 for . So now on to part 1.
We need to look at the commutative diagram
(I apologize for the diagram, it was the best I could do…don’t really know yet a better way to do commutative diagrams for wordpress)
Now, is surjective if , because (because then the first term in the tensor product map has vanishing cokernel, so it’s surjective, and the second part is by definition.) Even better, is surjective when , by part 1 for . Thus, the image in of the image of is all of , by the diagrams commutativity. So then is spammed by the image of and by .
Now we take to be the global equation for . Then the image is . So this is in the image of already! Thus, is surjective and we have part 1 for , and the theorem is proved. QED
Now, why does this say generated by global sections? Well, there’s a theorem of Serre’s which characterizes ample line bundles and tells us that will be generated by global sections for large enough , so we just need to show that works.
So then with part 1, we have that generates . But for each point of projective space, we can choose an isomorphism at that point of and , because both are line bundles. This gives isomorphisms at each point (note, they don’t glue together to a real isomorphism!) of and , and with . Then can be treated as just the vecotr space of elements of the local ring , and being generated by global sections reduces to generates the stalk .
So anyway, we’ve said some stuff about -regular sheaves, but what about coherent sheaves of ideals? Well, here’s another theorem:
Theorem: For all , there is a polynomial such that for all coherent sheaves of ideals on , if are defined by (that is, they’re pulled out of the Hilbert polynomial of the sheaf) then is -regular.
So, the depend only on the Hilbert Polynomial, and the depends only on which projective space we’re working in. This combines with the first theorem to tell us that
Theorem: For every polynomial , there is an integer with the following property: if
is a projective space over a field and is a subsheaf with Hilbert polynomial , then for all , we have
- for all
- is generated by global sections.
- is surjective.
The proof of the second theorem is more technical than that of the first, but the statement tells us that what’s really necessary here is a nice form of -regularity. This post has gone on a bit, so we’ll stop here, and pick up tomorrow with discussing flattening stratifications, and then we’ll complete the proof of the existence of the Hilbert scheme.