Lemma 20.21.1. Let $i : Z \to X$ be the inclusion of a closed subset. Let $\mathcal{I}$ be an injective abelian sheaf on $X$. Then $\mathcal{H}_ Z(\mathcal{I})$ is an injective abelian sheaf on $Z$.

Proof. This follows from Homology, Lemma 12.29.1 as $\mathcal{H}_ Z(-)$ is right adjoint to the exact functor $i_*$. See Modules, Lemmas 17.6.1 and 17.6.3. $\square$

There are also:

• 1 comment(s) on Section 20.21: Cohomology with support in a closed

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