The Stacks project

52.12 Algebraization of formal sections, II

It is a bit difficult to succinctly state all possible consequences of the results in Sections 52.8 and 52.10 for cohomology of coherent sheaves on quasi-affine schemes and their completion with respect to an ideal. This section gives a nonexhaustive list of applications to $H^0$. The next section contains applications to higher cohomology.

Lemma 52.12.1. Let $I \subset \mathfrak a$ be ideals of a Noetherian ring $A$. Let $0 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0$ be a short exact sequence of coherent modules on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Let $\mathcal{V}$ be the set of open subschemes $V \subset U$ containing $U \cap V(I)$ ordered by reverse inclusion. Consider the commutative diagram

\[ \xymatrix{ \mathop{\mathrm{colim}}\nolimits _\mathcal {V} H^0(V, \mathcal{F}') \ar[d] \ar[r] & \mathop{\mathrm{colim}}\nolimits _\mathcal {V} H^0(V, \mathcal{F}) \ar[d] \ar[r] & \mathop{\mathrm{colim}}\nolimits _\mathcal {V} H^0(V, \mathcal{F}'') \ar[d] \\ \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}'/I^ n\mathcal{F}') \ar[r] & \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}'/I^ n\mathcal{F}) \ar[r] & \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}'/I^ n\mathcal{F}'') } \]

If the left and right downarrows are isomorphisms so is the middle. If the middle and left downarrows are isomorphisms, so is the left.

Proof. The sequences in the diagram are exact in the middle and the first arrow is injective. Thus the final statement follows from an easy diagram chase. For the rest of the proof we assume the left and right downward arrows are isomorphisms. A diagram chase shows that the middle downward arrow is injective. All that remains is to show that it is surjective.

We may choose finite $A$-modules $M$ and $M'$ such that $\mathcal{F}$ and $\mathcal{F}'$ are the restriction of $\widetilde{M}$ and $\widetilde{M}'$ to $U$, see Local Cohomology, Lemma 51.8.2. After replacing $M'$ by $\mathfrak a^ n M'$ for some $n \geq 0$ we may assume that $\mathcal{F}' \to \mathcal{F}$ corresponds to a module map $M' \to M$, see Cohomology of Schemes, Lemma 30.10.5. After replacing $M'$ by the image of $M' \to M$ and setting $M'' = M/M'$ we see that our short exact sequence corresponds to the restriction of the short exact sequence of coherent modules associated to the short exact sequence $0 \to M' \to M \to M'' \to 0$ of $A$-modules.

Let $\hat s \in \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F})$ with image $\hat s'' \in \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}''/I^ n\mathcal{F}'')$. By assumption we find $V \in \mathcal{V}$ and a section $s'' \in \mathcal{F}''(V)$ mapping to $\hat s''$. Let $J \subset A$ be an ideal such that $V(J) = \mathop{\mathrm{Spec}}(A) \setminus V$. By Cohomology of Schemes, Lemma 30.10.5 after replacing $J$ by a power, we may assume there is an $A$-linear map $\varphi : J \to M''$ corresponding to $s''$. We fix this choice of $J$; in the rest of the proof we will replace $V$ by a smaller $V$ in $\mathcal{V}$, i.e, we will have $V \cap V(J) = \emptyset $.

Choose a presentation $A^{\oplus m} \to A^{\oplus n} \to J \to 0$. Denote $g_1, \ldots , g_ n \in J$ the images of the basis vectors of $A^{\oplus n}$, so that $J = (g_1, \ldots , g_ n)$. Let $A^{\oplus m} \to A^{\oplus n}$ be given by the matrix $(a_{ji})$ so that $\sum a_{ji} g_ i = 0$, $j = 1, \ldots , m$. Since $M \to M''$ is surjective, for each $i$ we can choose $m_ i \in M$ mapping to $\varphi (g_ i) \in M''$. Then the element $g_ i \hat s - m_ i$ of $\mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F})$ lies in the submodule $\mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}'/I^ n\mathcal{F}')$. By assumption after shrinking $V$ we may assume there are $s'_ i \in \mathcal{F}'(V)$, $i = 1, \ldots , n$ with $s'_ i$ mapping to $g_ i \hat s - m_ i$. Set $s_ i = s'_ i + m_ i$ in $\mathcal{F}(V)$. Note that $\sum a_{ji} s_ i$ maps to $\sum a_{ji}g_ i\hat s = 0$ by the map

