Singularities in any Characteristic

Titel: Hypersurface Singulariteiten in elke Karakteristiek

Auteur: Gert-Martin Greuel
Context: In memoriam Wolfgang Ebeling. Gebaseerd op werk uit [GLS25], [GP25] en [GP25a].

1. Het Probleem en de Context

De theorie van singulariteiten van complexe analytische ruimten is uitgebreid bestudeerd en vastgelegd in standaardtekstboeken. Echter, de studie van singulariteiten van algebraïsche variëteiten en formele machtseries gedefinieerd over velden met willekeurige karakteristiek (inclusief positieve karakteristiek $p > 0$) is minder volledig onderzocht.

Het centrale probleem is dat veel klassieke resultaten die gelden voor het complexe getallenveld $\mathbb{C}$ (karakteristiek 0) in positieve karakteristiek fundamenteel anders zijn of zelfs falen. Bestaande theorieën onderscheiden vaak tussen formele machtseries over willekeurige velden en convergente machtseries over $\mathbb{R}$ of $\mathbb{C}$. Dit artikel tracht deze scheiding te overbruggen en een uniforme theorie te ontwikkelen voor convergente machtseries $K\{x\}$ over een willekeurig reëel gewaardeerd veld $K$ (met een absolute waarde $|\cdot|$), ongeacht de karakteristiek.

2. Methodologie

De auteur hanteert een geavanceerde algebraïsche en analytische aanpak die de volgende elementen combineert:

• Reëel gewaardeerde velden: De theorie wordt opgebouwd over een veld $K$ met een absolute waarde (triviale, Archimedische zoals $\mathbb{R}, \mathbb{C}$, of niet-Archimedische zoals $p$-adische getallen $\mathbb{Q}_p$).
• Convergente vs. Formele series: In plaats van alleen te werken met formele series $K[[x]]$, wordt gewerkt met de ring van convergente series $K\{x\}$.
• Grauert's Benaderingstheorema: Een cruciaal instrument is het gebruik van Grauert's benaderingstheorema voor reëel gewaardeerde velden. Dit stelt de auteur in staat om resultaten van formele series over te dragen naar convergente series en de existentie van semi-universele vervormingen te bewijzen.
• Lefschetz-principe: Voor velden met karakteristiek 0 wordt het Lefschetz-principe gebruikt om resultaten die bekend zijn voor $\mathbb{C}$ te generaliseren naar andere velden van karakteristiek 0.
• Differentiatie en Jacobiaans: De definitie van invariants (zoals het Milnor- en Tjurina-getal) en de analyse van de Jacobiaanse ideaal worden zorgvuldig geanalyseerd, met speciale aandacht voor de valkuilen in positieve karakteristiek (waar de afgeleide van $x^p$ nul kan zijn).

3. Belangrijkste Bijdragen en Resultaten

A. Invarianten en Bepaaldheid (Sectie 1)

• Definities: De klassieke definities van het Milnor-getal $\mu(f)$ (dimensie van de Milnor-algebra) en het Tjurina-getal $\tau(f)$ (dimensie van de Tjurina-algebra) worden gegeneraliseerd naar $K\{x\}$.
• Isolatie van singulariteiten: Er wordt bewezen dat voor karakteristiek 0 $\mu(f) < \infty$ equivalent is aan $\tau(f) < \infty$. In positieve karakteristiek geldt dit niet (een voorbeeld wordt gegeven waar $\mu(f) = \infty$ maar $\tau(f) < \infty$).
• Eindige Bepaaldheid (Finite Determinacy):
  • Er worden nieuwe, scherpe bovengrenzen afgeleid voor de bepaaldheid van singulariteiten (hoeveel termen van de reeks nodig zijn om de equivalentieklasse te bepalen).
  • Voor karakteristiek 0 en grote karakteristiek gelden klassieke grenzen.
  • Voor positieve karakteristiek worden nieuwe grenzen bewezen (Theorema 1.10): Als $m^{k+2} \subseteq m^2 \cdot j(f)$, dan is $f$ recht $(2k - \text{ord}(f) + 2)$-bepaald.
  • Er wordt bewezen dat eindige bepaaldheid equivalent is aan de eindigheid van respectievelijk $\mu(f)$ (voor recht-equivalentie) en $\tau(f)$ (voor contact-equivalentie).
• Mather-Yau Theorema: Een generalisatie van dit theorema wordt bewezen. In positieve karakteristiek is het noodzakelijk om hogere Tjurina- en Milnor-algebra's te gebruiken (voor $k$ groot genoeg) om de equivalentie te karakteriseren, in tegenstelling tot karakteristiek 0 waar de standaard algebra's volstaan.

