Tropical methods for stable octic double planes

Sintesi Tecnica: Metodi Tropicali per Piani Doppi Ottici Stabili

Enunciato del Problema
Il saggio affronta la classificazione dello spazio di moduli KSBA (Kollár–Shepherd-Barron–Alexeev) delle superfici di tipo generale con numeri di Chern fissi $K^2=2$ e $p_g=3$. Queste superfici lisce sono piani doppi ottici (coperti doppi di $\mathbb{P}^2$ ramificati su una curva ottica liscia). Sebbene la compattificazione KSBA includa superfici singolari "stabili", gli strati di bordo corrispondenti alle singolarità non Gorenstein sono stati in gran parte inesplorati. Il lavoro precedente di Anthes ha classificato i limiti Gorenstein e fornito esempi iniziali di limiti non Gorenstein. Questo saggio mira a classificare sistematicamente tutte le superfici normali KSBA-stabili in questo spazio di moduli che ammettono un raddrizzamento (smoothing) $\mathbb{Q}$-Gorenstein a un piano doppio ottico liscio, con un focus specifico sul caso non Gorenstein.

Metodologia
Gli autori impiegano tecniche di geometria tropicale e simmetria speculare (mirror symmetry), specificamente il framework sviluppato da Gross, Hacking, Keel e Kontsevich (GHK), per organizzare l'analisi dei casi di degenerazione delle superfici.

1. Riduzione alle Superfici di Manetti: Gli autori stabiliscono che ogni limite KSBA normale di un piano doppio ottico è un coperto doppio di una degenerazione di $\mathbb{P}^2$. Citando il lavoro di Bădescu, Manetti, Hacking e Prokhorov, restringono le superfici di base alle "superfici di Manetti"—degenerazioni di $\mathbb{P}^2$ con al massimo singolarità di quoziente (specificamente singolarità di Wahl e singolarità ellittiche semplici). Dimostrano che le singolarità ellittiche semplici non possono verificarsi nella base di un coperto doppio ottico log canonico, lasciando solo le superfici di Manetti con singolarità di Wahl.
2. Tropicalizzazione Speculare: La geometria di queste superfici di Manetti è codificata tramite "tropicalizzazioni speculari" (varietà affini integrali). Gli autori utilizzano la corrispondenza tra superfici di Manetti e triple di Markov $(a, b, c)$ soddisfacenti $a^2+b^2+c^2=3abc$. Le superfici di Manetti toriche corrispondono a piani proiettivi pesati $\mathbb{P}(a^2, b^2, c^2)$, mentre quelle non toriche (indicate come $HP(S)$) corrispondono a raddrizzamenti parziali di queste.
3. Enumerazione delle Sezioni: Le curve di ramificazione dei coperti doppi corrispondono a sezioni di un fibrato lineare specifico. Nel quadro tropicale, queste sezioni sono in biiezione con i punti interi all'interno del poligono della tropicalizzazione speculare. Gli autori enumerano questi punti interi per tutte le triple di Markov rilevanti.
4. Calcolo del Discrepanza: Utilizzando i dati tropicali, gli autori calcolano le discrepanze delle singolarità della coppia $(Y, \frac{1}{2}B)$, dove $Y$ è la superficie di base di Manetti e $B$ è la curva di ramificazione. Una condizione necessaria affinché il coperto doppio sia KSBA-stabile è che la coppia sia log canonica (discrepanze $\geq -1$).
5. Mutazione e Induzione: Gli autori utilizzano le "mutazioni" dei poligoni tropicali (analoghe alle mutazioni delle triple di Markov) per escludere induttivamente infiniti casi. Dimostrano che per la maggior parte delle superfici di Manetti, la curva di ramificazione acquisisce necessariamente una componente multipla o singolarità che violano la condizione di log canonicità.

Contributi Chiave e Risultati

