🔢 mathematics

Detecting and Quantifying Isolated Singularities over Discrete Valuation Rings

Dit artikel ontwikkelt een theorie voor geïsoleerde hypersone singulariteiten in gemengde karakteristiek over discrete waardeeringsringen door analogieën van de klassieke Tjurina- en Milnornummers te introduceren, veralgemeende versies van de determinatie- en Mather-Yau-stellingen te bewijzen, en numerieke invarianten te definiëren voor het detecteren van dergelijke singulariteiten.

Oorspronkelijke auteurs: Yotam Svoray

Gepubliceerd 2026-03-25

📖 6 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

De Kern: Het Oplossen van Wiskundige "Knooppunten" in een Speciale Wereld

Stel je voor dat wiskundigen onderzoek doen naar vormen en oppervlakken. Soms komen deze oppervlakken niet mooi en glad voor, maar hebben ze een knooppunt of een puntje waar ze niet goed gedragen (een "singulariteit"). Denk aan een puntje op een ster, of de top van een piramide.

In de klassieke wiskunde (waar we werken met getallen zoals 1, 2, 3... of complexe getallen) weten we al lang hoe we deze knooppunten kunnen meten en tellen. We hebben daarvoor speciale meetinstrumenten, zoals de Milnor-getallen en Tjurina-getallen. Deze getallen vertellen ons hoe "erg" het knooppunt is.

Het probleem in dit paper:
De auteur, Yotam Svoray, werkt niet in de gewone wereld, maar in een speciale, gemengde wereld genaamd een Discrete Valuation Ring (DVR).

De analogie: Stel je voor dat je in een wereld leeft waar je niet gewoon kunt delen door een bepaald getal (laten we het $\pi$ noemen, maar dit is niet de cirkel-waarde, maar een soort "magische grondstof"). In deze wereld is $\pi$ niet zomaar een getal dat je weg kunt delen; het is een vast onderdeel van de structuur.
De uitdaging: De oude meetinstrumenten (de klassieke Tjurina-getallen) werken hier niet meer goed. Als je probeert een knooppunt te meten, blijken twee vormen die eruit zien alsof ze hetzelfde zijn, in feite heel verschillend te zijn omdat die "magische grondstof" $\pi$ zich anders gedraagt dan normale getallen.

De Oplossing: Een Nieuwe Bril Opzetten

Svoray bedacht een slimme truc om dit probleem op te lossen. Hij zegt: "Laten we $\pi$ niet behandelen als een vast getal, maar alsof het een variabele is, net als $x$ of $y$ ."

De Metafoor van de "Dummy-Variabele":
Stel je voor dat je een recept hebt waarin een speciaal ingrediënt ( $\pi$ ) zit. In de oude wereld was $\pi$ een vaste hoeveelheid zout. Maar in deze nieuwe wereld gedraagt zout zich soms als suiker.
Svoray zegt: "Laten we doen alsof dat zout een extra ingrediënt is dat we op een lijst zetten, net als bloem en suiker."

Hij neemt het recept (de wiskundige formule) en schrijft het op alsof $\pi$ een extra variabele is (laten we het $y$ noemen).
Door dit te doen, kan hij de oude meetinstrumenten weer gebruiken, maar dan op deze "uitgebreide" versie van het recept.

Dit stelt hem in staat om nieuwe versies van de Tjurina- en Milnor-getallen te definiëren die wel werken in deze gemengde wereld.

De Drie Soorten "Knooppunten" en hun Meetinstrumenten

Het paper onderscheidt twee situaties, afhankelijk van hoe de "magische grondstof" ( $\pi$ ) zich gedraagt ten opzichte van een ander getal $p$ (een priemgetal).

1. De "Ongecompliceerde" Situatie (Unramified)

Hier is $\pi$ eigenlijk gewoon gelijk aan $p$ .

