The Stacks project

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$

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 0EG2. Beware of the difference between the letter 'O' and the digit '0'.