The Stacks project

Lemma 52.11.3. Let $(A, \mathfrak m)$ be a Noetherian local ring which has a dualizing complex and is complete with respect to an ideal $I$. Set $X = \mathop{\mathrm{Spec}}(A)$, $Y = V(I)$, and $U = X \setminus \{ \mathfrak m\} $. Let $\mathcal{F}$ be a coherent sheaf on $U$. Assume for any associated point $x \in U$ of $\mathcal{F}$ we have $\dim (\overline{\{ x\} }) > \text{cd}(A, I) + 1$ where $\overline{\{ x\} }$ is the closure in $X$. Then the map

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

is an isomorphism of finite $A$-modules where the colimit is over opens $V \subset U$ containing $U \cap Y$.

Proof. Apply Theorem 52.11.2 with $s = 1$ (we get finiteness too). $\square$

Comments (3)

Comment #3438 by Kestutis Cesnavicius on

What is ? Can't we simply consolidate the two conditions into "for any associated point of , we have "? (Likewise for some preceding results.)

Comment #3439 by Kestutis Cesnavicius on

Also, it would be nice to mention as in the preceding result that the closure of is taken in (not in ).

Comment #3494 by on

OK, I have made this change in this case. However, when writing these sections I tried to have some consistency in the numbering of the conditions listed in the lemmas. So I want to be careful in changing this in other lemmas, etc. So unless somebody is going to review the chapter as a whole and look more carefully to see if things can be simplified and/or strengthened (as may very well be the case), I would prefer to leave things as is for now.

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