Lemma 20.37.8. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $E \in D(\mathcal{O}_ X)$. Assume there exist a function $p(-) : \mathbf{Z} \to \mathbf{Z}$ and a set $\mathcal{B}$ of opens of $X$ such that
every open in $X$ has a covering whose members are elements of $\mathcal{B}$, and
$H^ p(U, H^{m - p}(E)) = 0$ for $p > p(m)$ and $U \in \mathcal{B}$.
Then the map $E \to R\mathop{\mathrm{lim}}\nolimits \tau _{\geq -n} E$ of Derived Categories, Remark 13.34.4 is an isomorphism in $D(\mathcal{O}_ X)$.
Comments (0)