\[ \mathop{\mathrm{colim}}\nolimits _\mathcal {V} \mathcal{F}(V') \longrightarrow \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F}) \]

Since this map is injective (see above), we may after shrinking $V$ assume that $\sum a_{ji}s_ i = 0$ in $\mathcal{F}(V)$ for all $j = 1, \ldots , m$. Then it follows that we obtain an $A$-module map $J \to \mathcal{F}(V)$ sending $g_ i$ to $s_ i$. By the universal property of $\widetilde{J}$ this $A$-module map corresponds to an $\mathcal{O}_ V$-module map $\widetilde{J}|_ V \to \mathcal{F}$. However, since $V(J) \cap V = \emptyset $ we have $\widetilde{J}|_ V = \mathcal{O}_ V$. Thus we have produced a section $s \in \mathcal{F}(V)$. We omit the computation that shows that $s$ maps to $\hat s$ by the map displayed above. $\square$

The following lemma will be superseded by Proposition 52.12.3.

Lemma 52.12.2. Let $I \subset \mathfrak a$ be ideals of a Noetherian ring $A$. Let $\mathcal{F}$ be a coherent module on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

  1. $A$ is $I$-adically complete and has a dualizing complex,

  2. if $x \in \text{Ass}(\mathcal{F})$, $x \not\in V(I)$, $\overline{\{ x\} } \cap V(I) \not\subset V(\mathfrak a)$, and $z \in \overline{\{ x\} } \cap V(\mathfrak a)$, then $\dim (\mathcal{O}_{\overline{\{ x\} }, z}) > \text{cd}(A, I) + 1$,

  3. one of the following holds:

    1. the restriction of $\mathcal{F}$ to $U \setminus V(I)$ is $(S_1)$

    2. the dimension of $V(\mathfrak a)$ is at most $2$1.

Then we obtain an isomorphism

\[ \mathop{\mathrm{colim}}\nolimits H^0(V, \mathcal{F}) \longrightarrow \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F}) \]

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

Proof. Choose a finite $A$-module $M$ such that $\mathcal{F}$ is the restriction to $U$ of the coherent module associated to $M$, see Local Cohomology, Lemma 51.8.2. Set $d = \text{cd}(A, I)$. Let $\mathfrak p$ be a prime of $A$ not contained in $V(I)$ and let $\mathfrak q \in V(\mathfrak p) \cap V(\mathfrak a)$. Then either $\mathfrak p$ is not an associated prime of $M$ and hence $\text{depth}(M_\mathfrak p) \geq 1$ or we have $\dim ((A/\mathfrak p)_\mathfrak q) > d + 1$ by (2). Thus the hypotheses of Lemma 52.8.5 are satisfied for $s = 1$ and $d$; here we use condition (3). Thus we find there exists an ideal $J_0 \subset \mathfrak a$ with $V(J_0) \cap V(I) = V(\mathfrak a)$ such that for any $J \subset J_0$ with $V(J) \cap V(I) = V(\mathfrak a)$ the maps

\[ H^ i_ J(M) \longrightarrow H^ i(R\Gamma _\mathfrak a(M)^\wedge ) \]

are isomorphisms for $i = 0, 1$. Consider the morphisms of exact triangles

