
Lemma 35.3.2. Let $X$ be a scheme. Let $(K_ n)$ be an inverse system of $D_\mathit{QCoh}(\mathcal{O}_ X)$ with derived limit $K = R\mathop{\mathrm{lim}}\nolimits K_ n$ in $D(\mathcal{O}_ X)$. Assume $H^ q(K_{n + 1}) \to H^ q(K_ n)$ is surjective for all $q \in \mathbf{Z}$ and $n \geq 1$. Then

1. $H^ q(K) = \mathop{\mathrm{lim}}\nolimits H^ q(K_ n)$,

2. $R\mathop{\mathrm{lim}}\nolimits H^ q(K_ n) = \mathop{\mathrm{lim}}\nolimits H^ q(K_ n)$, and

3. for every affine open $U \subset X$ we have $H^ p(U, \mathop{\mathrm{lim}}\nolimits H^ q(K_ n)) = 0$ for $p > 0$.

Proof. Let $\mathcal{B}$ be the set of affine opens of $X$. Since $H^ q(K_ n)$ is quasi-coherent we have $H^ p(U, H^ q(K_ n)) = 0$ for $U \in \mathcal{B}$ by Cohomology of Schemes, Lemma 29.2.2. Moreover, the maps $H^0(U, H^ q(K_{n + 1})) \to H^0(U, H^ q(K_ n))$ are surjective for $U \in \mathcal{B}$ by Schemes, Lemma 25.7.5. Part (1) follows from Cohomology, Lemma 20.32.11 whose conditions we have just verified. Parts (2) and (3) follow from Cohomology, Lemma 20.32.4. $\square$

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