Universal compactified Jacobians: cohomological invariance and boundary combinatorics

1. Il Problema

Il lavoro si concentra sulle Jacobianie compatificate universali $J^d_{g,n}(\sigma)$, definite sul modulo delle curve stabili $\overline{\mathcal{M}}_{g,n}$. Queste spazi sono estensioni compatte delle Jacobiane universali non compatificate $J^d_{g,n}$ (che parametrizzano fasci di linea di grado $d$ su curve lisce).

• Contesto: Le Jacobiane compatificate sono costruite seguendo la teoria della stabilità di Pagani-Tommasi, che dipende da una condizione di stabilità $\sigma$. Per un fissato $(g, n, d)$, esistono molte scelte diverse di $\sigma$, portando a spazi che, come varietà (o stack di Deligne-Mumford), non sono necessariamente isomorfi.
• Domanda centrale: In che misura la coomologia di questi spazi dipende dal grado $d$ e dalla scelta della condizione di stabilità $\sigma$?
• Sfida: Sebbene un teorema di Migliorini-Shende-Viviani implichi l'indipendenza coomologica, la sua dimostrazione originale è indiretta (basata sul Teorema di Decomposizione). La sfida affrontata in questo articolo è fornire una prova combinatoria diretta, sommando i contributi delle singole strati della stratificazione al bordo, dimostrando che la risultante è indipendente da $\sigma$ e $d$.

2. Metodologia

Gli autori adottano un approccio puramente combinatorio e geometrico basato sulla stratificazione degli spazi moduli:

1. Stratificazione Topologica: Lo spazio $J_{g,n}$ (lo stack non separato delle curve prestabili con fasci ammissibili) è stratificato in base al tipo topologico delle curve. Ogni strato è parametrizzato da una terna $(\Gamma, \Gamma_0, d)$, dove:

   • $\Gamma$ è un grafo stabile di tipo $(g, n)$.
   • $\Gamma_0 \subseteq \Gamma$ è un sottografo connesso contenente tutti i vertici.
   • $d$ è una funzione che assegna gradi ai vertici.
     Geometricamente, uno strato è un fibrato torico sopra un prodotto di Jacobiane di curve più piccole, quotato da un gruppo di automorfismi del grafo.

2. Calcolo dell'Euler Characteristic di Hodge: Utilizzando la proprietà di additività dell'Euler characteristic di Hodge (nel gruppo di Grothendieck delle strutture di Hodge miste), il calcolo globale si riduce alla somma dei contributi di ogni strato.

3. Riduzione a un Problema Combinatorio: Il cuore della dimostrazione risiede nel Lemma 3.7. Gli autori devono dimostrare che, per ogni coppia di grafi $(\Gamma, \Gamma_0)$, esiste una biettivazione equivariante tra l'insieme dei gradi $d$ permessi dalla condizione di stabilità $\sigma$ e quelli permessi da $\sigma'$.

   • Questo riduce il problema alla costruzione di mappe tra i gruppi di Picard dei grafi $\text{Pic}(\Gamma_0)$ che preservino l'azione degli automorfismi del grafo.

4. Costruzione delle Biettivazioni (Lemma 3.8): Viene dimostrato che, sotto certe condizioni di coprimalità (legate al $\text{gcd}(2g-2, n)$), è possibile costruire biettivazioni equivarianti tra i gruppi di Picard di diversi gradi. Questo si ottiene combinando:

   • Traslazioni lineari (usando identità di Bézout).
   • Moltiplicazioni per interi primi sufficientemente grandi (usando il teorema di Dirichlet sui primi in progressioni aritmetiche).