\[ \xymatrix{ R\Gamma _ J(M) \ar[d] \ar[r] & M \ar[r] \ar[d] & R\Gamma (V, \mathcal{F}) \ar[d] \ar[r] & R\Gamma _ J(M)[1] \ar[d] \\ R\Gamma _ J(M)^\wedge \ar[r] & M \ar[r] & R\Gamma (V, \mathcal{F})^\wedge \ar[r] & R\Gamma _ J(M)^\wedge [1] \\ R\Gamma _\mathfrak a(M)^\wedge \ar[r] \ar[u] & M \ar[r] \ar[u] & R\Gamma (U, \mathcal{F})^\wedge \ar[r] \ar[u] & R\Gamma _\mathfrak a(M)^\wedge [1] \ar[u] } \]

where $V = \mathop{\mathrm{Spec}}(A) \setminus V(J)$. Recall that $R\Gamma _\mathfrak a(M)^\wedge \to R\Gamma _ J(M)^\wedge $ is an isomorphism (because $\mathfrak a$, $\mathfrak a + I$, and $J + I$ cut out the same closed subscheme, for example see proof of Lemma 52.8.5). Hence $R\Gamma (U, \mathcal{F})^\wedge = R\Gamma (V, \mathcal{F})^\wedge $. This produces a commutative diagram

\[ \xymatrix{ 0 \ar[r] & H^0_ J(M) \ar[r] \ar[d] & M \ar[r] \ar[d] \ar[r] & \Gamma (V, \mathcal{F}) \ar[d] \ar[r] & H^1_ J(M) \ar[d] \ar[r] & 0 \\ 0 \ar[r] & H^0(R\Gamma _ J(M)^\wedge ) \ar[r] & M \ar[r] & H^0(R\Gamma (V, \mathcal{F})^\wedge ) \ar[r] & H^1(R\Gamma _ J(M)^\wedge ) \ar[r] & 0 \\ 0 \ar[r] & H^0(R\Gamma _\mathfrak a(M)^\wedge ) \ar[r] \ar[u] & M \ar[r] \ar[u] & H^0(R\Gamma (U, \mathcal{F})^\wedge ) \ar[r] \ar[u] & H^1(R\Gamma _\mathfrak a(M)^\wedge ) \ar[r] \ar[u] & 0 } \]

with exact rows and isomorphisms for the lower vertical arrows. Hence we obtain an isomorphism $\Gamma (V, \mathcal{F}) \to H^0(R\Gamma (U, \mathcal{F})^\wedge )$. By Lemmas 52.6.20 and 52.7.2 we have

\[ R\Gamma (U, \mathcal{F})^\wedge = R\Gamma (U, \mathcal{F}^\wedge ) = R\Gamma (U, R\mathop{\mathrm{lim}}\nolimits \mathcal{F}/I^ n\mathcal{F}) \]

and we find $H^0(R\Gamma (U, \mathcal{F})^\wedge ) = \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F})$ by Cohomology, Lemma 20.37.1. $\square$

Now we bootstrap the preceding lemma to get rid of condition (3).

Proposition 52.12.3. Let $I \subset \mathfrak a$ be ideals of a Noetherian ring $A$. Let $\mathcal{F}$ be a coherent module on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

  1. $A$ is $I$-adically complete and has a dualizing complex,

  2. if $x \in \text{Ass}(\mathcal{F})$, $x \not\in V(I)$, $\overline{\{ x\} } \cap V(I) \not\subset V(\mathfrak a)$, and $z \in \overline{\{ x\} } \cap V(\mathfrak a)$, then $\dim (\mathcal{O}_{\overline{\{ x\} }, z}) > \text{cd}(A, I) + 1$.

Then we obtain an isomorphism

\[ \mathop{\mathrm{colim}}\nolimits H^0(V, \mathcal{F}) \longrightarrow \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F}) \]

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

