Isolated Hypersurface Singularities May Be Stably Degenerate

Sintesi Tecnica: Le singolarità di ipersuperficie isolate possono essere stabilmente degenerate

Enunciato del Problema
Il saggio affronta una questione di lunga data nella teoria delle singolarità posta originariamente da Arnol'd nel 1975: ogni singolarità di ipersuperficie isolata ammette un'equivalenza stabile a un polinomio Newton non degenere? Un polinomio è Newton non degenere se la sua restrizione sul toro $(\mathbb{C}^*)^N$ non presenta punti critici su alcuna faccia compatta del suo poliedro di Newton. Sebbene sia noto che le singolarità possano essere degenerate in qualsiasi sistema di coordinate fissato, la questione rimane se la stabilizzazione (l'aggiunta di forme quadratiche non degenerate in nuove variabili) possa sempre eliminare la degenerazione. Gli autori dimostrano l'esistenza di controesempi a questa congettura.

Metodologia
La dimostrazione è un argomento di esistenza che si basa sull'interazione tra la struttura di Hodge mista dei lotti di contatto e la geometria degli spazi di moduli delle varietà abeliane. La strategia centrale consiste nel costruire una singolarità specifica $f$ e nel dimostrare che i suoi invarianti stabili non possono derivare da alcuna famiglia di singolarità Newton non degenerate.

1. Costruzione della Singolarità:
   Gli autori costruiscono un polinomio $f = F + h$, dove:

   • $F$ è un polinomio omogeneo di grado $d$ che definisce un ipersuperficie nello spazio proiettivo che è birazionale a una varietà abeliana principalmente polarizzata $A$ "sufficientemente generica" di alta dimensione ($g \geq 16$).
   • $h$ è un polinomio di grado strettamente superiore a $d$ (ad esempio, di tipo Fermat) che assicura che $f$ abbia una singolarità isolata nell'origine.
   • La specifica varietà abeliana $A$ è scelta affinché soddisfi tre proprietà (Lemma 3.3): non è contenuta in alcuna sottovarietà razionale del suo spazio dei moduli, la sua classe di isogenia non contiene alcuna varietà che sia la fibra generica di un morfismo definito su $\mathbb{Q}$ con struttura di Hodge costante, e il suo gruppo di Néron-Severi ha rango 1.

2. Lotti di Contatto e Strutture di Hodge Miste:
   Gli autori analizzano il lotto di contatto $\chi_f$, lo spazio dei $d$-getti di curve tangenti alla singolarità. Calcolano la struttura di Hodge mista (MHS) della coomologia a supporto compatto del lotto di contatto di una stabilizzazione $f_k$.

   • Un risultato chiave (Lemma 6.10) stabilisce che una specifica parte pesata della MHS del lotto di contatto di $f_k$ è isomorfa a un Tate twist della coomologia della varietà abeliana $A$ (specificamente $H^{2g-1}(A; \mathbb{Q})(-m)$).

3. Contraddizione tramite Spazi di Moduli:
   La dimostrazione procede per contraddizione. Supponiamo che una stabilizzazione di $f$ sia Newton non degenere dopo un cambio di coordinate.

   • Lo spazio dei polinomi Newton non degeneri con un fissato poliedro di Newton forma una famiglia parametrizzata da una varietà razionale $T$.
   • Per tali famiglie, la coomologia del lotto di contatto forma un fascio localmente costante (Lemma 5.8), inducendo una mappa di periodo dal parametro $T$ allo spazio dei moduli delle varietà abeliane polarizzate $A_{g, \delta}$.
   • Poiché $T$ è razionale e lo spazio dei moduli $A_{g, \delta}$ (per $g \geq 16$) è di tipo generale (e quindi non contiene curve razionali che passano attraverso un punto sufficientemente generico), qualsiasi mappa algebrica da $T$ a $A_{g, \delta}$ deve essere costante.
   • Tuttavia, la specifica varietà abeliana $A$ costruita è stata scelta per trovarsi al di fuori dell'immagine di tale mappa costante definita su $\mathbb{Q}$ (Lemma 3.3). Questa contraddizione implica che nessun cambio di coordinate può rendere la stabilizzazione Newton non degenere.

Contributi Chiave e Risultati

• Teorema 1.1: Viene dimostrata l'esistenza di una singolarità di ipersuperficie isolata che è stabilmente degenere. Ciò fornisce una risposta negativa al problema di Arnol'd del 1975.
• Caratterizzazione Geometrica: Il saggio identifica che l'ostacolo alla non-degenerazione stabile risiede nelle proprietà geometriche globali dello spazio dei moduli delle varietà abeliane. Nello specifico, la "non-uniruledità" (essere di tipo generale) degli spazi di moduli ad alta dimensione impedisce a certe strutture di Hodge di essere realizzate da famiglie di singolarità Newton non degenerate.
• Esistenza Algoritmica: Sebbene la dimostrazione primaria sia non costruttiva, la Sezione 8 delinea un algoritmo teorico per produrre un esempio esplicito. Questo comporta l'uso di tecniche di basi di Gröbner per trovare un punto nello spazio dei moduli delle varietà abeliane con coordinate algebricamente indipendenti, assicurando che la singolarità risultante soddisfi i vincoli necessari. Gli autori osservano che ciò è computazionalmente impraticabile nella pratica a causa della complessità doppiamente esponenziale e del massiccio grado dei polinomi risultanti.

Significato
Il saggio risolve un problema aperto fondamentale nella teoria delle singolarità dimostrando che la classe delle singolarità Newton non degenerate non è stabilmente equivalente alla classe di tutte le singolarità di ipersuperficie isolate. La significatività del risultato è duplice:

1. Teorica: Stabilisce una profonda connessione tra le proprietà analitiche locali delle singolarità e la geometria globale degli spazi di moduli delle varietà abeliane.
2. Metodologica: Introduce l'uso delle strutture di Hodge miste sui lotti di contatto come un invariante potente per distinguere le classi di equivalenza stabile, sfruttando specificamente la rigidità delle mappe di periodo sugli spazi di moduli di tipo generale.

Gli autori osservano che il loro argomento si basa sull'esistenza di varietà abeliane di dimensione $g \geq 16$ con proprietà specifiche, e citano il lavoro di Stevens che suggerisce che tali singolarità potrebbero essere generiche all'interno di certi strati di numero di Milnor costante. Il saggio conclude suggerendo che combinare questi metodi con la teoria di Floer potrebbe potenzialmente rafforzare il risultato per mostrare che tali singolarità non possono essere deformate in singolarità Newton non degenerate all'interno di una famiglia $\mu$-costante.