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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

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