Enumerating log rational curves on some toric varieties

Sintesi Tecnica: Enumerazione di Curve Razionali Logaritmiche su Alcune Varietà Toriche

Enunciato del Problema
Questo articolo affronta l'enumerazione degli invarianti di Gromov-Witten logaritmici di genere 0 e dominio fisso per varietà toriche lisce e proiettive. Nello specifico, mira a determinare il numero di mappe da una curva razionale puntata generica a dominio fisso verso una varietà torica $X$ che passino attraverso il numero massimo di punti generici e soddisfino prescritte molteplicità di tangenza lungo il bordo torico. Tali invarianti, denominati "gradi di Tevelev logaritmici" ($\text{logTev}^X_{\Gamma}$), sono stati studiati precedentemente da Cela–Iribar López [CIL24] tramite la geometria tropicale, portando a congetture per specifiche varietà toriche. Gli autori mirano a verificare o smentire tali congetture utilizzando una diretta teoria dell'intersezione algebro-geometrica piuttosto che la combinatoria tropicale.

Metodologia
Gli autori impiegano un approccio diretto di intersezione teorica sui spazi di moduli di "quasimappe logaritmiche naive".

1. Costruzione dello Spazio Moduli: Per la famiglia primaria di varietà $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a)) \to \mathbb{P}^r$, gli autori costruiscono una compattificazione $Q_{\Gamma}(X_{r,s,a})$ dello spazio dei moduli delle mappe logaritmiche $M_{\Gamma}(X_{r,s,a})$. Questo spazio è realizzato come una torre di fibrati proiettivi su un prodotto di rette proiettive che parametrizzano le posizioni dei punti di intersezione con il bordo.
2. Naive vs. Stabile: A differenza dello spazio dei moduli delle mappe stabili logaritmiche, $Q_{\Gamma}$ permette collisioni arbitrarie di punti di bordo e non impone strettamente condizioni di stabilità, rendendolo uno spazio "naive". Tuttavia, esso ammette una descrizione semplice come una torre di fibrati proiettivi, facilitando i calcoli espliciti di intersezione.
3. Trasparenza e Twisting: Una componente tecnica critica riguarda l'analisi della trasparenza delle condizioni di incidenza. Gli autori definiscono un algoritmo per "twistere" le quasimappe che non sono base-point-free (bpf) in mappe con dati di tangenza modificati. Essi dimostrano che se l'intersezione dei loci di incidenza è non vuota, le mappe devono soddisfare specifiche restrizioni dimensionali; altrimenti, l'intersezione è vuota.
4. Intersezione in Eccesso: Nel caso di blow-up di $\mathbb{P}^r$, gli autori utilizzano la formula dell'intersezione in eccesso per calcolare i contributi dai loci in cui il numero di intersezione non è enumerativo (ovvero, dove l'intersezione non è ridotta o supportata sul locus atteso).

Risultati Chiave

• Determinazione Completa per i Fibrati Proiettivi: Gli autori dimostrano una congettura di Cela–Iribar López [CIL24, Congettura 14] riguardante i gradi di Tevelev logaritmici per $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a))$. Essi derivano una formula esplicita per $\text{logTev}^{X_{r,s,a}}_{\Gamma}$ (Teorema 1.3.1 / Teorema 4.2.1).

  • La formula è non nulla solo se specifiche disuguaglianze riguardanti le molteplicità di tangenza $m_j$ e il numero di punti marcati $n$ sono soddisfatte (ad esempio, $m_j \leq n-1$).
  • Quando queste condizioni sono soddisfatte, l'invariante è dato da un prodotto di fattoriali, un coefficiente binomiale che coinvolge un intero derivato $k_0$, e una potenza di $a$.
  • Se le disuguaglianze falliscono, l'invariante è dimostrato essere zero.
  • Questo risultato generalizza i calcoli precedenti per le superfici di Hirzebruch ($r=s=1$) e fornisce una risposta enumerativa completa per questa famiglia di varietà toriche.

• Smentita della Congettura per i Blow-up: Gli autori smentiscono [CIL24, Congettura 15], che prevedeva i gradi di Tevelev logaritmici per il blow-up di $\mathbb{P}^r$ in $r$ punti fissi del toro.

  • Concentrandosi sul blow-up di $\mathbb{P}^2$ in 2 punti, gli autori dimostrano che il valore previsto (derivato da un numero di intersezione tautologico sul loro spazio moduli naive) non è sempre uguale al conteggio geometrico effettivo.
  • Costruiscono un controesempio specifico (Teorema 5.2.2) in cui l'invariante effettivo è non nullo ma differisce dal valore congetturato.
  • La discrepanza deriva dal fatto che il numero di intersezione sul modulo naive include contributi da loci in eccesso (dove le sezioni scompaiono identicamente) che non sono enumerativi. Gli autori calcolano esplicitamente questi contributi in eccesso utilizzando la formula dell'intersezione in eccesso, mostrando che essi non scompaiono in tutti i casi.

Significatività e Rivendicazioni
L'articolo rivendica di aver risolto il problema enumerativo per una vasta classe di varietà toriche ($X_{r,s,a}$) utilizzando metodi algebro-geometrici diretti, bypassando la complessità combinatoria dei teoremi di corrispondenza tropicale.

• Enumeratività: Gli autori sottolineano che, mentre gli invarianti di Gromov-Witten a dominio fisso per contesti non logaritmici spesso non sono enumerativi (come notato in [BLL+24]), il contesto logaritmico qui considerato produce conteggi enumerativi per le varietà $X_{r,s,a}$.
• Contributo Metodologico: Il lavoro stabilisce che le "quasimappe logaritmiche naive" forniscono un quadro vitale per il calcolo esplicito, a patto di analizzare attentamente il comportamento al bordo e i contributi di intersezione in eccesso.
• Correzione delle Congetture: Il lavoro fornisce una correzione definitiva alle previsioni basate sulla tropicalità per i blow-up di spazi proiettivi, dimostrando che la corrispondenza tropicale per gli invarianti a dominio fisso richiede una verifica algebro-geometrica più sottile di quanto precedentemente assunto.

Gli autori non pretendono di aver risolto il problema per tutte le varietà toriche o per generi superiori, ma forniscono una soluzione completa per la specifica famiglia $X_{r,s,a}$ e un controesempio alla congettura generale per i blow-up.