🔢 mathematics

The Milnor Number of One Dimensional Local Rings

This paper introduces an analogue of the Milnor number for one-dimensional local rings, demonstrating its parallel properties to the classical case and utilizing it alongside two value semigroup analogues to establish connections between finite Cohen-Macaulay type rings and classical ADE singularities.

Original authors: Yotam Svoray

Published 2026-02-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yotam Svoray

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to understand the "shape" of a mysterious object. In mathematics, this object is a one-dimensional local ring. To the untrained eye, it looks like a complex algebraic equation. But to a mathematician, it's like a geometric shape that has been crumpled, twisted, or intersected at a single point.

This paper, written by Yotam Svoray, is about creating a new set of tools to measure and classify these "crumpled" shapes, specifically focusing on how "bad" the crumple is.

Here is the breakdown of the paper using simple analogies:

1. The Problem: The "Knot" in the String

Imagine you have a piece of string (a curve). Usually, it's smooth. But sometimes, the string gets tangled, or two pieces cross over each other, or it gets pinched into a sharp point. In math, this is called a singularity.

For a long time, mathematicians had a ruler called the Milnor Number to measure how "knotted" a singularity is, but this ruler only worked perfectly for smooth, clean strings over fields like the complex numbers (think of the standard geometry we learn in school).

Svoray asks: What if the string is made of a different material? What if it's crumpled in a weird way? Can we still measure the knot?

2. The New Ruler: The "Milnor Number" for Rings

The author invents a new version of the Milnor Number specifically for these one-dimensional rings.

The Analogy: Think of the Milnor Number as a "Crumple Score."
- A score of 0 means the string is perfectly smooth (a "DVR" in math terms). It's a straight line.
- A score of 1 means it's a simple "double point"—like two strands of string crossing each other once.
- A higher score means a more complex tangle.

The paper proves that this new ruler works consistently, no matter what "material" (characteristic) the ring is made of. It behaves just like the old ruler did for smooth curves, but it's much more robust.

3. The Fingerprint: Semigroups

How do we tell two different knots apart if they have the same "Crumple Score"? The author introduces Semigroups.

The Analogy: Imagine the string is a musical instrument. The Semigroup is the list of all the specific notes (frequencies) the instrument can play.
- $\Gamma(R)$ (The Single Note List): This is a simple list of numbers. It tells you what notes the whole instrument can play, but it doesn't tell you if the instrument has one string or two. It's like hearing a chord but not knowing how many guitars are playing it.
- $\nu(R)$ (The Multi-Track Score): This is a more complex list. It breaks the music down by "tracks" (or components). If the string is actually two strings crossing, this list tells you exactly what note the first string plays and what note the second string plays. It's a "multi-track recording" of the singularity.

The paper shows that this "Multi-Track Score" is the ultimate fingerprint. If two rings have the same score, they are essentially the same shape, just drawn differently.

4. The Big Discovery: The "ADE" Family

The most exciting part of the paper is the conclusion in Section 4. The author studies rings that are "finite Cohen-Macaulay type."

