I noticed that recently people were clicking a lot of the links I had on my blogroll. Since many of the blogs were defunct, or I didn’t read them anymore I chopped a lot off. I also added a few that I found myself returning to frequently (including no longer active ones). So that has been updated for the first time in years.
The last little bit we’ll do that is related to moduli spaces and deformation theory is something called Mori’s bend and break argument. It says that if is a nonsingular projective variety of dimension over an algebraically closed field, , of positive characteristic and if there is an irreducible curve with , then contains a rational curve. In this context a rational curve is an integral curve whose normalization is . The condition on is sometimes stated as being not numerically effective (not nef).
Suppose is an integral curve such that . If the normalization has genus , then we are done. Let . Choose large enough so that . Define . Let be the -th power, -linear Frobenius map and denote the composition. We only changed the structure sheaf and not the topological space, so still has genus .
Fix some point . Let be the quasi-projective scheme that represents the functor of families of maps from to that keep the image of fixed (it's a subscheme of the usual Hom scheme). Standard deformation theory tells us that the tangent space is and the obstruction space is .
We didn't do this, but it is all part of the package that we've talked about. When the functor is representable we get the natural estimate that . This just comes from the fact that if every possible obstruction is realized, then each one will cut the dimension down, but often despite an obstruction space being non-zero the obstruction itself might vanish. This will only make the dimension bigger.
Now Riemann-Roch gives us that by our choice of . In particular, we can find a nonsingular curve and a morphism , thought of as a nonconstant family of maps all sending to the same point . You can argue here that cannot be complete, otherwise the family would have to be constant.
So let be a completion where is a nonsingular projective curve. Let be the rational map. Blow up a finite number of points to resolve the undefined points to get whose composition given by is an honest morphism. Let be the exceptional curve of the last blow up needed. Since it was actually needed, it can't be collapsed to a point, and hence is our desired curve.
This is one of those interesting things where it is easier in positive characteristic than characteristic because you have the Frobenius at your disposal. It allowed us to jack up the tangent space without affecting the obstruction space to produce our curve. Mori actually does relate this back to varieties in characteristic to prove Hartshorne's conjecture which says that a nonsingular, projective variety with ample tange bundle is isomorphic to .