The Stacks project

Example 20.39.3. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $A \to \Gamma (X, \mathcal{O}_ X)$ be a ring map and let $f \in A$. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module. Assume there is a $c$ such that $\mathcal{F}[f^ c] = \mathcal{F}[f^ n]$ for all $n \geq c$. We are going to apply Lemma 20.39.1 with $E = \mathcal{F}$. By Lemma 20.39.2 we see that the inverse system $(E_ n)$ is pro-isomorphic to the inverse system $(\mathcal{F}/f^ n\mathcal{F})$. We conclude that for $p \in \mathbf{Z}$ we obtain a commutative diagram

with exact rows and columns where $\widehat{H^ p(X, \mathcal{F})} = \mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F})/f^ n H^ p(X, \mathcal{F})$ is the usual $f$-adic completion and $M^\wedge$ denotes derived $f$-adic completion for $M$ in $D(A)$.