Lemma 20.38.1 (071B)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 20: Cohomology of Sheaves
Section 20.38: Producing K-injective resolutions
Lemma 20.38.1 (cite)

next lemma

numberstags

Lemma 20.38.1. In the situation described above. Denote $\mathcal{H}^ m = H^ m(\mathcal{F}^\bullet )$ the $m$ th cohomology sheaf. Let $\mathcal{B}$ be a set of open subsets of $X$ . Let $d \in \mathbf{N}$ . Assume

every open in $X$ has a covering whose members are elements of $\mathcal{B}$ ,
for every $U \in \mathcal{B}$ we have $H^ p(U, \mathcal{H}^ q) = 0$ for $p > d$ and $q < 0$ ¹.

Then (20.38.0.1) is a quasi-isomorphism.

Proof. By Derived Categories, Lemma 13.34.5 it suffices to show that the map $\mathcal{F}^\bullet \to R\mathop{\mathrm{lim}}\nolimits \tau _{\geq -n} \mathcal{F}^\bullet$ is an isomorphism. This is Lemma 20.37.9. $\square$

[1] It suffices if

$\forall m$ ,

$\exists p(m)$ ,

$H^ p(U. \mathcal{H}^{m - p}) = 0$ for

$p > p(m)$ , see Lemma 20.37.8.

Comments (0)

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