The Stacks project

Lemma 80.3.3. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $\mathcal{I} \to (\mathit{Sch}/S)_{fppf}$, $i \mapsto X_ i$ be a diagram of algebraic spaces over $B$. Let $(X, X_ i \to X)$ be a cocone for the diagram in the category of algebraic spaces over $B$ (Categories, Remark 4.14.5). Assume that

  1. the base change functor $X_{spaces, étale} \to \mathop{\mathrm{lim}}\nolimits X_{i, spaces, {\acute{e}tale}}$, sending $U$ to $U_ i = X_ i \times _ X U$ is an equivalence,

  2. given

    1. $B'$ affine and étale over $B$,

    2. $Z$ an affine scheme over $B'$,

    3. $U \to X \times _ B B'$ an étale morphism of algebraic spaces with $U$ affine,

    4. $f_ i : U_ i \to Z$ a cocone over $B'$ of the diagram $i \mapsto U_ i = U \times _ X X_ i$,

    there exists a unique morphism $f : U \to Z$ over $B'$ such that $f_ i$ equals the composition $U_ i \to U \to Z$.

Then $X = \mathop{\mathrm{colim}}\nolimits X_ i$ in the category of all algebraic spaces over $B$.

Proof. In this paragraph we reduce to the case where $B$ is an affine scheme. Let $B' \to B$ be an étale morphism of algebraic spaces. Observe that conditions (1) and (2) are preserved if we replace $B$, $X_ i$, $X$ by $B'$, $X_ i \times _ B B'$, $X \times _ B B'$. Let $\{ B_ a \to B\} _{a \in A}$ be an étale covering with $B_ a$ affine, see Properties of Spaces, Lemma 65.6.1. For $a \in A$ denote $X_ a$, $X_{a, i}$ the base changes of $X$ and the diagram to $B_ a$. For $a, b \in A$ denote $X_{a, b}$ and $X_{a, b, i}$ the base changes of $X$ and the diagram to $B_ a \times _ B B_ b$. By Lemma 80.3.2 it suffices to prove that $X_ a = \mathop{\mathrm{colim}}\nolimits X_{a, i}$ and $X_{a, b} = \mathop{\mathrm{colim}}\nolimits X_{a, b, i}$. This reduces us to the case where $B = B_ a$ (an affine scheme) or $B = B_ a \times _ B B_ b$ (a separated scheme). Repeating the argument once more, we conclude that we may assume $B$ is an affine scheme (this uses that the intersection of affine opens in a separated scheme is affine).

Assume $B$ is an affine scheme. Let $Z$ be an algebraic space over $B$. We have to show

\[ \mathop{\mathrm{Mor}}\nolimits _ B(X, Z) \longrightarrow \mathop{\mathrm{lim}}\nolimits \mathop{\mathrm{Mor}}\nolimits _ B(X_ i, Z) \]

is a bijection.

Proof of injectivity. Let $f, g : X \to Z$ be morphisms such that the compositions $f_ i, g_ i : X_ i \to Z$ are the same for all $i$. Choose an affine scheme $Z'$ and an étale morphism $Z' \to Z$. By Properties of Spaces, Lemma 65.6.1 we know we can cover $Z$ by such affines. Set $U = X \times _{f, Z} Z'$ and $U' = X \times _{g, Z} Z'$ and denote $p : U \to X$ and $p' : U' \to X$ the projections. Since $f_ i = g_ i$ for all $i$, we see that

\[ U_ i = X_ i \times _{f_ i, Z} Z' = X_ i \times _{g_ i, Z} Z' = U'_ i \]

compatible with transition morphisms. By (1) there is a unique isomorphism $\epsilon : U \to U'$ as algebraic spaces over $X$, i.e., with $p = p' \circ \epsilon $ which is compatible with the displayed identifications. Choose an étale covering $\{ h_ a : U_ a \to U\} $ with $U_ a$ affine. By (2) we see that $f \circ p \circ h_ a = g \circ p' \circ \epsilon \circ h_ a = g \circ p \circ h_ a$. Since $\{ h_ a : U_ a \to U\} $ is an étale covering we conclude $f \circ p = g \circ p$. Since the collection of morphisms $p : U \to X$ we obtain in this manner is an étale covering, we conclude that $f = g$.

Proof of surjectivity. Let $f_ i : X_ i \to Z$ be an element of the right hand side of the displayed arrow in the first paragraph of the proof. It suffices to find an étale covering $\{ U_ c \to X\} _{c \in C}$ such that the families $f_{c, i} \in \mathop{\mathrm{lim}}\nolimits _ i \mathop{\mathrm{Mor}}\nolimits _ B(X_ i \times _ X U_ c, Z)$ come from morphisms $f_ c : U_ c \to Z$. Namely, by the uniqueness proved above the morphisms $f_ c$ will agree on $U_ c \times _ X U_ b$ and hence will descend to give the desired morphism $f : X \to Z$. To find our covering, we first choose an étale covering $\{ g_ a : Z_ a \to Z\} _{a \in A}$ where each $Z_ a$ is affine. Then we let $U_{a, i} = X_ i \times _{f_ i, Z} Z_ a$. By (1) we find $U_{a, i} = X_ i \times _ X U_ a$ for some algebraic spaces $U_ a$ étale over $X$. Then we choose étale coverings $\{ U_{a, b} \to U_ a\} _{b \in B_ a}$ with $U_{a, b}$ affine and we consider the morphisms

\[ U_{a, b, i} = X_ i \times _ X U_{a, b} \to X_ i \times _ X U_ a = X_ i \times _{f_ i, Z} Z_ a \to Z_ a \]

By (2) we obtain morphisms $f_{a, b} : U_{a, b} \to Z_ a$ compatible with these morphisms. Setting $C = \coprod _{a \in A} B_ a$ and for $c \in C$ corresponding to $b \in B_ a$ setting $U_ c = U_{a, b}$ and $f_ c = g_ a \circ f_{a, b} : U_ c \to Z$ we conclude. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 80.3: Colimits of algebraic spaces

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0GHL. Beware of the difference between the letter 'O' and the digit '0'.