---
title: Normal Reduction Number in Local Rings
url: https://www.emergentmind.com/topics/normal-reduction-number
type: topic
---

# Normal Reduction Number in Local Rings

The normal reduction number is an invariant of the normal filtration \(\{\overline{I^n}\}_{n\ge 0}\) of an \(\mathfrak m\)-primary ideal \(I\) in a Noetherian local ring. It records the first stage at which the integral closures of the powers of \(I\) are generated by a minimal reduction in a stable way. In the literature on normal surface singularities, closely related notations coexist: \(\overline{r}_J(I)\) for a fixed minimal reduction \(J\), \(nr(I)\) for the first equality \(\overline{I^{n+1}}=Q\overline{I^n}\), and \(\overline r(I)\) for the eventual stabilization index \(\overline{I^{N+1}}=Q\overline{I^N}\) for all \(N\ge n\) [1901.06310] [1909.13190] [1911.09341]. In that setting, the invariant functions as a stabilization bound for powers of integrally closed ideals and links ideal theory, local cohomology, and the geometry of resolutions [2108.12274].

## 1. Definitions and basic variants

For an \(\mathfrak m\)-primary ideal \(I\), the normal filtration is the sequence \(\{\overline{I^n}\}_{n\in\mathbb N}\), where \(\overline{I^n}\) denotes the integral closure of \(I^n\). If \(J\subseteq I\) is a minimal reduction generated by \(\operatorname{ht}(I)\) elements and satisfying
\[
J\overline{I^n}=\overline{I^{n+1}} \qquad \text{for all } n\ge r,
\]
then the smallest such \(r\) is the normal reduction number of \(I\) with respect to \(J\), denoted \(\overline r_J(I)\) [1901.06310].

For integrally closed \(\mathfrak m\)-primary ideals in normal surface singularities, two finer indices are standard:
\[
nr(I)=\min\{n\ge 1 \mid \overline{I^{n+1}}=Q\overline{I^n}\},
\]
\[
\overline r(I)=\min\{n\ge 1 \mid \overline{I^{N+1}}=Q\overline{I^N}\ \text{for every } N\ge n\},
\]
where \(Q\) is a minimal reduction [1909.13190] [1911.09341].

| Invariant | Definition | Context |
|---|---|---|
| \(\overline r_J(I)\) | least \(r\) with \(J\overline{I^n}=\overline{I^{n+1}}\) for all \(n\ge r\) | normal filtration [1901.06310] |
| \(nr(I)\) | least \(n\) with \(\overline{I^{n+1}}=Q\overline{I^n}\) | first equality [1909.13190] |
| \(\overline r(I)\) | least \(n\) with \(\overline{I^{N+1}}=Q\overline{I^N}\) for all \(N\ge n\) | stable equality [1909.13190] |
| \(f(X,o)\) | \(\max\{r(I)\}\) over integrally closed \(\mathfrak m\)-primary ideals | normal surface singularity [2108.12274] |

A basic structural point is that, unlike the classic reduction number, \(nr(I)\) and \(\overline r(I)\) do not depend on the chosen minimal reduction \(Q\) [1911.09341]. In the notation of normal surface singularities, one also writes
\[
f(X,o)=\max\{r(I)\mid I\subset \mathcal O_{X,o}\ \text{\(\mathfrak m\)-primary, integrally closed}\},
\]
where \(r(I)\) denotes the same stabilization index and \(f(X,o)\) is described as the universal optimal bound from which powers of certain ideals have stabilization properties [2108.12274].

## 2. Cohomological interpretation on resolutions

For normal surface singularities, the invariant admits a precise cohomological description. By Lipman’s correspondence, an integrally closed \(\mathfrak m\)-primary ideal \(I\) is represented on a resolution \(X\to \operatorname{Spec}A\) by an anti-nef cycle \(Z\), and one studies
\[
q_Z(n)=h^1(\mathcal O_X(-nZ)).
\]
The sequence \(q_Z(n)\) is non-increasing and stabilizes for large \(n\) [2108.12274] [1911.09341].

In this language,
\[
nr(I)=\min\{n>0\mid q_Z(n-1)-q_Z(n)=q_Z(n)-q_Z(n+1)\},
\]
\[
\overline r(I)=\min\{n>0\mid q_Z(n-1)=q_Z(n)\},
\]
so \(nr(I)\) detects stabilization of first differences, while \(\overline r(I)\) detects the first constant value of the cohomology sequence [1911.09341]. Equivalently, in the notation of line bundles \(\mathcal O_{\widetilde X}(-l)\),
\[
r(I)=\min\{n>0\mid h^1(\widetilde X,\mathcal O_{\widetilde X}(-(n-1)l))=h^1(\widetilde X,\mathcal O_{\widetilde X}(-nl))\},
\]
which identifies the normal reduction number with the stabilization step of the \(h^1\)-sequence [2108.12274].

