Lemma 70.23.3. In Situation 70.23.1. Let $X \to B$ be a quasi-separated and finite type morphism of algebraic spaces. Given $i \in I$ and a diagram
as in (70.23.2.1) for $i' \geq i$ let $X_{i'}$ be the scheme theoretic image of $X \to B_{i'} \times _{B_ i} W$. Then $X = \mathop{\mathrm{lim}}\nolimits _{i' \geq i} X_{i'}$.
Proof. Since $X$ is quasi-compact and quasi-separated formation of the scheme theoretic image of $X \to B_{i'} \times _{B_ i} W$ commutes with étale localization (Morphisms of Spaces, Lemma 67.16.3). Hence we may and do assume $W$ is affine and maps into an affine $U_ i$ étale over $B_ i$. Then
where $U_{i'} = B_{i'} \times _{B_ i} U_ i$ is affine as the transition morphisms are affine. Thus the lemma follows from the case of schemes which is Limits, Lemma 32.22.3. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)