An introduction to the intersection theory of the moduli space of curves

Sintesi Tecnica: Un'Introduzione alla Teoria dell'Intersezione dello Spazio Moduli delle Curve

Enunciato del Problema
Il problema centrale affrontato in questa survey è la comprensione della teoria dell'intersezione dello spazio moduli delle curve, $M_g$, specificamente riguardo alla struttura del suo anello di Chow, $A^*(M_g)$. L'autore investiga la relazione tra l'intero anello di Chow e l'anello tautologico, $R^*(M_g)$, un sottianello generato da classi che derivano naturalmente dalla geometria della famiglia universale. La survey si concentra su due domande fondamentali:

1. Generazione: L'anello di Chow $A^*(M_g)$ è generato da classi tautologiche?
2. Relazioni: Qual è l'insieme completo delle relazioni tra le classi tautologiche?

Il documento evidenzia come, sebbene l'anello di Chow sia ben compreso per generi bassi, la situazione diventi via via più complessa all'aumentare del genere $g$, con l'esistenza di classi non tautologiche nei generi più elevati che rimane un importante campo di ricerca aperto.

Metodologia e Framework
Il documento impiega la strumentazione standard della geometria algebrica, specificamente la teoria dell'intersezione e gli anelli di Chow, adattati al contesto degli spazi moduli (spesso trattati come stack di Deligne–Mumford).

• Strumenti Fondamentali: La survey esamina la definizione del gruppo di Chow $A_*(X)$ come cicli modulo equivalenza razionale. Utilizza mappe di pushforward appropriata ($f_*$) e pullback piatto ($f^*$), nonché la sequenza di escissione per sottoschemi aperti/chiusi. La formula push-pull e le formule di auto-intersezione (tramite intersezione in eccesso) sono centrali per il calcolo delle intersezioni.
• Classi Tautologiche: Seguendo la filosofia di Mumford, le classi tautologiche sono definite come quelle che derivano dalla famiglia universale. Per $M_g$, queste includono:
  • Classi $\kappa$: Definite tramite la pushforward di potenze della prima classe di Chern della relativa fibra dualizzante $\omega_f$ lungo la curva universale $f: C_g \to M_g$.
  • Classi $\lambda$: Definite come le classi di Chern del bundle di Hodge $E = f_*\omega_f$.
  • Classi $\psi$: Definite sugli spazi moduli puntati $M_{g,n}$ tramite le sezioni della curva universale.
• Stratificazione e Incollamento (Gluing): La metodologia si basa pesantemente sulla stratificazione degli spazi moduli (ad esempio, per gonality o tramite grafi stabili per le compattificazioni) e sull'uso di sequenze di escissione per relazionare gli anelli di Chow degli strati con l'intero spazio. Per le compattificazioni $\overline{M}_{g,n}$, l'anello tautologico è definito come il più piccolo sistema di sottianelli chiuso sotto pushforward lungo mappe di incollamento (associate a grafi stabili) e mappe di dimenticazione.
• Tecniche Computazionali: Il documento discute l'uso delle formule di Porteous per i loci di degenerazione, Grothendieck–Riemann–Roch per relazionare le classi di Chern delle pushforward e decomposizioni di Künneth in coomologia per rilevare classi non tautologiche.

Contributi Chiave e Risultati

1. Survey dell'Anello Tautologico:

   • Il documento esamina le congetture di Faber riguardanti la struttura di $R^*(M_g)$, inclusa la generazione da classi $\kappa$ fino al grado $\lfloor g/3 \rfloor$, l'annullamento nei gradi $> g-2$, e l'esistenza di una pairing perfetta nel grado massimo.
   • Si nota che, sebbene le relazioni di Faber–Zagier (congetturate da Faber e Zagier e provate da Pixton e Pandharipane) forniscano un ampio insieme di relazioni, rimane una questione aperta se esse costituiscano tutte le relazioni. Evidenze computazionali recenti (Canning) suggeriscono che la pairing nel grado $g-2$ non è perfetta per $g=24$, implicando che o la congettura di Faber (parte 3) è falsa o le relazioni di Faber–Zagier sono incomplete.

