## Tag `0B8A`

Chapter 67: More on Morphisms of Spaces > Section 67.4: Monomorphisms

Lemma 67.4.1 (David Rydh). A flat monomorphism of algebraic spaces is representable by schemes.

Proof.Let $f : X \to Y$ be a flat monomorphism of algebraic spaces. To prove $f$ is representable, we have to show $X \times_Y V$ is a scheme for every scheme $V$ mapping to $Y$. Since being a scheme is local (Properties of Spaces, Lemma 57.12.1), we may assume $V$ is affine. Thus we may assume $Y = \mathop{\mathrm{Spec}}(B)$ is an affine scheme. Next, we can assume that $X$ is quasi-compact by replacing $X$ by a quasi-compact open. The space $X$ is separated as $X \to X \times_{\mathop{\mathrm{Spec}}(B)} X$ is an isomorphism. Applying Limits of Spaces, Lemma 61.17.3 we reduce to the case where $B$ is local, $X \to \mathop{\mathrm{Spec}}(B)$ is a flat monomorphism, and there exists a point $x \in X$ mapping to the closed point of $\mathop{\mathrm{Spec}}(B)$. Then $X \to \mathop{\mathrm{Spec}}(B)$ is surjective as generalizations lift along flat morphisms of separated algebraic spaces, see Decent Spaces, Lemma 59.7.3. Hence we see that $\{X \to \mathop{\mathrm{Spec}}(B)\}$ is an fpqc cover. Then $X \to \mathop{\mathrm{Spec}}(B)$ is a morphism which becomes an isomorphism after base change by $X \to \mathop{\mathrm{Spec}}(B)$. Hence it is an isomorphism by fpqc descent, see Descent on Spaces, Lemma 65.10.15. $\square$

The code snippet corresponding to this tag is a part of the file `spaces-more-morphisms.tex` and is located in lines 286–289 (see updates for more information).

```
\begin{lemma}[David Rydh]
\label{lemma-flat-case}
A flat monomorphism of algebraic spaces is representable by schemes.
\end{lemma}
\begin{proof}
Let $f : X \to Y$ be a flat monomorphism of algebraic spaces.
To prove $f$ is representable, we have to show
$X \times_Y V$ is a scheme for every scheme $V$ mapping to $Y$.
Since being a scheme is local (Properties of Spaces,
Lemma \ref{spaces-properties-lemma-subscheme}), we may
assume $V$ is affine. Thus we may assume $Y = \Spec(B)$
is an affine scheme. Next, we can assume that $X$ is quasi-compact
by replacing $X$ by a quasi-compact open. The space $X$ is
separated as $X \to X \times_{\Spec(B)} X$ is an isomorphism.
Applying Limits of Spaces, Lemma \ref{spaces-limits-lemma-enough-local}
we reduce to the case where $B$ is local, $X \to \Spec(B)$ is a
flat monomorphism, and
there exists a point $x \in X$ mapping to the closed point of $\Spec(B)$.
Then $X \to \Spec(B)$ is surjective as generalizations
lift along flat morphisms of separated algebraic spaces, see
Decent Spaces, Lemma \ref{decent-spaces-lemma-generalizations-lift-flat}.
Hence we see that $\{X \to \Spec(B)\}$ is an fpqc cover.
Then $X \to \Spec(B)$ is a morphism which becomes an isomorphism
after base change by $X \to \Spec(B)$. Hence it is an isomorphism by
fpqc descent, see Descent on Spaces, Lemma
\ref{spaces-descent-lemma-descending-property-isomorphism}.
\end{proof}
```

## Comments (4)

## Add a comment on tag `0B8A`

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.