The definition of an algebraic space is fppf local.
Lemma 80.11.1. Let $S$ be a scheme. Let $F : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$ be a functor. Let $\{ S_ i \to S\} _{i \in I}$ be a covering of $(\mathit{Sch}/S)_{fppf}$. Assume that
$F$ is a sheaf,
each $F_ i = h_{S_ i} \times F$ is an algebraic space, and
$\coprod _{i \in I} F_ i$ is an algebraic space (see Spaces, Lemma 65.8.4).
Then $F$ is an algebraic space.
Proof. Consider the morphism $\coprod F_ i \to F$. This is the base change of $\coprod S_ i \to S$ via $F \to S$. Hence it is representable, locally of finite presentation, flat and surjective by our definition of an fppf covering and Lemma 80.4.2. Thus Theorem 80.10.1 applies to show that $F$ is an algebraic space. $\square$
Comments (1)
Comment #1225 by David Corwin on