Proof. Let $T \subset U$ be the set of points $x$ with $\overline{\{ x\} } \cap V(I) \subset V(\mathfrak a)$. Let $\mathcal{F} \to \mathcal{F}'$ be the surjection of coherent modules on $U$ constructed in Local Cohomology, Lemma 51.15.1. Since $\mathcal{F} \to \mathcal{F}'$ is an isomorphism over an open $V \subset U$ containing $U \cap V(I)$ it suffices to prove the lemma with $\mathcal{F}$ replaced by $\mathcal{F}'$. Hence we may and do assume for $x \in U$ with $\overline{\{ x\} } \cap V(I) \subset V(\mathfrak a)$ we have $\text{depth}(\mathcal{F}_ x) \geq 1$.

Let $\mathcal{V}$ be the set of open subschemes $V \subset U$ containing $U \cap V(I)$ ordered by reverse inclusion. This is a directed set. We first claim that

\[ \mathcal{F}(V) \longrightarrow \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F}) \]

is injective for any $V \in \mathcal{F}$ (and in particular the map of the lemma is injective). Namely, an associated point $x$ of $\mathcal{F}$ must have $\overline{\{ x\} } \cap U \cap Y \not= \emptyset $ by the previous paragraph. If $y \in \overline{\{ x\} } \cap U \cap Y$ then $\mathcal{F}_ x$ is a localization of $\mathcal{F}_ y$ and $\mathcal{F}_ y \subset \mathop{\mathrm{lim}}\nolimits \mathcal{F}_ y/I^ n \mathcal{F}_ y$ by Krull's intersection theorem (Algebra, Lemma 10.51.4). This proves the claim as a section $s \in \mathcal{F}(V)$ in the kernel would have to have empty support, hence would have to be zero.

Choose a finite $A$-module $M$ such that $\mathcal{F}$ is the restriction of $\widetilde{M}$ to $U$, see Local Cohomology, Lemma 51.8.2. We may and do assume that $H^0_\mathfrak a(M) = 0$. Let $\text{Ass}(M) \setminus V(I) = \{ \mathfrak p_1, \ldots , \mathfrak p_ n\} $. We will prove the lemma by induction on $n$. After reordering we may assume that $\mathfrak p_ n$ is a minimal element of the set $\{ \mathfrak p_1, \ldots , \mathfrak p_ n\} $ with respect to inclusion, i.e, $\mathfrak p_ n$ is a generic point of the support of $M$. Set

\[ M' = H^0_{\mathfrak p_1 \ldots \mathfrak p_{n - 1} I}(M) \]

and $M'' = M/M'$. Let $\mathcal{F}'$ and $\mathcal{F}''$ be the coherent $\mathcal{O}_ U$-modules corresponding to $M'$ and $M''$. Dualizing Complexes, Lemma 47.11.6 implies that $M''$ has only one associated prime, namely $\mathfrak p_ n$. Hence $\mathcal{F}''$ has only one associated point and we see that condition (3)(a) of Lemma 52.12.2 holds; thus the map $\mathop{\mathrm{colim}}\nolimits H^0(V, \mathcal{F}'') \to \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}''/I^ n\mathcal{F}'')$ is an isomorphism. On the other hand, since $\mathfrak p_ n \not\in V(\mathfrak p_1 \ldots \mathfrak p_{n - 1} I)$ we see that $\mathfrak p_ n$ is not an associated prime of $M'$. Hence the induction hypothesis applies to $M'$; note that since $\mathcal{F}' \subset \mathcal{F}$ the condition $\text{depth}(\mathcal{F}'_ x) \geq 1$ at points $x$ with $\overline{\{ x\} } \cap V(I) \subset V(\mathfrak a)$ holds, see Algebra, Lemma 10.72.6. Thus the map $\mathop{\mathrm{colim}}\nolimits H^0(V, \mathcal{F}') \to \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}'/I^ n\mathcal{F}')$ is an isomorphism too. We conclude by Lemma 52.12.1. $\square$

