Moduli spaces of curves with polynomial point counts

1. Il Problema

Il lavoro si concentra sulla funzione di conteggio dei punti $N_{g,n}(q)$, che rappresenta il numero di classi di isomorfismo geometrico di curve proiettive lisce di genere $g$ con $n$ punti marcati definite su un campo finito $\mathbb{F}_q$ di ordine $q$.
La domanda centrale, sollevata originariamente da Kedlaya, è: per quali valori di $g$ e $n$ la funzione $N_{g,n}(q)$ è un polinomio in $q$?

È noto che per $g=0$ e $g=1$ il conteggio è polinomiale per un certo numero di punti marcati, ma non per tutti. Il problema è determinare la soglia esatta oltre la quale il conteggio cessa di essere polinomiale. La non-polinomialità è legata alla presenza di coomologia "non di tipo Tate" (ovvero, coomologia che non è generata da potenze della classe di Tate $L = H^2(\mathbb{P}^1)$) e alla non-nullità delle caratteristiche di Euler di peso dispari.

2. Metodologia

Gli autori combinano tecniche di geometria algebrica, teoria delle rappresentazioni dei gruppi simmetrici e analisi asintotica di funzioni generatrici. I pilastri metodologici sono:

• Formula di Traccia di Grothendieck-Lefschetz: Il conteggio dei punti su uno stack di Deligne-Mumford è dato dalla traccia graduata dell'operatore di Frobenius sulla coomologia $\ell$-adica a supporto compatto. La funzione è polinomiale se e solo se la coomologia è di "tipo Tate" (tutti i pesi sono pari e l'azione di Frobenius è data da $p^k$).
• Complessi di Grafi di Getzler-Kapranov: Per calcolare la coomologia dei moduli $\mathcal{M}_{g,n}$, gli autori utilizzano i complessi di grafi stabili. Questo permette di esprimere la coomologia in termini di coomologia di spazi di moduli di genere inferiore e di azioni di gruppi simmetrici.
• Analisi Asintotica: Per generi elevati ($g \to \infty$), viene studiata la funzione generatrice delle caratteristiche di Euler di peso 11. Gli autori derivano formule asintotiche precise per il termine dominante e stimano l'errore residuo per dimostrare la non-nullità.
• Calcoli Computazionali: Vengono utilizzati calcoli al computer (implementati in Mathematica) per verificare la non-nullità delle caratteristiche di Euler in un intervallo finito di generi e per calcolare i coefficienti delle serie generatrici.

3. Risultati Chiave e Contributi

A. Teorema Principale sulla Polinomialità (Teorema 1.1 e 1.4)

Il risultato principale stabilisce una soglia precisa per la polinomialità:

• Teorema 1.1: La funzione $N_g(q)$ è polinomiale se e solo se $g \le 8$.
• Teorema 1.4: Per un genere $g \ge 1$, il più piccolo intero $n$ tale che $N_{g,n}(q)$ non sia polinomiale è:
  $$n = \max\left(\left\lceil \frac{25 - 3g}{2} \right\rceil, 0\right)$$
  In altre parole, $N_{g,n}$ è polinomiale se e solo se $3g + 2n < 25$ (o $g=0$).

B. Calcolo della Coomologia in Peso 13 (Teorema 1.7)

Un contributo tecnico fondamentale è il calcolo completo del gruppo di coomologia $H^{13}(\mathcal{M}_{g,n})$ per ogni $g$ e $n$.

• Gli autori dimostrano che questo gruppo è generato da immagini di mappe di spinta di Gysin associate ai divisori di bordo.
• Viene fornita una struttura esplicita come rappresentazione del gruppo simmetrico $S_n$, coinvolgendo i moduli di Specht associati a forme cuspidali di peso 12 ($S_{12}$).
• Questo calcolo è cruciale per trattare i casi eccezionali dove la caratteristica di Euler di peso 11 si annulla.

C. Caratteristiche di Euler e Casi Eccezionali

• Peso 11: Viene dimostrato che la caratteristica di Euler di peso 11, $\chi_{11}(\mathcal{M}_g)$, è non nulla per tutti i $g \ge 9$, eccetto per $g=12$.
• Peso 13 (Corollario 1.8): Per i casi in cui $\chi_{11}$ si annulla (in particolare $\mathcal{M}_{12}$ e $\mathcal{M}_{8,1}$), gli autori calcolano la caratteristica di Euler di peso 13:
  • $\chi_{13}(\mathcal{M}_{12}) = -6$
  • $\chi_{13}(\mathcal{M}_{8,1}) = -2$
    Poiché queste sono non nulle, la coomologia non è di tipo Tate, confermando la non-polinomialità anche in questi casi "critici".

D. Analisi Asintotica (Teorema 1.9)

Gli autori derivano il comportamento asintotico di $\chi_{11}(\mathcal{M}_g)$ per $g \to \infty$:
$$\chi_{11}(\mathcal{M}_g) \sim C \cdot \frac{(-1)^{\dots}(g-2)!}{(2\pi)^g}$$
Dimostrano che il termine dominante cresce super-esponenzialmente e che l'errore relativo è sufficientemente piccolo da garantire che $\chi_{11}(\mathcal{M}_g) \neq 0$ per $g \ge 600$. I casi $9 \le g < 600$ sono verificati computazionalmente.

4. Significato e Implicazioni

1. Risoluzione di una Congettura: Il lavoro risolve completamente la questione della polinomialità per i moduli di curve lisce, fornendo una soglia precisa ($3g+2n < 25$) che era stata osservata in lavori precedenti ma non dimostrata in generale.
2. Connessione tra Geometria e Teoria dei Numeri: Dimostra che la proprietà aritmetica del conteggio dei punti su campi finiti è strettamente legata alla struttura della coomologia motivica (tipo Tate) e alla presenza di forme modulari (tramite $S_{12}$).
3. Nuovi Strumenti Computazionali e Teorici: Il calcolo esplicito di $H^{13}(\mathcal{M}_{g,n})$ e l'analisi asintotica fine delle funzioni generatrici offrono nuovi strumenti per lo studio della coomologia instabile dei moduli di curve, un'area che ha visto progressi significativi solo recentemente.
4. Eccezioni Strutturali: La scoperta che $\mathcal{M}_{12}$ e $\mathcal{M}_{8,1}$ sono i primi casi in cui la coomologia di peso 11 si annulla, richiedendo l'analisi del peso 13, rivela una struttura sottile e complessa nella coomologia instabile che non segue semplicemente un pattern lineare.

In sintesi, il paper stabilisce che la "semplicità" aritmetica (conteggio polinomiale) dei moduli di curve si rompe esattamente quando la complessità della coomologia (pesi dispari non nulli legati a forme modulari) diventa dominante, con una soglia precisa determinata dalla combinazione di genere e punti marcati.