The same cohomological framework extends to base point free line bundles and Abel maps. For a line bundle \(\mathcal L\) on a cycle \(Z\), the sequence \(h^1(Z,\mathcal L^n)\) is non-increasing and eventually constant; its stabilization number \(n_0(Z,\mathcal L)\) is the minimal \(n\) such that \(h^1(Z,\mathcal L^n)=h^1(Z,\mathcal L^{n+1})\) thereafter. For Abel maps \(c_{nl'}(Z)\), the sequence \(\dim \operatorname{im}(c_{nl'}(Z))\) is non-decreasing and stabilizes, with stabilization step \(n_0(Z,l')\) [2108.12274]. This places the normal reduction number inside a broader stabilization theory on resolutions.

## 3. Local cohomology, Hilbert coefficients, and bounds

In analytically unramified Cohen–Macaulay local rings, the normal reduction number is controlled by graded pieces of local cohomology of the extended Rees algebra of the normal filtration. If
\[
\mathrm H^i_J(\overline{\mathcal R'}(I))_j=0
\qquad\text{for all } i,j \text{ with } i+j=r+1,\ 0\le i\le \operatorname{ht}(I),
\]
then the normal filtration satisfies the condition \(\mathbf{HI}_r\):
\[
I^n\cap \overline{I^{n+r}}=I^n\overline{I^r}\qquad\text{for all } n\ge 0.
\]
If, in addition, the same vanishing holds for all \(i+j\ge r+1\), then \(\overline r(I)\le r\) [1901.06310].

This local-cohomological control yields necessary and sufficient conditions for the vanishing of normal Hilbert coefficients. In an analytically unramified Cohen–Macaulay local ring of dimension \(d\ge 3\), with \(I\) a parameter ideal and under the stated vanishing and length conditions, one has
\[
\overline e_k(I)=0 \iff \overline r(I)\le k-1
\qquad (k\le d),
\]
and in this case the associated graded ring \(\overline G(I)\) of the normal filtration is Cohen–Macaulay [1901.06310]. The case \(k=3\) yields the formulation
\[
\overline e_3(I)=0 \iff \overline r(I)\le 2
\]
under the corresponding hypotheses, which is presented as a generalization of Itoh’s conjectural picture [1901.06310].

These results show that the normal reduction number is not merely a stabilization index for powers; it is also a threshold governing when the normal filtration satisfies intersection conditions such as \(\mathbf{HI}_r\), when local cohomology vanishes in prescribed bidegrees, and when the normal Hilbert polynomial exhibits coefficient vanishing [1901.06310].

## 4. Bounds and non-invariance for surface singularities

Several global upper bounds are known for the ring invariant \(\overline r(A)\) or \(f(X,o)\). For two-dimensional normal local rings,
\[
\overline r(A)\le p_g(A)+1,
\]
where \(p_g(A)\) is the geometric genus [1909.13190]. A stronger numerical constraint is
\[
p_g(A)\ge \binom{\overline r(A)}{2},
\]
which bounds the normal reduction number from above in terms of geometric genus [1804.03795].

More recently, for an excellent two-dimensional normal local ring containing an algebraically closed field,
\[
\overline r(A)\le p_a(A)+1,
\]
where \(p_a(A)\) is the arithmetic genus. For almost cone singularities one has the sharper bound
\[
\overline r(A)\le p_f(A)+1,
\]
and more precisely
\[
\overline r(A)\le \frac{2g-2}{\min\{\operatorname{gon}(C),\delta\}}+2\le g+1,
\]
with \(g=p_f(A)\), \(\operatorname{gon}(C)\) the gonality of the central curve, and \(\delta=\max\{2,\deg\}\) [2512.13042].

When the link is a rational homology sphere, the singularity invariant satisfies the topological estimate
\[
f(X,o)\le 2-\min_{l>0}\chi(l),
\]
and the same bound applies to the stabilization indices \(n_0(Z,\mathcal L)\) and \(n_0(Z,l')\) attached to line bundles and Abel maps [2108.12274]. For cone-like singularities with exceptional curve \(F\) of genus \(g\) and \(d=-F^2\), one has
\[
\overline r(A)\le \left\lfloor \frac{2g-2}{d}\right\rfloor+2,
\]
together with a refinement in terms of \(\operatorname{gon}(F)\) when the representing cycle meets \(F\) negatively [1909.13190].

Two recurrent misconceptions are explicitly ruled out by the literature. First, \(\overline r(A)\) is not a combinatorial invariant in general: singularities with the same resolution graph can have different normal reduction numbers [2512.13042]. Second, the value \(2\) does not characterize elliptic singularities: although \(f(X,o)=2\) for elliptic singularities, there are non-elliptic singularities with \(f(X,o)=2\) as well [2108.12274].

## 5. Computations and model classes

The invariant is explicitly

Source: https://www.emergentmind.com/topics/normal-reduction-number