Het probleem: De oude meetinstrumenten werken niet omdat ze niet weten hoe ze met $p$ moeten omgaan als het een "grondstof" is.
De oplossing: Svoray gebruikt een nieuw soort "rekenmachine" genaamd een $p$ -afgeleide (een $p$ -derivation).
De metafoor: Stel je voor dat je een machine hebt die niet alleen kijkt naar hoe snel iets verandert (zoals een snelheidsmeter), maar ook kijkt naar hoe het verandert als je het getal $p$ als een "tijdsstap" gebruikt.
Hij definieert een nieuw getal, $\tau(f, \delta)$ , dat perfect aangeeft of er een knooppunt is. Het nadeel is dat dit getal een beetje afhankelijk is van welke "instelling" ( $\delta$ ) je kiest op je rekenmachine.

2. De "Gecompliceerde" Situatie (Ramified)

Hier is $\pi$ een "sterkere" grondstof dan $p$ (bijvoorbeeld $p = \pi^2$ ).

De oplossing: Hier is het gelukkig makkelijker. Omdat $\pi$ zo'n sterke rol speelt, kun je gewoon "afleiden" naar $\pi$ (net als je afleidt naar $x$ ).
Hij definieert een getal $\tau^\pi(f)$ . Dit werkt heel goed en is een directe vertaling van de oude methoden naar deze nieuwe wereld.

De Belangrijkste Resultaten (In Gewone Taal)

Het "Determinatie"-Theorema:
Svoray bewijst dat als je een knooppunt hebt, je niet de hele oneindige formule hoeft te kennen om te weten hoe erg het is. Je hoeft alleen maar te kijken naar de eerste paar termen (de "eerste indruk"). Als die eerste paar termen hetzelfde zijn, is het knooppunt in feite hetzelfde. Dit is als het zeggen: "Als de eerste drie regels van een gedicht hetzelfde zijn, is het waarschijnlijk hetzelfde gedicht."
De Mather-Yau Stelling:
Dit is een beroemde stelling in de wiskunde die zegt: "Als twee vormen er lokaal hetzelfde uitzien, dan zijn ze hetzelfde." Svoray bewijst dat dit ook geldt in deze speciale wereld, mits je de juiste meetinstrumenten gebruikt.
Het "Splitting Lemma" (Het Opdeleffect):
Als je een knooppunt hebt dat niet te complex is (het heeft een bepaalde "rang"), kun je het altijd opbreken in twee delen:
- Een simpel, schoon deel (zoals een perfecte bol of parabool).
- Een restje dat verder niets te maken heeft met de hoofdknooppunten.
  Dit is alsof je een rommelige kamer opruimt: je haalt de grote meubels (de simpele delen) weg, en houdt alleen de kleine rommel (het restje) over om te analyseren.

Waarom is dit belangrijk?

Voor de gemiddelde lezer klinkt dit misschien als abstracte wiskunde, maar het heeft grote gevolgen:

Verbinding maken: Het verbindt twee werelden die vaak gescheiden worden: de wereld van de "gewone" getallen (charakteristiek 0) en de wereld van de "modulaire" getallen (charakteristiek $p$ , zoals in cryptografie).
Nieuwe Inzichten: Het geeft wiskundigen de tools om problemen op te lossen in gebieden waar ze voorheen vastliepen, zoals in de theorie van getallen en algebraïsche meetkunde.
Een Nieuwe Taal: Het creëert een nieuwe "taal" (de nieuwe Tjurina-getallen) waarmee wetenschappers kunnen praten over singulariteiten in deze complexe, gemengde omgevingen.

