Lemma 20.7.4. Let $f : X \to Y$ be a morphism of ringed spaces. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module. Let $V \subset Y$ be an open subspace. Denote $g : f^{-1}(V) \to V$ the restriction of $f$. Then we have

$R^ pg_*(\mathcal{F}|_{f^{-1}(V)}) = (R^ pf_*\mathcal{F})|_ V$

There is a similar statement for the derived image $Rf_*\mathcal{F}^\bullet$ where $\mathcal{F}^\bullet$ is a bounded below complex of $\mathcal{O}_ X$-modules.

Proof. First proof. Apply Lemmas 20.7.3 and 20.7.1 to see the displayed equality. Second proof. Choose an injective resolution $\mathcal{F} \to \mathcal{I}^\bullet$ and use that $\mathcal{F}|_{f^{-1}(V)} \to \mathcal{I}^\bullet |_{f^{-1}(V)}$ is an injective resolution also. $\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).