The Stacks project

Proof. This follows from Lemma 30.20.4 as follows. Set $M = H^ p(X, \mathcal{F})$, $M_ n = H^ p(X, \mathcal{F}/I^ n\mathcal{F})$, and denote $N_ n = \mathop{\mathrm{Im}}(M \to M_ n)$. By Lemma 30.20.4 parts (2) and (3) we see that $(M_ n)$ is a Mittag-Leffler system with $N_ n \subset M_ n$ equal to the image of $M_ k$ for all $k \gg n$. It follows that $\mathop{\mathrm{lim}}\nolimits M_ n = \mathop{\mathrm{lim}}\nolimits N_ n$ as topological modules (with limit topologies). On the other hand, the $N_ n$ form an inverse system of quotients of the module $M$ and hence $\mathop{\mathrm{lim}}\nolimits N_ n$ is the completion of $M$ with respect to the topology given by the kernels $K_ n = \mathop{\mathrm{Ker}}(M \to N_ n)$. By Lemma 30.20.4 part (1) we have $K_ n \subset I^{n - c}M$ and since $N_ n \subset M_ n$ is annihilated by $I^ n$ we have $I^ n M \subset K_ n$. Thus the topology defined using the submodules $K_ n$ as a fundamental system of open neighbourhoods of $0$ is the same as the $I$-adic topology and we find that the induced map $M^\wedge = \mathop{\mathrm{lim}}\nolimits M/I^ nM \to \mathop{\mathrm{lim}}\nolimits N_ n = \mathop{\mathrm{lim}}\nolimits M_ n$ is an isomorphism of topological modules¹. $\square$