Proof.
Set $Z = S \setminus V$. Choose affine opens $U_1, \ldots , U_ m \subset S$ such that $Z \subset \bigcup _{l = 1, \ldots , m} U_ l$. Consider the opens
\[ V \subset V \cup U_1 \subset V \cup U_1 \cup U_2 \subset \ldots \subset V \cup \bigcup \nolimits _{l = 1, \ldots , m} U_ l = S \]
If we can prove the lemma successively for each of the cases
\[ V \cup U_1 \cup \ldots \cup U_ l \subset V \cup U_1 \cup \ldots \cup U_{l + 1} \]
then the lemma will follow for $V \subset S$. In each case we are adding one affine open. Thus we may assume
$S = U \cup V$,
$U$ affine open in $S$,
$V$ quasi-compact open in $S$, and
$V = \mathop{\mathrm{lim}}\nolimits _ i V_ i$ with $(V_ i, f_{ii'})$ an inverse system over a directed set $I$, each $f_{ii'}$ affine and each $V_ i$ of finite type over $\mathbf{Z}$.
Denote $f_ i : V \to V_ i$ the projections. Set $W = U \cap V$. As $S$ is quasi-separated, this is a quasi-compact open of $V$. By Lemma 32.4.11 (and after shrinking $I$) we may assume that there exist opens $W_ i \subset V_ i$ such that $f_{ii'}^{-1}(W_{i'}) = W_ i$ and such that $f_ i^{-1}(W_ i) = W$. Since $W$ is a quasi-compact open of $U$ it is quasi-affine. Hence we may assume (after shrinking $I$ again) that $W_ i$ is quasi-affine for all $i$, see Lemma 32.4.12.
Write $U = \mathop{\mathrm{Spec}}(B)$. Set $R = \Gamma (W, \mathcal{O}_ W)$, and $R_ i = \Gamma (W_ i, \mathcal{O}_{W_ i})$. By Lemma 32.4.7 we have $R = \mathop{\mathrm{colim}}\nolimits _ i R_ i$. Now we have the maps of rings
\[ \xymatrix{ B \ar[r]_ s & R \\ & R_ i \ar[u]_{t_ i} } \]
We set $B_ i = \{ (b, r) \in B \times R_ i \mid s(b) = t_ i(r)\} $ so that we have a cartesian diagram
\[ \xymatrix{ B \ar[r]_ s & R \\ B_ i \ar[u] \ar[r] & R_ i \ar[u]_{t_ i} } \]
for each $i$. The transition maps $R_ i \to R_{i'}$ induce maps $B_ i \to B_{i'}$. It is clear that $B = \mathop{\mathrm{colim}}\nolimits _ i B_ i$. In the next paragraph we show that for all sufficiently large $i$ the composition $W_ i \to \mathop{\mathrm{Spec}}(R_ i) \to \mathop{\mathrm{Spec}}(B_ i)$ is an open immersion.
As $W$ is a quasi-compact open of $U = \mathop{\mathrm{Spec}}(B)$ we can find a finitely many elements $g_ l \in B$, $l = 1, \ldots , m$ such that $D(g_ l) \subset W$ and such that $W = \bigcup _{l = 1, \ldots , m} D(g_ l)$. Note that this implies $D(g_ l) = W_{s(g_ l)}$ as open subsets of $U$, where $W_{s(g_ l)}$ denotes the largest open subset of $W$ on which $s(g_ l)$ is invertible. Hence
\[ B_{g_ l} = \Gamma (D(g_ l), \mathcal{O}_ U) = \Gamma (W_{s(g_ l)}, \mathcal{O}_ W) = R_{s(g_ l)}, \]
where the last equality is Properties, Lemma 28.17.1. Since $W_{s(g_ l)}$ is affine this also implies that $D(s(g_ l)) = W_{s(g_ l)}$ as open subsets of $\mathop{\mathrm{Spec}}(R)$. Since $R = \mathop{\mathrm{colim}}\nolimits _ i R_ i$ we can (after shrinking $I$) assume there exist $g_{l, i} \in R_ i$ for all $i \in I$ such that $s(g_ l) = t_ i(g_{l, i})$. Of course we choose the $g_{l, i}$ such that $g_{l, i}$ maps to $g_{l, i'}$ under the transition maps $R_ i \to R_{i'}$. Then, by Lemma 32.4.11 we can (after shrinking $I$ again) assume the corresponding opens $D(g_{l, i}) \subset \mathop{\mathrm{Spec}}(R_ i)$ are contained in $W_ i$ for $l = 1, \ldots , m$ and cover $W_ i$. We conclude that the morphism $W_ i \to \mathop{\mathrm{Spec}}(R_ i) \to \mathop{\mathrm{Spec}}(B_ i)$ is an open immersion, see Lemma 32.5.2.
By Lemma 32.5.1 we can write $B_ i$ as a directed colimit of subalgebras $A_{i, p} \subset B_ i$, $p \in P_ i$ each of finite type over $\mathbf{Z}$ and such that $W_ i$ is identified with an open subscheme of $\mathop{\mathrm{Spec}}(A_{i, p})$. Let $S_{i, p}$ be the scheme obtained by glueing $V_ i$ and $\mathop{\mathrm{Spec}}(A_{i, p})$ along the open $W_ i$, see Schemes, Section 26.14. Here is the resulting commutative diagram of schemes:
\[ \xymatrix{ & & V \ar[lld] \ar[d] & W \ar[l] \ar[lld] \ar[d] \\ V_ i \ar[d] & W_ i \ar[l] \ar[d] & S \ar[lld] & U \ar[lld] \ar[l] \\ S_{i, p} & \mathop{\mathrm{Spec}}(A_{i, p}) \ar[l] } \]
The morphism $S \to S_{i, p}$ arises because the upper right square is a pushout in the category of schemes. Note that $S_{i, p}$ is of finite type over $\mathbf{Z}$ since it has a finite affine open covering whose members are spectra of finite type $\mathbf{Z}$-algebras. We define a preorder on $J = \coprod _{i \in I} P_ i$ by the rule $(i', p') \geq (i, p)$ if and only if $i' \geq i$ and the map $B_ i \to B_{i'}$ maps $A_{i, p}$ into $A_{i', p'}$. This is exactly the condition needed to define a morphism $S_{i', p'} \to S_{i, p}$: namely make a commutative diagram as above using the transition morphisms $V_{i'} \to V_ i$ and $W_{i'} \to W_ i$ and the morphism $\mathop{\mathrm{Spec}}(A_{i', p'}) \to \mathop{\mathrm{Spec}}(A_{i, p})$ induced by the ring map $A_{i, p} \to A_{i', p'}$. The relevant commutativities have been built into the constructions. We claim that $S$ is the directed limit of the schemes $S_{i, p}$. Since by construction the schemes $V_ i$ have limit $V$ this boils down to the fact that $B$ is the limit of the rings $A_{i, p}$ which is true by construction. The map $\alpha : J \to I$ is given by the rule $j = (i, p) \mapsto i$. The open subscheme $V'_ j$ is just the image of $V_ i \to S_{i, p}$ above. The commutativity of the diagrams in (5) is clear from the construction. This finishes the proof of the lemma.
$\square$
Comments (2)
Comment #1912 by typo on
Comment #1984 by Johan on
There are also: