Remark 21.15.4. As a consequence of the results above we find that Derived Categories, Lemma 13.22.1 applies to a number of situations. For example, given a morphism $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ of ringed topoi we have

$R\Gamma (\mathcal{D}, Rf_*\mathcal{F}) = R\Gamma (\mathcal{C}, \mathcal{F})$

for any sheaf of $\mathcal{O}_\mathcal {C}$-modules $\mathcal{F}$. Namely, for an injective $\mathcal{O}_\mathcal {X}$-module $\mathcal{I}$ the $\mathcal{O}_\mathcal {D}$-module $f_*\mathcal{I}$ is limp by Lemma 21.15.1 and a limp sheaf is acyclic for $\Gamma (\mathcal{D}, -)$ by Lemma 21.15.3.

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