Lemma 32.8.11. Notation and assumptions as in Situation 32.8.1. If
$f$ is an isomorphism, and
$f_0$ is locally of finite presentation,
then $f_ i$ is an isomorphism for some $i \geq 0$.
Lemma 32.8.11. Notation and assumptions as in Situation 32.8.1. If
$f$ is an isomorphism, and
$f_0$ is locally of finite presentation,
then $f_ i$ is an isomorphism for some $i \geq 0$.
Proof. By Lemmas 32.8.10 and 32.8.5 we can find an $i$ such that $f_ i$ is flat and a closed immersion. Then $f_ i$ identifies $X_ i$ with an open and closed subscheme of $Y_ i$, see Morphisms, Lemma 29.26.2. By assumption the image of $Y \to Y_ i$ maps into $f_ i(X_ i)$. Thus by Lemma 32.4.10 we find that $Y_{i'}$ maps into $f_ i(X_ i)$ for some $i' \geq i$. It follows that $X_{i'} \to Y_{i'}$ is surjective and we win. $\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)
There are also: