🔢 mathematics

The Milnor Number of One Dimensional Local Rings

Dit artikel introduceert een analogon van het Milnor-getal voor één-dimensionale lokale ringen, bestudeert de relatie met twee analogieën van de waardenhalveringsgroep, en gebruikt deze hulpmiddelen om de halveringsgroepen van ringen met eindige Cohen-Macaulay-type te relateren aan die van klassieke ADE-singulariteiten.

Oorspronkelijke auteurs: Yotam Svoray

Gepubliceerd 2026-02-13

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Yotam Svoray

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een wiskundige bent die zich bezighoudt met het bestuderen van vormen en knopen. In de wiskunde zijn er speciale punten waar een vorm "kapot" gaat of een knoop heeft. Deze noemen we singulariteiten. Denk aan de punt van een ster, of waar twee lijnen elkaar kruisen in een tekening.

Deze paper, geschreven door Yotam Svoray, gaat over een manier om deze "kapotte punten" in één dimensie (zoals een lijn of een kromme) te meten en te vergelijken, zelfs als ze heel complex zijn.

Hier is een uitleg in simpele taal, met een paar creatieve metaforen:

1. De "Milnor-Nummer": De Schade-meter

Stel je voor dat je een stukje land hebt dat perfect vlak is (zoals een gladde weg). Dat noemen we een "DVR" (een heel normale, gezonde ring). Maar soms heb je een punt waar de weg een kuil heeft, of waar twee wegen elkaar kruisen.

De auteur introduceert een nieuwe meetlat, de Milnor-Nummer ( $\mu$ ).

Wat doet het? Het is als een schade-meter.
Als de weg perfect glad is, is de schade 0.
Als er een kleine kuil is, is de schade 1.
Als er een groot, complex knooppunt is, is de schade hoger.

Vroeger was het lastig om deze schade te meten als je in een wereld zat met een andere "rekenregels" (andere karakteristieken in de wiskunde). Svoray heeft een nieuwe manier bedacht om deze schade te meten die altijd werkt, ongeacht de regels van de wereld. Het helpt wiskundigen om te zeggen: "Ah, dit punt is precies zo complex als dat andere punt, zelfs als ze er anders uitzien."

2. De "Semigroups": De Bouwstenen van de Vorm

Om de vorm van deze kapotte punten echt te begrijpen, kijkt de auteur naar semigroups.

De Metafoor: Stel je voor dat je een gebroken vaas hebt. Je kunt proberen de stukken te tellen, maar dat zegt niet alles over hoe ze passen. Een semigroup is als een Lego-instructie die je vertelt welke stukken je nodig hebt om de vaas weer heel te maken.
De paper introduceert twee soorten instructies:
1. $\Gamma(R)$ : Een simpele lijst met getallen. Dit vertelt je hoeveel "stapjes" je nodig hebt om de vaas te repareren, maar het ziet niet precies hoeveel losse stukken er zijn.
2. $\nu(R)$ : Een complexere lijst met getallen (een vector). Dit is als een 3D-kaart van de vaas. Het vertelt je niet alleen hoeveel stukken er zijn, maar ook hoe ze met elkaar verbonden zijn. Als je twee kapotte punten hebt die er anders uitzien, maar dezelfde 3D-kaart hebben, dan zijn ze in feite hetzelfde type kapotte punt.

3. De "ADE" Familie: De Klassieke Sterren

In de wiskunde zijn er een paar beroemde, simpele vormen van kapotte punten die bekend staan als de ADE-singulariteiten.

Denk aan de letters A, D en E.
A staat voor een simpele knoop (zoals een "X").
D en E zijn iets complexere sterrenvormen.

De paper laat zien dat als je een heel complex, kapot punt hebt, maar het is van een bepaalde "goede" soort (wiskundig: finite Cohen-Macaulay type), dan is het eigenlijk niet anders dan een van deze beroemde ADE-sterren.

4. De Grote Conclusie: "Equisingulariteit"

De kernboodschap van het artikel is dit:
Als je een kapot punt hebt dat goed gedraagt (een "finite Cohen-Macaulay type"), dan kun je het vergelijken met een van de beroemde ADE-sterren.

De Metafoor: Stel je voor dat je een vreemde, ingewikkelde knoop in een touw hebt. Je denkt: "Oh, dit is uniek!" Maar de auteur zegt: "Nee, kijk goed. Als je de knoop uitrekt en de stukken telt (met de Milnor-Nummer en de Lego-kaarten), zie je dat het precies hetzelfde is als een standaard 'E7'-ster."
Ze noemen dit equisingulariteit. Het betekent: "Ze zijn verschillend in uiterlijk, maar ze zijn fundamenteel hetzelfde in hun structuur."

Waarom is dit belangrijk?

