Lemma 80.11.4. Let $S$ be a scheme. Let $a : F \to G$ and $b : G \to H$ be transformations of functors $(\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Assume
$F, G, H$ are sheaves,
$a : F \to G$ is representable by algebraic spaces, flat, locally of finite presentation, and surjective, and
$b \circ a : F \to H$ is representable by algebraic spaces.
Then $b$ is representable by algebraic spaces.
Proof. Let $U$ be a scheme over $S$ and let $\xi \in H(U)$. We have to show that $U \times _{\xi , H} G$ is an algebraic space. On the other hand, we know that $U \times _{\xi , H} F$ is an algebraic space and that $U \times _{\xi , H} F \to U \times _{\xi , H} G$ is representable by algebraic spaces, flat, locally of finite presentation, and surjective as a base change of the morphism $a$ (see Lemma 80.4.2). Thus the result follows from Theorem 80.10.1. $\square$
Comments (0)