Lemma 21.14.7 (Relative 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})$ and $g : (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{E}), \mathcal{O}_\mathcal {E})$ be morphisms of ringed topoi. Let $\mathcal{F}$ be an $\mathcal{O}_\mathcal {C}$-module. There is a spectral sequence with

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

converging to $R^{p + q}(g \circ f)_*\mathcal{F}$. This spectral sequence is functorial in $\mathcal{F}$, and there is a version for bounded below complexes of $\mathcal{O}_\mathcal {C}$-modules.

Proof. This is a Grothendieck spectral sequence for composition of functors, see Derived Categories, Lemma 13.22.2 and Lemmas 21.14.1 and 21.14.3. $\square$

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).