Lemma 66.20.3. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Assume

1. every quasi-compact scheme étale over $X$ has finitely many irreducible components, and

2. every $x \in |X|$ of codimension $0$ on $X$ can be represented by a monomorphism $\mathop{\mathrm{Spec}}(k) \to X$.

Then $X$ is a reasonable algebraic space.

Proof. Let $U$ be an affine scheme and let $a : U \to X$ be an étale morphism. We have to show that the fibres of $a$ are universally bounded. By assumption (1) the scheme $U$ has finitely many irreducible components. Let $u_1, \ldots , u_ n \in U$ be the generic points of these irreducible components. Let $\{ x_1, \ldots , x_ m\} \subset |X|$ be the image of $\{ u_1, \ldots , u_ n\}$. Each $x_ j$ is a point of codimension $0$. By assumption (2) we may choose a monomorphism $\mathop{\mathrm{Spec}}(k_ j) \to X$ representing $x_ j$. Then

$U \times _ X \mathop{\mathrm{Spec}}(k_ j) = \coprod \nolimits _{a(u_ i) = x_ j} \mathop{\mathrm{Spec}}(\kappa (u_ i))$

is finite over $\mathop{\mathrm{Spec}}(k_ j)$ of degree $d_ j = \sum _{a(u_ i) = x_ j} [\kappa (u_ i) : k_ j]$. Set $n = \max d_ j$.

Observe that $a$ is separated (Properties of Spaces, Lemma 64.6.4). Consider the stratification

$X = X_0 \supset X_1 \supset X_2 \supset \ldots$

associated to $U \to X$ in Lemma 66.8.2. By our choice of $n$ above we conclude that $X_{n + 1}$ is empty. Namely, if not, then $a^{-1}(X_{n + 1})$ is a nonempty open of $U$ and hence would contain one of the $x_ i$. This would mean that $X_{n + 1}$ contains $x_ j = a(u_ i)$ which is impossible. Hence we see that the fibres of $U \to X$ are universally bounded (in fact by the integer $n$). $\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).