The Stacks project

33.38 The delta invariant

In this section we define the $\delta $-invariant of a singular point on a reduced $1$-dimensional Nagata scheme.

Lemma 33.38.1. Let $(A, \mathfrak m)$ be a Noetherian $1$-dimensional local ring. Let $f \in \mathfrak m$. The following are equivalent

  1. $\mathfrak m = \sqrt{(f)}$,

  2. $f$ is not contained in any minimal prime of $A$, and

  3. $A_ f = \prod _{\mathfrak p\text{ minimal}} A_\mathfrak p$ as $A$-algebras.

Such an $f \in \mathfrak m$ exists. If $\text{depth}(A) = 1$ (for example $A$ is reduced), then (1) – (3) are also equivalent to

  1. $f$ is a nonzerodivisor,

  2. $A_ f$ is the total ring of fractions of $A$.

If $A$ is reduced, then (1) – (5) are also equivalent to

  1. $A_ f$ is the product of the residue fields at the minimal primes of $A$.

Proof. The spectrum of $A$ has finitely many primes $\mathfrak p_1, \ldots , \mathfrak p_ n$ besides $\mathfrak m$ and these are all minimal, see Algebra, Lemma 10.31.6. Then the equivalence of (1) and (2) follows from Algebra, Lemma 10.17.2. Clearly, (3) implies (2). Conversely, if (2) is true, then the spectrum of $A_ f$ is the subset $\{ \mathfrak p_1, \ldots , \mathfrak p_ n\} $ of $\mathop{\mathrm{Spec}}(A)$ with induced topology, see Algebra, Lemma 10.17.5. This is a finite discrete topological space. Hence $A_ f = \prod _{\mathfrak p\text{ minimal}} A_\mathfrak p$ by Algebra, Proposition 10.60.7. The existence of an $f$ is asserted in Algebra, Lemma 10.60.8.

Assume $A$ has depth $1$. (This is the maximum by Algebra, Lemma 10.72.3 and holds if $A$ is reduced by Algebra, Lemma 10.157.3.) Then $\mathfrak m$ is not an associated prime of $A$. Every minimal prime of $A$ is an associated prime (Algebra, Proposition 10.63.6). Hence the set of nonzerodivisors of $A$ is exactly the set of elements not contained in any of the minimal primes by Algebra, Lemma 10.63.9. Thus (4) is equivalent to (2). Part (5) is equivalent to (3) by Algebra, Lemma 10.25.4.

Then $A_\mathfrak p$ is a field for $\mathfrak p \subset A$ minimal, see Algebra, Lemma 10.25.1. Hence (3) is equivalent ot (6). $\square$

Lemma 33.38.2. Let $(A, \mathfrak m)$ be a reduced Nagata $1$-dimensional local ring. Let $A'$ be the integral closure of $A$ in the total ring of fractions of $A$. Then $A'$ is a normal Nagata ring, $A \to A'$ is finite, and $A'/A$ has finite length as an $A$-module.

Proof. The total ring of fractions is essentially of finite type over $A$ hence $A \to A'$ is finite because $A$ is Nagata, see Algebra, Lemma 10.162.2. The ring $A'$ is normal for example by Algebra, Lemma 10.37.16 and 10.31.6. The ring $A'$ is Nagata for example by Algebra, Lemma 10.162.5. Choose $f \in \mathfrak m$ as in Lemma 33.38.1. As $A' \subset A_ f$ it is clear that $A_ f = A'_ f$. Hence the support of the finite $A$-module $A'/A$ is contained in $\{ \mathfrak m\} $. It follows that it has finite length by Algebra, Lemma 10.62.3. $\square$

