Lemma 20.37.1 (071B)—The Stacks project

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

next lemma

Lemma 20.37.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.37.0.1) is a quasi-isomorphism.

Proof. By Derived Categories, Lemma 13.34.4 it suffices to show that the canonical map $\mathcal{F}^\bullet \to R\mathop{\mathrm{lim}}\nolimits \tau _{\geq -n} \mathcal{F}^\bullet $ is an isomorphism. This is Lemma 20.36.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.36.8.

The Stacks project

Comments (0)

Post a comment