## Tag `02X4`

Chapter 56: Algebraic Spaces > Section 56.13: Separation conditions on algebraic spaces

Lemma 56.13.1. Let $S$ be a scheme contained in $\textit{Sch}_{fppf}$. Let $F$ be an algebraic space over $S$. Let $\Delta : F \to F \times F$ be the diagonal morphism. Then

- $\Delta$ is locally of finite type,
- $\Delta$ is a monomorphism,
- $\Delta$ is separated, and
- $\Delta$ is locally quasi-finite.

Proof.Let $F = U/R$ be a presentation of $F$. As in the proof of Lemma 56.10.4 the diagram $$ \xymatrix{ R \ar[r] \ar[d]_j & F \ar[d]^\Delta \\ U \times_S U \ar[r] & F \times F } $$ is cartesian. Hence according to Lemma 56.11.4 it suffices to show that $j$ has the properties listed in the lemma. (Note that each of the properties (1) – (4) occur in the lists of Remarks 56.4.1 and 56.4.3.) Since $j$ is an equivalence relation it is a monomorphism. Hence it is separated by Schemes, Lemma 25.23.3. As $R$ is an étale equivalence relation we see that $s, t : R \to U$ are étale. Hence $s, t$ are locally of finite type. Then it follows from Morphisms, Lemma 28.14.8 that $j$ is locally of finite type. Finally, as it is a monomorphism its fibres are finite. Thus we conclude that it is locally quasi-finite by Morphisms, Lemma 28.19.7. $\square$

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

```
\begin{lemma}
\label{lemma-properties-diagonal}
Let $S$ be a scheme contained in $\Sch_{fppf}$.
Let $F$ be an algebraic space over $S$.
Let $\Delta : F \to F \times F$ be the diagonal morphism.
Then
\begin{enumerate}
\item $\Delta$ is locally of finite type,
\item $\Delta$ is a monomorphism,
\item $\Delta$ is separated, and
\item $\Delta$ is locally quasi-finite.
\end{enumerate}
\end{lemma}
\begin{proof}
Let $F = U/R$ be a presentation of $F$.
As in the proof of Lemma \ref{lemma-presentation-quasi-compact} the diagram
$$
\xymatrix{
R \ar[r] \ar[d]_j & F \ar[d]^\Delta \\
U \times_S U \ar[r] & F \times F
}
$$
is cartesian. Hence according to
Lemma \ref{lemma-representable-morphisms-spaces-property}
it suffices to show that $j$ has the properties listed in the lemma.
(Note that each of the properties (1) -- (4) occur in the lists
of Remarks \ref{remark-list-properties-stable-base-change}
and \ref{remark-list-properties-fpqc-local-base}.)
Since $j$ is an equivalence relation it is a monomorphism.
Hence it is separated by
Schemes, Lemma \ref{schemes-lemma-monomorphism-separated}.
As $R$ is an \'etale equivalence relation we see that
$s, t : R \to U$ are \'etale. Hence $s, t$ are locally of finite
type. Then it follows from
Morphisms, Lemma \ref{morphisms-lemma-permanence-finite-type} that
$j$ is locally of finite type. Finally, as it is a monomorphism
its fibres are finite. Thus we conclude that it is locally quasi-finite by
Morphisms, Lemma \ref{morphisms-lemma-finite-fibre}.
\end{proof}
```

## Comments (0)

## Add a comment on tag `02X4`

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.

There are no comments yet for this tag.