The Stacks project

Lemma 77.9.9. In Situation 77.9.2 assume $s, t$ are locally of finite type. For all $r \in |R|$

  1. $\dim (R) = \dim _ r(R)$,

  2. the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $s$ equals the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $t$, and

  3. if the transcendence degree mentioned in (2) is $0$, then $\dim (R) = \dim (\mathcal{O}_{R, \overline{r}})$.

Proof. Let $r \in |R|$. Denote $\text{trdeg}(r/_{\! \! s}k)$ the transcendence degree of $r$ over $\mathop{\mathrm{Spec}}(k)$ via $s$. Choose an ├ętale morphism $\varphi : V \to R$ where $V$ is a scheme and $v \in V$ mapping to $r$. Using the definitions mentioned above the lemma we see that

\[ \dim _ r(R) = \dim _ v(V) = \dim (\mathcal{O}_{V, v}) + \text{trdeg}_{s(k)}(\kappa (v)) = \dim (\mathcal{O}_{R, \overline{r}}) + \text{trdeg}(r/_{\! \! s}k) \]

and similarly for $t$ (the second equality by Morphisms, Lemma 29.28.1). Hence we see that $\text{trdeg}(r/_{\! \! s}k) = \text{trdeg}(r/_{\! \! t}k)$, i.e., (2) holds.

Let $k \subset k'$ be a field extension. Note that the restriction $R'$ of $R$ to $\mathop{\mathrm{Spec}}(k')$ (see Lemma 77.9.5) is obtained from $R$ by two base changes by morphisms of fields. Thus Morphisms of Spaces, Lemma 65.34.3 shows the dimension of $R$ at a point is unchanged by this operation. Hence in order to prove (1) we may assume, by Lemma 77.9.6, that $r$ is represented by a morphism $r : \mathop{\mathrm{Spec}}(k) \to R$ such that both $s \circ r$ and $t \circ r$ are automorphisms of $\mathop{\mathrm{Spec}}(k)$. In this case there exists an automorphism $R \to R$ which maps $r$ to $e$ (Lemma 77.9.7). Hence we see that $\dim _ r(R) = \dim _ e(R)$ for any $r$. By definition this means that $\dim _ r(R) = \dim (R)$.

Part (3) is a formal consequence of the results obtained in the discussion above. $\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 06FD. Beware of the difference between the letter 'O' and the digit '0'.