Lemma 37.43.4 (0F2N)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 37: More on Morphisms
Section 37.43: Zariski's Main Theorem
Lemma 37.43.4 (cite)

previous lemma

numberstags

Lemma 37.43.4. With notation and hypotheses as in Lemma 37.43.3. Assume moreover that $f$ is locally of finite presentation. Then we can choose the factorization such that $T$ is finite and of finite presentation over $S$.

Proof. By Limits, Lemma 32.9.8 we can write $T = \mathop{\mathrm{lim}}\nolimits T_ i$ where all $T_ i$ are finite and of finite presentation over $Y$ and the transition morphisms $T_{i'} \to T_ i$ are closed immersions. By Limits, Lemma 32.4.11 there exists an $i$ and an open subscheme $U_ i \subset T_ i$ whose inverse image in $T$ is $X$. By Limits, Lemma 32.4.16 we see that $X \cong U_ i$ for large enough $i$. Replacing $T$ by $T_ i$ finishes the proof. $\square$

Comments (2)

Comment #9474 by Olivier Benoist on June 25, 2024 at 17:43

Typo : in the proof of Lemma 0F2N, $Y$ should be replaced by $S$ .

Comment #9475 by Olivier Benoist on June 25, 2024 at 17:44

Typo : in the proof of Lemma 0F2N, $Y$ should be replaced by $S$ .

There are also:

5 comment(s) on Section 37.43: Zariski's Main Theorem

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).

Comments (2)

Post a comment