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$

There are also:

• 8 comment(s) on Section 26.19: Quasi-compact morphisms

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