The Stacks project

Lemma 72.10.7. Let $k$ be a field with algebraic closure $\overline{k}$. Let $X$ be an algebraic space over $k$ such that

  1. $X$ is decent and locally of finite type over $k$,

  2. $X_{\overline{k}}$ is a scheme, and

  3. any finite set of $\overline{k}$-rational points of $X_{\overline{k}}$ is contained in an affine.

Then $X$ is a scheme.

Proof. If $K/k$ is an extension, then the base change $X_ K$ is decent (Decent Spaces, Lemma 68.6.5) and locally of finite type over $K$ (Morphisms of Spaces, Lemma 67.23.3). By Lemma 72.10.1 it suffices to prove that $X$ becomes a scheme after base change to the perfection of $k$, hence we may assume $k$ is a perfect field (this step isn't strictly necessary, but makes the other arguments easier to think about). By covering $X$ by quasi-compact opens we see that it suffices to prove the lemma in case $X$ is quasi-compact (small detail omitted). In this case $|X|$ is a sober topological space (Decent Spaces, Proposition 68.12.4). Hence it suffices to show that every closed point in $|X|$ is contained in the schematic locus of $X$ (use Properties of Spaces, Lemma 66.13.1 and Topology, Lemma 5.12.8).

Let $x \in |X|$ be a closed point. By Decent Spaces, Lemma 68.14.6 we can find a closed immersion $\mathop{\mathrm{Spec}}(l) \to X$ representing $x$. Then $\mathop{\mathrm{Spec}}(l) \to \mathop{\mathrm{Spec}}(k)$ is of finite type (Morphisms of Spaces, Lemma 67.23.2) and we conclude that $l$ is a finite extension of $k$ by the Hilbert Nullstellensatz (Algebra, Theorem 10.34.1). It is separable because $k$ is perfect. Thus the scheme

\[ \mathop{\mathrm{Spec}}(l) \times _ X X_{\overline{k}} = \mathop{\mathrm{Spec}}(l) \times _{\mathop{\mathrm{Spec}}(k)} \mathop{\mathrm{Spec}}(\overline{k}) = \mathop{\mathrm{Spec}}(l \otimes _ k \overline{k}) \]

is the disjoint union of a finite number of $\overline{k}$-rational points. By assumption (3) we can find an affine open $W \subset X_{\overline{k}}$ containing these points.

By Lemma 72.10.2 we see that $X_{k'}$ is a scheme for some finite extension $k'/k$. After enlarging $k'$ we may assume that there exists an affine open $U' \subset X_{k'}$ whose base change to $\overline{k}$ recovers $W$ (use that $X_{\overline{k}}$ is the limit of the schemes $X_{k''}$ for $k' \subset k'' \subset \overline{k}$ finite and use Limits, Lemmas 32.4.11 and 32.4.13). We may assume that $k'/k$ is a Galois extension (take the normal closure Fields, Lemma 9.16.3 and use that $k$ is perfect). Set $G = \text{Gal}(k'/k)$. By construction the $G$-invariant closed subscheme $\mathop{\mathrm{Spec}}(l) \times _ X X_{k'}$ is contained in $U'$. Thus $x$ is in the schematic locus by Lemmas 72.10.3 and 72.10.4. $\square$

Comments (2)

Comment #6994 by Laurent Moret-Bailly on

Condition (3): "are contained" should be "is contained".

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0B88. Beware of the difference between the letter 'O' and the digit '0'.