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

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.

## Comments (0)