Deligne's weight spectral sequence and tautological cohomology of the moduli space of curves

1. Il Problema

L'articolo affronta il calcolo delle gradi di peso (weight graded pieces) della coomologia razionale (sia in senso $\ell$-adico che di strutture di Hodge razionali) degli spazi di moduli delle curve puntate lisce, indicati con $\mathcal{M}_{g,n}$, dove $g$ è il genere e $n$ il numero di punti marcati.

Il problema centrale risiede nella complessità strutturale di questi spazi e nella difficoltà di determinare la loro coomologia completa, specialmente per generi e numeri di punti elevati. Mentre la coomologia è nota per casi specifici a basso genere (es. $g \le 4$ con $n$ limitato), manca una comprensione sistematica per casi come $g=5$ o $g=3$ con $n=3$. Inoltre, l'azione del gruppo simmetrico $S_n$ (che permuta i punti marcati) sulla coomologia deve essere decomposta in rappresentazioni irriducibili, aggiungendo un ulteriore livello di complessità computazionale.

2. Metodologia

Gli autori hanno sviluppato un programma informatico che implementa le spettrali di peso di Deligne (sia di tipo "pushforward" che "pullback") per calcolare le parti di peso della coomologia.

• Spettrali di Peso:

  • Pushforward: Utilizzata per calcolare la coomologia di $\mathcal{M}_{g,n}$ basandosi sulla stratificazione del bordo dello spazio di Deligne-Mumford compatto $\overline{\mathcal{M}}_{g,n}$. La pagina $E_1$ è costruita a partire dalla coomologia degli spazi di moduli associati ai grafi stabili che descrivono le curve singolari al bordo.
  • Pullback: La versione duale (Poincaré) della spettrale, utile per calcolare la coomologia a supporto compatto $H^*_c(\mathcal{M}_{g,n})$.
  • Entrambe le spettrali degenerano alla seconda pagina ($E_2$), permettendo di determinare i quozienti di peso $gr^q H^r$.

• Cohomologia Tautologica:

  • Il calcolo si basa sull'ipotesi che, in certi intervalli di parametri, la coomologia degli spazi coinvolti nella stratificazione sia generata da classi tautologiche.
  • Viene utilizzato il modulo SageMath admcycles per gestire l'anello tautologico, le relazioni di Pixton (generalizzazione delle relazioni Faber-Zagier) e le basi dei gruppi di coomologia.
  • L'assunzione fondamentale è che le relazioni di Pixton siano tutte le relazioni esistenti per i gruppi di coomologia coinvolti nelle pagine $E_1$ delle spettrali.

• Ottimizzazione Computazionale:

  • Per gestire la crescita esponenziale del numero di generatori e relazioni, gli autori hanno implementato ottimizzazioni basate sulla simmetria dei grafi stabili (sottogruppi come $S_2^k$ e $G_v$) e sull'uso di accoppiamenti perfetti (dualità di Poincaré) per calcolare basi in gradi alti partendo da gradi bassi.
  • È stato utilizzato un scheduler di task paralleli per gestire la memoria (fino a 500 GB) e i tempi di calcolo su una CPU a 32 core.

3. Contributi Chiave

1. Implementazione Software: Creazione di un codice che automatizza il calcolo delle spettrali di Deligne, gestendo l'azione del gruppo simmetrico $S_n$ e decomponendo i risultati in rappresentazioni irriducibili $s_\lambda$.
2. Estensione dei Risultati Noti: Determinazione completa della coomologia per casi precedentemente non risolti o parzialmente noti, in particolare per $g=5$ e $g=3, n=3$.
3. Verifica delle Ipotesi: Conferma computazionale che, in certi intervalli ($2g+n \le 12$), la coomologia è di tipo Tate (le parti di peso dispari si annullano) e che le classi tautologiche generano l'intera coomologia.
4. Estensione ad Altri Spazi: Il metodo è stato applicato anche agli spazi di curve di tipo compatto ($\mathcal{M}^{ct}_{g,n}$) e con code razionali ($\mathcal{M}^{rt}_{g,n}$).

4. Risultati Principali

Gli autori hanno dimostrato i seguenti teoremi, confermando che la coomologia è di tipo Tate (le parti di peso dispari sono nulle e le parti di peso pari sono somme dirette di potenze della classe di Tate $L = H^2(\mathbb{P}^1)$):

• Teorema 1.1 (Caso $g=5, n=0$):
  La coomologia di $\mathcal{M}_5$ è completamente determinata. I gruppi di coomologia non nulli sono:

  • $H^0 = \mathbb{Q}$
  • $H^2 = L$
  • $H^4 = L^2$
  • $H^5 = L^3$
  • $H^6 = L^3$
  • $H^7 = L^4$
  • $H^{14} = L^{12}$
  • Nota: Questo risultato conferma una congettura sulla coomologia del luogo delle curve generali ($O_5$) e risolve il caso $g=5$.

• Teorema 1.3 (Caso $g=3, n=3$):
  La coomologia di $\mathcal{M}_{3,3}$ è di tipo Tate e la sua struttura è descritta in termini di rappresentazioni irriducibili di $S_3$ (indicate come $s_3$ e $s_{2,1}$) moltiplicate per potenze di $L$. Ad esempio:

  • $H^0 = s_3$
  • $H^2 = (2s_3 + s_{2,1})L$
  • $H^5 = 2(s_3 + s_{2,1})L^3$
  • $H^8 = 2(s_3 + s_{2,1})L^7$

• Conferma di Risultati Esistenti: Il programma ha verificato tutti i risultati noti per $g \le 4$ (tranne un caso specifico per $g=2, n=5$), fornendo una validazione indipendente.

5. Significato e Impatto

• Avanzamento nella Teoria degli Spazi di Moduli: Il lavoro fornisce i primi risultati completi e verificati per $g=5$, un passo significativo verso la comprensione della coomologia degli spazi di moduli per generi superiori.
• Validazione delle Relazioni di Pixton: Il successo dei calcoli, basati sull'assunzione che le relazioni di Pixton siano complete, rafforza la congettura che queste relazioni descrivano interamente la coomologia tautologica in questi intervalli.
• Strumento Computazionale: La disponibilità del codice (integrato o collegato a admcycles) permette alla comunità di ricerca di calcolare la coomologia per nuove coppie $(g,n)$ senza dover riscrivere da zero le complesse strutture algebriche e combinatorie.
• Connessione con la Fisica Matematica e la Teoria dei Numeri: La struttura "di tipo Tate" e l'azione di Galois associata alla classe di Tate hanno implicazioni profonde nella teoria dei numeri e nelle connessioni con la teoria delle stringhe (dove $\mathcal{M}_{g,n}$ gioca un ruolo centrale).

In sintesi, il paper rappresenta un punto di riferimento metodologico, combinando teoria algebrica avanzata (spettrali di Deligne, coomologia tautologica) con calcolo ad alte prestazioni per risolvere problemi aperti di lunga data nella geometria algebrica.