The Stacks project

Lemma 10.113.1. Let $R \to S$ be a ring map. Let $\mathfrak q$ be a prime of $S$ lying over the prime $\mathfrak p$ of $R$. Assume that

  1. $R$ is Noetherian,

  2. $R \to S$ is of finite type,

  3. $R$, $S$ are domains, and

  4. $R \subset S$.

Then we have

\[ \text{height}(\mathfrak q) \leq \text{height}(\mathfrak p) + \text{trdeg}_ R(S) - \text{trdeg}_{\kappa (\mathfrak p)} \kappa (\mathfrak q) \]

with equality if $R$ is universally catenary.

Proof. Suppose that $R \subset S' \subset S$, where $S'$ is a finitely generated $R$-subalgebra of $S$. In this case set $\mathfrak q' = S' \cap \mathfrak q$. The lemma for the ring maps $R \to S'$ and $S' \to S$ implies the lemma for $R \to S$ by additivity of transcendence degree in towers of fields (Fields, Lemma 9.26.5). Hence we can use induction on the number of generators of $S$ over $R$ and reduce to the case where $S$ is generated by one element over $R$.

Case I: $S = R[x]$ is a polynomial algebra over $R$. In this case we have $\text{trdeg}_ R(S) = 1$. Also $R \to S$ is flat and hence

\[ \dim (S_{\mathfrak q}) = \dim (R_{\mathfrak p}) + \dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) \]

see Lemma 10.112.7. Let $\mathfrak r = \mathfrak pS$. Then $\text{trdeg}_{\kappa (\mathfrak p)} \kappa (\mathfrak q) = 1$ is equivalent to $\mathfrak q = \mathfrak r$, and implies that $\dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) = 0$. In the same vein $\text{trdeg}_{\kappa (\mathfrak p)} \kappa (\mathfrak q) = 0$ is equivalent to having a strict inclusion $\mathfrak r \subset \mathfrak q$, which implies that $\dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) = 1$. Thus we are done with case I with equality in every instance.

Case II: $S = R[x]/\mathfrak n$ with $\mathfrak n \not= 0$. In this case we have $\text{trdeg}_ R(S) = 0$. Denote $\mathfrak q' \subset R[x]$ the prime corresponding to $\mathfrak q$. Thus we have

\[ S_{\mathfrak q} = (R[x])_{\mathfrak q'}/\mathfrak n(R[x])_{\mathfrak q'} \]

By the previous case we have $\dim ((R[x])_{\mathfrak q'}) = \dim (R_{\mathfrak p}) + 1 - \text{trdeg}_{\kappa (\mathfrak p)} \kappa (\mathfrak q)$. Since $\mathfrak n \not= 0$ we see that the dimension of $S_{\mathfrak q}$ decreases by at least one, see Lemma 10.60.13, which proves the inequality of the lemma. To see the equality in case $R$ is universally catenary note that $\mathfrak n \subset R[x]$ is a height one prime as it corresponds to a nonzero prime in $F[x]$ where $F$ is the fraction field of $R$. Hence any maximal chain of primes in $S_\mathfrak q = R[x]_{\mathfrak q'}/\mathfrak nR[x]_{\mathfrak q'}$ corresponds to a maximal chain of primes with length 1 greater between $\mathfrak q'$ and $(0)$ in $R[x]$. If $R$ is universally catenary these all have the same length equal to the height of $\mathfrak q'$. This proves that $\dim (S_\mathfrak q) = \dim (R[x]_{\mathfrak q'}) - 1$ and this implies equality holds as desired. $\square$


Comments (1)

Comment #706 by Keenan Kidwell on

In case (1), should be , and the containment should go the opposite way. Also, and this is just my opinion, but I think the proof is slightly easier to understand if, at the beginning (following Matsumura), one replaces with and with , so is local with maximal ideal .

There are also:

  • 4 comment(s) on Section 10.113: The dimension formula

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 02IJ. Beware of the difference between the letter 'O' and the digit '0'.