Chow rings, cohomology rings, and point counts of moduli spaces of curves

Sintesi Tecnica: Anelli di Chow, Anelli di Coomologia e Conteggi di Punti degli Spazi Moduli delle Curve

Enunciato del Problema
Questo articolo espositivo investiga tre invarianti strettamente correlati degli spazi moduli delle curve: l'anello di Chow $A^*(M)$, l'anello di coomologia $H^*(M)$ e i conteggi di punti su campi finiti $\#M(\mathbb{F}_q)$. Gli oggetti primari di studio sono $M_{g,n}$, lo spazio moduli delle curve lisce di genere $g$ con $n$ punti marcati, e $\overline{M}_{g,n}$, la sua compattificazione di Deligne–Mumford tramite curve stabili. Il problema centrale è determinare in che misura questi invarianti siano "tautologici". Nello specifico, il documento affronta tre domande:

1. Per quali $(g, n)$ l'anello di Chow (o l'anello di coomologia) è generato da classi tautologiche?
2. Per quali $(g, n)$ il conteggio di punti $\#M_{g,n}(\mathbb{F}_q)$ (o $\#\overline{M}_{g,n}(\mathbb{F}_q)$) è dato da un polinomio in $q$?
3. In che modo questi invarianti sono correlati tra loro, particolarmente in presenza di classi non tautologiche o conteggi di punti non polinomiali?

Metodologia e Framework
Il documento sintetizza recenti progressi nella geometria algebrica, nella geometria aritmetica e nella teoria delle rappresentazioni. La metodologia si basa sull'instaurazione di un framework rigoroso che connette i tre invarianti:

• Sottianelli Tautologici: Lo studio è guidato dai sottianelli tautologici $R^*(M) \subset A^*(M)$ e $RH^*(M) \subset H^*(M)$, definiti come i sistemi più piccoli chiusi sotto le mappe di pushforward lungo le mappe di incollamento (gluing) e di dimenticanza (forgetful). Essi sono generati da "strati limite decorati" che coinvolgono le classi $\psi$ e $\kappa$.
• Invarianti Comparativi: Il documento utilizza la sequenza di escissione per i gruppi di Chow, la mappa di classe di ciclo $cl: A^*(M) \to H^*(M)$ e la sequenza spettrale del peso di Deligne per relazionare la coomologia di $M_{g,n}$ con quella di $\overline{M}_{g,n}$.
• Strumenti Aritmetici: La formula della traccia di Grothendieck–Lefschetz è impiegata per collegare i conteggi di punti alle tracce dell'endomorfismo di Frobenius sulla coomologia $\ell$-adica con supporto compatto. Il documento distingue tra coomologia di "tipo Tate" (dove gli autovalori sono potenze di $q$) e coomologia non-Tate (che coinvolge forme modulari).
• Conteggi di Punti Equivarianti: Per gestire gli strati limite, che coinvolgono quozienti per gruppi finiti, il documento utilizza conteggi di punti equivarianti e la formula di Getzler–Kapranov, che relaziona i conteggi equivarianti di $M_{g,n}$ con quelli di $\overline{M}_{g,n}$.
• Argomenti Induttivi: Un importante strumento metodologico è l'uso di argomenti induttivi sul genere e sul numero di marcature, spesso facendo affidamento sulla "Proprietà di Generazione Chow–Künneth" (CKgP) per decomporre i prodotti di spazi moduli.

Contributi Chiave e Risultati

1. Relazioni tra gli Invarianti
Il documento chiarisce le condizioni sotto le quali gli invarianti si allineano.

• Se $A^*(\overline{M}_{g,n}) = R^*(\overline{M}_{g,n})$ e lo spazio soddisfa la CKgP, allora la mappa di classe di ciclo è un isomorfismo, e $\#\overline{M}_{g,n}(\mathbb{F}_q)$ è un polinomio in $q$.
• Viceversa, se $\#\overline{M}_{g,n}(\mathbb{F}_q)$ è un polinomio, la coomologia è pura Tate (coomologia dispari nulla e coomologia pari pura), sebbene ciò non implichi automaticamente che l'anello di Chow sia tautologico senza ulteriori assunzioni.
• Per gli spazi moduli aperti $M_{g,n}$, la relazione è più complessa; possono esistere coomologie non-Tate anche se l'anello di Chow è tautologico, e i conteggi di punti possono non essere polinomi a causa dei contributi della coomologia di peso dispari.

2. Tautologicità degli Anelli di Chow e di Coomologia
Il documento esamina lo stato attuale della conoscenza riguardo quando $A^*(M)$ e $H^*(M)$ sono generati da classi tautologiche, riassunto tramite grafici per $(g, n)$:

