Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

Sintesi Tecnica: Polinomi Invarianti e i Modelli di Mukai per gli Spazi Moduli di Curve e Superfici K3

Enunciato del Problema
Dalla fine degli anni '80, Shigeru Mukai ha introdotto modelli birazionali, indicati con $M^X_{1,g}$ e $M^X_{2,g}$, per specifici spazi moduli di curve e superfici K3 polarizzate di genere $g \in \{7, 8, 9, 10\}$. Questi modelli sono definiti come quozienti di teoria del GIT (Geometric Invariant Theory) di varietà Grassmanniane da parte di semplici gruppi algebrici lineari. Sebbene esistano risultati fondamentali riguardanti la stabilità degli oggetti lisci e generici all'interno di questi modelli, la stabilità GIT di curve e superfici singolari che compaiono sui bordi di questi spazi moduli rimane in gran parte ignota. I tentativi precedenti di verificare la semistabilità di specifici esempi singolari (come nel genere 7) si sono basati su costruzioni classiche ed esplicite di polinomi invarianti e sulla valutazione diretta. Tali metodi erano computazionalmente proibitivi, richiedendo spesso enormi risorse di calcolo parallelo e tempi significativi per valutare anche un singolo esempio.

Metodologia
Il saggio propone un approccio computazionalmente efficiente per la costruzione e la valutazione di polinomi invarianti associati ai problemi GIT di Mukai. La metodologia procede in tre fasi:

1. Costruzione dei Polinomi Invarianti:
   Gli autori analizzano la decomposizione delle potenze esterne $\Lambda^g V_g^*$ (per le curve) e $\Lambda^{g+1} V_g^*$ (per le superfici), dove $V_g$ è la specifica rappresentazione associata al gruppo $G_g$ che agisce sulla Grassmanniana. Identificando i sottomoduli irriducibili all'interno di queste decomposizioni, gli autori costruiscono polinomi invarianti $F_{g,d}$ di gradi specifici.

   • La strategia consiste nel selezionare sottomoduli irriducibili di piccola dimensione e trovare il grado minimo $d$ tale che il prodotto simmetrico $\text{Sym}^d$ del sottomodulo contenga un modulo banale $G_g$ (un invariante).
   • Per casi specifici (ad esempio, Genere 8, Dimensione 2), gli autori utilizzano una formula combinatoria per gli invarianti di $SL_n$ espressa in termini di basi di Gelfand-Tsetlin, implementata nel pacchetto LieAlgebraRepresentations per Macaulay2. Ciò evita la necessità di algoritmi generici ad alta intensità di memoria.

2. Localizzazione di Oggetti Singolari:
   Gli autori identificano punti specifici negli spazi parametrici (Grassmanniane) corrispondenti a curve e superfici singolari. Questi includono:

   • Sviluppabili tangenti.
   • Cubiche cuspidali con simmetria $g$-gonale.
   • Tappeti K3 (K3 carpets) e nastri (ribbons) bilanciati.
   • Curve grafiche associate a grafi trivalenti ($\Gamma_7, \Gamma_8, \Gamma_9$).
   • Superfici riducibili e curve con componenti genericamente non ridotte.
     Le coordinate per questi punti sono derivate dai gruppi di automorfismo, da algoritmi per le curve grafiche e da ricerche computazionali per strutture non ridotte.

3. Valutazione e Verifica:
   Utilizzando i polinomi costruiti e i punti identificati, gli autori valutano $F_{g,d}$ nei punti parametrici che rappresentano gli oggetti singolari. Se il valore è non nullo, l'oggetto è dimostrato essere GIT semistabile. Tutti i calcoli sono eseguiti utilizzando Macaulay2.

Contributi Chiave

• Efficienza Algoritmica: Il saggio introduce un metodo per valutare i polinomi invarianti che è molto più efficiente dei precedenti approcci. Mentre il lavoro precedente richiedeva giorni di calcolo su cluster ad alte prestazioni (ad esempio, 36 ore su istanze AWS), il nuovo metodo costruisce e valuta polinomi per il genere 7 su un normale laptop in circa 24 ore, con le valutazioni successive che diventano quasi istantanee.
• Implementazione: Il lavoro è implementato nel pacchetto LieAlgebraRepresentations per Macaulay2, che include una formula combinatoria per gli invarianti di $SL_n$ nell'Appendice.
• Formula Combinatoria: L'Appendice fornisce la prova di una formula combinatoria per un invariante di $SL_n$ in termini di basi di Gelfand-Tsetlin, fondamentale per il calcolo efficiente dell'invariante del genere 8.

Risultati
Gli autori dimostrano il Teorema 1.1, stabilendo che una vasta gamma di curve e superfici singolari sono GIT semistabili nei modelli di Mukai per i generi da 7 a 10. Nello specifico, il saggio conferma la semistabilità di:

• Genere 7: Sviluppabili tangenti, cubiche a 7 cuspidi, tappeti K3 bilanciati, nastri bilanciati e curve grafiche.
• Genere 8: Sviluppabili tangenti, cubiche a 8 cuspidi, superfici riducibili con quattro componenti non ridotte, curve riducibili con cinque componenti non ridotte e curve grafiche.
• Genere 9: Sviluppabili tangenti, cubiche a 9 cuspidi, tappeti K3 bilanciati, nastri bilanciati e curve grafiche.
• Genere 10: Sviluppabili tangenti, cubiche a 10 cuspidi, superfici riducibili con due componenti non ridotte e curve riducibili con quattro componenti non ridotte.

In particolare, la superficie riducibile del genere 8 (Esempio 8c) è mostrata essere strettamente semistabile, un risultato che ha richiesto lo specifico polinomio invariante $F_{8,2}$ derivato tramite la formula combinatoria, poiché i metodi generali fallivano a causa dei vincoli di memoria.

Significato e Rivendicazioni
Il saggio sostiene che il suo contributo primario sia la dimostrazione di un metodo scalabile ed efficiente per analizzare i bordi degli spazi moduli di Mukai. Gli autori sottolineano che le "caratteristiche più sorprendenti" dei loro risultati siano la "lunghezza e l'ampiezza" dell'elenco di oggetti verificati, piuttosto che le proprietà geometriche specifiche di un singolo elemento. La metodologia consente l'analisi di molti più esempi rispetto a quanto precedentemente possibile. Il saggio non pretende di risolvere il problema generale della caratterizzazione dell'intero bordo di questi spazi moduli, ma fornisce uno strumento computazionale robusto per verificare la semistabilità di specifici oggetti singolari complessi che erano precedentemente intrattabili. Il lavoro estende i risultati di [25] sostituendo i calcoli classici ed espliciti con un approccio di teoria delle rappresentazioni che è sia più veloce che più efficiente dal punto di vista della memoria.