Lemma 38.33.1 (0F3U)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 2: Schemes
Chapter 38: More on Flatness
Section 38.33: Nagata compactification
Lemma 38.33.1 (cite)

next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 38.33.1. Let $X \to S$ be a morphism of schemes. If $X = U \cup V$ is an open cover such that $U \to S$ and $V \to S$ are separated and $U \cap V \to U \times _ S V$ is closed, then $X \to S$ is separated.

Proof. Omitted. Hint: check that $\Delta : X \to X \times _ S X$ is closed by using the open covering of $X \times _ S X$ given by $U \times _ S U$ , $U \times _ S V$ , $V \times _ S U$ , and $V \times _ S V$ . $\square$

Comments (0)

There are also:

2 comment(s) on Section 38.33: Nagata compactification

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

Comments (0)

Post a comment