The Stacks project

Proof. The ring $\overline{S} = S \otimes _ R \kappa (\mathfrak p)$ is of finite type over $\kappa (\mathfrak p)$. Let $\overline{\mathfrak q}$ be the prime of $\overline{S}$ corresponding to $\mathfrak q$. By definition of the dimension of a topological space at a point there exists an open $U \subset \mathop{\mathrm{Spec}}(\overline{S})$ with $\overline{q} \in U$ and $\dim (U) = n$. Since the topology on $\mathop{\mathrm{Spec}}(\overline{S})$ is induced from the topology on $\mathop{\mathrm{Spec}}(S)$ (see Remark 10.18.5), we can find a $g \in S$, $g \not\in \mathfrak q$ with image $\overline{g} \in \overline{S}$ such that $D(\overline{g}) \subset U$. Thus after replacing $S$ by $S_ g$ we see that $\dim (\overline{S}) = n$.

Next, choose generators $x_1, \ldots , x_ N$ for $S$ as an $R$-algebra. By Lemma 10.115.4 there exist elements $y_1, \ldots , y_ n$ in the $\mathbf{Z}$-subalgebra of $S$ generated by $x_1, \ldots , x_ N$ such that the map $R[t_1, \ldots , t_ n] \to S$, $t_ i \mapsto y_ i$ has the property that $\kappa (\mathfrak p)[t_1\ldots , t_ n] \to \overline{S}$ is finite. In particular, $S$ is quasi-finite over $R[t_1, \ldots , t_ n]$ at $\mathfrak q$. Hence, by Lemma 10.123.13 we may replace $S$ by $S_ g$ for some $g\in S$, $g \not\in \mathfrak q$ such that $R[t_1, \ldots , t_ n] \to S$ is quasi-finite. $\square$

Proof. After replacing $S$ by a principal localization we may assume there exists a quasi-finite ring map $\varphi : R[t_1, \ldots , t_ n] \to S$, see Lemma 10.125.2. Set $\mathfrak q' = \varphi ^{-1}(\mathfrak q)$. Let $\overline{\mathfrak q}' \subset \kappa (\mathfrak p)[t_1, \ldots , t_ n]$ be the prime corresponding to $\mathfrak q'$. By Lemma 10.115.6 there exists a finite ring map $\kappa (\mathfrak p)[x_1, \ldots , x_ n] \to \kappa (\mathfrak p)[t_1, \ldots , t_ n]$ such that the inverse image of $\overline{\mathfrak q}'$ is $(x_{r + 1}, \ldots , x_ n)$. Let $\overline{h}_ i \in \kappa (\mathfrak p)[t_1, \ldots , t_ n]$ be the image of $x_ i$. We can find an element $f \in R$, $f \not\in \mathfrak p$ and $h_ i \in R_ f[t_1, \ldots , t_ n]$ which map to $\overline{h}_ i$ in $\kappa (\mathfrak p)[t_1, \ldots , t_ n]$. Then the ring map

becomes finite after tensoring with $\kappa (\mathfrak p)$. In particular, $R_ f[t_1, \ldots , t_ n]$ is quasi-finite over $R_ f[x_1, \ldots , x_ n]$ at the prime $\mathfrak q'R_ f[t_1, \ldots , t_ n]$. Hence, by Lemma 10.123.13 there exists a $g \in R_ f[t_1, \ldots , t_ n]$, $g \not\in \mathfrak q'R_ f[t_1, \ldots , t_ n]$ such that $R_ f[x_1, \ldots , x_ n] \to R_ f[t_1, \ldots , t_ n, 1/g]$ is quasi-finite. Thus we see that the composition

is quasi-finite and we win. $\square$

Proof. If $R_{\mathfrak p}$ is Noetherian (and hence $S_{\mathfrak q}$ Noetherian since it is essentially of finite type over $R_{\mathfrak p}$) then this follows immediately from Lemma 10.112.6 and the definitions. In the general case, let $S'$ be the integral closure of $R_\mathfrak p$ in $S_\mathfrak p$. By Zariski's Main Theorem 10.123.12 we have $S_{\mathfrak q} = S'_{\mathfrak q'}$ for some $\mathfrak q' \subset S'$ lying over $\mathfrak q$. By Lemma 10.112.3 we have $\dim (S') \leq \dim (R_\mathfrak p)$ and hence a fortiori $\dim (S_\mathfrak q) = \dim (S'_{\mathfrak q'}) \leq \dim (R_\mathfrak p)$. $\square$

Proof. By Lemma 10.114.1 the dimension of any local ring of $k[t_1, \ldots , t_ n]$ is at most $n$. Thus the result follows from Lemma 10.125.4. $\square$

Proof. By Lemma 10.125.2 we see that we may assume that $S$ is quasi-finite over a polynomial algebra $R[t_1, \ldots , t_ n]$. Considering the fibres, we reduce to Lemma 10.125.5. $\square$

Proof. The condition is formulated in terms of dimensions of fibre rings which are of finite type over a field. Combined with Lemma 10.116.6 this yields the lemma. $\square$

Proof. It is open by Lemma 10.125.6. Let $S = R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ m)$ be a presentation of $S$. Let $R_0$ be the $\mathbf{Z}$-subalgebra of $R$ generated by the coefficients of the polynomials $f_ i$. Let $S_0 = R_0[x_1, \ldots , x_ n]/(f_1, \ldots , f_ m)$. Then $S = R \otimes _{R_0} S_0$. By Lemma 10.125.7 $V_ n$ is the inverse image of an open $V_{0, n}$ under the quasi-compact continuous map $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(S_0)$. Since $S_0$ is Noetherian we see that $V_{0, n}$ is quasi-compact. $\square$

Proof. It suffices to show that $\dim _{\mathfrak q}(S/k)$ is equal to $\dim (S \otimes _ R K)$ for every prime $\mathfrak q$ of $S$ containing $\mathfrak m_ RS$. Pick such a prime. By Lemma 10.125.6 the inequality $\dim _{\mathfrak q}(S/k) \geq \dim (S \otimes _ R K)$ holds. Set $n = \dim _{\mathfrak q}(S/k)$. By Lemma 10.125.2 after replacing $S$ by $S_ g$ for some $g \in S$, $g \not\in \mathfrak q$ there exists a quasi-finite ring map $R[t_1, \ldots , t_ n] \to S$. If $\dim (S \otimes _ R K) < n$, then $K[t_1, \ldots , t_ n] \to S \otimes _ R K$ has a nonzero kernel. Say $f = \sum a_ I t_1^{i_1}\ldots t_ n^{i_ n}$. After dividing $f$ by a nonzero coefficient of $f$ with minimal valuation, we may assume $f\in R[t_1, \ldots , t_ n]$ and some $a_ I$ does not map to zero in $k$. Hence the ring map $k[t_1, \ldots , t_ n] \to S \otimes _ R k$ has a nonzero kernel which implies that $\dim (S \otimes _ R k) < n$. Contradiction. $\square$