I realized I left off in really strange place last time. Sorry about that. There should be a burning question in everyone’s mind. To recap, we’ve seen that sometimes coarse moduli spaces don’t exist. When they do, sometimes there is no universal family. When there is, sometimes it is not a fine moduli space. Despite all these examples I’ve shown, I forgot to show you an example where a fine moduli space exists! So the question should be: is fine too strong a condition to ever exist?
Of course not. We can sort of cheat to make an example by working backwards. Our moduli functor is fine if it is naturally isomorphic to for some scheme . Thus take any scheme and make the moduli functor . This is the moduli space of points on , so it is not surprising that represents this functor. Still, this is a good example to understand as sort of the easiest of all possible moduli problems.
Lots of other schemes are defined to be the scheme whose functor of points is some moduli problem. The Hom scheme, the Quot scheme, the Hilbert scheme, and the Picard scheme are all examples of schemes (when they are schemes) that are fine moduli spaces for less trivial moduli problems.
Let’s look at some standard properties of moduli spaces. The moduli functor is called bounded if there is some finite type scheme and a family such that for any object there is some fiber such that . This is just saying that the objects you are trying to make into a moduli space fit into some finite type scheme.
The moduli functor is called separated if for any nonsingular curve and a fixed if with all fibers isomorphic for all then . This is essentially the functor of points translation of the valuative criterion for separatedness, so the term makes sense. Intuitively this is just saying that if you have a family of objects over a punctured curve, there is at most one way to fill in an object over that point to make a family over the whole curve.
The moduli functor is called complete if you can always fill in a family over a punctured curve. If there is a fine moduli space associated to , then these properties translate exactly to the corresponding properties for the scheme . Namely, if is of finite type, then is bounded. Also, is separated if and only if is separated, and is proper if and only if is complete. The proofs are that these are exactly the respective valuative criteria.
Fix a positive integer and a Hilbert polynomial . Let’s do a different type of example for today. The Hilbert functor assigns to the set of subschemes flat over whose fibers all have Hilbert polynomial . We won’t prove that there is a fine moduli space for this problem, since this is a fairly long proof due to Grothendieck.
One way to prove that the functor is bounded is to convert the moduli problem to one that involves the ideal sheaves of the closed subsets. Once this is done, bounded becomes equivalent to finding a single such that all coherent sheaves in the problem are -regular. This can be found using Castelnuovo-Mumford regularity. Thus the Hilbert scheme is of finite type.
The other two conditions we talked about hold for more trivial reasons. A family over a punctured curve is a closed subscheme of , flat over . Thus we can always fill in the punctured point by taking the scheme theoretic closure of in where is the filled in curve. This is the unique way of doing it. This shows that is proper. Actually, it is projective, but this takes more work.