Lemma 52.12.4. Let $I \subset \mathfrak a$ be ideals of a Noetherian ring $A$. Let $\mathcal{F}$ be a coherent module on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

  1. $A$ is $I$-adically complete and has a dualizing complex,

  2. if $x \in \text{Ass}(\mathcal{F})$, $x \not\in V(I)$, $\overline{\{ x\} } \cap V(I) \not\subset V(\mathfrak a)$, and $z \in V(\mathfrak a) \cap \overline{\{ x\} }$, then $\dim (\mathcal{O}_{\overline{\{ x\} }, z}) > \text{cd}(A, I) + 1$,

  3. for $x \in U$ with $\overline{\{ x\} } \cap V(I) \subset V(\mathfrak a)$ we have $\text{depth}(\mathcal{F}_ x) \geq 2$,

Then we obtain an isomorphism

\[ H^0(U, \mathcal{F}) \longrightarrow \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F}) \]

Proof. Let $\hat s \in \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F})$. By Proposition 52.12.3 we find that $\hat s$ is the image of an element $s \in \mathcal{F}(V)$ for some $V \subset U$ open containing $U \cap V(I)$. However, condition (3) shows that $\text{depth}(\mathcal{F}_ x) \geq 2$ for all $x \in U \setminus V$ and hence we find that $\mathcal{F}(V) = \mathcal{F}(U)$ by Divisors, Lemma 31.5.11 and the proof is complete. $\square$

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 Cohomology, Lemma 20.36.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 a map $M \to N$ and a compatible map

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

For $g \in \mathfrak a$ we see that $(M/fM)_ g$ maps isomorphically to $H^0(U \cap D(f), \mathcal{F}/f\mathcal{F})$ since $\mathcal{F}/f\mathcal{F}$ is the restriction of $\widetilde{M/fM}$ to $U$. We conclude that $M_ g \to N_ g$ induces an isomorphism

\[ M_ g/fM_ g = (M/fM)_ g \to (N/fN)_ g = N_ g/fN_ g \]

Since $f$ is a nonzerodivisor on both $N$ and $M$ we conclude that $M_ g \to N_ g$ induces an isomorphism on $f$-adic completions which in turn implies $M_ g \to N_ g$ is an isomorphism in an open neighbourhood of $V(f) \cap D(g)$. Since $g \in \mathfrak a$ was arbitrary, 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$

Proposition 52.12.6. Let $A$ be a Noetherian ring. Let $f \in \mathfrak a \subset A$ be an element of an ideal of $A$. Let $\mathcal{F}$ be a coherent module on $U = \mathop{\mathrm{Spec}}(A) \setminus V(\mathfrak a)$. Assume

  1. $A$ is $f$-adically complete and has a dualizing complex,

  2. if $x \in \text{Ass}(\mathcal{F})$, $x \not\in V(f)$, $\overline{\{ x\} } \cap V(f) \not\subset V(\mathfrak a)$, and $z \in \overline{\{ x\} } \cap V(\mathfrak a)$, then $\dim (\mathcal{O}_{\overline{\{ x\} }, z}) > 2$.

Then the map

\[ \mathop{\mathrm{colim}}\nolimits _ V \Gamma (V, \mathcal{F}) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (U, \mathcal{F}/f^ n\mathcal{F}) \]

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

First proof. Recall that $A$ is universally catenary and with Gorenstein formal fibres, see Dualizing Complexes, Lemmas 47.23.2 and 47.17.4. Thus we may consider the map $\mathcal{F} \to \mathcal{F}'$ constructed in Local Cohomology, Lemma 51.15.3 for the closed subset $V(f) \cap U$ of $U$. Observe that

  1. The kernel and cokernel of $\mathcal{F} \to \mathcal{F}'$ are supported on $V(f) \cap U$.

  2. The module $\mathcal{F}'$ is $f$-torsion free as its stalks have depth $\geq 1$ for all points of $V(f) \cap U$, i.e., $\mathcal{F}'$ has no associated points in $V(f) \cap U$.

  3. If $y \in V(f) \cap U$ is an associated point of $\mathcal{F}'/f\mathcal{F}'$, then $\text{depth}(\mathcal{F}'_ y) = 1$ and hence (by the construction of $\mathcal{F}'$) there is an immediate specialization $x \leadsto y$ with $x \not\in V(f)$ an associated point of $\mathcal{F}$. It follows that $y$ cannot have an immediate specialization in $\mathop{\mathrm{Spec}}(A)$ to a point $z \in V(\mathfrak a)$ by our assumption (2).

  4. It follows from (3) that $H^0(U, \mathcal{F}'/f\mathcal{F}')$ is a finite $A$-module, see Local Cohomology, Lemma 51.12.1.

