Lemma 69.15.4. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $f$ is integral and induces a bijection $|X| \to |Y|$. Then $X$ is a scheme if and only if $Y$ is a scheme.

Proof. An integral morphism is representable by definition, hence if $Y$ is a scheme, so is $X$. Conversely, assume that $X$ is a scheme. Let $U \subset X$ be an affine open. An integral morphism is closed and $|f|$ is bijective, hence $|f|(|U|) \subset |Y|$ is open as the complement of $|f|(|X| \setminus |U|)$. Let $V \subset Y$ be the open subspace with $|V| = |f|(|U|)$, see Properties of Spaces, Lemma 65.4.8. Then $U \to V$ is integral and surjective, hence $V$ is an affine scheme by Proposition 69.15.2. This concludes the proof. $\square$

There are also:

• 1 comment(s) on Section 69.15: Characterizing affine spaces

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