Lemma 30.20.6. Let $A$ be a ring. Let $I \subset A$ be an ideal. Assume $A$ is Noetherian and complete with respect to $I$. Let $f : X \to \mathop{\mathrm{Spec}}(A)$ be a proper morphism. Let $\mathcal{F}$ be a coherent sheaf on $X$. Then

$H^ p(X, \mathcal{F}) = \mathop{\mathrm{lim}}\nolimits _ n H^ p(X, \mathcal{F}/I^ n\mathcal{F})$

for all $p \geq 0$.

Proof. This is a reformulation of the theorem on formal functions (Theorem 30.20.5) in the case of a complete Noetherian base ring. Namely, in this case the $A$-module $H^ p(X, \mathcal{F})$ is finite (Lemma 30.19.2) hence $I$-adically complete (Algebra, Lemma 10.97.1) and we see that completion on the left hand side is not necessary. $\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).