The Stacks project

Proof. We encourage the reader to look instead at Lemma 81.3.3 and its proof.

Let $Z$ be an algebraic space over $B$. Suppose that $f_ i : X_ i \to Z$ is a family of morphisms such that for each $i \to j$ the composition $X_ i \to X_ j \to Z$ is equal to $f_ i$. We have to construct a morphism of algebraic spaces $f : X \to Z$ over $B$ such that we can recover $f_ i$ as the composition $X_ i \to X \to Z$. Let $W \to Z$ be a surjective étale morphism of a scheme to $Z$. We may assume that $W$ is a disjoint union of affines and in particular we may assume that $W \to Z$ is separated and that $W$ is separated over $B$. For each $i$ set $U_ i = W \times _{Z, f_ i} X_ i$ and denote $h_ i : U_ i \to W$ the projection. Then $U_ i \to X_ i$ forms an object of $\mathop{\mathrm{lim}}\nolimits X_{i, spaces, {\acute{e}tale}}$ with $U_ i \to X_ i$ separated. By assumption (5) we can find a separated étale morphism $U \to X$ of algebraic spaces and (functorial) isomorphisms $U_ i = X_ i \times _ X U$. By assumption (4) there exists a morphism $h : U \to W$ over $B$ such that the compositions $U_ i \to U \to W$ are $h_ i$. Let $g : U \to Z$ be the composition of $h$ with the map $W \to Z$. To finish the proof we have to show that $g : U \to Z$ descends to a morphism $X \to Z$. To do this, consider the morphism $(h, h) : U \times _ X U \to W \times _ S W$. Composing with $U_ i \times _{X_ i} U_ i \to U \times _ X U$ we obtain $(h_ i, h_ i)$ which factors through $W \times _ Z W$. Since $U \times _ X U$ is the colimit of the algebraic spaces $U_ i \times _{X_ i} U_ i$ in the category of algebraic spaces separated over $B$ by (4) we see that $(h, h)$ factors through $W \times _ Z W$. Hence the two compositions $U \times _ X U \to U \to W \to Z$ are equal. Because each $U_ i \to X_ i$ is surjective and assumption (2) we see that $U \to X$ is surjective. As $Z$ is a sheaf for the étale topology, we conclude that $g : U \to Z$ descends to $f : X \to Z$ as desired. $\square$