Higher genus reduced Gromov--Witten invariants via desingularizations of sheaves

1. Il Problema

L'articolo affronta la definizione e il calcolo degli invarianti di Gromov–Witten ridotti per varietà proiettive lisce (in particolare ipersuperfici e quozienti GIT) in genere arbitrario $g$.

• Contesto: Gli invarianti di Gromov–Witten standard contano curve stabili, ma includono contributi "degeneri" provenienti da mappe con domini riducibili o con componenti di genere positivo che non contribuiscono alla geometria principale.
• La sfida: Per isolare i contributi della "componente principale" (la chiusura del luogo dove la curva sorgente è liscia), è necessario definire una classe fondamentale virtuale su uno stack birazionale più piccolo rispetto allo spazio dei moduli originale $\mathcal{M}_{g,n}(X, d)$.
• Stato dell'arte: Costruzioni precedenti per gli invarianti ridotti erano limitate ai generi 1 e 2 (es. lavori di Vakil-Zinger, Hu-Li, Chang-Li). Generalizzare queste costruzioni a genere arbitrario è estremamente difficile a causa della complessa geometria dello spazio dei moduli delle mappe stabili, che presenta componenti irriducibili di dimensioni diverse e singolarità complesse.

2. Metodologia

Il cuore della metodologia risiede nell'uso di desingolarizzazioni di fasci coerenti su stack di Artin, piuttosto che nella costruzione esplicita di equazioni locali per lo spazio dei moduli delle mappe.

• Riformulazione dello Spazio dei Moduli: Gli autori sfruttano la descrizione di $\mathcal{M}_{g,n}(\mathbb{P}^r, d)$ come un sotto-insieme aperto di un cono abeliano (o spazio totale di un fascio coerente) sopra lo stack di Picard $\mathcal{P}ic_{g,n,d}$. Nello specifico, le mappe sono descritte da dati $(C, L, s)$, dove $s$ è una sezione di un fascio $F$ su $\mathcal{P}ic$.
• Il Problema del Fascio: Il fascio $F$ (spesso legato a $R^1\pi_* L^\vee \otimes \omega$) non è localmente libero su tutto lo stack; la sua torsione genera le componenti indesiderate dello spazio dei moduli.
• Strumento Chiave: Invece di lavorare direttamente su $\mathcal{M}_{g,n}$, gli autori modificano birazionalmente lo stack di base $\mathcal{P}ic$ tramite due tipi di "esplosioni" (blow-up) di fasci:
  1. Costruzione di Rossi (Blow-up di Rossi): Una desingolarizzazione minimale che rende la parte senza torsione del fascio pull-back localmente libera. È un'estensione stacky della trasformazione di Nash.
  2. Costruzione di Hu-Li (Blow-up di Hu-Li): Una costruzione che rende il fascio pull-back "diagonale" (in un senso tecnico preciso), permettendo di controllare non solo la parte senza torsione, ma anche la struttura della torsione stessa.

3. Contributi Chiave e Risultati Principali

A. Costruzioni Teoriche su Stack (Sezioni 3-5)

Gli autori generalizzano le costruzioni di desingolarizzazione di fasci coerenti (originariamente definite per schemi) agli stack di Artin Noetheriani integrali.

• Teorema 1.0.2: Dimostrano l'esistenza di due stack birazionali $\text{Bl}^R_F \mathcal{P}$ (Rossi) e $\text{Bl}^{HL}_F \mathcal{P}$ (Hu-Li) sopra uno stack $\mathcal{P}$ con un fascio $F$.
  • $\text{Bl}^R_F \mathcal{P}$ soddisfa una proprietà universale per rendere $(p^*F)_{tf}$ localmente libero.
  • $\text{Bl}^{HL}_F \mathcal{P}$ soddisfa una proprietà universale per rendere $p^*F$ un fascio "diagonale".
• Indipendenza: Dimostrano che gli invarianti ridotti ottenuti tramite queste due diverse costruzioni coincidono, rendendo la definizione intrinseca rispetto alla scelta della desingolarizzazione.

