Elliptic curve counting in toric threefolds: virtual, enumerative, and tropical

Sintesi Tecnica: Conteggio di Curve Ellittiche in Trefold Torici: Virtuali, Enumerative e Tropicali

Enunciato del Problema
Questo articolo affronta la geometria enumerativa di curve di genere 1 (ellittiche) in trefold torici lisci $X$. Nello specifico, investiga la relazione tra due distinti invarianti di conteggio per una classe di curva fissata $\beta$ e condizioni di coomologia $\phi$:

1. Invarianti Enumerativi ($W_{X,\beta}(\phi)$): Conteggi interi di curve di genere 1 che passano attraverso condizioni di curve e punti fissi, definiti tramite curve tropicali "ben spaziate" (well-spaced).
2. Invarianti Virtuali ($L_{X,\beta}(\phi)$): Invarianti di Gromov–Witten logaritmici associati alla coppia $(X, \partial X)$, dove $\partial X$ è il bordo torico.

Il problema centrale è che gli invarianti di Gromov–Witten logaritmici non sono generalmente enumerativi; essi includono contributi da curve tropicali "superabbondanti" (quelle con spazi di deformazione più grandi del previsto) e strati di bordo che non corrispondono ad effettive curve algebriche nel senso enumerativo. L'articolo cerca una formula esplicita che relazioni l'invariante virtuale al conteggio enumerativo, generalizzando la relazione di Getzler–Pandharipande per $\mathbb{P}^3$ a arbitrari trefold torici rispetto al loro bordo.

Metodologia
L'autore impiega un approccio comparativo utilizzando la geometria tropicale e le tecniche di degenerazione logaritmica:

• Corrispondenza Tropicale: L'invariante enumerativo $W_{X,\beta}(\phi)$ viene calcolato tramite un teorema di corrispondenza tropicale (stabilito in un lavoro precedente con Cela [14]) come una somma pesata su curve tropicali "ben spaziate" in $\mathbb{R}^3$. Una curva tropicale è ben spaziata se, per ogni piano contenente il suo circuito, il vicinato del circuito non è contenuto nel piano, o la curva lascia il piano tramite almeno tre archi alla distanza minima.
• Degenerazione Logaritmica: L'invariante virtuale $L_{X,\beta}(\phi)$ viene analizzato utilizzando il teorema di decomposizione per gli invarianti di Gromov–Witten logaritmici. Questo decompone l'invariante in una somma su tipi tropicali, dove i contributi sono ridotti a contributi di vertice tramite degenerazioni espanse.
• Analisi della Stratificazione: L'articolo confronta gli spazi di moduli delle mappe stabili logaritmiche e delle curve logaritmiche ben spaziate. Identifica che, sebbene questi spazi condividano strati indicizzati da tipi non superabbondanti, essi differiscono significativamente per i tipi superabbondanti (dimensione in eccesso $e(\gamma) > 0$).
• Analisi Caso per Caso delle Dimensioni in Eccesso: L'autore analizza sistematicamente i tipi tropicali in base alla loro dimensione in eccesso $e(\gamma)$:
  • $e(\gamma) = 0$: Curve non superabbondanti.
  • $e(\gamma) = 1$: Curve dove il circuito giace in un piano ma il vicinato no.
  • $e(\gamma) = 2$: Curve dove il circuito giace in una retta.
  • $e(\gamma) = 3$: Curve dove il circuito è contratto a un singolo vertice di genere 1.

Contributi Chiave e Risultati

1. La Relazione Logaritmica di Getzler–Pandharipande (Teorema A):
   Il risultato principale stabilisce una formula esplicita che mette in relazione gli invarianti enumerativi e virtuali:
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$: Un termine di correzione che tiene conto delle curve tropicali non rigide e ben spaziate di dimensione in eccesso 1. Queste contribuiscono al conteggio enumerativo ma svaniscono nel conteggio logaritmico.
   • $E_0$: Un termine di correzione derivato da curve di genere 0. È una somma pesata su tipi di genere 0 $\gamma$ e vertici $v$, che coinvolge il quadrato del prodotto esterno delle direzioni degli archi ($|u_1 \wedge u_2|^2$) e la molteplicità tropicale $M_\gamma$. Questo termine tiene conto della differenza derivante da vertici di genere 1 contratti in un punto (dimensione in eccesso 3).

