Lemma 20.32.1. Let $X$ be a ringed space. Let $U \subset X$ be an open subspace. The restriction of a K-injective complex of $\mathcal{O}_ X$-modules to $U$ is a K-injective complex of $\mathcal{O}_ U$-modules.
Proof. Follows from Derived Categories, Lemma 13.31.9 and the fact that the restriction functor has the exact left adjoint $j_!$. For the construction of $j_!$ see Sheaves, Section 6.31 and for exactness see Modules, Lemma 17.3.4. $\square$
Comments (0)