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. Observe that for any abelian sheaf $\mathcal{G}$ on $Z$ we have

$\mathop{\mathrm{Hom}}\nolimits _ Z(\mathcal{G}, \mathcal{H}_ Z(\mathcal{F})) = \mathop{\mathrm{Hom}}\nolimits _ X(i_*\mathcal{G}, \mathcal{F})$

because after all any section of $i_*\mathcal{G}$ has support in $Z$. Since $i_*$ is exact (Modules, Lemma 17.6.1) and $\mathcal{I}$ injective on $X$ we conclude that $\mathcal{H}_ Z(\mathcal{I})$ is injective on $Z$. $\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).