The Stacks project

Proof. The functor $DQ_ X$ exists because $X$ is quasi-compact and quasi-separated, see Derived Categories of Schemes, Lemma 36.21.1. Since $DQ_ X$ is a right adjoint it commutes with products and therefore with derived limits. Hence the equality in the statement of the lemma.

By Derived Categories of Schemes, Lemma 36.21.4 the functor $DQ_ X$ has bounded cohomological dimension. Hence it suffices to show that $R\mathop{\mathrm{lim}}\nolimits K_ n \in D^-(\mathcal{O}_ X)$. To see this, let $U \subset X$ be an affine open. Then there is a canonical exact sequence

by Cohomology, Lemma 20.37.1. Since $U$ is affine and $K_ n$ is pseudo-coherent (and hence has quasi-coherent cohomology sheaves by Derived Categories of Schemes, Lemma 36.10.1) we see that $H^ m(U, K_ n) = H^ m(K_ n)(U)$ by Derived Categories of Schemes, Lemma 36.3.5. Thus we conclude that it suffices to show that $K_ n$ is bounded above independent of $n$.

Since $K_ n$ is pseudo-coherent we have $K_ n \in D^-(\mathcal{O}_{X_ n})$. Suppose that $a_ n$ is maximal such that $H^{a_ n}(K_ n)$ is nonzero. Of course $a_1 \leq a_2 \leq a_3 \leq \ldots$. Note that $H^{a_ n}(K_ n)$ is an $\mathcal{O}_{X_ n}$-module of finite presentation (Cohomology, Lemma 20.47.9). We have $H^{a_ n}(K_{n - 1}) = H^{a_ n}(K_ n) \otimes _{\mathcal{O}_{X_ n}} \mathcal{O}_{X_{n - 1}}$. Since $X_{n - 1} \to X_ n$ is a thickening, it follows from Nakayama's lemma (Algebra, Lemma 10.20.1) that if $H^{a_ n}(K_ n) \otimes _{\mathcal{O}_{X_ n}} \mathcal{O}_{X_{n - 1}}$ is zero, then $H^{a_ n}(K_ n)$ is zero too. Thus $a_ n = a_{n - 1}$ for all $n$ and we conclude. $\square$