B. Versale Vervormingen en het Splitting Lemma (Sectie 2)

• Semi-universele Vervorming: Er wordt bewezen dat voor geïsoleerde singulariteiten in $K\{x\}$ een semi-universele vervorming bestaat, gebaseerd op Grauert's theorema.
• Splitting Lemma: Een fundamenteel resultaat voor de classificatie. Het stelt dat een machtserie $f$ (tot op coördinatenverandering) kan worden gesplitst in een kwadratisch deel (afhankelijk van een deel van de variabelen) en een "residuaal" deel $g$ van orde $\ge 3$.
  • Dit lemma wordt bewezen voor elke karakteristiek, inclusief karakteristiek 2 (waar de Hessian-matrix een even rang heeft en een specifieke normaalvorm vereist).
  • De uniciteit van het residuaal deel $g$ wordt strikt bewezen.

C. Classificatie van Eenvoudige Singulariteiten (Sectie 3 & 4)

Dit is het meest innovatieve deel van het artikel, waar de classificatie van "eenvoudige" (simple) singulariteiten wordt gegeven. Een singulariteit is eenvoudig als de omgeving ervan slechts eindig veel equivalentieklassen (banen onder de groep) bevat.

• Contact-Equivalentie (Sectie 3):

  • De classificatie lijkt sterk op die van Arnold in karakteristiek 0: de ADE-rij ($A_k, D_k, E_6, E_7, E_8$).
  • In positieve karakteristiek verschijnen echter extra normaalvormen, afhankelijk van de karakteristiek (bijv. extra vormen voor $E_6, E_7, E_8$ in karakteristiek 3 of 5).
  • Er worden ook niet-isoleerde singulariteiten ($A_\infty, D_\infty$) gekarakteriseerd.

• Recht-Equivalentie (Sectie 4):

  • Hier is het resultaat fundamenteel anders dan in karakteristiek 0.
  • In karakteristiek 0 zijn recht-eenvoudige en contact-eenvoudige singulariteiten hetzelfde. In positieve karakteristiek zijn ze dat niet.
  • Resultaat: Voor een vaste karakteristiek $p > 0$ zijn er slechts eindig veel recht-eenvoudige singulariteiten.
  • Specifiek voorbeeld:
    • Als $p=2$ en $n$ is even, is de enige recht-eenvoudige singulariteit $x_1x_2 + x_3x_4 + \dots + x_{n-1}x_n$.
    • Als $n$ oneven is, bestaan er geen recht-eenvoudige singulariteiten.
  • De classificatie voor $p > 2$ geeft een lijst met $A_k, D_k, E_6, E_7, E_8$ met strikte beperkingen op de index $k$ (bijv. $k \le p-2$ voor $A_k$).

4. Significatie en Implicaties

1. Unificatie van Theorie: Het artikel biedt een robuust raamwerk dat convergente series over willekeurige reëel gewaardeerde velden behandelt, waardoor de noodzaak om formele en analytische gevallen apart te behandelen verdwijnt.
2. Nieuwe Resultaten in Positieve Karakteristiek: Veel stellingen die in de complexe theorie als triviaal worden beschouwd (zoals de relatie tussen $\mu$ en $\tau$, of de Mather-Yau stelling) vereisen in positieve karakteristiek nieuwe bewijzen en vaak aangepaste definities (hogere algebra's).
3. Fundamenteel Verschil in Classificatie: De ontdekking dat de classificatie van recht-eenvoudige singulariteiten in positieve karakteristiek drastisch verschilt van die in karakteristiek 0 (eindig aantal klassen vs. oneindig aantal $A_k, D_k$), is een belangrijk inzicht. Dit suggereert dat de "modale" aard van singulariteiten in positieve karakteristiek veel sterker beperkt is.
4. Toepassing van Grauert's Theorema: Het succesvol toepassen van Grauert's benaderingstheorema op convergente series in deze context opent de deur voor verdere onderzoek naar vervormingen en stabiliteit in niet-complexe settings.
5. Conjectuur: De auteur stelt een conjectuur op dat de "recht-modality" (het aantal parameters nodig om de orbit te beschrijven) naar oneindig gaat als het Milnor-getal naar oneindig gaat in positieve karakteristiek, wat een dieper inzicht zou geven in de structuur van singulariteiten in deze velden.

Samenvattend levert dit artikel een grondige, zelfstandige en geactualiseerde theorie op voor hypersurface singulariteiten die essentieel is voor algebraïsche meetkunde en singulariteitentheorie in niet-complexe en positieve karakteristiek settings.