The paper of Kempf

I am now going to discuss Kempf’s proof of the theorem of Serre. Note that this is lifted verbatim of some notes I have been taking, so apologies if the style seems out of place as a result.  I use the (highly nonstandard) notation for global sections of a sheaf for entirely logistical (and typo-errorgraphical) reasons.  Since this is really better suited to a PDF, I’ll also post that.

(Note: You really should read the PDF, since some diagrams are missing from this post.)

Theorem 1 (Serre) Let be an affine scheme, a quasi-coherent sheaf. Then for .

We shall prove this result following Kempf. The idea is that has a very nice basis: namely, the family of all sets . These are themselves affine, and moreover the intersection of any two elements in this basis is still in this basis. For .

0.1. A lemma of Kempf

 

Cohomology of affine schemes

There is a theorem of Serre that the higher cohomology groups of quasi-coherent sheaves on an affine scheme all vanish.  This is proved in Hartshorne for noetherian rings by showing that the sheaves associated to injective modules are flasque, so can be used to compute cohomology; this proof makes the annoying noetherian hypothesis though. There is a paper of Kempf where he explains how to avoid this, and in fact use pretty much nothing more about sheaf cohomology than its trivalty on flasque sheaves. I’ve been reading it as of late, and I recommend it. Perhaps it will become a blog post shortly.

Here is the link to the paper (sadly, not available openly–it’s in the 1980 Rocky Mountain Journal of Math). I’ll maybe talk about this tomorrow.