Lemma 21.14.5 (0732): Leray spectral sequence

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 21: Cohomology on Sites
Section 21.14: The Leray spectral sequence
Lemma 21.14.5: Leray spectral sequence (cite)

numberstags

Lemma 21.14.5 (Leray spectral sequence). Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ be a morphism of ringed topoi. Let $\mathcal{F}^\bullet$ be a bounded below complex of $\mathcal{O}_\mathcal {C}$ -modules. There is a spectral sequence

$E_2^{p, q} = H^ p(\mathcal{D}, R^ qf_*(\mathcal{F}^\bullet ))$

converging to $H^{p + q}(\mathcal{C}, \mathcal{F}^\bullet )$ .

Proof. This is just the Grothendieck spectral sequence Derived Categories, Lemma 13.22.2 coming from the composition of functors $\Gamma (\mathcal{C}, -) = \Gamma (\mathcal{D}, -) \circ f_*$ . To see that the assumptions of Derived Categories, Lemma 13.22.2 are satisfied, see Lemmas 21.14.1 and 21.14.3. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

The Stacks project

Comments (0)

Post a comment