Lemma 87.18.1. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated formal algebraic space over $S$. Then $X = \mathop{\mathrm{colim}}\nolimits X_\lambda $ for a system of algebraic spaces $(X_\lambda , f_{\lambda \mu })$ over a directed set $\Lambda $ where each $f_{\lambda \mu } : X_\lambda \to X_\mu $ is a thickening.

[Proposition 3.32, Yasuda]

**Proof.**
By Lemma 87.17.1 we may choose an affine formal algebraic space $Y$ and a representable surjective étale morphism $Y \to X$. Write $Y = \mathop{\mathrm{colim}}\nolimits Y_\lambda $ as in Definition 87.9.1.

Pick $\lambda \in \Lambda $. Then $Y_\lambda \times _ X Y$ is a scheme by Lemma 87.9.11. The reduction (Lemma 87.12.1) of $Y_\lambda \times _ X Y$ is equal to the reduction of $Y_{red} \times _{X_{red}} Y_{red}$ which is quasi-compact as $X$ is quasi-separated and $Y_{red}$ is affine. Therefore $Y_\lambda \times _ X Y$ is a quasi-compact scheme. Hence there exists a $\mu \geq \lambda $ such that $\text{pr}_2 : Y_\lambda \times _ X Y \to Y$ factors through $Y_\mu $, see Lemma 87.9.4. Let $Z_\lambda $ be the scheme theoretic image of the morphism $\text{pr}_2 : Y_\lambda \times _ X Y \to Y_\mu $. This is independent of the choice of $\mu $ and we can and will think of $Z_\lambda \subset Y$ as the scheme theoretic image of the morphism $\text{pr}_2 : Y_\lambda \times _ X Y \to Y$. Observe that $Z_\lambda $ is also equal to the scheme theoretic image of the morphism $\text{pr}_1 : Y \times _ X Y_\lambda \to Y$ since this is isomorphic to the morphism used to define $Z_\lambda $. We claim that $Z_\lambda \times _ X Y = Y \times _ X Z_\lambda $ as subfunctors of $Y \times _ X Y$. Namely, since $Y \to X$ is étale we see that $Z_\lambda \times _ X Y$ is the scheme theoretic image of the morphism

by Morphisms of Spaces, Lemma 67.16.3. By the same token, $Y \times _ X Z_\lambda $ is the scheme theoretic image of the morphism

The claim follows. Then $R_\lambda = Z_\lambda \times _ X Y = Y \times _ X Z_\lambda $ together with the morphism $R_\lambda \to Z_\lambda \times _ S Z_\lambda $ defines an étale equivalence relation. In this way we obtain an algebraic space $X_\lambda = Z_\lambda /R_\lambda $. By construction the diagram

is cartesian (because $X$ is the coequalizer of the two projections $R = Y \times _ X Y \to Y$, because $Z_\lambda \subset Y$ is $R$-invariant, and because $R_\lambda $ is the restriction of $R$ to $Z_\lambda $). Hence $X_\lambda \to X$ is representable and a closed immersion, see Spaces, Lemma 65.11.5. On the other hand, since $Y_\lambda \subset Z_\lambda $ we see that $(X_\lambda )_{red} = X_{red}$, in other words, $X_\lambda \to X$ is a thickening. Finally, we claim that

We have $Y \times _ X X_\lambda = Z_\lambda \supset Y_\lambda $. Every morphism $T \to X$ where $T$ is a scheme over $S$ lifts étale locally to a morphism into $Y$ which lifts étale locally into a morphism into some $Y_\lambda $. Hence $T \to X$ lifts étale locally on $T$ to a morphism into $X_\lambda $. This finishes the proof. $\square$

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

## Comments (0)