## 32.9 Finite type closed in finite presentation

A result of this type is [Satz 2.10, Kiehl]. Another reference is .

Lemma 32.9.1. Let $f : X \to S$ be a morphism of schemes. Assume:

1. The morphism $f$ is locally of finite type.

2. The scheme $X$ is quasi-compact and quasi-separated.

Then there exists a morphism of finite presentation $f' : X' \to S$ and an immersion $X \to X'$ of schemes over $S$.

Proof. By Proposition 32.5.4 we can write $X = \mathop{\mathrm{lim}}\nolimits _ i X_ i$ with each $X_ i$ of finite type over $\mathbf{Z}$ and with transition morphisms $f_{ii'} : X_ i \to X_{i'}$ affine. Consider the commutative diagram

$\xymatrix{ X \ar[r] \ar[rd] & X_{i, S} \ar[r] \ar[d] & X_ i \ar[d] \\ & S \ar[r] & \mathop{\mathrm{Spec}}(\mathbf{Z}) }$

Note that $X_ i$ is of finite presentation over $\mathop{\mathrm{Spec}}(\mathbf{Z})$, see Morphisms, Lemma 29.21.9. Hence the base change $X_{i, S} \to S$ is of finite presentation by Morphisms, Lemma 29.21.4. Thus it suffices to show that the arrow $X \to X_{i, S}$ is an immersion for $i$ sufficiently large.

To do this we choose a finite affine open covering $X = V_1 \cup \ldots \cup V_ n$ such that $f$ maps each $V_ j$ into an affine open $U_ j \subset S$. Let $h_{j, a} \in \mathcal{O}_ X(V_ j)$ be a finite set of elements which generate $\mathcal{O}_ X(V_ j)$ as an $\mathcal{O}_ S(U_ j)$-algebra, see Morphisms, Lemma 29.15.2. By Lemmas 32.4.11 and 32.4.13 (after possibly shrinking $I$) we may assume that there exist affine open coverings $X_ i = V_{1, i} \cup \ldots \cup V_{n, i}$ compatible with transition maps such that $V_ j = \mathop{\mathrm{lim}}\nolimits _ i V_{j, i}$. By Lemma 32.4.7 we can choose $i$ so large that each $h_{j, a}$ comes from an element $h_{j, a, i} \in \mathcal{O}_{X_ i}(V_{j, i})$. Thus the arrow in

$V_ j \longrightarrow U_ j \times _{\mathop{\mathrm{Spec}}(\mathbf{Z})} V_{j, i} = (V_{j, i})_{U_ j} \subset (V_{j, i})_ S \subset X_{i, S}$

is a closed immersion. Since $\bigcup (V_{j, i})_{U_ j}$ forms an open of $X_{i, S}$ and since the inverse image of $(V_{j, i})_{U_ j}$ in $X$ is $V_ j$ it follows that $X \to X_{i, S}$ is an immersion. $\square$

Remark 32.9.2. We cannot do better than this if we do not assume more on $S$ and the morphism $f : X \to S$. For example, in general it will not be possible to find a closed immersion $X \to X'$ as in the lemma. The reason is that this would imply that $f$ is quasi-compact which may not be the case. An example is to take $S$ to be infinite dimensional affine space with $0$ doubled and $X$ to be one of the two infinite dimensional affine spaces.

Lemma 32.9.3. Let $f : X \to S$ be a morphism of schemes. Assume:

1. The morphism $f$ is of locally of finite type.

2. The scheme $X$ is quasi-compact and quasi-separated, and

3. The scheme $S$ is quasi-separated.

Then there exists a morphism of finite presentation $f' : X' \to S$ and a closed immersion $X \to X'$ of schemes over $S$.

Proof. By Lemma 32.9.1 above there exists a morphism $Y \to S$ of finite presentation and an immersion $i : X \to Y$ of schemes over $S$. For every point $x \in X$, there exists an affine open $V_ x \subset Y$ such that $i^{-1}(V_ x) \to V_ x$ is a closed immersion. Since $X$ is quasi-compact we can find finitely may affine opens $V_1, \ldots , V_ n \subset Y$ such that $i(X) \subset V_1 \cup \ldots \cup V_ n$ and $i^{-1}(V_ j) \to V_ j$ is a closed immersion. In other words such that $i : X \to X' = V_1 \cup \ldots \cup V_ n$ is a closed immersion of schemes over $S$. Since $S$ is quasi-separated and $Y$ is quasi-separated over $S$ we deduce that $Y$ is quasi-separated, see Schemes, Lemma 26.21.12. Hence the open immersion $X' = V_1 \cup \ldots \cup V_ n \to Y$ is quasi-compact. This implies that $X' \to Y$ is of finite presentation, see Morphisms, Lemma 29.21.6. We conclude since then $X' \to Y \to S$ is a composition of morphisms of finite presentation, and hence of finite presentation (see Morphisms, Lemma 29.21.3). $\square$

