Lemma 37.76.8. Let $X \to Y$ be a morphism of affine schemes which is quasi-finite and of finite presentation. There exists a morphism $Y_{univ} \to Y$ of finite presentation and an open subscheme $U_{univ} \subset Y_{univ} \times _ Y X$ such that $U_{univ} \to Y_{univ}$ is finite with the following property: given any morphism $Y' \to Y$ of affine schemes and an open subscheme $U' \subset Y' \times _ Y X$ such that $U' \to Y'$ is finite, there exists a morphism $Y' \to Y_{univ}$ such that the inverse image of $U_{univ}$ is $U'$.
Proof. Recall that a finite type morphism is quasi-finite if and only if it has relative dimension $0$, see Morphisms, Lemma 29.29.5. By Lemma 37.34.9 applied with $d = 0$ we reduce to the case where $X$ and $Y$ are Noetherian. We may choose an open immersion $X \to X'$ such that $X' \to Y$ is finite, see Algebra, Lemma 10.123.14. Note that if we have $Y' \to Y$ and $U'$ as in (2), then
\[ U' \to Y' \times _ Y X \to Y' \times _ Y X' \]
is open immersion between schemes finite over $Y'$ and hence is closed as well. We conclude that $U'$ corresponds to an idempotent in
\[ \Gamma (Y', \mathcal{O}_{Y'}) \otimes _{\Gamma (Y, \mathcal{O}_ Y)} \Gamma (X', \mathcal{O}_{X'}) \]
whose corresponding open and closed subset is contained in the open $Y' \times _ Y X$. Let $Y'_{univ} \to Y$ and idempotent
\[ e'_{univ} \in \Gamma (Y_{univ}, \mathcal{O}_{Y_{univ}}) \otimes _{\Gamma (Y, \mathcal{O}_ Y)} \Gamma (X', \mathcal{O}_{X'}) \]
be the pair constructed in Lemma 37.76.7 for the ring map $\Gamma (Y, \mathcal{O}_ Y) \to \Gamma (X', \mathcal{O}_{X'})$ (here we use that $Y$ is Noetherian to see that $X'$ is of finite presentation over $Y$). Let $U'_{univ} \subset Y'_{univ} \times _ Y X'$ be the corresponding open and closed subscheme. Then we see that
\[ U'_{univ} \setminus Y'_{univ} \times _ Y X \]
is a closed subset of $U'_{univ}$ and hence has closed image $T \subset Y'_{univ}$. If we set $Y_{univ} = Y'_{univ} \setminus T$ and $U_{univ}$ the restriction of $U'_{univ}$ to $Y_{univ} \times _ Y X$, then we see that the lemma is true. $\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 (0)