The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

1. Il Problema e il Contesto

Il lavoro si colloca nel campo della geometria algebrica, specificamente nella teoria dei contaggi enumerativi su varietà complesse proiettive tridimensionali ($X$). L'obiettivo principale è dimostrare la congettura di razionalità per le funzioni generatrici degli invarianti di Pandharipande-Thomas (PT) associati a classi di curve "superpositive".

• Invariante di Pandharipande-Thomas: Questi invarianti contano le "coppie stabili" $(F, s)$ su $X$, dove $F$ è un fascio coerente puro di dimensione 1 e $s: \mathcal{O}_X \to F$ è una sezione con cokernel di dimensione 0. Sono definiti tramite classi virtuali sui moduli spaziali $P_n(X, \beta)$.
• La Congettura 1.3: Pandharipande e Thomas hanno congetturato che le funzioni generatrici di questi invarianti (con o senza inserti descendent) siano espansioni di Laurent di funzioni razionali in una variabile $q$. Inoltre, i poli di queste funzioni dovrebbero trovarsi solo in $q=0$ e nelle radici dell'unità.
• Definizione di "Superpositività": Una classe di curva effettiva $\beta$ è detta positiva se $c_1(X) \cdot \beta > 0$. È detta superpositiva se ogni suo sommandro effettivo è positivo. Se $X$ è una varietà di Fano, tutte le classi di curve sono superpositive.
• Lo Stato dell'Arte: La congettura era già stata dimostrata per varietà Calabi-Yau (da Bridgeland e Toda) e per varietà toriche (da Pandharipande-Pixton). Tuttavia, il caso generale per varietà proiettive con classi superpositive (incluso il caso Fano) rimaneva aperto, specialmente per quanto riguarda la struttura delle funzioni generatrici come elementi di omologia piuttosto che semplici numeri.

2. Metodologia

Gli autori utilizzano un approccio basato sulla teoria degli invarianti enumerativi in categorie abeliane e sulle formule di "wall-crossing" (cambio di parete) sviluppate dal secondo autore (Joyce) in lavori precedenti ([27], [28]).

I pilastri metodologici sono:

1. Strutture di Vertex Algebra e Algebra di Lie:

   • Si considera lo stack di moduli $M$ degli oggetti nella categoria derivata $D^b_{coh}(X)$. L'omologia di $M$ (con coefficienti razionali) possiede una struttura di vertex algebra graduata.
   • L'omologia dello stack "proiettivo-lineare" $M^{pl}$ (ottenuto rigidificando l'azione di $\mathbb{G}_m$) possiede una struttura di algebra di Lie graduata.
   • Gli invarianti enumerativi sono visti come classi in $H_*(M^{pl})$.

2. Formule di Wall-Crossing:

   • Si utilizza una formula di wall-crossing che collega gli invarianti di PT (che contano coppie stabili) agli invarianti di Donaldson-Thomas (DT) unidimensionali (che contano fasci coerenti semistabili di dimensione 1).
   • Questa relazione è espressa tramite il parentesi di Lie nell'algebra di Lie di $M^{pl}$. La formula permette di esprimere le classi virtuali delle coppie stabili come combinazioni di parentesi di Lie di invarianti DT più semplici.

3. Lifting e Calcoli Espliciti:

   • Un aspetto tecnico cruciale è il "lifting" dei calcoli dall'omologia di $M^{pl}$ a quella di $M$ (teorema 2.9), utilizzando la struttura di vertex algebra per calcolare i parentesi di Lie in modo esplicito.
   • Si introduce una classe di curve superpositive per garantire che certi gruppi di estensione ($Ext^3$) si annullino, permettendo la definizione di classi virtuali ben comportate.