The Analogy: Imagine you are sorting a pile of tangled necklaces. You find that almost all of them, no matter how messy they look, actually belong to a very small, famous family of patterns.
The Result: The paper proves that if a ring is "finite type" (meaning it's not infinitely complex), it is "equisingular" (mathematically identical in shape) to one of the famous ADE singularities.

What are ADE singularities?
These are the "Big Three" families of knots in mathematics, named after the diagrams used to describe them:

A-series: Simple crossings (like a figure-8).
D-series: More complex branching.
E-series: The most intricate, rare knots (E6, E7, E8).

The author shows that even if you have a ring that looks totally alien and complicated, if you measure its "Crumple Score" and look at its "Multi-Track Fingerprint," you will find it matches one of these classic ADE patterns.

Summary

In everyday language, this paper does three main things:

Invents a new ruler to measure how "bad" a mathematical knot is, even when the knot is made of weird materials.
Creates a detailed fingerprint (the semigroup) to distinguish between different types of knots that might look similar at first glance.
Proves a classification theorem: It shows that all "well-behaved" mathematical knots actually belong to a tiny, famous club of shapes known as the ADE singularities.

It's like discovering that every unique snowflake you've ever seen is actually just a variation of one of six basic crystal structures. The paper gives us the tools to prove it.

1. Problem Statement

The paper addresses the gap in the theory of one-dimensional local rings regarding the generalization of classical invariants used in the study of plane curve singularities. Specifically, the author seeks to:

Define a robust analogue of the Milnor number ( $\mu$ ) for one-dimensional Noetherian strictly Henselian reduced Nagata local rings, independent of the characteristic of the residue field.
Generalize the concept of the semigroup of values (classically defined for irreducible curves) to rings that may not be domains (i.e., have multiple minimal primes).
Establish a classification of one-dimensional rings with finite Cohen-Macaulay type by relating them to classical ADE singularities (Kleinian singularities) via the notion of "equisingularity."

2. Methodology

The author employs a combination of commutative algebra, singularity theory, and semigroup theory. The methodology proceeds in three main stages:

A. Defining the Milnor Number $\mu(R)$

Instead of defining $\mu(R)$ via the Jacobian ideal (which requires a smooth ambient space and is sensitive to characteristic), the author adopts a formulaic approach inspired by Milnor's formula for curves over $\mathbb{C}$ :
$\mu(R) = 2\delta(R) - r(R) + 1$
Where:

$\delta(R)$ is the delta invariant (the length of the normalization module $\bar{R}/R$ ).
$r(R)$ is the number of minimal primes of $R$ (analogous to the number of branches of a curve).
The paper proves that this definition satisfies key properties analogous to the classical case, such as $\mu(R)=0$ iff $R$ is a Discrete Valuation Ring (DVR), and provides a recursive formula relating $\mu(R)$ to the Milnor numbers of its minimal prime quotients and their intersection multiplicities.

B. Constructing Semigroup Invariants

The paper introduces two semigroup invariants to capture the arithmetic structure of the ring:

$\Gamma(R)$ : A sub-semigroup of $\mathbb{N}$ defined by the lengths $l(g, R) = \text{length}_R(R/\langle g \rangle)$ for non-zero divisors $g$ . This generalizes the classical value semigroup but loses information about the number of branches.
$\nu(R)$ : A sub-semigroup of $\mathbb{N}^{r(R)}$ . For a non-zero divisor $g$ , $\nu(g)$ is the tuple of orders of $g$ in the normalization of each minimal prime component. This "component-wise" semigroup encodes the full structure of the ring, including the number of branches and their interactions.

C. Equisingularity and Classification

The author defines equisingularity between two rings $R_1$ and $R_2$ as the condition $\nu(R_1) = \nu(R_2)$ . Using this equivalence relation, the paper classifies rings of finite Cohen-Macaulay type by computing their semigroups and matching them to the semigroups of classical ADE singularities (defined by specific power series in two variables).

3. Key Contributions and Results

A. Properties of the Generalized Milnor Number

Uniqueness: $\mu(R)$ is characterized as the unique invariant satisfying specific axioms: vanishing on DVRs, additivity over minimal primes (with a correction term for intersection multiplicity), and a specific relation to the reduction number $\rho(R)$ in the case of a single branch.
Bounds: The paper proves $\mu(R) \geq (r(R)-1)^2$ , with equality holding if and only if $R$ is an ordinary multiple point (a ring where minimal primes are DVRs and intersect transversally).
Characteristic Independence: Unlike the classical Jacobian-based Milnor number, this definition behaves consistently across different characteristics, avoiding the inequalities that arise in positive characteristic for the classical definition.

B. Semigroup Theory for Non-Domains

Structure of $\nu(R)$ : The paper establishes that for Gorenstein rings, the vector of relative Milnor numbers $\vec{\mu}(R)$ is the minimal element in $\nu(R)$ such that $\vec{\mu}(R) + \mathbb{N}^{r(R)} \subseteq \nu(R)$ . This generalizes the conductor property of numerical semigroups.
Relation to $\Gamma(R)$ : The paper shows how $\Gamma(R)$ is the image of $\nu(R)$ under the summation map, and demonstrates that $\Gamma(R)$ alone cannot distinguish between rings with different numbers of minimal primes (e.g., $A_1$ and $A_2$ singularities can have the same $\Gamma(R)$ ).

C. Classification of Finite Cohen-Macaulay Type Rings

The central theorem (Theorem 4.9) states:

If $R$ is a one-dimensional Cohen-Macaulay local ring of finite Cohen-Macaulay type, then $R$ is equisingular to an ADE type singularity.

The proof involves a case-by-case analysis based on the multiplicity ( $\text{mult}(R)$ ) and the number of minimal primes ( $r(R)$ ):

Multiplicity 2: Corresponds to $A_k$ singularities.
Multiplicity 3: Corresponds to $D_k$ , $E_6$ , $E_7$ , and $E_8$ singularities.
The author explicitly computes the semigroups $\nu(R)$ for all ADE types and shows that any ring with finite Cohen-Macaulay type must possess one of these semigroup structures.

4. Significance

Unification: The paper successfully unifies the theory of one-dimensional local rings with the classical theory of plane curve singularities, extending results from algebraically closed fields of characteristic zero to strictly Henselian rings of arbitrary characteristic.
Robust Invariants: By defining $\mu(R)$ via $\delta$ and $r$ , the author provides an invariant that is stable under completion and insensitive to the characteristic of the residue field, solving issues present in the traditional Jacobian definition.
Classification Power: The introduction of $\nu(R)$ as a complete invariant for "equisingularity" allows for a precise classification of rings with finite Cohen-Macaulay type. This confirms and generalizes the classical results of Greuel and Kröning (who worked in characteristic zero) to a broader algebraic setting.
Structural Insight: The work provides a concrete bridge between abstract commutative algebra (Cohen-Macaulay type, reduction numbers) and geometric intuition (ADE singularities, tangent lines, branches), offering new tools for studying deformations and resolutions of singularities in higher dimensions.

In summary, Svoray's paper provides a rigorous algebraic framework for extending Milnor's theory to general one-dimensional local rings, establishing that the "shape" of these singularities (in terms of their semigroups) is fundamentally governed by the ADE classification, regardless of the underlying field's characteristic.