Grothendieck spectral sequence
In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced in Tôhoku paper, is a spectral sequence that computes the derived functors of the composition of two functors , from knowledge of the derived functors of F and G.
If and are two additive and left exact functors between abelian categories such that takes F-acyclic objects (e.g., injective objects) to -acyclic objects and if has enough injectives, then there is a spectral sequence for each object of that admits an F-acyclic resolution:
Many spectral sequences in algebraic geometry are instances of the Grothendieck spectral sequence, for example the Leray spectral sequence.
The exact sequence of low degrees reads
- 0 → R1G(FA) → R1(GF)(A) → G(R1F(A)) → R2G(FA) → R2(GF)(A).
The Leray spectral sequence
If and are topological spaces, let
- and be the category of sheaves of abelian groups on X and Y, respectively and
- be the category of abelian groups.
For a continuous map
there is the (left-exact) direct image functor
We also have the global section functors
and the functors and satisfy the hypotheses (since the direct image functor has an exact left adjoint , pushforwards of injectives are injective and in particular acyclic for the global section functor), the sequence in this case becomes:
Local-to-global Ext spectral sequence
This is an instance of the Grothendieck spectral sequence: indeed,
- , and .
Moreover, sends injective O-modules to flaque sheaves, which are -acyclic. Hence, the hypothesis is satisfied.
We shall use the following lemma:
Proof: Let be the kernel and the image of . We have
which splits and implies is injective and the first part of the lemma. Next we look at
It splits. Thus,
Similarly we have (using the early splitting):
The second part now follows.
We now construct a spectral sequence. Let be an F-acyclic resolution of A. Writing for , we have:
Take injective resolutions and of the first and the third nonzero terms. By the horseshoe lemma, their direct sum is an injective resolution of . Hence, we found an injective resolution of the complex:
such that each row satisfies the hypothesis of the lemma (cf. the Cartan–Eilenberg resolution.)
Now, the double complex gives rise to two spectral sequences, horizontal and vertical, which we are now going to examine. On the one hand, by definition,
which is always zero unless q = 0 since is G-acyclic by hypothesis. Hence, and . On the other hand, by the definition and the lemma,
Since is an injective resolution of (it is a resolution since its cohomology is trivial),
Since and have the same limiting term, the proof is complete.
- Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092
- Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics 38, Cambridge University Press, ISBN 978-0-521-55987-4, OCLC 36131259, MR 1269324