Lemma 29.21.7. A closed immersion $i : Z \to X$ is of finite presentation if and only if the associated quasi-coherent sheaf of ideals $\mathcal{I} = \mathop{\mathrm{Ker}}(\mathcal{O}_ X \to i_*\mathcal{O}_ Z)$ is of finite type (as an $\mathcal{O}_ X$-module).
Closed immersions of finite presentation correspond to quasi-coherent sheaves of ideals of finite type.
Proof.
On any affine open $\mathop{\mathrm{Spec}}(R) \subset X$ we have $i^{-1}(\mathop{\mathrm{Spec}}(R)) = \mathop{\mathrm{Spec}}(R/I)$ and $\mathcal{I} = \widetilde{I}$. Moreover, $\mathcal{I}$ is of finite type if and only if $I$ is a finite $R$-module for every such affine open (see Properties, Lemma 28.16.1). And $R/I$ is of finite presentation over $R$ if and only if $I$ is a finite $R$-module. Hence we win.
$\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (3)
Comment #1681 by Michele Serra on
Comment #8113 by Elías Guisado on
Comment #8222 by Stacks Project on