Lemma 37.34.11. (Noetherian approximation and combining properties.) Let P, Q be properties of morphisms of schemes which are stable under base change. Let f : X \to S be a morphism of finite presentation of affine schemes. Assume we can find cartesian diagrams
\vcenter { \xymatrix{ X_1 \ar[d]_{f_1} & X \ar[l] \ar[d]^ f \\ S_1 & S \ar[l] } } \quad \text{and}\quad \vcenter { \xymatrix{ X_2 \ar[d]_{f_2} & X \ar[l] \ar[d]^ f \\ S_2 & S \ar[l] } }
of affine schemes, with S_1, S_2 of finite type over \mathbf{Z} and f_1, f_2 of finite type such that f_1 has property P and f_2 has property Q. Then we can find a cartesian diagram
\xymatrix{ X_0 \ar[d]_{f_0} & X \ar[l] \ar[d]^ f \\ S_0 & S \ar[l] }
of affine schemes with S_0 of finite type over \mathbf{Z} and f_0 of finite type such that f_0 has both property P and property Q.
Proof.
The given pair of diagrams correspond to cocartesian diagrams of rings
\vcenter { \xymatrix{ B_1 \ar[r] & B \\ A_1 \ar[u] \ar[r] & A \ar[u] } } \quad \text{and}\quad \vcenter { \xymatrix{ B_2 \ar[r] & B \\ A_2 \ar[u] \ar[r] & A \ar[u] } }
Let A_0 \subset A be a finite type \mathbf{Z}-subalgebra of A containing the image of both A_1 \to A and A_2 \to A. Such a subalgebra exists because by assumption both A_1 and A_2 are of finite type over \mathbf{Z}. Note that the rings B_{0, 1} = B_1 \otimes _{A_1} A_0 and B_{0, 2} = B_2 \otimes _{A_2} A_0 are finite type A_0-algebras with the property that B_{0, 1} \otimes _{A_0} A \cong B \cong B_{0, 2} \otimes _{A_0} A as A-algebras. As A is the directed colimit of its finite type A_0-subalgebras, by Limits, Lemma 32.10.1 we may assume after enlarging A_0 that there exists an isomorphism B_{0, 1} \cong B_{0, 2} as A_0-algebras. Since properties P and Q are assumed stable under base change we conclude that setting S_0 = \mathop{\mathrm{Spec}}(A_0) and
X_0 = X_1 \times _{S_1} S_0 = \mathop{\mathrm{Spec}}(B_{0, 1}) \cong \mathop{\mathrm{Spec}}(B_{0, 2}) = X_2 \times _{S_2} S_0
works.
\square
Comments (0)