• Teorema di Classificazione: Il saggio fornisce una classificazione completa delle superfici normali KSBA-stabili con $K^2=2, p_g=3$ che ammettono un raddrizzamento $\mathbb{Q}$-Gorenstein. Le superfici stabili rientrano in quattro categorie:

  1. Coperti doppi di $\mathbb{P}^2$ ramificati su ottiche singolari (limiti Gorenstein, precedentemente classificati da Anthes).
  2. Coperti doppi di $Y = \mathbb{P}(1, 1, 4)$ ramificati su una curva di grado pesato 16. Queste possono possedere due singolarità $\frac{1}{4}(1,1)$ o specifici cestelli (baskets) di singolarità derivanti da quozienti $\mathbb{Z}/2$ di singolarità ellittiche semplici o cuspiche.
  3. Coperti doppi di $Y = \mathbb{P}(1, 4, 25)$ ramificati su una curva di grado pesato 80. Queste possiedono una singolarità $\frac{1}{50}(1, 29)$ e uno dei cestelli elencati per $\mathbb{P}(1, 1, 4)$.
  4. Coperti doppi della superficie di Manetti non torica $HP(5)$ (un raddrizzamento parziale di $\mathbb{P}(1, 4, 25)$). Queste possiedono una singolarità $\frac{1}{50}(1, 29)$.

• Esclusione di Numeri di Markov Superiori: Un risultato significativo è la prova che le superfici di Manetti associate a numeri di Markov $c \notin \{1, 2, 5, 13, 29, 34\}$ (e le loro varianti non toriche associate) non producono coperti doppi log canonici. Gli autori mostrano che per queste superfici, la curva di ramificazione deve contenere una componente con molteplicità $\geq 2$ o le singolarità risultanti violano la condizione di log canonicità.

• Analisi Dettagliata delle Singolarità: Il saggio fornisce descrizioni esplicite delle risoluzioni minime per i casi non Gorenstein.

  • Per $Y=\mathbb{P}(1, 1, 4)$, gli autori analizzano i casi in cui la curva di ramificazione passa attraverso la singolarità. Identificano grafi duali per le risoluzioni minime, che includono quozienti $\mathbb{Z}/2$ di singolarità ellittiche semplici e singolarità cuspiche.
  • Stabiliscono limiti per i parametri di queste singolarità (ad esempio, per il caso cuspico, $t \leq 19$ e $t_1 + t_2 \leq 38$, con una congettura che $t_1 + t_2 \leq 21$).
  • Costruiscono esplicitamente la singolarità di Wahl $\frac{1}{50}(1, 29)$ che deriva dai casi $\mathbb{P}(1, 4, 25)$ e $HP(5)$.

• Struttura dello Spazio Moduli: Gli autori calcolano le dimensioni degli strati nel bordo KSBA corrispondenti a queste superfici singolari. Mostrano che gli strati sono annidati (ad esempio, $D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$) e determinano i loro codimensioni rispetto allo spazio di moduli di 36 dimensioni dei piani doppi ottici lisci.

Significato e Rivendicazioni
Il saggio sostiene che la geometria tropicale e la simmetria speculare forniscono un quadro potente e sistematico per organizzare la complessa analisi dei casi richiesta per studiare gli spazi di moduli KSSA vicino alla linea di Noether ($2p_g = K^2 + 4$). Trasformando il problema della classificazione delle degenerazioni di superficie nel problema combinatorio del conteggio dei punti interi in poligoni tropicali e nell'analisi delle loro mutazioni, gli autori sono in grado di domare un problema di classificazione altrimenti intrattabile.

Il lavoro estende la comprensione delle superfici KSBA-stabili oltre il caso Gorenstein, fornendo il primo elenco completo di limiti non Gorenstein per i piani doppi ottici. Gli autori osservano che, sebbene le loro tecniche siano motivate dallo studio delle superfici di Horikawa (che si trovano sulla o vicino alla linea di Noether), la specifica classificazione del caso $K^2=2, p_g=3$ funge da passo fondamentale. Essi dichiarano esplicitamente di non aver studiato tutte le combinazioni di singolarità Gorenstein e non Gorenstein, né di aver determinato quali specifiche combinazioni dei cestelli identificati siano realizzabili, sebbene dimostrino l'esistenza degli strati. Il saggio inoltre evidenzia che, sebbene le superfici identificate siano KSBA-stabili, la maggior parte non è raddrizzabile nel senso di avere gruppi di ostacolo locale-globale nulli, sebbene possano essere razionalmente rimpicciolite (blown down) in varietà lisce a 4 dimensioni.