Especially after yesterday, today’s going to feel very algebraic. That’s because we’re gearing up and pulling out the tools we’ll need to discuss one of the major success stories of algebraic geometry – moduli space theory. The part that matters is the notion of a family of objects. Yes, objects, we’re not only going to care about varieties, but also families of schemes, families of sheaves, families of divisors, and, eventually, we may even mention families of functors.
Now, we want the families to be continuous in some sense. The sense we want isn’t, however, actual continuity. For one thing, in the Zariski topology, continuity is a funny thing. For another, even though we’re working primarily over , we still want to be algebraic about this, because it’s hard to tell what it means for a family of sheaves to be continuous. The notion we need is flatness.
To define it, we first jump all the way to some category theory. I apologize for mentioning functors in the Blowups post, and now I will define them. If are two categories, a functor is a map taking objects to objects and morphisms to morphisms such that , .
So now, we call a functor faithful if the maps are all injective. And now I use a sleight of hand and ignore the phrase “abelian category” and specialize to categories of modules. That is, for any ring, we define to be the category of modules over that ring. For categories of modules, a functor is faithful if and only if the only map taken to the zero map is the zero map itself.
Now, we say that a functor on module categories is exact if it takes short exact sequences to short exact sequences. We’re now ready to give a very unhelpful for conception but great for theory definition of what it means for a module to be flat. We let be an -module. Then we can define a functor by , that is, on objects, it tensors with and on morphisms it tensors with the identity morphism of . If this functor is exact, then we say that is flat. If it is faithful and exact, then is faithfully flat.
Now, a couple of quick consequences. The faithfulness requirement, once we assume flat, is just saying that if and only if in the first place. So next, let be a ring homomorphism and and . Then we have that are flat (or faithfully flat) implies that is too (compositions of exact and faithful functors are exact and faithful), if is flat over then is flat over , and if is flat over and is flat over , then is flat over .
So there’s a pile of algebra. Time to use this to define a class of morphism. Let be a morphism of locally ringed spaces, and let be an -module. We say that is flat over at if is flat as an -module. It’s flat over if it is flat at each preimage of , and it is flat over if it is flat over every . We say that it is faithfully flat over if is flat over and for every , where is the structure sheaf of the point pushed forward along its inclusion. Equivalently, this tensor product is just as a sheaf on tensored with the residue field at . Finally, we call a morphism of schemes flat if is flat over over and is surjective. (and faithfully flat if it is faithfully flat)
Now, a few quick statements about flat maps:
- Open immersions are flat (an open immersion is an inclusion of an open subscheme)
- Composition of flat maps are flat
- Products of flat morphisms are flat
Now, we take a moment and look at fiber products. These can be used to do one really nice thing: define the fibers of a map. This should be unsurprising considering the name. Let be a morphism and let be the inclusion of a point. Then the fiber over will just be via these maps. As we care about the geometric situation, we’re only going to look at the “nice” points, ie, those with structure sheaf , and so the are all the same. This emphasizes that this is a fibered product of the morphisms, and that the morphisms matter greatly.
Now, I’m not going to prove the following more geometric statements, but here are a few nice things about flat morphisms:
- If is a flat morphism of varieties, then . (note, we are requiring varieties to be irreducible, so the dimension doesn’t depend on the point we choose to look at)
- Let be a curve, and let be a subscheme of for some point . We have the natural map . Assume this is flat. Then there exists a unique subscheme which is flat over and restricts to . That is, if we have a flat family of projective schemes over a punctured curve, we can take the limit and there’s a uniquely determined scheme over the missing point that completes the family.
- Let be an integral noetherian scheme, say, a variety. Let be a closed subscheme, and for each fiber, we define the Hilbert Polynomial in the usual way and denote it by . is flat over if and only if the Hilbert polynomial is independent of .
That last one is HUGE. It’s really where this stuff starts to come together. It tells us immediately that there are no flat families over an irreducible base such that one fiber is a smooth plane conic and another is a smooth plane cubic: degree has to be constant. As does arithmetic genus.
As an example, the space of plane conics. Now, a degree two homogeneous polynomial in three variables looks like . The coefficients naturally belong to a projective space . So then we have a family , where is defined to be the vanishing of the polynomial as written, with coordinates on the and the the coordinates on . So we get a family . So is this family flat? Well, all we need to check is that the Hilbert polynomial is constant. As every fiber is a curve, we can write it as for some . Now, they’re all conics, though they may be degenerate, so we get that the degree is 2. Way back, we saw that the Hilbert polynomial of a plane curve (no hypothesis on smoothness!) depends only on the degree. As it happens, this also holds for nonreduced subschemes of the plane, for instance, . So the Hilbert Polynomial doesn’t depend on , so the family is flat. We can repeat this exercise for plane curves of ANY degree, and get the same answer.
We’re going to continue in this direction for awhile, and we’ll forget the distinction between a morphism and a family, so we will speak of flat families and flat morphisms interchangeably.