Lemma 26.22.2 (Valuative criterion separatedness). Let $f : X \to S$ be a morphism. Assume
the morphism $f$ is quasi-separated, and
the morphism $f$ satisfies the uniqueness part of the valuative criterion.
[II Proposition 7.2.3, EGA]
Lemma 26.22.2 (Valuative criterion separatedness). Let $f : X \to S$ be a morphism. Assume
the morphism $f$ is quasi-separated, and
the morphism $f$ satisfies the uniqueness part of the valuative criterion.
Then $f$ is separated.
Proof. By assumption (1), Proposition 26.20.6, and Lemmas 26.21.2 and 26.10.4 we see that it suffices to prove the morphism $\Delta _{X/S} : X \to X \times _ S X$ satisfies the existence part of the valuative criterion. Let a solid commutative diagram
be given. The lower right arrow corresponds to a pair of morphisms $a, b : \mathop{\mathrm{Spec}}(A) \to X$ over $S$. By (2) we see that $a = b$. Hence using $a$ as the dotted arrow works. $\square$
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 (8)
Comment #1725 by Keenan Kidwell on
Comment #1764 by Johan on
Comment #2706 by Ariyan Javanpeykar on
Comment #2744 by Takumi Murayama on
Comment #3814 by Kestutis Cesnavicius on
Comment #5388 by Zhaodong Cai on
Comment #5504 by minsom on
Comment #5622 by Johan on