Lemma 32.9.4. Let $X \to Y$ be a closed immersion of schemes. Assume $Y$ quasi-compact and quasi-separated. Then $X$ can be written as a directed limit $X = \mathop{\mathrm{lim}}\nolimits X_ i$ of schemes over $Y$ where $X_ i \to Y$ is a closed immersion of finite presentation.

Proof. Let $\mathcal{I} \subset \mathcal{O}_ Y$ be the quasi-coherent sheaf of ideals defining $X$ as a closed subscheme of $Y$. By Properties, Lemma 28.22.3 we can write $\mathcal{I}$ as a directed colimit $\mathcal{I} = \mathop{\mathrm{colim}}\nolimits _{i \in I} \mathcal{I}_ i$ of its quasi-coherent sheaves of ideals of finite type. Let $X_ i \subset Y$ be the closed subscheme defined by $\mathcal{I}_ i$. These form an inverse system of schemes indexed by $I$. The transition morphisms $X_ i \to X_{i'}$ are affine because they are closed immersions. Each $X_ i$ is quasi-compact and quasi-separated since it is a closed subscheme of $Y$ and $Y$ is quasi-compact and quasi-separated by our assumptions. We have $X = \mathop{\mathrm{lim}}\nolimits _ i X_ i$ as follows directly from the fact that $\mathcal{I} = \mathop{\mathrm{colim}}\nolimits _{i \in I} \mathcal{I}_ a$. Each of the morphisms $X_ i \to Y$ is of finite presentation, see Morphisms, Lemma 29.21.7. $\square$

Lemma 32.9.5. Let $f : X \to S$ be a morphism of schemes. Assume

1. The morphism $f$ is of locally of finite type.

2. The scheme $X$ is quasi-compact and quasi-separated, and

3. The scheme $S$ is quasi-separated.

Then $X = \mathop{\mathrm{lim}}\nolimits X_ i$ where the $X_ i \to S$ are of finite presentation, the $X_ i$ are quasi-compact and quasi-separated, and the transition morphisms $X_{i'} \to X_ i$ are closed immersions (which implies that $X \to X_ i$ are closed immersions for all $i$).

Proof. By Lemma 32.9.3 there is a closed immersion $X \to Y$ with $Y \to S$ of finite presentation. Then $Y$ is quasi-separated by Schemes, Lemma 26.21.12. Since $X$ is quasi-compact, we may assume $Y$ is quasi-compact by replacing $Y$ with a quasi-compact open containing $X$. We see that $X = \mathop{\mathrm{lim}}\nolimits X_ i$ with $X_ i \to Y$ a closed immersion of finite presentation by Lemma 32.9.4. The morphisms $X_ i \to S$ are of finite presentation by Morphisms, Lemma 29.21.3. $\square$

Proposition 32.9.6. Let $f : X \to S$ be a morphism of schemes. Assume

1. $f$ is of finite type and separated, and

2. $S$ is quasi-compact and quasi-separated.

Then there exists a separated morphism of finite presentation $f' : X' \to S$ and a closed immersion $X \to X'$ of schemes over $S$.

Proof. Apply Lemma 32.9.5 and note that $X_ i \to S$ is separated for large $i$ by Lemma 32.4.17 as we have assumed that $X \to S$ is separated. $\square$

Lemma 32.9.7. Let $f : X \to S$ be a morphism of schemes. Assume

1. $f$ is finite, and

2. $S$ is quasi-compact and quasi-separated.

Then there exists a morphism which is finite and of finite presentation $f' : X' \to S$ and a closed immersion $X \to X'$ of schemes over $S$.

Proof. We may write $X = \mathop{\mathrm{lim}}\nolimits X_ i$ as in Lemma 32.9.5. Applying Lemma 32.4.19 we see that $X_ i \to S$ is finite for large enough $i$. $\square$

Lemma 32.9.8. Let $f : X \to S$ be a morphism of schemes. Assume

1. $f$ is finite, and

2. $S$ quasi-compact and quasi-separated.

Then $X$ is a directed limit $X = \mathop{\mathrm{lim}}\nolimits X_ i$ where the transition maps are closed immersions and the objects $X_ i$ are finite and of finite presentation over $S$.

Proof. We may write $X = \mathop{\mathrm{lim}}\nolimits X_ i$ as in Lemma 32.9.5. Applying Lemma 32.4.19 we see that $X_ i \to S$ is finite for large enough $i$. $\square$

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