Having established that to each scheme we can associate its functor of points , we continue our introduction by mentioning some eminent examples.
First the projective space . This is sort of the basic example of a moduli space, which is also what were after with Hilbert Schemes. While (over your ring of choice) has a few different constructions, it’s points correspond to other geometric objects: lines in the affine space . This is the essence of moduli, and their value for “counting” objects of a given type.
Theorem Morphisms are in bijection with the data (up to isomorphism) of where is a line bundle (invertible sheaf) on and the are global sections which do not vanish simultaneously.
By “up to isomorphism” here we mean that the value of the section at a given point on is depends on the trivialization used, but it will differ according to multiplication by a scalar which multiplies all simultaneously. Thus, the ensemble of all sections together effectively gives a point in (or a fiber of the tautological bundle, if you prefer), provided they are not all zero. Ranging over all of we get a morphism of schemes.
You might wonder which projective space we are working with here, i.e. over which field/ring. As will usually be the case, it doesn’t much matter because maps behave nicely under base change, but if we want to be as general as possible we should probably use . This is because is the initial object in the category , which makes it the final object in the category of affine schemes. Initialness comes from the fact that there is a unique morphism from to any other commutative ring with identity which just takes 1 to itself.
Then, is also final in because we have this ring morphism (which is an morphism in reverse) into all of the open affine covering neighborhoods of a given scheme, and these glue up nicely. So, whether we construct from a graded ring as or as the gluing of a bunch of , we again have a canonical scheme morphism . This together with lets us construct the fiber product ; see [EH] III.2.5 for a more thorough treatment of all of this. I’m still essentially just recording the things I had to remind myself of in jumping into this so it’s maybe more garbled than pedagogical.
[EH] here also gives the description of as subsheafs of which are locally of rank , which we think of as the kernels of the surjection from the direct sum sheaf , surjection being guaranteed by the non-vanishing of at least one of the sections above (at every point). This leads naturally into our other key example, the Grassmannian.
According to the Yoneda philosophy (which is often attributed to Grothendieck as well) we should actually think of the Grassmannian (and the special case of projective space) not just as the “space of -planes in -space,” but as a moduli space for certain bundles (locally free sheaves in AG-speak) and their sections. Really, it is a functor which can be applied to other schemes, and returns the collection of morphism which define the scheme that represents the functor. : S
The change with the Grassmann functor is that now we look at surjections from where is locally free of rank . At neighborhoods in a locally trivializing cover, we identify with and we can treat as a matrix. The Grassmannian will be covered by open sets which are the nonvanishings of the determinant of the maximal minors. This leaves the other entries of the matrix free, so they can vary and together determine a map in the way the sections gave a map to before. Thus, we can cover by a bunch of affine spaces which glue together. In the parlance, these are open subfunctors represented by the schemes .
It’s worth noting that the full Grassman functor is represented by a bona fide scheme of the form where denotes a subset of of size , which indexes the variables, an is a particular homogeneous ideal given by the Plücker equations. So we have a more traditional geometric object to think of as well. We may come back to this in more detail later if we need to. For now it suffices to say that applying the exterior power functor to gives a surjection from a locally free sheaf of rank onto a line bundle. So by the prior discussion, we have a map from the Grassmannian into which is the Plücker embedding.
Phew, okay I think in the next post we might actually define a Hilbert Scheme.