Well, I meant to do lots more examples building up some more motivation for how powerful spectral sequences can be in some simple cases. But I’m just running out of steam on posting about them. Since we’ve done spectral sequences associated to a double complex, we may as well do the Grothendieck Spectral Sequence, then I might move on to another topic for a bit (I admit it is sort of sad to not prove the Kunneth formula using a SS).
I haven’t scoured the blogs to see whether these topics have been done yet, but I’m thinking about either basics on abelian varieties a la Mumford, or some curve theory, possibly building slowly to and culminating in Riemann-Roch.
In any case, we have the tools to do the Grothendieck Spectral Sequence (GSS) quite easily. Let be abelian categories with enough injectives. Let
be functors (and
the composition). Suppose that
and
are left exact and for every injective
we have
is acyclic. This just means that
for all positive
.
Then there exists a spectral sequence (the GSS) with with differential
.
The proof of this is just to resolve using the injectives that we know exist. This gives us a double complex. From a double complex, the way to get the
term is to take vertical then horizontal homology, or horizontal and then vertical. Both of these will converge to the same thing. One way completed collapses to the “0 row” due to the fact that the exact sequence remained exact after applying the functor except at the 0 spot. Thus it stabilizes at this term and writing it out, you see that it is exactly
. Taking homology in the other order gives us exactly
by definition of a derived functor. This completes the proof.
I probably should write the diagram out for clarity, but really they are quite a pain to make and import into wordpress. The entire outline of the proof is here, so if you’re curious about the details, just carefully fill in what everything is from the previous posts.
This is quite a neat spectral sequence. It is saying that just by knowing the derived functors of and
you can get to the derived functors of the composition of them. There are two important spectral sequence consequences of this one. They are the Leray SS and the Lyndon-Hochschild-Serre SS. The later computes group cohomolgy.
I promised early on to do the Leray SS for all the algebraic geometers out there. The Leray SS gives a way to compute sheaf cohomology. Let and
be the category of sheaves of abelian groups on X and Y. Let
the category of abelian groups. Let
be a continuous map, then we have the functor
and the two global section functors
and
.
Applying the GSS to these functors, we get that .
There are a few things to verify to make sure that the GSS applies, and we need the fact that . It would also be nice to have an example to see that this is useful. So maybe I’ll do those two things next time.
1 thought on “The Grothendieck Spectral Sequence”