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
$A$ is $f$-adically complete,
$f$ is a nonzerodivisor on $M$,
$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$
Comments (0)