Lemma 79.3.5. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F, G : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Let $a : F \to G$ be representable by algebraic spaces. Then $\Delta _{F/G} : F \to F \times _ G F$ is representable by algebraic spaces.

Proof. (Same as the proof of Spaces, Lemma 64.3.6.) Let $U$ be a scheme. Let $\xi = (\xi _1, \xi _2) \in (F \times _ G F)(U)$. Set $\xi ' = a(\xi _1) = a(\xi _2) \in G(U)$. By assumption there exist an algebraic space $V$ and a morphism $V \to U$ representing the fibre product $U \times _{\xi ', G} F$. In particular, the elements $\xi _1, \xi _2$ give morphisms $f_1, f_2 : U \to V$ over $U$. Because $V$ represents the fibre product $U \times _{\xi ', G} F$ and because $\xi ' = a \circ \xi _1 = a \circ \xi _2$ we see that if $g : U' \to U$ is a morphism then

$g^*\xi _1 = g^*\xi _2 \Leftrightarrow f_1 \circ g = f_2 \circ g.$

In other words, we see that $U \times _{\xi , F \times _ G F} F$ is represented by $V \times _{\Delta , V \times V, (f_1, f_2)} U$ which is an algebraic space. $\square$

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