Lemma 64.8.2. Let $S \in \mathop{\mathrm{Ob}}\nolimits (\mathit{Sch}_{fppf})$. Let $U \in \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$. Given a set $I$ and sheaves $F_ i$ on $\mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$, if $U \cong \coprod _{i\in I} F_ i$ as sheaves, then each $F_ i$ is representable by an open and closed subscheme $U_ i$ and $U \cong \coprod U_ i$ as schemes.

Proof. By Lemma 64.8.1 the map $F_ i \to U$ is representable by open and closed immersions. Hence $F_ i$ is representable by an open and closed subscheme $U_ i$ of $U$. We have $U = \coprod U_ i$ because we have $U \cong \coprod F_ i$ as sheaves and we can test the equality on points. $\square$

There are also:

• 10 comment(s) on Section 64.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).