Isolated Hypersurface Singularities May Be Stably Degenerate

Technische Samenvatting: Geïsoleerde Hypersurface Singulariteiten Kunnen Stabiel Degeneraat Zijn

Probleemstelling
Het artikel behandelt een langlopende vraag in de singulariteitentheorie, oorspronkelijk geformuleerd door Arnol'd in 1975: Admitteert elke geïsoleerde hypersurface singulariteit een stabiele equivalentie tot een Newton niet-degenerat polynoom? Een polynoom is Newton niet-degenerat indien de restrictie ervan op de torus $(\mathbb{C}^*)^N$ geen kritieke punten heeft op enige compacte face van zijn Newton-polyedron. Hoewel bekend is dat singulariteiten degenerat kunnen zijn in elk vastgelegd coördinatensysteem, blijft de vraag of stabilisatie (het toevoegen van niet-degenerat quadratische vormen in nieuwe variabelen) degeneratie altijd kan elimineren. De auteurs bewijzen het bestaan van tegenvoorbeelden voor deze conjectuur.

Methodologie
Het bewijs is een existentieargument dat steunt op de interactie tussen de gemengde Hodge-structuur van contactloci en de geometrie van de moduli-ruimten van abelse variëteiten. De kernstrategie bestaat uit het construeren van een specifieke singulariteit $f$ en het aantonen dat de stabiele invarianten van deze singulariteit niet kunnen voortkomen uit een familie van Newton niet-degenerat singulariteiten.

1. Constructie van de Singulariteit:
   De auteurs construeren een polynoom $f = F + h$, waarbij:

   • $F$ een homogeen polynoom van graad $d$ is die een hypersurface in de projectieve ruimte definieert die birationeel is aan een "voldoende algemene" principaal gepolariseerde abelse variëteit $A$ van hoge dimensie ($g \geq 16$).
   • $h$ een polynoom is van graad strikt groter dan $d$ (bijvoorbeeld van Fermat-type), wat ervoor zorgt dat $f$ een geïsoleerde singulariteit heeft in de oorsprong.
   • De specifieke abelse variëteit $A$ is gekozen zodat deze aan drie eigenschappen voldoet (Lemma 3.3): zij is niet opgenomen in een rationale subvariëteit van haar moduli-ruimte, haar isogenie-klasse bevat geen variëteit die de generieke vezel is van een morfisme gedefinieerd over $\mathbb{Q}$ met een constante Hodge-structuur, en haar Néron-Severi-groep heeft rang 1.

2. Contactloci en Gemengde Hodge-structuren:
   De auteurs analyseren de contactlocus $\chi_f$, de ruimte van $d$-jets van curven die tangent zijn aan de singulariteit. Zij berekenen de gemengde Hodge-structuur (MHS) van de compact ondersteunde cohomologie van de contactlocus van een stabilisatie $f_k$.

   • Een cruciaal resultaat (Lemma 6.10) stelt vast dat een specifiek gewicht-gegradeerd deel van de MHS van de contactlocus van $f_k$ isomorf is aan een Tate-twist van de cohomologie van de abelse variëteit $A$ (specifiek $H^{2g-1}(A; \mathbb{Q})(-m)$).

3. Tegenspraak via Moduli-ruimten:
   Het bewijs verloopt via een tegenspraak. Stel dat een stabilisatie van $f$ na een coördinatentransformatie Newton niet-degenerat zou zijn.

   • De ruimte van Newton niet-degenerat polynomen met een vast Newton-polyedron vormt een familie geparametriseerd door een rationale variëteit $T$.
   • Voor dergelijke families vormt de cohomologie van de contactlocus een lokaal constante sheaf (Lemma 5.8), wat een perioden-afbeelding induceert van de parametrisatieruimte $T$ naar de moduli-ruimte van gepolariseerde abelse variëteiten $A_{g, \delta}$.
   • Omdat $T$ rationaal is en de moduli-ruimte $A_{g, \delta}$ (voor $g \geq 16$) van algemeen type is (en dus geen rationale curven bevat die een voldoende algemeen punt passeren), moet elke algebraïsche afbeelding van $T$ naar $A_{g, \delta}$ constant zijn.
   • Echter, de specifieke abelse variëteit $A$ die geconstrueerd is, werd gekozen om buiten de afbeelding te liggen van elke dergelijke constante afbeelding die gedefinieerd is over $\mathbb{Q}$ (Lemma 3.3). Deze tegenspraak impliceert dat geen enkele coördinatentransformatie de stabilisatie Newton niet-degenerat kan maken.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1: Het bestaan van een geïsoleerde hypersurface singulariteit die stabiel degenerat is, wordt bewezen. Dit geeft een negatief antwoord op Arnol'd's probleem uit 1975.
• Geometrische Karakterisering: Het artikel identificeert dat de obstructie tot stabiele niet-degeneratheid ligt in de globale geometrische eigenschappen van de moduli-ruimten van abelse variëteiten. Specifiek voorkomt de "niet-unirule-achtigheid" (het zijn van algemeen type) van hoog-dimensionale moduli-ruimten dat bepaalde Hodge-structuren gerealiseerd worden door families van Newton niet-degenerat singulariteiten.
• Algoritmische Existentie: Hoewel het primaire bewijs niet-constructief is, schetst Sectie 8 een theoretisch algoritme om een expliciet voorbeeld te produceren. Dit omvat het gebruik van Gröbner-basis technieken om een punt in de moduli-ruimte van abelse variëteiten te vinden met algebraïch onafhankelijke coördinaten, om er zeker van te zijn dat de resulterende singulariteit aan de noodzakelijke beperkingen voldoet. De auteurs merken op dat dit computationeel onhaalbaar is in de praktijk vanwege de dubbel exponentiële complexiteit en de enorme graad van de resulterende polynomen.

Betekenis
Het artikel lost een fundamenteel open probleem in de singulariteitentheorie op door aan te tonen dat de klasse van Newton niet-degenerat singulariteiten niet stabiel-equivalent is aan de klasse van alle geïsoleerde hypersurface singulariteiten. De betekenis van het resultaat is tweeledig:

1. Theoretisch: Het vestigt een diepe verbinding tussen de lokale analytische eigenschappen van singulariteiten en de globale geometrie van de moduli-ruimten van abelse variëteiten.
2. Methodologisch: Het introduceert het gebruik van gemengde Hodge-structuren op contactloci als een krachtige invariant om stabiele equivalentie-klassen te onderscheiden, waarbij specif gezien wordt op de rigiditeit van perioden-afbeeldingen op moduli-ruimten van algemeen type.

De auteurs merken op dat hun argument steunt op het bestaan van abelse variëteiten van dimensie $g \geq 16$ met specifieke eigenschappen, en zij verwijzen naar het werk van Stevens dat suggereert dat dergelijke singulariteiten generiek kunnen zijn binnen bepaalde strata van constante Milnor-getal. Het artikel concludeert door voor te stellen dat het combineren van deze methoden met Floer-theorie potentieel de resultaten kan versterken om aan te tonen dat dergelijke singulariteiten niet gedefinieerd kunnen worden in een $\mu$-constante familie naar Newton niet-degenerat singulariteiten.