Lemma 37.74.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.74.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$

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