Definition 33.38.3. Let $A$ be a reduced Nagata local ring of dimension $1$. The $\delta $-invariant of $A$ is $\text{length}_ A(A'/A)$ where $A'$ is as in Lemma 33.38.2.

We prove some lemmas about the behaviour of this invariant.

Lemma 33.38.4. Let $A$ be a reduced Nagata local ring of dimension $1$. The $\delta $-invariant of $A$ is $0$ if and only if $A$ is a discrete valuation ring.

Proof. If $A$ is a discrete valuation ring, then $A$ is normal and the ring $A'$ is equal to $A$. Conversely, if the $\delta $-invariant of $A$ is $0$, then $A$ is integrally closed in its total ring of fractions which implies that $A$ is normal (Algebra, Lemma 10.37.16) and this forces $A$ to be a discrete valuation ring by Algebra, Lemma 10.119.7. $\square$

Lemma 33.38.5. Let $A$ be a reduced Nagata local ring of dimension $1$. Let $A \to A'$ be as in Lemma 33.38.2. Let $A^ h$, $A^{sh}$, resp. $A^\wedge $ be the henselization, strict henselization, resp. completion of $A$. Then $A^ h$, $A^{sh}$, resp. $A^\wedge $ is a reduced Nagata local ring of dimension $1$ and $A' \otimes _ A A^ h$, $A' \otimes _ A A^{sh}$, resp. $A' \otimes _ A A^\wedge $ is the integral closure of $A^ h$, $A^{sh}$, resp. $A^\wedge $ in its total ring of fractions.

Proof. Observe that $A^\wedge $ is reduced, see More on Algebra, Lemma 15.43.6. The rings $A^ h$ and $A^{sh}$ are reduced by More on Algebra, Lemma 15.45.4. The dimensions of $A$, $A^ h$, $A^{sh}$, and $A^\wedge $ are the same by More on Algebra, Lemmas 15.43.1 and 15.45.7.

Recall that a Noetherian local ring is Nagata if and only if the formal fibres of $A$ are geometrically reduced, see More on Algebra, Lemma 15.52.4. This property is inherited by $A^ h$ and $A^{sh}$, see the material in More on Algebra, Section 15.51 and especially Lemma 15.51.8. The completion is Nagata by Algebra, Lemma 10.162.8.

Now we come to the statement on integral closures. Before continuing let us pick $f \in \mathfrak m$ as in Lemma 33.38.1. Then the image of $f$ in $A^ h$, $A^{sh}$, and $A^\wedge $ clearly is an element satisfying properties (1) – (6) in that ring.

Since $A \to A'$ is finite we see that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ is the product of henselian local rings finite over $A^ h$ and $A^{sh}$, see Algebra, Lemma 10.153.4. Each of these local rings is the henselization of $A'$ at a maximal ideal $\mathfrak m' \subset A'$ lying over $\mathfrak m$, see Algebra, Lemma 10.156.1 or 10.156.3. Hence these local rings are normal domains by More on Algebra, Lemma 15.45.6. It follows that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ are normal rings. Since $A^ h \to A' \otimes _ A A^ h$ and $A^{sh} \to A' \otimes _ A A^{sh}$ are finite (hence integral) and since $A' \otimes _ A A^ h \subset (A^ h)_ f = Q(A^ h)$ and $A' \otimes _ A A^{sh} \subset (A^{sh})_ f = Q(A^{sh})$ we conclude that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ are the desired integral closures.

For the completion we argue in entirely the same manner. First, by Algebra, Lemma 10.97.8 we have

\[ A' \otimes _ A A^\wedge = (A')^\wedge = \prod \nolimits (A'_{\mathfrak m'})^\wedge \]

The local rings $A'_{\mathfrak m'}$ are normal and have dimension $1$ (by Algebra, Lemma 10.113.2 for example or the discussion in Algebra, Section 10.112). Thus $A'_{\mathfrak m'}$ is a discrete valuation ring, see Algebra, Lemma 10.119.7. Hence $(A'_{\mathfrak m'})^\wedge $ is a discrete valuation ring by More on Algebra, Lemma 15.43.5. It follows that $A' \otimes _ A A^\wedge $ is a normal ring and we can conclude in exactly the same manner as before. $\square$

Lemma 33.38.6. Let $A$ be a reduced Nagata local ring of dimension $1$. The $\delta $-invariant of $A$ is the same as the $\delta $-invariant of the henselization, strict henselization, or the completion of $A$.

Proof. Let us do this in case of the completion $B = A^\wedge $; the other cases are proved in exactly the same manner. Let $A'$, resp. $B'$ be the integral closure of $A$, resp. $B$ in its total ring of fractions. Then $B' = A' \otimes _ A B$ by Lemma 33.38.5. Hence $B'/B = A'/A \otimes _ A B$. The equality now follows from Algebra, Lemma 10.52.13 and the fact that $B \otimes _ A \kappa _ A = \kappa _ B$. $\square$

Definition 33.38.7. Let $k$ be a field. Let $X$ be a locally algebraic $k$-scheme. Let $x \in X$ be a point such that $\mathcal{O}_{X, x}$ is reduced and $\dim (\mathcal{O}_{X, x}) = 1$. The $\delta $-invariant of $X$ at $x$ is the $\delta $-invariant of $\mathcal{O}_{X, x}$ as defined in Definition 33.38.3.

This makes sense because the local ring of a locally algebraic scheme is Nagata by Algebra, Proposition 10.162.16. Of course, more generally we can make this definition whenever $x \in X$ is a point of a scheme such that the local ring $\mathcal{O}_{X, x}$ is reduced, Nagata of dimension $1$. It follows from Lemma 33.38.6 that the $\delta $-invariant of $X$ at $x$ is

