Lemma 52.7.1. Let $X$ be a locally Noetherian scheme. Let $\mathcal{I} \subset \mathcal{O}_ X$ be a quasi-coherent sheaf of ideals. Let $K$ be a pseudo-coherent object of $D(\mathcal{O}_ X)$ with derived completion $K^\wedge$. Then

$H^ p(U, K^\wedge ) = \mathop{\mathrm{lim}}\nolimits H^ p(U, K)/I^ nH^ p(U, K) = H^ p(U, K)^\wedge$

for any affine open $U \subset X$ where $I = \mathcal{I}(U)$ and where on the right we have the derived completion with respect to $I$.

Proof. Write $U = \mathop{\mathrm{Spec}}(A)$. The ring $A$ is Noetherian and hence $I \subset A$ is finitely generated. Then we have

$R\Gamma (U, K^\wedge ) = R\Gamma (U, K)^\wedge$

by Remark 52.6.21. Now $R\Gamma (U, K)$ is a pseudo-coherent complex of $A$-modules (Derived Categories of Schemes, Lemma 36.10.2). By More on Algebra, Lemma 15.93.4 we conclude that the $p$th cohomology module of $R\Gamma (U, K^\wedge )$ is equal to the $I$-adic completion of $H^ p(U, K)$. This proves the first equality. The second (less important) equality follows immediately from a second application of the lemma just used. $\square$

There are also:

• 2 comment(s) on Section 52.7: The theorem on formal functions

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