Lemma 32.7.3. Let $X \to S$ be an integral morphism with $S$ quasi-compact and quasi-separated. Then $X = \mathop{\mathrm{lim}}\nolimits X_ i$ with $X_ i \to S$ finite and of finite presentation.

Proof. Consider the sheaf $\mathcal{A} = f_*\mathcal{O}_ X$. This is a quasi-coherent sheaf of $\mathcal{O}_ S$-algebras, see Schemes, Lemma 26.24.1. Combining Properties, Lemma 28.22.13 we can write $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{A}_ i$ as a filtered colimit of finite and finitely presented $\mathcal{O}_ S$-algebras. Then

$X_ i = \underline{\mathop{\mathrm{Spec}}}_ S(\mathcal{A}_ i) \longrightarrow S$

is a finite and finitely presented morphism of schemes. By construction $X = \mathop{\mathrm{lim}}\nolimits _ i X_ i$ which proves the lemma. $\square$

There are also:

• 6 comment(s) on Section 32.7: Relative approximation

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