Lemma 70.5.3. Let $S$ be a scheme. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I} X_ i$ be the limit of a directed inverse system of algebraic spaces over $S$ with affine transition morphisms (Lemma 70.4.1). If each $X_ i$ is quasi-compact and nonempty, then $|X|$ is nonempty.
Proof. Choose $0 \in I$. Choose an affine scheme $U_0$ and a surjective étale morphism $U_0 \to X_0$. Set $U_ i = X_ i \times _{X_0} U_0$ and $U = X \times _{X_0} U_0$. Then each $U_ i$ is a nonempty affine scheme. Hence $U = \mathop{\mathrm{lim}}\nolimits U_ i$ is nonempty (Limits, Lemma 32.4.3) and thus $X$ is nonempty. $\square$
Comments (0)