101.15 Universal homeomorphisms
Let f be a morphism of algebraic stacks which is representable by algebraic spaces. In Properties of Stacks, Section 100.3 we have defined what it means for f to be a universal homeomorphism. Here is another characterization.
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
Thus we may use the following natural definition.
Definition 101.15.2. Let f : \mathcal{X} \to \mathcal{Y} be a morphism of algebraic stacks. We say f is a universal homeomorphism if 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.
Lemma 101.15.3. The base change of a universal homeomorphism of algebraic stacks by any morphism of algebraic stacks is a universal homeomorphism.
Proof.
This is immediate from the definition.
\square
Lemma 101.15.4. The composition of a pair of universal homeomorphisms of algebraic stacks is a universal homeomorphism.
Proof.
Omitted.
\square
Lemma 101.15.5. Let f : \mathcal{X} \to \mathcal{Y} be a morphism of algebraic stacks. Let W \to \mathcal{Y} be surjective, flat, and locally of finite presentation where W is an algebraic space. If the base change W \times _\mathcal {Y} \mathcal{X} \to W is a universal homeomorphism, then f is a universal homeomorphism.
Proof.
Assume g : W \times _\mathcal {Y} \mathcal{X} \to W is a universal homeomorphism. Then g is universally injective, hence f is universally injective by Lemma 101.14.8. On the other hand, let \mathcal{Z} \to \mathcal{Y} be a morphism with \mathcal{Z} an algebraic stack. Choose a scheme U and a surjective smooth morphism U \to W \times _\mathcal {Y} \mathcal{Z}. Consider the diagram
\xymatrix{ W \times _\mathcal {Y} \mathcal{X} \ar[d]^ g & U \times _\mathcal {Y} \mathcal{X} \ar[d] \ar[l] \ar[r] & \mathcal{Z} \times _\mathcal {Y} \mathcal{X} \ar[d] \\ W & U \ar[l] \ar[r] & \mathcal{Z} }
The middle vertical arrow induces a homeomorphism on topological space by assumption on g. The morphism U \to \mathcal{Z} and U \times _\mathcal {Y} \mathcal{X} \to \mathcal{Z} \times _\mathcal {Y} \mathcal{X} are surjective, flat, and locally of finite presentation hence induce open maps on topological spaces. We conclude that |\mathcal{Z} \times _\mathcal {Y} \mathcal{X}| \to |\mathcal{Z}| is open. Surjectivity is easy to prove; we omit the proof.
\square
Comments (0)