5. Appendice:

   • Feusi: Fornisce una caratterizzazione precisa quando $J^d_{g,n}$ e $J^{d'}_{g,n}$ sono isomorfi in modo equivariante rispetto a $S_n$.
   • Yin: Dimostra che, sebbene la coomologia sia invariante, le classi di queste varietà nel gruppo di Grothendieck delle varietà ($K_0(\text{Var}_{\mathbb{C}})$) non sono sempre uguali, distinguendo tra invarianza coomologica e invarianza birazionale/stabile.

3. Risultati Chiave

• Teorema 1.2 (Invarianza Cohomologica): Per ogni $g, n, d, d'$ e per ogni scelta di condizioni di stabilità $\sigma, \sigma'$, esiste un isomorfismo di strutture di Hodge miste:
  $$H^*(J^d_{g,n}(\sigma); \mathbb{Q}) \cong H^*(J^{d'}_{g,n}(\sigma'); \mathbb{Q})$$
  Questo isomorfismo è compatibile con l'azione del gruppo simmetrico $S_n$ (o suoi sottogruppi $S_\lambda$) se le condizioni di stabilità sono invarianti.

  • Nota: Questo risultato è sorprendente perché la geometria al bordo (la stratificazione) cambia drasticamente al variare di $\sigma$, ma la somma totale dei contributi coomologici rimane invariata.

• Prova Combinatoria Diretta: A differenza delle prove precedenti basate sul Teorema di Decomposizione, questo lavoro fornisce un algoritmo esplicito per calcolare la coomologia sommando i contributi degli strati, dimostrando che le differenze tra le condizioni di stabilità si "annullano" a livello combinatorio.

• Risultati sull'Appendice:

  • Isomorfismo Equivariante: $J^d_{g,n} \cong J^{d'}_{g,n}$ come stack $S_n$-equivarianti se e solo se $d \equiv d'$ o $-d \equiv d' \pmod{\text{gcd}(2g-2, n)}$.
  • Non-invarianza in $K_0(\text{Var}_{\mathbb{C}})$: Per $g \ge 22$, le classi $[J^d_g]$ e $[J^{d'}_g]$ sono uguali nel gruppo di Grothendieck delle varietà se e solo se $d' \equiv \pm d \pmod{2g-2}$. Questo mostra che l'invarianza coomologica non implica l'uguaglianza delle classi birazionali.

4. Contributi Principali

1. Dimostrazione Combinatoria: La principale innovazione è la riduzione di un problema profondo di geometria algebrica (invarianza della coomologia di spazi moduli complessi) a un problema di teoria dei grafi e aritmetica modulare (biettivazioni equivarianti su gruppi di Picard di grafi).
2. Algoritmo di Calcolo: Il metodo fornisce un algoritmo concreto per calcolare i polinomi di Hodge-Deligne di $J^d_{g,n}(\sigma)$, assumendo noti i caratteri di Euler equivarianti delle Jacobiane non compatificate per genuri inferiori.
3. Distinzione Fine tra Invarianti: L'appendice chiarisce i limiti dell'invarianza, mostrando che mentre la coomologia (e le strutture di Hodge) è robusta rispetto a $d$ e $\sigma$, la struttura birazionale e la classe nel gruppo di Grothendieck delle varietà sono sensibili a queste scelte.

5. Significato

Questo lavoro è significativo per diversi motivi:

• Comprensione della Geometria al Bordo: Offre una nuova prospettiva sulla geometria dei bordi degli spazi di moduli, dimostrando che la complessità combinatoria delle diverse compatificazioni si "livella" a livello coomologico.
• Strumenti per la Teoria di Gromov-Witten e Teoria di Strati: Le Jacobiane compatificate sono fondamentali nella teoria di Gromov-Witten e nello studio dei cicli di ramificazione doppia (DR cycles). La comprensione della loro coomologia indipendente da $\sigma$ semplifica i calcoli in queste aree.
• Connessione tra Teoria dei Grafi e Geometria Algebrica: Il legame stabilito tra le proprietà aritmetiche dei gruppi di Picard dei grafi e la geometria degli spazi di moduli apre nuove strade per l'uso di metodi combinatori in problemi geometrici complessi.
• Risposta a Domande Aperte: Risolve la questione dell'invarianza coomologica in modo costruttivo e fornisce controesempi alla generalizzazione di tale invarianza al gruppo di Grothendieck delle varietà.

In sintesi, il paper conferma e spiega "perché" la coomologia delle Jacobiane compatificate universali è invariante, trasformando un risultato profondo e apparentemente magico in una conseguenza calcolabile della combinatoria degli strati.