Genus one correspondence between tropical and algebraic curves

Sintesi Tecnica: Corrispondenza di Genere Uno tra Curve Tropicali e Algebriche

Enunciato del Problema
Il saggio affronta il problema fondamentale di determinare quali curve tropicali derivino da curve algebriche e di stabilire una precisa corrispondenza enumerativa tra esse. Mentre il caso di genere 0 è ben compreso — dove la condizione di bilanciamento è l'unico requisito per la realizzabilità, portando al celebre teorema di corrispondenza di Nishinou–Siebert — la situazione in genere positivo è significativamente più sottile. In genere 1, l'esistenza di un sollevamento algebrico per una curva tropicale non è garantita dai soli dati combinatori; richiede che la curva soddisfi una condizione di "buon posizionamento" (well-spaced). Il lavoro precedente di Speyer ha fornito condizioni sufficienti per la realizzabilità, ma ha notato che il suo quadro era qualitativo piuttosto che quantitativo, rendendolo inadatto a derivare conteggi combinatori esatti. Inoltre, sebbene gli invarianti di Gromov–Witten virtuali siano stati espressi come conteggi pesati di curve tropicali (ad esempio, da Abramovich–Chen–Gross–Siebert), questi pesi sono definiti in termini di invarianti virtuali piuttosto che di dati combinatori espliciti. Questo saggio mira a risolvere il problema enumerativo per le curve di genere 1 in varietà toriche di dimensione arbitraria, fornendo una formula puramente tropicale completa per il conteggio delle curve ellittiche algebriche.

Metodologia
Gli autori impiegano un approccio puramente algebro-geometrico, divergendo dalle tecniche di degenerazione utilizzate nelle precedenti dimostrazioni di corrispondenza di genere 0. La metodologia si basa sui seguenti pilastri chiave:

1. Teoria della Deformazione Logaritmica: La dimostrazione utilizza lo spazio di moduli $W_\Gamma(X)$ delle mappe logaritmiche stabili ben posizionate di genere 1 verso una varietà torica proiettiva liscia $X$. Questo spazio, introdotto da Ranganathan–Santos-Parker–Wise, parametriza le mappe con ordini di contatto prescritti lungo il bordo torico.
2. Pesi di Minkowski e Teoria dell'Intersezione: Invece della degenerazione, gli autori applicano la teoria dei pesi di Minkowski (seguendo Fulton–Sturmfels) per calcolare i numeri di intersezione sulle varietà toriche. Stabiliscono una corrispondenza analizzando il pullback delle classi di coomologia sotto la mappa di valutazione $ev \times st: W_\Gamma(X) \to X^n \times M_{1,1}$.
3. Criteri di Sollevamento e Mappe Logaritmiche "Fine": Un componente tecnico centrale è lo sviluppo di un criterio (Teorema 5.4) per sollevare una curva tropicale a una mappa logaritmica. Ciò comporta l'analisi dell'esistenza di sezioni meromorfe sulle componenti della curva dominio che soddisfino specifiche condizioni di incollaggio (gluing) ai nodi. Gli autori distinguono tra mappe logaritmiche "fine" (su schemi logaritmici fini, non necessariamente saturati) e mappe "fs" (fini e saturate), calcolando il numero di potenziamenti (enhancements) fs per un dato tipo tropicale.
4. Enumerazione Combinatoria: Gli autori enumerano esplicitamente il numero di sollevamenti algebrici per ogni tipo di curva tropicale. Ciò comporta il calcolo dell'indice di saturazione dei monoidi associati, dell'indice di reticolo della mappa tropicalizzazione e dei gruppi di automorfismo delle mappe sottostanti.

Contributi Chiave e Risultati

• Il Teorema di Corrispondenza (Teorema A): Il risultato principale stabilisce che il conteggio genuinamente enumerativo delle curve di genere 1 in una varietà torica $X$ che passano attraverso sottovarietà generiche coincide esattamente con il conteggio delle corrispondenti curve tropicali ben posizionate, pesate da esplicite molteplicità combinatorie. Questo generalizza il teorema di Nishinou–Siebert al genere 1 in dimensioni arbitrarie.
• Molteplicità Esplicite (Teorema D): Il saggio fornisce una formula completa per il peso $n_{Aut}(\sigma')$ assegnato a ogni cono massimale $\sigma'$ dello spazio di moduli delle mappe tropicali ben posizionate. Questo peso dipende da:
  • Il gruppo di automorfismo della curva tropicale.
  • L'indice di saturazione del cono (relativo al numero di potenziamenti logaritmici fs).
  • La molteplicità del ciclo (un indice relativo al ciclo della curva tropicale).
  • Il numero di punti di reticolo interni di un particolare politopo $P(\sigma')$ costruito dai vettori di direzione degli spigoli adiacenti al ciclo.
  • In basse dimensioni (curve in superfici toriche), questi pesi si semplificano in espressioni che coinvolgono l'area di poligoni duali o determinanti di vettori di direzione.
• Criterio di Realizzabilità (Teorema 5.4): Gli autori forniscono un criterio efficace per determinare se una curva tropicale ammette un sollevamento logaritmico. Ciò risolve il problema della realizzabilità mostrando che un sollevamento esiste se e solo se esistono specifiche funzioni meromorfe sulle componenti della curva dominio che soddisfano prescritte condizioni di divisore e di incollaggio.
• Integralità degli Invarianti (Proposizione 1.2): Il saggio dimostra che per $n \ge 1$ marcature libere, il punto generico di ogni componente irriducibile dello spazio di moduli $W_\Gamma(X)$ ha un gruppo di automorfismo banale, garantendo che i conteggi enumerativi siano interi.

Significatività e Rivendicazioni
Gli autori affermano che questo lavoro fornisce la prima enumerazione puramente tropicale completa di curve di genere 1 in varietà toriche di dimensione arbitraria. A differenza dei precedenti approcci virtuali in cui i pesi sono definiti tramite invarianti di Gromov–Witten, i pesi derivati qui sono puramente combinatori e computabili. Il saggio asserisce che questo quadro permette il calcolo diretto degli invarianti enumerativi senza ricorrere a cicli virtuali.

Gli autori sottolineano che i loro risultati correggono ed estendono le precedenti assegnazioni di molteplicità ad-hoc (come quelle di Kerber e Markwig) derivando i pesi direttamente dalla geometria delle curve algebriche. Notano che, sebbene i loro pesi differiscano da proposte precedenti in certi casi, le formule enumerative finali per le curve ellittiche piane con $j$-invariante fissato concordano con i noti conteggi algebrici (ad esempio, quelli di Pandharipande).

Il saggio conclude osservando che la metodologia apre la strada al calcolo dei conteggi enumerativi per curve ellittiche in $\mathbb{P}^3$ e potenzialmente all'estensione della corrispondenza a generi più elevati, sebbene quest'ultimo richieda la costruzione di analoghi dello spazio di moduli $W_\Gamma(X)$ per generi superiori. Il lavoro è presentato come una risoluzione definitiva del problema enumerativo di genere 1 nell'ambito torico, colmando il divario tra combinatoria tropicale e geometria algebrica attraverso una rigorosa teoria della deformazione logaritmica.