The Stacks project

Proof. By Lemma 64.10.3 it suffices to prove that $U/R$ is an algebraic space. Let $U' \to U$ be a surjective, étale morphism. Then $\{ U' \to U\} $ is in particular an fppf covering. Let $R'$ be the restriction of $R$ to $U'$, see Groupoids, Definition 39.3.3. According to Groupoids, Lemma 39.20.6 we see that $U/R \cong U'/R'$. By Lemma 64.10.1 $R'$ is an étale equivalence relation on $U'$. Thus we may replace $U$ by $U'$.

We apply the previous remark to $U' = \coprod U_ i$, where $U = \bigcup U_ i$ is an affine open covering of $S$. Hence we may and do assume that $U = \coprod U_ i$ where each $U_ i$ is an affine scheme.

Consider the restriction $R_ i$ of $R$ to $U_ i$. By Lemma 64.10.1 this is an étale equivalence relation. Set $F_ i = U_ i/R_ i$ and $F = U/R$. It is clear that $\coprod F_ i \to F$ is surjective. By Lemma 64.10.2 each $F_ i \to F$ is representable, and an open immersion. By Lemma 64.10.4 applied to $(U_ i, R_ i)$ we see that $F_ i$ is an algebraic space. Then by Lemma 64.10.3 we see that $U_ i \to F_ i$ is étale and surjective. From Lemma 64.8.4 it follows that $\coprod F_ i$ is an algebraic space. Finally, we have verified all hypotheses of Lemma 64.8.5 and it follows that $F = U/R$ is an algebraic space. $\square$