Lemma 70.9.1. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. In each of the following cases $X$ is a scheme:

1. $X$ is quasi-compact and quasi-separated and $\dim (X) = 0$,

2. $X$ is locally of finite type over a field $k$ and $\dim (X) = 0$,

3. $X$ is Noetherian and $\dim (X) = 0$, and

Proof. Cases (2) and (3) follow immediately from case (1) but we will give a separate proofs of (2) and (3) as these proofs use significantly less theory.

Proof of (3). Let $U$ be an affine scheme and let $U \to X$ be an étale morphism. Set $R = U \times _ X U$. The two projection morphisms $s, t : R \to U$ are étale morphisms of schemes. By Properties of Spaces, Definition 64.9.2 we see that $\dim (U) = 0$ and $\dim (R) = 0$. Since $R$ is a locally Noetherian scheme of dimension $0$, we see that $R$ is a disjoint union of spectra of Artinian local rings (Properties, Lemma 28.10.5). Since we assumed that $X$ is Noetherian (so quasi-separated) we conclude that $R$ is quasi-compact. Hence $R$ is an affine scheme (use Schemes, Lemma 26.6.8). The étale morphisms $s, t : R \to U$ induce finite residue field extensions. Hence $s$ and $t$ are finite by Algebra, Lemma 10.53.4 (small detail omitted). Thus Groupoids, Proposition 39.23.9 shows that $X = U/R$ is an affine scheme.

Proof of (2) – almost identical to the proof of (4). Let $U$ be an affine scheme and let $U \to X$ be an étale morphism. Set $R = U \times _ X U$. The two projection morphisms $s, t : R \to U$ are étale morphisms of schemes. By Properties of Spaces, Definition 64.9.2 we see that $\dim (U) = 0$ and similarly $\dim (R) = 0$. On the other hand, the morphism $U \to \mathop{\mathrm{Spec}}(k)$ is locally of finite type as the composition of the étale morphism $U \to X$ and $X \to \mathop{\mathrm{Spec}}(k)$, see Morphisms of Spaces, Lemmas 65.23.2 and 65.39.9. Similarly, $R \to \mathop{\mathrm{Spec}}(k)$ is locally of finite type. Hence by Varieties, Lemma 33.20.2 we see that $U$ and $R$ are disjoint unions of spectra of local Artinian $k$-algebras finite over $k$. The same thing is therefore true of $U \times _{\mathop{\mathrm{Spec}}(k)} U$. As

$R = U \times _ X U \longrightarrow U \times _{\mathop{\mathrm{Spec}}(k)} U$

is a monomorphism, we see that $R$ is a finite(!) union of spectra of finite $k$-algebras. It follows that $R$ is affine, see Schemes, Lemma 26.6.8. Applying Varieties, Lemma 33.20.2 once more we see that $R$ is finite over $k$. Hence $s, t$ are finite, see Morphisms, Lemma 29.43.14. Thus Groupoids, Proposition 39.23.9 shows that the open subspace $U/R$ of $X$ is an affine scheme. Since the schematic locus of $X$ is an open subspace (see Properties of Spaces, Lemma 64.13.1), and since $U \to X$ was an arbitrary étale morphism from an affine scheme we conclude that $X$ is a scheme.

Proof of (1). By Cohomology of Spaces, Lemma 67.10.1 we have vanishing of higher cohomology groups for all quasi-coherent sheaves $\mathcal{F}$ on $X$. Hence $X$ is affine (in particular a scheme) by Cohomology of Spaces, Proposition 67.16.7. $\square$

Comment #261 by on

In the last sentence, arbtrary should be arbitrary. And morphisms should be morphism, again in the last sentence.

By the way, throughout the Stacks project the capitalisation of artinian (or Artinian) is inconsistent.

There are also:

• 1 comment(s) on Section 70.9: Schematic locus

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