Lemma 70.13.1. Let $S$ be a scheme. Let $f : U \to X$ be a morphism of algebraic spaces over $S$. Assume $U$ is an affine scheme, $f$ is locally of finite type, and $X$ quasi-separated and locally separated. Then there exists an immersion $U \to \mathbf{A}^ n_ X$ over $X$.
Proof. Say $U = \mathop{\mathrm{Spec}}(A)$. Write $A = \mathop{\mathrm{colim}}\nolimits A_ i$ as a filtered colimit of finite type $\mathbf{Z}$-subalgebras. For each $i$ the morphism $U \to U_ i = \mathop{\mathrm{Spec}}(A_ i)$ induces a morphism
\[ U \longrightarrow X \times U_ i \]
over $X$. In the limit the morphism $U \to X \times U$ is an immersion as $X$ is locally separated, see Morphisms of Spaces, Lemma 67.4.6. By Lemma 70.5.12 we see that $U \to X \times U_ i$ is an immersion for some $i$. Since $U_ i$ is isomorphic to a closed subscheme of $\mathbf{A}^ n_{\mathbf{Z}}$ the lemma follows. $\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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)