At this point in the project, we begin to understand why so many books and papers are written in dry, terse, often difficult mathematical prose. Discursiveness which is beneficial is risky, time consuming and hard to pull off! As we continue to hurtle preliminary posts, maybe a bit of motivation is in order.

At the highest level, far-out, hardcore algebraic geometry is finding application in strange places these days. We will just cite the three instances which are close to the heart of mathlab: Hodge Theory in Combinatorics, Geometric Complexity Theory, and the Macdonald Positivity Conjecture where Hilbert schemes played a starring role. Understanding this last one is what we are heading for in these posts. Moving on…

So let’s just do this the way where you put a loaded definition out front and then try to tease it apart, following Nakajima‘s exposition, repeated in seminar.

DefinitionLet be a projective scheme over an algebraically closed field . The contravariantHilbert functoris the functor that associates to a scheme the set of closed subschemes such that the natural morphism from to is flat.

From the top, we are choosing an algebraically closed field so the “projective” here is with respect to , as described in the last post. We would like to take this opportunity to express our regret for not really describing or the fiber product in these posts even though we earlier gestured towards thoroughness. Hopefully the references serve.

Moving on, an arbitrary scheme is said to be *projective* (over ) if it is of the form for a finitely generated graded -algebra. A subset of a scheme is said to be a *closed subscheme* iff:

- The inclusion map is an
*affine morphism*, meaning that for each open affine subset , the inverse image for some ring . “The inverse image of affines is affine.” - Additionally, for each of these pairs, the map is surjective.

\underline{Note}: In case is not a subset of but we still have a map which satisfies the above properties, that map is said to be a *closed embedding* (or, less tastefully, a closed immersion) of schemes.

Back in the definition, the map from to is the composition of the inclusion and the projection map . Remember, this isn’t set-wise projection, our product is in the category of schemes, where we can also think of it as the fibered product over the terminal object, . It is guaranteed to exist as in section 9.1 of The Rising Sea.

Finally we come to flatness, which is sort of exciting because this is the first time I’ve come across it in the wild since studying for my algebra qual, but still sort of mysterious. Apparently Mumford agrees, even as he reassures us that it is “technically the answer to many prayers,” in The Red Book (III.10). Remember that an module is said to be *flat* if tensoring with preserves short exact sequences. More loosely, flat modules are pretty close to (i.e. are direct limits of) free modules.

That the map is flat means that for all , the induced map on the stalks makes into a flat -module. For motivation on why flatness is the “right” condition in these sorts of circumstances, see [EH] II.3.4.

An important theorem of Grothendieck says that with as above is representable by a scheme which is “locally of finite type” called a *gasp* HILBERT SCHEME! A version of the proof with additional discussion and background is here. It is also explained in section 9 there that we can weaken the requirements so that need only be quasi-projective. In fact, one of the most interesting cases for us will be where is ( in particular). Further on, we will refine this by introducing Hilbert polynomials. Yay!