Lemma 63.8.4. Let $S \in \mathop{\mathrm{Ob}}\nolimits (\mathit{Sch}_{fppf})$. Suppose given a set $I$ and algebraic spaces $F_ i$, $i \in I$. Then $F = \coprod _{i \in I} F_ i$ is an algebraic space provided $I$, and the $F_ i$ are not too “large”: for example if we can choose surjective étale morphisms $U_ i \to F_ i$ such that $\coprod _{i \in I} U_ i$ is isomorphic to an object of $(\mathit{Sch}/S)_{fppf}$, then $F$ is an algebraic space.

Proof. By construction $F$ is a sheaf. We omit the verification that the diagonal morphism of $F$ is representable. Finally, if $U$ is an object of $(\mathit{Sch}/S)_{fppf}$ isomorphic to $\coprod _{i \in I} U_ i$ then it is straightforward to verify that the resulting map $U \to \coprod F_ i$ is surjective and étale. $\square$

There are also:

• 8 comment(s) on Section 63.8: Glueing algebraic spaces

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