Lemma 52.12.5. Let $A$ be a Noetherian ring. Let $f \in \mathfrak a \subset A$ be an element of an ideal of $A$. Let $M$ be a finite $A$-module. Assume

1. $A$ is $f$-adically complete,

2. $f$ is a nonzerodivisor on $M$,

3. $H^1_\mathfrak a(M/fM)$ is a finite $A$-module.

Then with $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$ the map

$\mathop{\mathrm{colim}}\nolimits _ V \Gamma (V, \widetilde{M}) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (U, \widetilde{M/f^ nM})$

is an isomorphism where the colimit is over opens $V \subset U$ containing $U \cap V(f)$.

Proof. Set $\mathcal{F} = \widetilde{M}|_ U$. The finiteness of $H^1_\mathfrak a(M/fM)$ implies that $H^0(U, \mathcal{F}/f\mathcal{F})$ is finite, see Local Cohomology, Lemma 51.8.2. By Lemma 52.3.3 (which applies as $f$ is a nonzerodivisor on $\mathcal{F}$) we see that $N = \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/f^ n\mathcal{F})$ is a finite $A$-module, is $f$-torsion free, and $N/fN \subset H^0(U, \mathcal{F}/f\mathcal{F})$. On the other hand, we have $M \to N$ and the map

$M/fM \longrightarrow H^0(U, \mathcal{F}/f\mathcal{F})$

is an isomorphism upon localization at any prime $\mathfrak q$ in $U_0 = V(f) \setminus \{ \mathfrak m\}$ (details omitted). Thus $M_\mathfrak q \to N_\mathfrak q$ induces an isomorphism

$M_\mathfrak q/fM_\mathfrak q = (M/fM)_\mathfrak q \to (N/fN)_\mathfrak q = N_\mathfrak q/fN_\mathfrak q$

Since $f$ is a nonzerodivisor on both $N$ and $M$ we conclude that $M_\mathfrak q \to N_\mathfrak q$ is an isomorphism (use Nakayama to see surjectivity). We conclude that $M$ and $N$ determine isomorphic coherent modules over an open $V$ as in the statement of the lemma. This finishes the proof. $\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).