B. Definizione degli Invarianti Ridotti (Sezione 7)

Sfruttando le desingolarizzazioni sopra descritte, definiscono gli invarianti ridotti per ipersuperfici in spazi proiettivi e quozienti GIT in qualsiasi genere (sotto l'assunzione $d > 2g-2$).

• Procedura:
  1. Si prende una desingolarizzazione $p: \widetilde{\mathcal{P}ic} \to \mathcal{P}ic$ che rende il fascio obstruzione localmente libero.
  2. Si considera la base change dello spazio delle mappe stabili: $\widetilde{\mathcal{M}}_{g,n}(\mathbb{P}^r, d) = \mathcal{M}_{g,n}(\mathbb{P}^r, d) \times_{\mathcal{P}ic} \widetilde{\mathcal{P}ic}$.
  3. Si definisce la componente principale $\widetilde{\mathcal{M}}^\circ_{g,n}(\mathbb{P}^r, d)$ come la chiusura del luogo delle curve lisce. Grazie alla desingolarizzazione, questa componente è liscia sopra $\widetilde{\mathcal{P}ic}$.
  4. Si definisce la classe fondamentale virtuale ridotta come l'intersezione contro la classe virtuale relativa a questa componente principale.

C. Relazione con le Mappe con Campi (Sezione 7.5)

Gli autori collegano la loro costruzione intrinseca all'approccio delle "mappe con campi" (p-fields) introdotto da Chang e Li.

• Utilizzando il blow-up di Hu-Li, dimostrano che lo spazio delle mappe con campi desingolarizzato si decompone in componenti irriducibili lisce.
• Questo permette di esprimere la classe fondamentale virtuale totale come somma di classi sulle componenti, fornendo un nuovo strumento per affrontare le congetture che legano gli invarianti ridotti a quelli di Gromov–Witten standard.

D. Confronto con Modelli Precedenti (Sezione 9)

Nel caso di genere 1, confrontano la loro costruzione (basata sul blow-up di Rossi) con il classico blow-up di Vakil-Zinger.

• Dimostrano che, sebbene producano gli stessi invarianti numerici, gli spazi dei moduli ottenuti sono diversi (non isomorfi). Il modello di Rossi è più "minimale" e geometricamente diverso da quello di Vakil-Zinger, che richiede una sequenza iterativa di esplosioni basata su equazioni locali specifiche.

4. Significato e Impatto

1. Generalizzazione Universale: Questo lavoro risolve il problema della definizione di invarianti ridotti per genere arbitrario, estendendo risultati noti solo per $g=1, 2$.
2. Approccio Concettuale: Sostituisce la necessità di equazioni locali esplicite (che diventano intrattabili per $g \ge 2$) con un approccio basato su proprietà universali di desingolarizzazione di fasci. Questo rende la costruzione robusta e applicabile a una vasta classe di target (quozienti GIT, varietà toriche, Grassmanniane).
3. Strumento per Congetture: Fornisce il quadro teorico necessario per provare le congetture di Zinger e Hu-Li (Congettura 1.0.4) che legano gli invarianti ridotti agli invarianti di Gopakumar-Vafa per varietà Fano e Calabi-Yau in genere superiore. La costruzione di Hu-Li, in particolare, offre lo spazio ausiliario necessario per "spezzare" la classe fondamentale virtuale in modo controllato.
4. Nuova Struttura Geometrica: La descrizione della decomposizione dei coni abeliani di fasci diagonali (Sezione 6) offre nuovi insight sulla geometria delle componenti irriducibili degli spazi dei moduli, mostrando che sono fibrati vettoriali su sottospazi chiusi.

In sintesi, il paper fornisce un framework unificato e potente per la teoria degli invarianti ridotti, spostando il focus dalla complessità combinatoria delle equazioni locali alla geometria algebrica delle desingolarizzazioni di fasci su stack.