Lemma 66.10.8. Let $S$ be a scheme. Let $k$ be a field and let $Z \to \mathop{\mathrm{Spec}}(k)$ be a monomorphism of algebraic spaces over $S$. Then either $Z = \emptyset$ or $Z = \mathop{\mathrm{Spec}}(k)$.

Proof. By Lemmas 66.10.3 and 66.4.9 we see that $Z$ is a separated algebraic space. Hence there exists an open dense subspace $Z' \subset Z$ which is a scheme, see Properties of Spaces, Proposition 65.13.3. By Schemes, Lemma 26.23.11 we see that either $Z' = \emptyset$ or $Z' \cong \mathop{\mathrm{Spec}}(k)$. In the first case we conclude that $Z = \emptyset$ and in the second case we conclude that $Z' = Z = \mathop{\mathrm{Spec}}(k)$ as $Z \to \mathop{\mathrm{Spec}}(k)$ is a monomorphism which is an isomorphism over $Z'$. $\square$

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