The Stacks project

Serre's criterion for affineness in the setting of algebraic spaces.

Proposition 65.16.7. A quasi-compact and quasi-separated algebraic space is affine if and only if all higher cohomology groups of quasi-coherent sheaves vanish. More precisely, any algebraic space as in Situation 65.16.1 is an affine scheme.

Proof. Choose an affine scheme $U = \mathop{\mathrm{Spec}}(B)$ and a surjective ├ętale morphism $\varphi : U \to X$. Set $R = U \times _ X U$. As $p$ is separated (Lemma 65.16.6) we see that $R$ is a closed subscheme of $U \times _{\mathop{\mathrm{Spec}}(A)} U = \mathop{\mathrm{Spec}}(B \otimes _ A B)$. Hence $R = \mathop{\mathrm{Spec}}(C)$ is affine too and the ring map

\[ B \otimes _ A B \longrightarrow C \]

is surjective. Let us denote the two maps $s, t : B \to C$ as usual. Pick $g_1, \ldots , g_ m \in B$ such that $s(g_1), \ldots , s(g_ m)$ generate $C$ over $t : B \to C$ (which is possible as $t : B \to C$ is of finite presentation and the displayed map is surjective). Then $g_1, \ldots , g_ m$ give global sections of $\varphi _*\mathcal{O}_ U$ and the map

\[ \mathcal{O}_ X[z_1, \ldots , z_ n] \longrightarrow \varphi _*\mathcal{O}_ U, \quad z_ j \longmapsto g_ j \]

is surjective: you can check this by restricting to $U$. Namely, $\varphi ^*\varphi _*\mathcal{O}_ U = t_*\mathcal{O}_ R$ (by Lemma 65.11.2) hence you get exactly the condition that $s(g_ i)$ generate $C$ over $t : B \to C$. By the vanishing of $H^1$ of the kernel we see that

\[ \Gamma (X, \mathcal{O}_ X[x_1, \ldots , x_ n]) = A[x_1, \ldots , x_ n] \longrightarrow \Gamma (X, \varphi _*\mathcal{O}_ U) = \Gamma (U, \mathcal{O}_ U) = B \]

is surjective. Thus we conclude that $B$ is a finite type $A$-algebra. Hence $X \to \mathop{\mathrm{Spec}}(A)$ is of finite type and separated. By Lemma 65.16.5 and Morphisms of Spaces, Lemma 63.27.5 it is also locally quasi-finite. Hence $X \to \mathop{\mathrm{Spec}}(A)$ is representable by Morphisms of Spaces, Lemma 63.51.1 and $X$ is a scheme. Finally $X$ is affine, hence equal to $\mathop{\mathrm{Spec}}(A)$, by an application of Cohomology of Schemes, Lemma 29.3.1. $\square$


Comments (2)

Comment #897 by Kestutis Cesnavicius on

Suggested slogan: If a qcqs algebraic space over a scheme has vanishing quasi-coherent cohomology, then it is an affine scheme

Comment #908 by on

OK, the statement of this proposition needed an upgrade. I used your slogan to do this, then I added my own slogan. See here.


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 07V6. Beware of the difference between the letter 'O' and the digit '0'.