2. Analisi di Svanimento e Contributo:

   • Tipi non superabbondanti ($e=0$): I contributi a $W$ e $L$ coincidono.
   • Dimensione in eccesso 1 ($e=1$): Il contributo logaritmico svanisce (Lemma 4.3.1) perché le condizioni di incollamento attorno al ciclo diventano banali nella terza direzione, portando a una classe virtuale nulla. Tuttavia, le curve ben spaziate di questo tipo possono contribuire a $W$.
   • Dimensione in eccesso 2 ($e=2$): L'articolo mostra che i tipi tropicali rigidi di questa dimensione in eccesso (dove il circuito giace in una retta) non contribuiscono al conteggio ben spaziato a meno che non siano soddisfatte specifiche condizioni geometriche, mentre il conteggio logaritmico svanisce per questi tipi.
   • Dimensione in eccesso 3 ($e=3$): Il contributo logaritmico è non nullo e uguale a $-\frac{1}{24}E_0$. Il contributo ben spaziato svanisce perché tali curve non sono ben spaziate sotto condizioni generali.

3. Disuguaglianza per $\mathbb{P}^3$ (Corollario B):
   Applicando il teorema principale a $X = \mathbb{P}^3$, l'articolo deriva una disuguaglianza tra gli invarianti ordinari di Gromov–Witten ($GW^1_{a,b}$) e gli invarianti logaritmici ($L_{a,b}$):
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   La disuguaglianza è stretta per gradi sufficientemente grandi, specificamente per $d \geq 3$ quando si considerano tutte le condizioni di retta, o per $d \geq 4$ quando si considerano tutte le condizioni di punto. Ciò dimostra che gli invarianti di Gromov–Witten ordinari superano strettamente gli invarianti logaritmici rispetto al bordo torico una volta che il grado è abbastanza elevato.

4. Framework Computazionale:
   L'articolo fornisce un metodo per calcolare i termini di correzione utilizzando i diagrammi a pavimento (floor diagrams).

   • $E_0$ viene calcolato modificando i metodi dei diagrammi a pavimento di Brugallé–Mikhalkin per includere pesi dei vertici derivati dalla formula $E_0$.
   • Vengono forniti esempi per bassi gradi ($d=3, 4$) e specifiche condizioni, calcolando esplicitamente la differenza tra gli invarianti.

Significato e Rivendicazioni
L'articolo sostiene di fornire un "analogo logaritmico" della relazione di Getzler–Pandharipande per le curve ellittiche in $\mathbb{P}^3$, estendendolo a tutti i trefold torici rispetto al loro bordo torico.

• Unificazione: Unifica la teoria di Gromov–Witten logaritmica, i cicli di doppia ramificazione superiore e l'enumerazione tropicale.
• Realizzabilità: Dimostra come la condizione di "well-spacedness" di Speyer, originariamente uno strumento per la realizzabilità, possa essere utilizzata per produrre formule combinatorie che correggono i conteggi virtuali per ottenere interi enumerativi.
• Indipendenza: Il risultato è indipendente dalle specifiche molteplicità combinatorie trovate nel lavoro precedente [14]; piuttosto, si basa sul confronto strutturale degli spazi di moduli.
• Limitazioni: L'articolo riconosce che, sebbene fornisca un quadro teorico e formule esplicite per i termini di correzione, trovare relazioni ricorsive efficienti o vincoli "a pavimento decomposto" per curve di genere superiore in varietà toriche generali rimane una sfida aperta a causa della complessità delle deformazioni superabbondanti.

Il lavoro non propone nuove applicazioni sperimentali, ma offre un ponte teorico rigoroso tra geometrie virtuali ed enumerative, fornendo metodi concreti per calcolare la discrepanza tra esse nel primo caso non banale (genere 1 in dimensione 3).