Vroeger moesten wiskundigen heel veel verschillende gevallen apart bestuderen. Met deze nieuwe tools (de schade-meter en de Lego-kaarten) kunnen ze nu zeggen: "We hoeven niet naar elke rare vorm apart te kijken. Als hij goed gedraagt, past hij altijd in één van deze bekende families (A, D, of E)."

Het is alsof je een enorme bibliotheek met duizenden vreemde boeken hebt, en je plotseling ontdekt dat ze allemaal eigenlijk maar drie verschillende verhalen vertellen, alleen geschreven in verschillende talen. De paper geeft je de woordenboeken om die talen te vertalen.

Samengevat:
De auteur heeft een nieuwe manier bedacht om de "complexiteit" van kapotte punten te meten en te vergelijken. Hij bewijst dat veel complexe vormen in feite gewoon bekende, simpele vormen zijn die we al lang kennen. Dit maakt het voor wiskundigen veel makkelijker om de wereld van deze vormen te ordenen en te begrijpen.

Titel: Het Milnor-getal van Eendimensionale Lokale Ringen

Auteur: Yotam Svoray

1. Probleemstelling en Context

Het artikel richt zich op de studie van eendimensionale Noetheriaanse, strikt Henseliaanse, gereduceerde Nagata lokale ringen $(R, \mathfrak{m}, \kappa)$ . De auteur tracht deze ringen te analyseren op een manier die analoog is aan de studie van algebraïsche krommen over algebraïsch gesloten velden.

Het centrale probleem is het ontbreken van een robuust en karakteristiek-onafhankelijk equivalent van het Milnor-getal ( $\mu$ ) voor deze algemene klasse van ringen. In de klassieke theorie van vlakke kromme- singulariteiten (gegeven door $f \in k[[x,y]]$ ) is het Milnor-getal gedefinieerd als de dimensie van de kwotiëntring $k[[x,y]]/\langle \partial_x f, \partial_y f \rangle$ . Dit getal is cruciaal voor het begrijpen van de topologie en algebraïsche eigenschappen van geïsoleerde singulariteiten. Echter, voor algemene eendimensionale lokale ringen, vooral in positieve karakteristiek, is de relatie tussen het klassieke Milnor-getal en andere invarianten (zoals de $\delta$ -invariant) complex en niet altijd gelijkheid (de ongelijkheid van Deligne).

De auteur wil een invariant definiëren die:

De eigenschappen van het klassieke Milnor-getal behoudt.
Minder afhankelijk is van de karakteristiek van het residuveld.
Een brug slaat tussen de theorie van eendimensionale ringen en de klassieke ADE-singulariteiten.

2. Methodologie

De auteur hanteert een algebraïsche benadering die voortbouwt op de theorie van normalisaties, blow-ups en semigroups van waarden. De kernmethodologie omvat:

Definitie van een nieuw Milnor-getal: In plaats van te vertrouwen op partiële afgeleiden (die niet direct bestaan voor abstracte ringen), definieert de auteur $\mu(R)$ puur in termen van de $\delta$ -invariant en het aantal minimale priemidealen.
Gebruik van Normalisatie: De ring $R$ wordt vergeleken met zijn normalisatie $\bar{R}$ . De $\delta$ -invariant wordt gedefinieerd als de lengte van de kwotiëntmodule $\bar{R}/R$ .
Semigroups van Waarden: Er worden twee semigroups geïntroduceerd:
1. $\Gamma(R)$ : Een sub-semigroup van $\mathbb{N}$ , een generalisatie van de waarde-semigroup van een domein.
2. $\nu(R)$ : Een sub-semigroup van $\mathbb{N}^{r(R)}$ (waar $r(R)$ het aantal minimale priemidealen is), die meer structurele informatie bevat door componentsgewijze waarden te coderen.
Inductieve Analyse via "Neighborhoods": De auteur gebruikt de concepten van de eerste en hogere "neighbourhoods" (verwante ringen via blow-ups) om de invarianten te relateren aan de multipliciteit en de reductiegetal ( $\rho$ ).
Classificatie via Equisingulariteit: De definitie van "equisingulariteit" wordt gebruikt om ringen te vergelijken op basis van hun semigroups $\nu(R)$ , in plaats van alleen hun isomorfisme-klasse.

3. Belangrijkste Bijdragen en Resultaten

A. Het Milnor-getal $\mu(R)$ (Sectie 2)

De auteur definieert het Milnor-getal voor een eendimensionale lokale ring $R$ als:
$\mu(R) = 2\delta(R) - r(R) + 1$
Waarbij $\delta(R)$ de $\delta$ -invariant is en $r(R)$ het aantal minimale priemidealen.

Kernresultaten:

