Lemma 100.10.3. Let $\mathcal{X}$, $\mathcal{Y}$ be algebraic stacks. Let $\mathcal{Z} \subset \mathcal{X}$ be a closed substack Assume $\mathcal{Y}$ is reduced. A morphism $f : \mathcal{Y} \to \mathcal{X}$ factors through $\mathcal{Z}$ if and only if $f(|\mathcal{Y}|) \subset |\mathcal{Z}|$.
Proof. Assume $f(|\mathcal{Y}|) \subset |\mathcal{Z}|$. Consider $\mathcal{Y} \times _\mathcal {X} \mathcal{Z} \to \mathcal{Y}$. There is an equivalence $\mathcal{Y} \times _\mathcal {X} \mathcal{Z} \to \mathcal{Y}'$ where $\mathcal{Y}'$ is a closed substack of $\mathcal{Y}$, see Lemmas 100.9.2 and 100.9.10. Using Lemmas 100.4.3, 100.8.5, and 100.9.5 we see that $|\mathcal{Y}'| = |\mathcal{Y}|$. Hence we have reduced the lemma to Lemma 100.10.2. $\square$
Comments (0)