Lemma 52.4.5. Let $I$ be an ideal of a Noetherian ring $A$. Let $X$ be a Noetherian scheme over $\mathop{\mathrm{Spec}}(A)$. Let
be an inverse system of coherent $\mathcal{O}_ X$-modules such that $\mathcal{F}_ n = \mathcal{F}_{n + 1}/I^ n\mathcal{F}_{n + 1}$. If $\text{cd}(A, I) = 1$, then for all $p \in \mathbf{Z}$ the limit topology on $\mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F}_ n)$ is $I$-adic.
Proof. First it is clear that $I^ t \mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F}_ n)$ maps to zero in $H^ p(X, \mathcal{F}_ t)$. Thus the $I$-adic topology is finer than the limit topology. For the converse we set $\mathcal{F} = \mathop{\mathrm{lim}}\nolimits \mathcal{F}_ n$, we pick generators $f_1, \ldots , f_ r$ of $I$, we pick $c \geq 1$, and we choose $\Phi _\mathcal {F}$ as in Lemma 52.4.4. We will use the results of Lemma 52.2.1 without further mention. In particular we have a short exact sequence
Thus we can lift any element $\xi $ of $\mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F}_ n)$ to an element $\xi ' \in H^ p(X, \mathcal{F})$. Suppose $\xi $ maps to zero in $H^ p(X, \mathcal{F}_{nc})$ for some $n$, in other words, suppose $\xi $ is “small” in the limit topology. We have a short exact sequence
and hence the assumption means we can lift $\xi '$ to an element $\xi '' \in H^ p(X, I^{nc}\mathcal{F})$. Applying $\Phi _\mathcal {F}$ we get
for some $\xi '_{e_1, \ldots , e_ r} \in H^ p(X, \mathcal{F})$. Letting $\xi _{e_1, \ldots , e_ r} \in \mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F}_ n)$ be the images and using the final assertion of Lemma 52.4.4 we conclude that
is in $I^ n \mathop{\mathrm{lim}}\nolimits H^ p(X, \mathcal{F}_ n)$ as desired. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)