2. Risultati di Generazione (Quando $A^*(M_g) = R^*(M_g)$):

   • Il documento conferma che per $2 \le g \le 9$, l'anello di Chow è generato da classi tautologiche ($A^*(M_g) = R^*(M_g)$). Questo risultato sintetizza il lavoro di Mumford, Faber, Izadi, Penev–Vakil e Canning–Larson.
   • Caso di Studio: Genere 3: L'autore fornisce uno schema di prova dettagliato per $g=3$. La strategia consiste nello stratificare $M_3$ nel locus iperellittico $H$ e nel locus delle quartiche piane lisce $P$.
     • Si dimostra che $H$ ha un anello di Chow banale (razionalmente) tramite la sua relazione con $M_{0,8}/S_8$.
     • $P$ viene analizzato come uno stack quotient $U/GL_3$, mostrando che il suo anello di Chow è generato dalle classi di Chern del bundle di Hodge (che sono tautologiche).
     • Utilizzando la sequenza di escissione, la prova si riduce a dimostrare che la classe fondamentale $[H]$ è tautologica. Ciò viene ottenuto realizzando $H$ come un locus di degenerazione di una mappa tra bundle vettoriali su $C_2$ e applicando la formula di Porteous.

3. Classi Non Tautologiche (Quando $A^*(M_g) \neq R^*(M_g)$):

   • Il documento stabilisce che per $g=12$ e $g \ge 16$, l'anello di Chow non è generato da classi tautologiche.
   • Caso di Studio: Genere 12: L'autore dettaglia la costruzione di una classe non tautologica da parte di Van Zelm. La classe in questione è la classe fondamentale del locus biellittico $B_{12}$ (curve che ammettono una mappa di grado 2 verso una curva ellittica).
     • La prova utilizza la mappa di incollamento $i: M_{1,11} \times M_{1,11} \to M_{12}$.
     • Effettuando il pullback della classe $[B_{12}]$ tramite $i$, si ottiene una classe che coinvolge il diagonale $\Delta$ in $M_{1,11} \times M_{1,11}$.
     • L'argomento si basa sulla teoria di Hodge e sulle componenti di Künneth. Nello specifico, $H^{11,0}(M_{1,11}) \neq 0$. La classe diagonale ha una componente non nulla in $H^{11,0} \otimes H^{0,11}$.
     • Si dimostra che le classi supportate sul bordo di $M_{12}$ (e i loro pullback) mancano di questo specifico tipo di Hodge. Poiché le classi tautologiche estratte tramite mappe di incollamento devono rispettare determinati vincoli di Hodge (specificamente, non possono generare il tipo di Hodge dispari specifico trovato nel diagonale), $[B_{12}]$ non può essere tautologica.

Significato e Rivendicazioni
Il documento si pone come un'introduzione allo stato dell'arte della teoria dell'intersezione di $M_g$. La sua importanza risiede in:

• Framework Unificante: Connette esempi classici (Grassmanniani, stack classificanti $BGL_k$) alla moderna teoria degli spazi moduli delle curve, illustrando come le classi "tautologiche" emergano naturalmente da proprietà universali.
• Chiarire il Confine della Conoscenza: Delinea chiaramente i casi noti in cui l'anello di Chow è tautologico ($g \le 9$) rispetto a dove non lo è ($g=12, g \ge 16$), evidenziando i generi specifici ($10, 11, 13, 14, 15$) in cui la questione rimane aperta.
• Dimostrazione Metodologica: Fornendo schemi di prova per $g=3$ (generazione) e $g=12$ (non-generazione), il documento dimostra gli strumenti tecnici specifici richiesti per questi problemi: stratificazione ed escissione per la generazione, e analisi di Künneth di tipo Hodge per la non-generazione.

L'autore afferma con modestia che, sebbene l'anello di Chow integrale sia noto solo per $g=2$, l'anello di Chow razionale è compreso per $g \le 9$, e l'esistenza di classi non tautologiche è stabilita per specifici generi più elevati. Il documento non pretende di risolvere i casi aperti, ma piuttosto di fornire il "gusto degli strumenti allo stato dell'arte" utilizzati per affrontarli.