The Stacks project

Lemma 26.21.12. Permanence properties.

  1. A composition of separated morphisms is separated.

  2. A composition of quasi-separated morphisms is quasi-separated.

  3. The base change of a separated morphism is separated.

  4. The base change of a quasi-separated morphism is quasi-separated.

  5. A (fibre) product of separated morphisms is separated.

  6. A (fibre) product of quasi-separated morphisms is quasi-separated.

Proof. Let $X \to Y \to Z$ be morphisms. Assume that $X \to Y$ and $Y \to Z$ are separated. The composition

\[ X \to X \times _ Y X \to X \times _ Z X \]

is closed because the first one is by assumption and the second one by Lemma 26.21.9. The same argument works for “quasi-separated” (with the same references).

Let $f : X \to Y$ be a morphism of schemes over a base $S$. Let $S' \to S$ be a morphism of schemes. Let $f' : X_{S'} \to Y_{S'}$ be the base change of $f$. Then the diagonal morphism of $f'$ is a morphism

\[ \Delta _{f'} : X_{S'} = S' \times _ S X \longrightarrow X_{S'} \times _{Y_{S'}} X_{S'} = S' \times _ S (X \times _ Y X) \]

which is easily seen to be the base change of $\Delta _ f$. Thus (3) and (4) follow from the fact that closed immersions and quasi-compact morphisms are preserved under arbitrary base change (Lemmas 26.17.6 and 26.19.3).

If $f : X \to Y$ and $g : U \to V$ are morphisms of schemes over a base $S$, then $f \times g$ is the composition of $X \times _ S U \to X \times _ S V$ (a base change of $g$) and $X \times _ S V \to Y \times _ S V$ (a base change of $f$). Hence (5) and (6) follow from (1) – (4). $\square$


Comments (0)

There are also:

  • 16 comment(s) on Section 26.21: Separation axioms

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 01KU. Beware of the difference between the letter 'O' and the digit '0'.