Lemma 65.7.2. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $H$ be a sheaf on $(\mathit{Sch}/S)_{fppf}$ whose diagonal is representable. Let $F, G$ be algebraic spaces over $S$. Let $F \to H$, $G \to H$ be maps of sheaves. Then $F \times _ H G$ is an algebraic space.
Proof. We check the 3 conditions of Definition 65.6.1. A fibre product of sheaves is a sheaf, hence $F \times _ H G$ is a sheaf. The diagonal of $F \times _ H G$ is the left vertical arrow in
which is cartesian. Hence $\Delta $ is representable as the base change of the morphism on the right which is representable, see Lemmas 65.3.4 and 65.3.3. Finally, let $U, V \in \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$ and $a : U \to F$, $b : V \to G$ be surjective and étale. As $\Delta _ H$ is representable, we see that $U \times _ H V$ is a scheme. The morphism
is surjective and étale as a composition of the base changes $U \times _ H V \to U \times _ H G$ and $U \times _ H G \to F \times _ H G$ of the étale surjective morphisms $U \to F$ and $V \to G$, see Lemmas 65.3.2 and 65.3.3. This proves the last condition of Definition 65.6.1 holds and we conclude that $F \times _ H G$ is an algebraic space. $\square$
Comments (0)