We shall now approach the proof of the Cartan vanishing theorem. First, however, it will be necessary to describe a spectral sequence between Cech cohomology and derived functor cohomology. For now, the reason is that there isn’t any obvious way for us to compute derived functor cohomology, because injective sheaves are big and scary, while Cech cohomology is nice and concrete. And indeed, all we’ve done so far is compute various Cech cohomologies.

I should mention that I don’t know a standard reference for the material in this post. I didn’t find Godement’s treatment in *Theorie des faisceaux *to be terribly enlightening, but after a fair bit of googling I found a sketch in James Milne’s online notes on étale cohomology. Fortunately, enough details are given to enable one to work it out more fully for oneself.

Let be a topological space covered by an open cover , and consider the category of presheaves of abelian groups on . Let be the subcategory of sheaves. The spectral sequence will be the *Grothendieck spectral sequence* of the composite of functors