Lemma 26.19.8. Let $f : X \to S$ be a quasi-compact morphism of schemes. Then $f$ is closed if and only if specializations lift along $f$, see Topology, Definition 5.19.4.
Proof. According to Topology, Lemma 5.19.7 if $f$ is closed then specializations lift along $f$. Conversely, suppose that specializations lift along $f$. Let $Z \subset X$ be a closed subset. We may think of $Z$ as a scheme with the reduced induced scheme structure, see Definition 26.12.5. Since $Z \subset X$ is closed the restriction of $f$ to $Z$ is still quasi-compact. Moreover specializations lift along $Z \to S$ as well, see Topology, Lemma 5.19.5. Hence it suffices to prove $f(X)$ is closed if specializations lift along $f$. In particular $f(X)$ is stable under specializations, see Topology, Lemma 5.19.6. Thus $f(X)$ is closed by Lemma 26.19.7. $\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.
There are also: