Lemma 76.13.3. In Situation 76.13.1 let $K$ be as in Lemma 76.13.2. For any perfect object $E$ of $D(\mathcal{O}_ X)$ the cohomology

$M = R\Gamma (X, K \otimes ^\mathbf {L} E)$

is a pseudo-coherent object of $D(A)$ and there is a canonical isomorphism

$R\Gamma (X_ n, K_ n \otimes ^\mathbf {L} E|_{X_ n}) = M \otimes _ A^\mathbf {L} A_ n$

in $D(A_ n)$. Here $E|_{X_ n}$ denotes the derived pullback of $E$ to $X_ n$.

Proof. Write $E_ n = E|_{X_ n}$ and $M_ n = R\Gamma (X_ n, K_ n \otimes ^\mathbf {L} E|_{X_ n})$. By Derived Categories of Spaces, Lemma 74.25.5 we see that $M_ n$ is a pseudo-coherent object of $D(A_ n)$ whose formation commutes with base change. Thus the maps $M_ n \otimes _{A_ n}^\mathbf {L} A_{n - 1} \to M_{n - 1}$ coming from $\varphi _ n$ are isomorphisms. By More on Algebra, Lemma 15.97.1 we find that $R\mathop{\mathrm{lim}}\nolimits M_ n$ is pseudo-coherent and that its base change back to $A_ n$ recovers $M_ n$. On the other hand, the exact functor $R\Gamma (X, -) : D_\mathit{QCoh}(\mathcal{O}_ X) \to D(A)$ of triangulated categories commutes with products and hence with derived limits, whence

$R\Gamma (X, E \otimes ^\mathbf {L} K) = R\mathop{\mathrm{lim}}\nolimits R\Gamma (X, E \otimes ^\mathbf {L} K_ n) = R\mathop{\mathrm{lim}}\nolimits R\Gamma (X_ n, E_ n \otimes ^\mathbf {L} K_ n) = R\mathop{\mathrm{lim}}\nolimits M_ n$

as desired. $\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).