Lemma 20.20.1. Let $i : Z \to X$ be a closed immersion of topological spaces. For any abelian sheaf $\mathcal{F}$ on $Z$ we have $H^ p(Z, \mathcal{F}) = H^ p(X, i_*\mathcal{F})$.

Proof. This is true because $i_*$ is exact (see Modules, Lemma 17.6.1), and hence $R^ pi_* = 0$ as a functor (Derived Categories, Lemma 13.16.9). Thus we may apply Lemma 20.13.6. $\square$

There are also:

• 2 comment(s) on Section 20.20: Vanishing on Noetherian topological spaces

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