• Genere 0: $A^*(M_{0,n})$ è banale; $A^*(\overline{M}_{0,n})$ è tautologico.
• Genere 1: $A^*(M_{1,n}) = R^*(M_{1,n})$ per $n \le 10$. Per $n \ge 11$, $A^*(M_{1,n})$ è di dimensione infinita e non tautologico a causa dell'esistenza di coomologia dispari non nulla $H^{11}(M_{1,11})$. Tuttavia, la coomologia pari di $M_{1,n}$ rimane tautologica.
• Genere 2–9: Risultati estesi stabiliscono la tautologicità per specifiche coppie $(g, n)$ (es. $g=2, n \le 9$; $g=3, n \le 9$; $g=7, n \le 3$). Questi risultati spesso si basano su stratificazioni esplicite (es. loci iperellittici vs non iperellittici) e modelli di curve come intersezioni complete.
• Classi Non-Tautologiche: Il documento identifica i loci di coperti doppi (curve biellittiche) come la principale fonte di classi non tautologiche. Per $g+m \ge 12$, la classe del locus delle curve biellittiche è non tautologica. Ciò porta alla conclusione che $A^*(\overline{M}_{g,n}) \neq R^*(\overline{M}_{g,n})$ per $2g+n \ge 24$ (e soglie superiori per specifici $g$).
• Coomologia in Bassi Pesi: Il documento dettaglia i risultati sulla scomparsa della coomologia dispari. $H^k(M_{g,n}) = 0$ per $k$ dispari $\le 9$ (eccetto $H^{11}(M_{1,11})$). Per $k=11, 13, 15$, vengono fornite descrizioni esplicite della coomologia come rappresentazioni di Galois, che spesso coinvolgono forme modulari (es. la funzione $\tau$ di Ramanujan per $k=11$).

3. Conteggi di Punti e Polinomialità

• Conteggi di Punti Polinomiali: Il documento stabilisce che $\#\overline{M}_{g,n}(\mathbb{F}_q)$ è un polinomio in $q$ se e solo se la coomologia è pura Tate. Ciò è confermato per $3g + 2n < 25$.
• Non-Polinomialità: Per $M_{g,n}$, i conteggi di punti generalmente non sono polinomi quando la coomologia dispari è non nulla. Il documento prova che $\#\overline{M}_{g,n}(\mathbb{F}_q)$ non è un polinomio per molti casi in cui $2g+n \ge 24$, guidato dal non annullamento di $\chi_k(M_{g,n})$ per $k$ dispari.
• Congettura: Il documento presenta la Congettura 5.1: $\#\overline{M}_{g,n}(\mathbb{F}_q)$ è un polinomio in $q$ se e solo se $3g + 2n < 25$. Questo è dimostrato per $n=0$ e verificato computazionalmente per $g+n < 150$.
• Polinomialità Approssimata: Anche quando non sono strettamente polinomiali, i conteggi di punti sono ben approssimati da polinomi, con correzioni determinate dai coefficienti di forme modulari (es. forme modulari di Siegel).

Significato e Rivendicazioni
Il documento sostiene di fornire una survey completa e all'avanguardia dell'interazione tra gli invarianti algebrici, topologici e aritmetici degli spazi moduli delle curve. La sua significatività risiede in:

1. Unificazione: Connette sistematicamente la natura tautologica degli anelli di Chow, la struttura degli anelli di coomologia e l'aritmetica dei conteggi di punti, mostrando come i fallimenti in un dominio (es. classi non tautologiche) si manifestino in altri (es. conteggi di punti non polinomiali).
2. Chiarimento dei Limiti: Delinea i range precisi di $(g, n)$ dove questi spazi si comportano "bene" (anelli tautologici, conteggi polinomiali) rispetto a dove esibiscono comportamenti complessi (anelli di Chow di dimensione infinita, coomologia non-Tate).
3. Sintesi del Lavoro Recente: Consolida i risultati di vari autori (tra cui Canning, Payne, Faber, Bergström e altri) per risolvere molte domande aperte nei bassi generi e fornire una chiara tabella di marcia per i casi rimanenti sconosciuti.
4. Evidenza per le Congetture: Fornisce una forte evidenza per le congetture del programma di Langlands riguardanti le rappresentazioni di Galois che appaiono nella coomologia di questi spazi moduli, confermando specificamente la Congettura 2.20 per pesi $k \le 15$.

Il documento non pretende di risolvere il problema generale per tutti i $g$ e $n$, riconoscendo che per generi elevati gli spazi moduli sono di tipo generale e le tecniche attuali (basate su unirazionalità o stratificazioni esplicite) decadono. Inveve, offre una mappa dettagliata del territorio conosciuto e degli specifici ostacoli (come i loci biellittici e la coomologia dispari) che impediscono una descrizione completa nel caso generale.