Suppose $f: X\rightarrow S$ is of finite type, S is Noetherian. Now X=Spec B is affine, but the morphism f is not an affine morphism. S is not affine (or really f does not factor through any affine subscheme on S), nor is S of finite type over $\mathbb Z$. Now my question is, can we have an immersion of $X\rightarrow \mathbb{A}^n_S$ as S schemes?

Remark: If S is affine this is trivial. Moreover when f is an affine morphism I think it can also be done. When S is of finite type over $\mathbb Z$ by transitivity of finite type we get a map $X\rightarrow \mathbb{A}^n_{\mathbb Z}$ therefore by universal property of fiber product we get a map $X\rightarrow \mathbb{A}^n_S$.


As noticed by Mattia, you have to suppose $f$ affine. Now under the further assumption that $S$ is separated and $X$ is affine, there exists a closed immersion as you want (Mattia's arguments then work): for any affine open subset $V$ of $S$, the canonical morphism $$f^{-1}(V)=X\times_S V\to X\times_{\mathbb Z} V$$ is a closed immersion because $S$ is separated. As $X$ is also affine, we get a surjective map $O(X)\otimes_{\mathbb Z} O(V)\to O(f^{-1}(V))$. Choose sufficiently many elements $a_1,\dots, a_n\in O(X)$ so they generate $O(f^{-1}(V_i))$ over $O(V_i)$ for a finite affine covering of $S$. Then the natural map $O_S[x_1,\dots, x_n]\to f_*O_X$ sending $x_i$ to $a_i$ is surjective and induces a closed immersion of $X$ in $\mathbb A^n_S$.

[EDIT] I just remembered that if $S$ is separated and $X$ is affine, then the above reasoning implies that any morphism $X\to S$ is affine. I should say that I learned this fact from V. Berkovich.

[EDIT2] The case when $S$ is not necessarily separated.

Let $S$ be a quasi-compact scheme and let $f : X\to S$ be a morphism of finite type from an affine scheme $X=\mathrm{Spec}(B)$ to $S$. Then there exists an immersion of $S$-schemes $X\to \mathbb A^n_S$.

Proof: First note that $f$ is separated because $X$ is separated, and $f$ is quasi-compact by hypothesis. So $f_*O_X$ is quasi-coherent on $S$. We are going to construct a morphism of quasi-coherent algebras $O_S[x_1,\dots, x_n]\to f_*O_X$ which will induce an immersion $X\to {\mathrm{Spec}}(f_*O_X)\to \mathbb A^n_S$.

Let $V$ be an affine open subset of $S$. Then $X_V$ can be covered by a finite number of principal open subsets $D_X(b_1),\dots, D_X(b_m)$ of $X$ and there exist $c_1,\dots, c_r\in B$ such that $B_{b_i}=O(V)[c_1,\dots, c_r, b_i^{-1}]$ for all $i\le m$. By taking a finite affine covering of $S$, we find $a_1,\dots, a_n\in B$ such that for any open subset $V$ of this covering, $X_V$ is covered by some $D_X(a_i)$'s and each of these $O(D_X(a_i))$ is generated over $O(V)$ by the $a_j$'s and $a_i^{-1}$.

Use $a_1, \dots, a_n$ to construct a morphism $O_{S}[x_1,\dots, x_n]\to f_*O_X$ sending $x_i$ to $a_i$. Let us show that the induced morphism $\tau : X\to \mathbb A^n_S$ is an immersion. It is enough to check this over an affine open subset $V$ in the above covering of $S$. So consider $\tau_V : X_V\to \mathbb A^n_V$. Suppose that $X_V$ is covered by $a_1,\dots, a_m$. Then $$\tau_V(X_V)\subseteq \cup_{1\le i \le m} D_{\mathbb A^n_V}(x_i).$$
Moreover, $\tau_V^{-1}(D_{\mathbb A^n_V}(x_i))=X_V\cap D_X(a_i)=D_X(a_i)$ and $O(D_{\mathbb A^n_V}(x_i))\to D_X(a_i)$ is surjective by construction. So $\tau_V$ is a closed immersion into $\cup_{1\le i \le m} D_{\mathbb A^n_V}(x_i)$ and $\tau$ is an immersion (closed immersion into an open subscheme and also an open immersion into a closed subscheme because $f$ is quasi-compact).

| cite | improve this answer | |
  • $\begingroup$ @Qing: Thanks, this completes resolves the problem when S is separated. $\endgroup$ – Ying Zhang Feb 15 '11 at 1:59

If by "immersion" you mean closed immersion (and I think you do), then the answer is no, unless the morphism $X\to S$ is affine: a closed immersion is affine, and $\mathbb{A}^n_S\to S$ is also affine, so if your immersion exists, then the composite $f:X\to S$ is affine.

On the other hand if $f$ is affine, then $f_*\mathcal{O}_X$ has a surjective morphism from some $\mathcal{O}_S[x_1,\dots,x_n]$ (as sheaves of $\mathcal{O}_S$-algebras), and the induced map between the relative spectra gives your closed immersion.

(notice that the fact that $X$ is an affine scheme is irrelevant)

| cite | improve this answer | |
  • $\begingroup$ Dear Mattia, thanks for your response. I am sorry for the confusion, but I actually am not looking for a closed immersion. E.g $A^1\rightarrow P^1$ would be a counterexample such that this kind of closed immersion can not be realized. $\endgroup$ – Ying Zhang Feb 15 '11 at 0:30
  • $\begingroup$ Note that a morphism $O_S[x_1,\dots, x_n]\to f_*O_X$ is always induces by global sections of $O_X$. So if $O(X)$ is ''small'' (e.g. $S$ is defined over a field $K$ and $O(X)=K$), then such a morphism is not surjective unless $f$ is already a closed immersion. $\endgroup$ – Qing Liu Feb 15 '11 at 0:33
  • $\begingroup$ You're (obviously) right, I was kind of careless :) $\endgroup$ – Mattia Talpo Feb 15 '11 at 10:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.