Samenvattend:
Yotam Svoray heeft een nieuwe "bril" ontworpen (het behandelen van $\pi$ als variabele) en nieuwe "meetlatjes" (de Tjurina-getallen voor DVR's) gemaakt. Hiermee kunnen wiskundigen nu de "knooppunten" in een speciale, gemengde wiskundige wereld precies meten en begrijpen, iets wat daarvoor onmogelijk leek. Het is alsof je een kaart krijgt voor een eiland dat voorheen onbekend en onbegaanbaar was.

Titel: Detectie en Kwantificering van Geïsoleerde Singulariteiten over Discrete Waarderingsringen

1. Probleemstelling

De theorie van geïsoleerde hypersurface-singulariteiten is historisch ontwikkeld voor complexe variëteiten (Arnold, Milnor, Tjurina) en later uitgebreid naar algebraïsch gesloten velden van willekeurige karakteristiek. Een fundamentele uitdaging in de algebraïsche meetkunde is het uitbreiden van deze theorie naar gemengde karakteristiek (0, p), specifiek over een Discrete Waarderingsring (DVR) $V$ .

Het centrale probleem is dat de klassieke methoden, die vertrouwen op numerieke invarianten zoals het Milnor-getal ( $\mu$ ) en het Tjurina-getal ( $\tau$ ), niet direct toepasbaar zijn in deze setting. De reden hiervoor is dat de uniformisator $\pi$ van de DVR niet-inverteerbaar is. Dit beperkt de groep van $V$ -automorfismen aanzienlijk in vergelijking met velden.

Voorbeeld: Elementen zoals $x_1^2 + x_2^2 + \pi^3$ en $x_1^3 + x_2^2 + \pi^2$ zouden in een veld als equivalent kunnen worden beschouwd, maar over een DVR zijn de bijbehorende kwotientringen niet isomorf. Modulo $\pi$ leiden ze tot verschillende singuliere typen (een kusp versus een gewone dubbel punt).
Doel: Het ontwikkelen van een consistente theorie van equivalentie en het definiëren van numerieke invarianten die de ernst van singulariteiten kunnen meten en detecteren in de context van $V[[x]]$ , waarbij $V$ een DVR is.

2. Methodologie

De auteur introduceert een innovatieve methodologische benadering om de beperkingen van de niet-inverteerbare uniformisator $\pi$ te omzeilen:

De "Dummy-Variable" Benadering: In plaats van $\pi$ als een constante te behandelen, wordt deze formeel behandeld als een extra variabele $y$ . Voor een element $f \in V[[x]]$ wordt een geassocieerd element $\tilde{f} \in V[[x, y]]$ gedefinieerd door de unieke expansie van coëfficiënten in $V$ (als een eenheid maal een macht van $\pi$ ) te herschrijven. Concreet: als $f = \sum u_\alpha \pi^{n_\alpha} x^\alpha$ , dan is $\tilde{f} = \sum u_\alpha y^{n_\alpha} x^\alpha$ .
Equivalentie: Twee elementen $f, g \in V[[x]]$ worden als equivalent ( $f \sim g$ ) beschouwd als hun geassocieerde elementen $\tilde{f}$ en $\tilde{g}$ contact-equivalent zijn in $V[[x, y]]$ .
Determinatie: Er wordt een theorie van eindige determinatie ontwikkeld voor volledige Noetheriaanse lokale ringen, die generaliseert naar het geval van DVR's.
p-derivaties en Afgeleiden: Voor het niet-geramificeerde geval wordt gebruikgemaakt van p-derivaties (geïntroduceerd door Buium en Joyal) om een gemengde-karakteristiek versie van de Jacobiaanse criterium te construeren. Voor het geramificeerde geval wordt een speciale afgeleide $\frac{\partial}{\partial \pi}$ gebruikt.

3. Belangrijkste Bijdragen en Resultaten

A. Generalisatie van Determinatie en Mather-Yau Theorema (Sectie 2)

De auteur bewijst een Generalized Determinacy Theorem voor volledige Noetheriaanse lokale ringen. Een functie $f$ is $(2k - \text{ord}_I(f) + 2)$ -bepaald als een bepaalde inbedding van idealen geldt ( $I^{k+2} \subset I \cdot \langle f \rangle + I^2 \cdot J(f)$ ).
Er wordt een Generalized Mather-Yau Theorem bewezen: Twee functies $f$ en $g$ zijn equivalent (onder een automorfisme dat een ideaal $I$ preserveert) dan en slechts dan als hun geassocieerde kwotientringen $\frac{R[[x]]}{\langle f, I^k \cdot J(f) \rangle}$ en $\frac{R[[x]]}{\langle g, I^k \cdot J(g) \rangle}$ isomorf zijn voor voldoende grote $k$ .
Er wordt een nieuw numeriek invariant, het Jacobian-getal $j_I(f)$ , gedefinieerd als de lengte van het module $I / (\langle f \rangle + J(f))$ .

B. Tjurina en Milnor Getallen over DVR (Sectie 3)

Definitie van $\tau_V(f)$ en $\mu_V(f)$ : Deze worden gedefinieerd via het geassocieerde element $\tilde{f}$ in $V[[x, y]]$ . Ze worden berekend als de lengte van het kwotient van $V[[x, y]]$ modulo het ideaal gegenereerd door $\tilde{f}$ en zijn afgeleiden, gesneden met een "generieke" hypersurface om eindigheid te garanderen.
Eigenschappen:
- $\tau_V(f) = 0$ dan en slechts dan als $V[[x]]/\langle f \rangle$ een reguliere lokale ring is (d.w.z. $f$ is van orde 1).
- Er wordt een Splitting Lemma bewezen: Als de restklasse $\kappa$ kwadratisch gesloten is en karakteristiek $\neq 2$ , dan kan elke functie van orde 2 worden geschreven als een som van kwadratische termen plus een residu.
- Een Morse Lemma variant: Als $\tau_V(f) = 1$ , dan is $f$ equivalent aan $\pi^2 + x_1^2 + \dots + x_n^2$ .

C. Detectie van Geïsoleerde Singulariteiten (Sectie 4)
De paper onderscheidt tussen twee gevallen, elk met een specifieke invariant voor detectie:

Niet-geramificeerd geval (Uniformisator $p$ ):
- Hier worden p-derivaties $\delta$ gebruikt. Er wordt een Tjurina-getal $\tau(f, \delta)$ gedefinieerd gebaseerd op het ideaal $\langle f, (\partial_1 f)^p, \dots, (\partial_n f)^p, \delta(f) \rangle$ .
- Resultaat: $f$ definieert een geïsoleerde singulariteit dan en slechts dan als $p \in \sqrt{J(f)}$ en $\tau(f, \delta) < \infty$ voor elke p-derivatie $\delta$ .
- Om de afhankelijkheid van de keuze van $\delta$ te elimineren, wordt een variant $\tau^\Delta(f)$ gedefinieerd (modulo $p$ ), die onafhankelijk is van $\delta$ en ook geïsoleerde singulariteiten detecteert.
Geramificeerd geval (Uniformisator $\pi$ met $p \in \langle \pi^2 \rangle$ ):
- Hier wordt een specifieke afgeleide $\frac{\partial}{\partial \pi}$ gebruikt.
- Er wordt een ramified Tjurina-getal $\tau^\pi(f)$ gedefinieerd als de dimensie van $\kappa[[x]] / \langle f, \partial_1 f, \dots, \partial_n f, \frac{\partial f}{\partial \pi} \rangle$ .
- Resultaat: $f$ definieert een geïsoleerde singulariteit dan en slechts dan als $\pi \in \sqrt{J(f)}$ en $\tau^\pi(f) < \infty$ .

4. Significatie en Conclusie

Dit werk vormt een brug tussen de klassieke theorie van singulariteiten over velden en de complexe wereld van gemengde karakteristiek.

Theoretische Uitbreiding: Het paper lost het probleem op van hoe men "verandering van variabelen" moet definiëren in een DVR-context door de uniformisator formeel als variabele te behandelen.
Nieuwe Invarianten: Het introduceert een familie van Tjurina-achtige getallen ( $\tau_V, \tau(f, \delta), \tau^\Delta, \tau^\pi$ ) die elk een specifieke rol spelen in het kwantificeren van singulariteiten, afhankelijk van of de ring geramificeerd is of niet.
Praktische Toepasbaarheid: De resultaten bieden concrete criteria (via eindigheid van deze getallen en voorwaarden aan de wortel van het Jacobiaanse ideaal) om te bepalen of een singulariteit geïsoleerd is, wat essentieel is voor de classificatie van hypersurfaces in de arithmetische meetkunde.
Verband met Bestaande Werk: De theorie generaliseert resultaten van Greuel, Kröning, Boubakri en anderen, en bouwt voort op recente werken van Hochster, Jeffries, Saito en KC over p-derivaties en singulariteiten in gemengde karakteristiek.

Samenvattend biedt Svoray een robuust raamwerk voor het analyseren van hypersurface-singulariteiten over DVR's, waarbij hij de beperkingen van de niet-inverteerbare uniformisator overwint door een slimme algebraïsche vertaling naar een hogere dimensie en het gebruik van gespecialiseerde derivaties.