Cycles in the universal moduli stack of bundles of rank two over genus two curves

1. Il Problema e il Contesto

Il lavoro si colloca nel campo della geometria algebrica, specificamente nello studio della teoria dell'intersezione e della coomologia degli spazi di moduli di fasci vettoriali su curve algebriche.

• Contesto: La coomologia degli spazi di moduli di fasci vettoriali semistabili su una curva $C$ è stata ampiamente studiata (con generatori espliciti, relazioni e numeri di Betti noti per ranghi e gradi coprimi). Tuttavia, molto meno è noto riguardo agli stack di moduli universali (che includono fasci instabili) e agli spazi di moduli universali su famiglie di curve.
• La Sfida: Esistono difficoltà tecniche significative nel calcolare l'anello di Chow completo (con generatori e relazioni espliciti) per gli stack di moduli universali di fasci su curve di genere $g \ge 2$.
• Obiettivo: L'autore mira a determinare l'anello di Chow $A^*(\text{Vec}_H(r,d,g))$ dello stack universale dei fasci vettoriali di rango $r$ e grado $d$ su curve iperellittiche di genere $g$, concentrandosi specificamente sul caso di rango 2 e genere 2.

2. Metodologia

L'approccio adottato combina diverse tecniche avanzate di geometria algebrica:

1. Classi Tautologiche e Congettura A:
   L'autore si basa sulla definizione di classi kappa-twisted (introdotte in lavori precedenti di Larsson e Sah) come generatori tautologici. La strategia principale ruota attorno alla Congettura A, che afferma che la mappa di restrizione e classe di ciclo dallo stack universale allo stack di un singolo fascio su una curva generica è un isomorfismo sull'anello di coomologia generato da queste classi kappa-twisted.

2. Stratificazione di Harder-Narasimhan (HN):
   Per analizzare lo stack instabile $\text{Vec}(2,d,2)$, l'autore utilizza la stratificazione di Harder-Narasimhan. Lo stack instabile viene decomposto in strati stabili ($U(2,3,2)$) e strati instabili, che sono isomorfi a stack di filtrazione (o stack di estensioni) legati agli stack di Jacobiani universali.

3. Calcoli su Jacobiani Universali:
   Un passo cruciale è il calcolo esplicito degli anelli di Chow dei prodotti di Jacobiani universali su curve di genere 2. L'autore utilizza la proprietà di "Franchetta" (che garantisce che i cicli banali su una fibra generica siano banali globalmente) e tecniche di escissione per collegare i cicli sugli stack di filtrazione ai cicli sui prodotti di Jacobiani.

4. Corrispondenza di Hecke:
   Per estendere i risultati dal grado dispari al grado pari, viene costruita una corrispondenza di Hecke lungo la sezione di Weierstrass. Questa permette di stabilire un isomorfismo tra gli spazi di moduli di grado dispari e pari, permettendo di trasferire i risultati di calcolo.

5. Serie di Hilbert:
   Viene utilizzata l'uguaglianza delle serie di Hilbert come strumento di verifica. Si calcola la serie di Hilbert dello stack universale (sommando i contributi degli strati stabili e instabili) e la si confronta con quella dell'anello generato dalle classi kappa-twisted. L'uguaglianza conferma che le relazioni trovate sono complete.

3. Contributi Chiave e Risultati Principali

A. Dimostrazione della Congettura per Rango 2 e Genere 2

L'autore dimostra la Congettura A per lo stack $\text{Vec}(2,d,2)$. Questo implica che l'anello di Chow dello stack universale è interamente generato dalle classi kappa-twisted e che la mappa verso la coomologia di una fibra generica è un isomorfismo.

B. Presentazione Esplicita dell'Anello di Chow (Teorema B)

Viene fornita una presentazione esplicita dell'anello di Chow $A^*(\text{Vec}(2,d,2))$ in termini di generatori e relazioni.

• Generatori: L'anello è generato da sei classi kappa-twisted: $\kappa_{0,1,0}, \kappa_{0,0,1}, \kappa_{-1,0,1}, \kappa_{-1,2,0}, \kappa_{-1,0,2}, \kappa_{-1,1,1}$.
• Relazioni: L'autore elenca un sistema completo di relazioni polinomiali tra questi generatori (definiti come $x_1, x_2, x_3$ in termini dei $\kappa$), dimostrando che l'anello è tautologico.

C. Calcolo dei Prodotti di Jacobiani Universali (Teorema A e 2.1)

Un risultato tecnico fondamentale è il calcolo dell'anello di Chow del prodotto di due Jacobiani universali su curve di genere 2 con punti di Weierstrass marcati.

• Viene dimostrato che l'anello è generato dalle classi theta ($\Theta_0$) e dalle loro immagini tramite mappe di proiezione e "twisting".
• Vengono esplicitate le relazioni di dipendenza lineare e le relazioni di grado superiore, fornendo una struttura algebrica precisa per questi spazi ausiliari.

D. Relazioni tra Classi Kappa di Ordine Superiore (Teorema C e 5.1)

L'autore deriva formule ricorsive che esprimono le classi kappa di ordine superiore ($\kappa_{-1,0,n}$, ecc.) in termini dei generatori di base. Questo dimostra che non sono necessari nuovi generatori per descrivere l'anello completo.

4. Significato e Impatto

• Risultato di Completezza: Questo lavoro fornisce la prima descrizione completa (generatori e relazioni) dell'anello di Chow per uno stack di moduli universale di fasci vettoriali su curve di genere $g \ge 2$ (specificamente $g=2$).
• Conferma della Proprietà Tautologica: Dimostra che l'anello di Chow è interamente contenuto nella sottoclasse tautologica, risolvendo una questione aperta sulla struttura di questi spazi.
• Metodologia Estendibile: L'approccio, che combina stratificazione HN, proprietà di Franchetta e corrispondenze di Hecke, offre un modello potenzialmente applicabile a ranghi e generi superiori, come suggerito dall'autore nella congettura generale.
• Connessione tra Teoria dei Fasci e Jacobiani: Il lavoro stabilisce un ponte profondo tra la teoria degli stack di fasci instabili e la geometria degli stack di Jacobiani, permettendo di calcolare invarianti complessi riducendoli a problemi su prodotti di Jacobiani.

In sintesi, il paper di Saha rappresenta un passo avanti significativo nella comprensione della topologia algebrica degli spazi di moduli universali, fornendo strumenti computazionali espliciti e confermando congetture fondamentali per il caso di rango due e genere due.