The Stacks project

Proposition 52.13.1. 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)$. Let $s \geq 0$. Assume

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

  2. if $x \in U \setminus V(I)$ then $\text{depth}(\mathcal{F}_ x) > s$ or

    \[ \text{depth}(\mathcal{F}_ x) + \dim (\mathcal{O}_{\overline{\{ x\} }, z}) > \text{cd}(A, I) + s + 1 \]

    for all $z \in V(\mathfrak a) \cap \overline{\{ x\} }$,

  3. one of the following conditions holds:

    1. the restriction of $\mathcal{F}$ to $U \setminus V(I)$ is $(S_{s + 1})$, or

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

Then the maps

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

are isomorphisms for $i < s$. Moreover we have an isomorphism

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

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

Proof. We may assume $s > 0$ as the case $s = 0$ was done in Proposition 52.12.3.

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 $\text{depth}(M_\mathfrak p) \geq s + 1 > s$ or we have $\dim ((A/\mathfrak p)_\mathfrak q) > d + s + 1$ by (2). By Lemma 52.10.5 we conclude that the assumptions of Situation 52.10.1 are satisfied for $A, I, V(\mathfrak a), M, s, d$. On the other hand, the hypotheses of Lemma 52.8.5 are satisfied for $s + 1$ and $d$; this is where condition (3) is used.

Applying Lemma 52.8.5 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 ) \]

is an isomorphism for $i \leq s + 1$.

For $i \leq s$ the map $H^ i_\mathfrak a(M) \to H^ i_ J(M)$ is an isomorphism by Lemmas 52.10.3 and 52.8.4. Using the comparison of cohomology and local cohomology (Local Cohomology, Lemma 51.2.2) we deduce $H^ i(U, \mathcal{F}) \to H^ i(V,\mathcal{F})$ is an isomorphism for $V = \mathop{\mathrm{Spec}}(A) \setminus V(J)$ and $i < s$.

By Theorem 52.10.8 we have $H^ i_\mathfrak a(M) = \mathop{\mathrm{lim}}\nolimits H^ i_\mathfrak a(M/I^ nM)$ for $i \leq s$. By Lemma 52.10.9 we have $H^{s + 1}_\mathfrak a(M) = \mathop{\mathrm{lim}}\nolimits H^{s + 1}_\mathfrak a(M/I^ nM)$.

The isomorphism $H^0(U, \mathcal{F}) = H^0(V, \mathcal{F}) = \mathop{\mathrm{lim}}\nolimits H^0(U, \mathcal{F}/I^ n\mathcal{F})$ follows from the above and Proposition 52.12.3. For $0 < i < s$ we get the desired isomorphisms $H^ i(U, \mathcal{F}) = H^ i(V, \mathcal{F}) = \mathop{\mathrm{lim}}\nolimits H^ i(U, \mathcal{F}/I^ n\mathcal{F})$ in the same manner using the relation between local cohomology and cohomology; it is easier than the case $i = 0$ because for $i > 0$ we have

\[ H^ i(U, \mathcal{F}) = H^{i + 1}_\mathfrak a(M), \quad H^ i(V, \mathcal{F}) = H^{i + 1}_ J(M), \quad H^ i(R\Gamma (U, \mathcal{F})^\wedge ) = H^{i + 1}(R\Gamma _\mathfrak a(M)^\wedge ) \]

Similarly for the final statement. $\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 0EG4. Beware of the difference between the letter 'O' and the digit '0'.