Uniciteit: $\mu(R)$ $μ (R)$ is de unieke invariant die voldoet aan specifieke axioma's:
- $\mu(R) = 0$ dan en slechts dan als $R$ een Discrete Valuatiering (DVR) is.
- Voor ringen met $r(R)=1$ geldt een relatie met het reductiegetal $\rho(R)$ via de eerste neighborhood: $\mu(R) - \mu(R^{(1)}) = \rho(R)$ .
- Een additiviteitsformule voor minimale priemidealen: $\mu(R) - 1 = \sum (\mu(R/p_i) - 1) + 2 \sum_{i<j} i(p_i, p_j)$ .
Classificatie van Singulariteiten:
- $\mu(R) = 1$ karakteriseert dubbele punten (double points) onder de aanname dat $R$ analytisch ongeramd is.
- $\mu(R) = (r(R)-1)^2$ karakteriseert gewone meervoudige punten (ordinary multiple points).
- De auteur verbindt deze definities met $A_k$ -singulariteiten (gedefinieerd via $x^2 + y^{k+1}$ ) en toont aan dat $\mu(R) = k$ voor deze gevallen.

B. Semigroups $\Gamma(R)$ en $\nu(R)$ (Sectie 3)

$\Gamma(R)$ : De verzameling van lengtes $l(g, R)$ voor niet-nuldelers $g$ . Dit is een numerieke semigroup. De auteur toont aan dat de conductor van $\Gamma(R)$ gerelateerd is aan het Milnor-getal, vooral voor Gorenstein-ringen.
$\nu(R)$ : De verzameling van tuples $(l(g_1, R/p_1), \dots, l(g_r, R/p_r))$ . Dit is een krachtigere invariant dan $\Gamma(R)$ omdat hij het aantal takken (minimale priemidealen) onderscheidt.
Relatie met Gorenstein-eigenschap: Voor Gorenstein-ringen is het vector $\vec{\mu}(R)$ (bestaande uit relatieve Milnor-getallen) het minimale element in $\nu(R)$ dat de "conductor" van de semigroup bepaalt.

C. Eendimensionale Ringen van Eindige Cohen-Macaulay Type (Sectie 4)

Dit is het climax van het artikel. De auteur gebruikt de ontwikkelde tools om ringen met eindige Cohen-Macaulay type (FCMT) te classificeren.

Definitie van Equisingulariteit: Twee ringen $R_1$ en $R_2$ zijn equisingulier als $\nu(R_1) = \nu(R_2)$ .
Hoofdstelling (Theorema 4.9): Als $R$ een eendimensionale Cohen-Macaulay lokale ring is met eindige Cohen-Macaulay type, dan is $R$ equisingulier aan een ADE-singulariteit.
Classificatie: De auteur toont aan dat ongeacht de karakteristiek (mits $\neq 2$ $\neq = 2$ voor technische redenen in de definitie), de semigroups van FCMT-ringen exact overeenkomen met die van de klassieke ADE-singulariteiten ( $A_n, D_n, E_6, E_7, E_8$ $A_{n}, D_{n}, E_{6}, E_{7}, E_{8}$ ).
- Dit bevestigt en generaliseert eerdere resultaten van Greuel, Kröning en Wiegand.
- Het toont aan dat de semigroup $\nu(R)$ een volledige invariante is voor de "topologische" classificatie van deze singulariteiten, zelfs in positieve karakteristiek.

4. Significatie en Impact

Karakteristiek-onafhankelijkheid: De gedefinieerde Milnor-invariant $\mu(R)$ is veel robuuster dan het klassieke getal gebaseerd op partiële afgeleiden. Het gedraagt zich consistent in zowel karakteristiek 0 als positieve karakteristiek, wat een langdurig probleem in de singulariteitentheorie oplost.
Unificatie van Theorieën: Het artikel legt een directe brug tussen de abstracte theorie van Noetheriaanse lokale ringen en de concrete geometrische theorie van vlakke krommen en ADE-singulariteiten.
Nieuwe Invarianten: De introductie van $\nu(R)$ als een "component-wise" semigroup biedt een nieuw instrument om de structuur van ringen met meerdere takken (niet-domeinen) te analyseren, wat met de traditionele $\Gamma(R)$ niet mogelijk was.
Classificatie van FCMT-ringen: De stelling dat elke ring van eindige Cohen-Macaulay type equisingulier is aan een ADE-type, verschaft een diep inzicht in de structuur van deze ringen en bevestigt dat de ADE-lijst universeel is voor deze klasse, ongeacht het onderliggende veld (binnen bepaalde beperkingen).

Conclusie:
Yotam Svoray presenteert een fundamentele uitbreiding van de singulariteitentheorie. Door het Milnor-getal en semigroups van waarden te generaliseren naar eendimensionale lokale ringen, levert hij een krachtig classificatiesysteem op dat de diepe connectie tussen algebraïsche invarianten en de geometrische vorm van singulariteiten (ADE) bevestigt en verduidelijkt, zelfs in complexe situaties met meerdere takken en positieve karakteristiek.