4. Analisi Asintotica e Proprietà Polinomiali:

   • Si studia la dipendenza degli invarianti rispetto al parametro $n$ (il numero di Euler caratteristico del fascio).
   • Sfruttando l'azione di tensorizzazione con un fascio di linee ampio $L$, si dimostra che gli invarianti DT soddisfano proprietà di periodicità e sono dati da funzioni quasi-polinomiali (o piecewise quasi-polynomial) in $n$.

3. Risultati Chiave e Contributi

Il lavoro principale è la dimostrazione del Teorema 1.8, che implica direttamente la congettura di razionalità per le classi superpositive.

• Teorema 1.8 (Razionalità e Struttura):

  • Per una classe di curva superpositiva $\beta$, la serie formale $\sum [P_n(X, \beta)]_{virt} q^n$ è l'espansione di Laurent di una funzione razionale $F(q)$ a coefficienti nell'omologia di $M_0$.
  • I poli di questa funzione razionale si trovano esclusivamente in $q=0$ e nelle radici dell'unità.
  • Il risultato vale anche nel caso equivariante (con azione di un gruppo $G$), purché si lavori con omologia equivariante troncata (livello $N$).

• Dimostrazione della Congettura 1.3 (a, b, d, e):

  • Il Teorema 1.4 afferma che le parti (a), (b), (d) ed (e) della congettura di Pandharipande-Thomas sono vere per classi superpositive.
  • Nota Importante: Gli autori non dimostrano le parti (c) e (f) della congettura, che riguardano una specifica simmetria di inversione ($q \to q^{-1}$). Questo è dovuto a limitazioni tecniche nella teoria di Joyce ([28]) che impediscono l'applicazione del setup di Bridgeland-Toda basato su condizioni di stabilità "limit" che preservano la dualità di Verdier.

• Struttura delle Funzioni Generatrici:

  • Viene dimostrato che gli invarianti, visti come funzioni di $n$, sono quasi-polinomiali a tratti (piecewise quasi-polynomial). Questo significa che per $n$ sufficientemente grande e congruo a un certo residuo modulo $d$, l'invariante è dato da un polinomio in $n$.
  • La razionalità della funzione generatrice segue direttamente da questa proprietà asintotica.

4. Significato e Impatto

• Generalizzazione: Il lavoro estende la validità della congettura di razionalità oltre i casi noti di Calabi-Yau e torici, coprendo una vasta classe di varietà proiettive (inclusi i casi Fano) e classi di curve con proprietà di positività.
• Nuova Prospettiva Strutturale: A differenza dei casi Calabi-Yau dove gli invarianti sono numeri razionali, qui gli invarianti sono classi di omologia. Il lavoro mostra come la complessa struttura algebrica (vertex algebras e Lie algebras) possa essere sfruttata per controllare la struttura analitica delle serie generatrici in questo contesto più generale.
• Limiti e Direzioni Future:
  • Il mancato risultato sulle simmetrie di inversione (c, f) evidenzia un limite attuale della teoria di Joyce basata su "framing functors".
  • Gli autori notano che un lavoro parallelo e indipendente di Karpov e Moreira ([31]) riesce a dimostrare anche le parti (c) e (f) per un sottocaso specifico ($H^{p,0}(X)=0$) utilizzando un approccio basato sulla K-teoria che evita le limitazioni tecniche di Joyce. Questo suggerisce che la teoria di Joyce potrebbe essere estesa in futuro per coprire anche questi casi.
• Strumenti Computazionali: Il paper fornisce formule esplicite (2.28-2.30) per calcolare gli invarianti di PT a partire da quelli di DT, offrendo uno strumento pratico per il calcolo di esempi specifici (come menzionato nel sequel [2] del primo autore).

In sintesi, Anderson e Joyce forniscono una prova robusta della razionalità delle funzioni generatrici PT per classi superpositive, utilizzando una sofisticata macchina teorica di algebre di vertex e wall-crossing, stabilendo un ponte fondamentale tra la geometria dei moduli di fasci e la teoria delle serie generatrici razionali in contesti non-Calabi-Yau.