These observations will allow us to finish the proof.

First, we claim the lemma holds for $\mathcal{F}'$. Namely, choose a finite $A$-module $M'$ such that $\mathcal{F}'$ is the restriction to $U$ of the coherent module associated to $M'$, see Local Cohomology, Lemma 51.8.2. Since $\mathcal{F}'$ is $f$-torsion free, we may assume $M'$ is $f$-torsion free as well. Observation (4) above shows that $H^1_\mathfrak a(M')$ is a finite $A$-module, see Local Cohomology, Lemma 51.8.2. Thus the claim by Lemma 52.12.5.

Second, we observe that the lemma holds trivially for any coherent $\mathcal{O}_ U$-module supported on $V(f) \cap U$. Let $\mathcal{K}$, resp. $\mathcal{G}$, resp. $\mathcal{Q}$ be the kernel, resp. image, resp. cokernel of the map $\mathcal{F} \to \mathcal{F}'$. The short exact sequence $0 \to \mathcal{G} \to \mathcal{F}' \to \mathcal{Q} \to 0$ and Lemma 52.12.1 show that the result holds for $\mathcal{G}$. Then we do this again with the short exact sequence $0 \to \mathcal{K} \to \mathcal{F} \to \mathcal{G} \to 0$ to finish the proof. $\square$

Second proof. The proposition is a special case of Proposition 52.12.3. $\square$

Lemma 52.12.7. 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. $H^1_\mathfrak a(M)$ and $H^2_\mathfrak a(M)$ are annihilated by a power of $f$.

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

\[ \Gamma (U, \widetilde{M}) \longrightarrow \mathop{\mathrm{lim}}\nolimits \Gamma (U, \widetilde{M/f^ nM}) \]

is an isomorphism.

Proof. We may apply Lemma 52.3.2 to $U$ and $\mathcal{F} = \widetilde{M}|_ U$ because $\mathcal{F}$ is a Noetherian object in the category of coherent $\mathcal{O}_ U$-modules. Since $H^1(U, \mathcal{F}) = H^2_\mathfrak a(M)$ (Local Cohomology, Lemma 51.8.2) is annihilated by a power of $f$, we see that its $f$-adic Tate module is zero. Hence the lemma shows $\mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/f^ n \mathcal{F})$ is equal to the usual $f$-adic completion of $H^0(U, \mathcal{F})$. Consider the short exact sequence

\[ 0 \to M/H^0_\mathfrak a(M) \to H^0(U, \mathcal{F}) \to H^1_\mathfrak a(M) \to 0 \]

of Local Cohomology, Lemma 51.8.2. Since $M/H^0_\mathfrak a(M)$ is a finite $A$-module, it is complete, see Algebra, Lemma 10.97.1. Since $H^1_\mathfrak a(M)$ is killed by a power of $f$, we conclude from Algebra, Lemma 10.96.4 that $H^0(U, \mathcal{F})$ is complete as well. This finishes the proof. $\square$

[1] In the sense that the difference of the maximal and minimal values on $V(\mathfrak a)$ of a dimension function on $\mathop{\mathrm{Spec}}(A)$ is at most $2$.

Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0EG1. Beware of the difference between the letter 'O' and the digit '0'.