Lemma 100.4.10. All of the separation axioms listed in Definition 100.4.1 are stable under composition of morphisms.

Proof. Let $f : \mathcal{X} \to \mathcal{Y}$ and $g : \mathcal{Y} \to \mathcal{Z}$ be morphisms of algebraic stacks to which the axiom in question applies. The diagonal $\Delta _{\mathcal{X}/\mathcal{Z}}$ is the composition

$\mathcal{X} \longrightarrow \mathcal{X} \times _\mathcal {Y} \mathcal{X} \longrightarrow \mathcal{X} \times _\mathcal {Z} \mathcal{X}.$

Our separation axiom is defined by requiring the diagonal to have some property $\mathcal{P}$. By Lemma 100.4.7 above we see that the second arrow also has this property. Hence the lemma follows since the composition of morphisms which are representable by algebraic spaces with property $\mathcal{P}$ also is a morphism with property $\mathcal{P}$, see our general discussion in Properties of Stacks, Section 99.3 and Morphisms of Spaces, Lemmas 66.38.3, 66.27.3, 66.40.4, 66.8.5, and 66.4.8. $\square$

There are also:

• 2 comment(s) on Section 100.4: Separation axioms

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