Now that we have a notion of moduli space, we’re going to look at several concrete examples. I mentioned that the Grassmannian is a fine moduli space for -planes in . We’ll make use of this to construct several more. First up on the list: the Hilbert Scheme. This scheme, and it isn’t a variety because it isn’t reduced in general, parameterizes families of projective varieties subschemes of projective space.
We’re going to follow Kollár’s “Rational Curves on Algebraic Varieties” in this construction, because that’s where I learned how to put the Hilbert Scheme together. As such, we’re going to work in a completely relative setting, and forget that we only care about for the moment.
For any scheme , we define a scheme over to be a scheme along with a map . We generally just say that or is a scheme over . We get a category of schemes over by looking at morphisms that commute with the structure maps, and we can talk about functors representable on this category (that is, a functor from schemes over to Sets such that there is an -scheme such that is naturally isomorphic to it).
So now we define the Hilbert functor from -schemes to sets by the subschemes which are proper and flat over . This is the same as the set of quotient sheaves of the structure sheaf of which are flat and have proper support over , that is, the subscheme where stalk is nonzero is proper over .
We can actually extend the definition of the Hilbet Polynomial to this relative setting. Look at a projective morphism of -schemes, with connected. Let be a sheaf on which is flat over and let be an ample sheaf on such that is . Then it is a theorem that is locally free for large enough . So then there exists a polynomial such that for big enough . So then we define the Hilbert polynomial of a closed subscheme flat over to be the Hilbert polynomial of . When we take to be a point, to be a point, and to be a variety, we get the old Hilbert Polynomial. (This isn’t completely obvious, but I’m not proving it, because it’d sidetrack us.)
So now we define, for every polynomial which takes integer values at integers, to take to subschemes of which are proper and flat over and have Hilbert polynomial . Now, when is connected, we get . So we take these to be the functors for the moduli problem we care about: flat families of projective schemes and flat families with a given Hilbert Polynomial. The union on the right above is disjoint, because flat families have constant Hilbert Polynomial.
So the real great thing about these functors is the following: is representable and the scheme representing it is projective over (which means that it embeds in .)
Before getting into the details of the construction, we’ll just look at a couple of quick examples. For any scheme, if we take the polynomial to be constant with value 1, then we have the family of dimension zero and degree one subschemes, which means the points.. So . We’ll denote the Hilbert scheme in non-italics from here on out, as we did just now. So now let be a curve over . Then is the collection of degree subschemes of dimension zero. This is just the set of collections of points, counted with multiplicities. So our first thought might be that it should be , times. But this isn’t quite right, because that’s the set of ordered -tuples. So we quotient by to get the correct space. We call this , and it is equal to .
Before we can begin (and en route, we’ll state a few hard lemmas without proof) we need to generalize the construction of the Grassmannian. Before we constructed it for a vector space. We can think of this as the case of vector bundles over a point, however, and ask “is there a Grassmannian for general vector bundles?” Well, the answer is yes. Let be a scheme and a vector bundle, and then take a natural number. Then we define a functor which takes to the subvector bundles of rank of . This is represented by , a space that parameterizes the subbundles of of rank .
We start by working as though were a point and projective space . Let be a subscheme, and look at its ideal sheaf . Then there exists such that is generated by global sections (this is one of those lemmas we’re not proving, it’s in a book by Mumford, “Lectures on Curves on an Algebraic Surface”) so determines . The strong part of the lemma we are using says that can be chosen to depend only on the Hilbert Polynomial of . So we get an injection from the subschemes of with Hilbert polynomial to , where is . The image is even an algebraic subset of this Grassmannian. However, we don’t have the scheme structure from this. However, this is the general idea of the proof.
Now, we can reduce to having to work with . If is an -scheme, all we have to do is embed it in projective space over , and we get an injection of functors, because any family in must be a family in . Next up, we need a map . For any we can perform a base change and take a closed subscheme, flat over with fixed Hilbert Polynomial .
Let be a field and a morphism. Pulling things back to , we get . Let be the ideal sheaf of . Then we gave .
Now we fix big enough that is generated by global sections for all ideal sheaves with Hilbert polynomial . So now from we find, from flatness, that is exact. Now, this tells us that is locally free of rank . So we get a map , so we have a map into some Grassmannian.
We will call the Grassmannian here , for simplicity of notation. We’re almost through, now. Look at , the universal bundle on , which over each point has the subbundle corresponding to it. We have a map . Now let and . Then we can define a map , and take to be the cokernel of the whole composition. Then we look at the sheaf .
There is a largest subscheme with as a sheaf on is flat with Hilbert polynomial . By largest, we mean that any other such scheme will factor through it. This scheme turns out to represent the functor . As we’re only going to care about families over connected bases, we then take the disjoint union of these over integer polynomials in order to get the Hilbert scheme.
So now we have the Hilbert Scheme, and we got it by using the Grassmannian. We can now use it to construct some other moduli spaces. Here’s an important one: Let be schemes. Then , a functor taking to , that is, to families of morphisms parameterized by . Well, we can represent this now. Look at the Hilbert scheme of . Then look at the collection of subschemes which are the graphs of morphisms. Then this locus will precisely represent the functor. Now, I believe that this means that the category of schemes over is enriched over itself, though I’ve never seen anyone say that, so I’m not sure if it’s really allowed. John, could you answer that one?
In general, if you want to construct a fine moduli space, the first thing to try is to see if it can be written as a subscheme of the Hilbert Scheme.