Lemma 20.20.1 (02UV)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 20: Cohomology of Sheaves
Section 20.20: Vanishing on Noetherian topological spaces
Lemma 20.20.1 (cite)

next lemma

numberstags

history
statistics
3 tags refer to this tag

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$

Comments (0)

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

Comments (0)

Post a comment