\[ \delta \text{-invariant of }X\text{ at }x = \delta \text{-invariant of }\mathcal{O}_{X, x}^ h = \delta \text{-invariant of }\mathcal{O}_{X, x}^\wedge \]

We conclude that the $\delta $-invariant is an invariant of the complete local ring of the point.

Lemma 33.38.8. Let $k$ be a field. Let $X$ be a locally algebraic $k$-scheme. Let $K/k$ be a field extension and set $Y = X_ K$. Let $y \in Y$ with image $x \in X$. Assume $X$ is geometrically reduced at $x$ and $\dim (\mathcal{O}_{X, x}) = \dim (\mathcal{O}_{Y, y}) = 1$. Then

\[ \delta \text{-invariant of }X\text{ at }x \leq \delta \text{-invariant of }Y\text{ at }y \]

Proof. Set $A = \mathcal{O}_{X, x}$ and $B = \mathcal{O}_{Y, y}$. By Lemma 33.6.2 we see that $A$ is geometrically reduced. Hence $B$ is a localization of $A \otimes _ k K$. Let $A \to A'$ be as in Lemma 33.38.2. Then

\[ B' = B \otimes _{(A \otimes _ k K)} (A' \otimes _ k K) \]

is finite over $B$ and $B \to B'$ induces an isomorphism on total rings of fractions. Namely, pick $f \in \mathfrak m_ A$ satisfying (1) – (6) of Lemma 33.38.1; since $\dim (B) = 1$ we see that $f \in \mathfrak m_ B$ playes the same role for $B$ and we see that $B_ f = B'_ f$ because $A_ f = A'_ f$. Let $B''$ be the integral closure of $B$ in its total ring of fractions as in Lemma 33.38.2. Then $B' \subset B''$. Thus the $\delta $-invariant of $Y$ at $y$ is $\text{length}_ B(B''/B)$ and

\begin{align*} \text{length}_ B(B''/B) & \geq \text{length}_ B(B'/B) \\ & = \text{length}_ B((A'/A) \otimes _ A B) \\ & = \text{length}_ B(B/\mathfrak m_ A B) \text{length}_ A(A'/A) \end{align*}

by Algebra, Lemma 10.52.13 since $A \to B$ is flat (as a localization of $A \to A \otimes _ k K$). Since $\text{length}_ A(A'/A)$ is the $\delta $-invariant of $X$ at $x$ and since $\text{length}_ B(B/\mathfrak m_ A B) \geq 1$ the lemma is proved. $\square$

Lemma 33.38.9. Let $k$ be a field. Let $X$ be a locally algebraic $k$-scheme. Let $K/k$ be a field extension and set $Y = X_ K$. Let $y \in Y$ with image $x \in X$. Assume assumptions (a), (b), (c) of Lemma 33.27.6 hold for $x \in X$ and that $\dim (\mathcal{O}_{Y, y}) = 1$. Then the $\delta $-invariant of $X$ at $x$ is $\delta $-invariant of $Y$ at $y$.

Proof. Set $A = \mathcal{O}_{X, x}$ and $B = \mathcal{O}_{Y, y}$. By Lemma 33.27.6 we see that $A$ is geometrically reduced. Hence $B$ is a localization of $A \otimes _ k K$. Let $A \to A'$ be as in Lemma 33.38.2. By Lemma 33.27.6 we see that $A' \otimes _ k K$ is normal. Hence

\[ B' = B \otimes _{(A \otimes _ k K)} (A' \otimes _ k K) \]

is normal, finite over $B$, and $B \to B'$ induces an isomorphism on total rings of fractions. Namely, pick $f \in \mathfrak m_ A$ satisfying (1) – (6) of Lemma 33.38.1; since $\dim (B) = 1$ we see that $f \in \mathfrak m_ B$ playes the same role for $B$ and we see that $B_ f = B'_ f$ because $A_ f = A'_ f$. It follows that $B \to B'$ is as in Lemma 33.38.2 for $B$. Thus we have to show that $\text{length}_ A(A'/A) = \text{length}_ B(B'/B) = \text{length}_ B((A'/A) \otimes _ A B)$. Since $A \to B$ is flat (as a localization of $A \to A \otimes _ k K$) and since $\mathfrak m_ B = \mathfrak m_ A B$ (because $B/\mathfrak m_ A B$ is zero dimensional by the remarks above and a localization of $K \otimes _ k \kappa (x)$ which is reduced as $\kappa (x)$ is separable over $k$) we conclude by Algebra, Lemma 10.52.13. $\square$


Comments (3)

Comment #5962 by Anonymous on

There is a typo in the statement of Lemma 0C3V. In the third sentence, "reps." should be "resp."

Comment #5965 by Dario Weißmann on

searching for "reps." yields a couple more instances of this


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