Lemma 20.45.2. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{B}$ be a basis for the topology on $Y$.

Assume $K$ is in $D(\mathcal{O}_ X)$ such that for $V \in \mathcal{B}$ we have $H^ i(f^{-1}(V), K) = 0$ for $i < 0$. Then $Rf_*K$ has vanishing cohomology sheaves in negative degrees, $H^ i(f^{-1}(V), K) = 0$ for $i < 0$ for all opens $V \subset Y$, and the rule $V \mapsto H^0(f^{-1}V, K)$ is a sheaf on $Y$.

Assume $K, L$ are in $D(\mathcal{O}_ X)$ such that for $V \in \mathcal{B}$ we have $\mathop{\mathrm{Ext}}\nolimits ^ i(K|_{f^{-1}V}, L|_{f^{-1}V}) = 0$ for $i < 0$. Then $\mathop{\mathrm{Ext}}\nolimits ^ i(K|_{f^{-1}V}, L|_{f^{-1}V}) = 0$ for $i < 0$ for all opens $V \subset Y$ and the rule $V \mapsto \mathop{\mathrm{Hom}}\nolimits (K|_{f^{-1}V}, L|_{f^{-1}V})$ is a sheaf on $Y$.

## Comments (0)

There are also: