The Stacks project

Lemma 10.168.10. Let $R \to S$ be a faithfully flat ring map of finite presentation. Then there exists a commutative diagram

\[ \xymatrix{ S \ar[rr] & & S' \\ & R \ar[lu] \ar[ru] } \]

where $R \to S'$ is quasi-finite, faithfully flat and of finite presentation.

Proof. As a first step we reduce this lemma to the case where $R$ is of finite type over $\mathbf{Z}$. By Lemma 10.168.2 there exists a diagram

\[ \xymatrix{ S_0 \ar[r] & S \\ R_0 \ar[u] \ar[r] & R \ar[u] } \]

where $R_0$ is of finite type over $\mathbf{Z}$, and $S_0$ is faithfully flat of finite presentation over $R_0$ such that $S = R \otimes _{R_0} S_0$. If we prove the lemma for the ring map $R_0 \to S_0$, then the lemma follows for $R \to S$ by base change, as the base change of a quasi-finite ring map is quasi-finite, see Lemma 10.122.8. (Of course we also use that base changes of flat maps are flat and base changes of maps of finite presentation are of finite presentation.)

Assume $R \to S$ is a faithfully flat ring map of finite presentation and that $R$ is Noetherian (which we may assume by the preceding paragraph). Let $W \subset \mathop{\mathrm{Spec}}(S)$ be the open set of Lemma 10.130.4. As $R \to S$ is faithfully flat the map $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$ is surjective, see Lemma 10.39.16. By Lemma 10.130.5 the map $W \to \mathop{\mathrm{Spec}}(R)$ is also surjective. Hence by replacing $S$ with a product $S_{g_1} \times \ldots \times S_{g_ m}$ we may assume $W = \mathop{\mathrm{Spec}}(S)$; here we use that $\mathop{\mathrm{Spec}}(R)$ is quasi-compact (Lemma 10.17.10), and that the map $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$ is open (Proposition 10.41.8). Suppose that $\mathfrak p \subset R$ is a prime. Choose a prime $\mathfrak q \subset S$ lying over $\mathfrak p$ which corresponds to a maximal ideal of the fibre ring $S \otimes _ R \kappa (\mathfrak p)$. The Noetherian local ring $\overline{S}_{\mathfrak q} = S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}$ is Cohen-Macaulay, say of dimension $d$. We may choose $f_1, \ldots , f_ d$ in the maximal ideal of $S_{\mathfrak q}$ which map to a regular sequence in $\overline{S}_{\mathfrak q}$. Choose a common denominator $g \in S$, $g \not\in \mathfrak q$ of $f_1, \ldots , f_ d$, and consider the $R$-algebra

\[ S' = S_ g/(f_1, \ldots , f_ d). \]

By construction there is a prime ideal $\mathfrak q' \subset S'$ lying over $\mathfrak p$ and corresponding to $\mathfrak q$ (via $S_ g \to S'_ g$). Also by construction the ring map $R \to S'$ is quasi-finite at $\mathfrak q$ as the local ring

\[ S'_{\mathfrak q'}/\mathfrak pS'_{\mathfrak q'} = S_{\mathfrak q}/(f_1, \ldots , f_ d) + \mathfrak pS_{\mathfrak q} = \overline{S}_{\mathfrak q}/(\overline{f}_1, \ldots , \overline{f}_ d) \]

has dimension zero, see Lemma 10.122.2. Also by construction $R \to S'$ is of finite presentation. Finally, by Lemma 10.99.3 the local ring map $R_{\mathfrak p} \to S'_{\mathfrak q'}$ is flat (this is where we use that $R$ is Noetherian). Hence, by openness of flatness (Theorem 10.129.4), and openness of quasi-finiteness (Lemma 10.123.13) we may after replacing $g$ by $gg'$ for a suitable $g' \in S$, $g' \not\in \mathfrak q$ assume that $R \to S'$ is flat and quasi-finite. The image $\mathop{\mathrm{Spec}}(S') \to \mathop{\mathrm{Spec}}(R)$ is open and contains $\mathfrak p$. In other words we have shown a ring $S'$ as in the statement of the lemma exists (except possibly the faithfulness part) whose image contains any given prime. Using one more time the quasi-compactness of $\mathop{\mathrm{Spec}}(R)$ we see that a finite product of such rings does the job. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 034Z. Beware of the difference between the letter 'O' and the digit '0'.