Lemma 100.8.5. A monomorphism of algebraic stacks induces an injective map of sets of points.
Monomorphisms of stacks are injective on points.
Proof.
Let $f : \mathcal{X} \to \mathcal{Y}$ be a monomorphism of algebraic stacks. Suppose that $x_ i : \mathop{\mathrm{Spec}}(K_ i) \to \mathcal{X}$ be morphisms such that $f \circ x_1$ and $f \circ x_2$ define the same element of $|\mathcal{Y}|$. Applying the definition we find a common extension $\Omega $ with corresponding morphisms $c_ i : \mathop{\mathrm{Spec}}(\Omega ) \to \mathop{\mathrm{Spec}}(K_ i)$ and a $2$-isomorphism $\beta : f \circ x_1 \circ c_1 \to f \circ x_1 \circ c_2$. As $f$ is fully faithful, see Lemma 100.8.4, we can lift $\beta $ to an isomorphism $\alpha : x_1 \circ c_1 \to x_1 \circ c_2$. Hence $x_1$ and $x_2$ define the same point of $|\mathcal{X}|$ as desired.
$\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (3)
Comment #823 by Johan Commelin on
Comment #6501 by Mitchell Faulk on
Comment #6563 by Johan on