Lemma 101.15.1 (0CI6)—The Stacks project

Lemma 101.15.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks which is representable by algebraic spaces. The following are equivalent

$f$ is a universal homeomorphism (Properties of Stacks, Section 100.3), and
for every morphism of algebraic stacks $\mathcal{Z} \to \mathcal{Y}$ the map of topological spaces $|\mathcal{Z} \times _\mathcal {Y} \mathcal{X}| \to |\mathcal{Z}|$ is a homeomorphism.

Proof. Assume (1), and let $\mathcal{Z} \to \mathcal{Y}$ be as in (2). Choose a scheme $V$ and a surjective smooth morphism $V \to \mathcal{Z}$ . By assumption the morphism $V \times _\mathcal {Y} \mathcal{X} \to V$ of algebraic spaces is a universal homeomorphism, in particular the map $|V \times _\mathcal {Y} \mathcal{X}| \to |V|$ is a homeomorphism. By Properties of Stacks, Section 100.4 in the commutative diagram

$\xymatrix{ |V \times _\mathcal {Y} \mathcal{X}| \ar[r] \ar[d] & |\mathcal{Z} \times _\mathcal {Y} \mathcal{X}| \ar[d] \\ |V| \ar[r] & |\mathcal{Z}| }$

the horizontal arrows are open and surjective, and moreover

$|V \times _\mathcal {Y} \mathcal{X}| \longrightarrow |V| \times _{|\mathcal{Z}|} |\mathcal{Z} \times _\mathcal {Y} \mathcal{X}|$

is surjective. Hence as the left vertical arrow is a homeomorphism it follows that the right vertical arrow is a homeomorphism. This proves (2). The implication (2) $\Rightarrow$ (1) follows from the definitions. $\square$

The Stacks project

Comments (0)

Post a comment