Moduli spaces of curves with polynomial point counts

1. Problématique et Contexte

L'article s'intéresse au comportement arithmétique des espaces de modules de courbes algébriques lisses sur les corps finis. Plus précisément, soit $N_{g,n}(q)$ le nombre de classes d'isomorphisme géométrique de courbes projectives lisses de genre $g$ avec $n$ points marqués, définies sur un corps fini $\mathbb{F}_q$ d'ordre $q$.

La question centrale, posée par Kedlaya, est de déterminer pour quelles valeurs de $g$ et $n$ la fonction $N_{g,n}(q)$ est un polynôme en $q$.

• Il est bien connu que pour $g=0$, $N_{0,n}(q)$ est polynomial.
• Pour $g=1$, $N_{1,n}(q)$ est polynomial si et seulement si $n \le 10$.
• Pour $g=2$, la polynomialité cesse à $n=10$.
• Pour $g=3$, elle cesse à $n=8$.

Le problème général consiste à caractériser la transition entre le comportement polynomial et non-polynomial en fonction du genre $g$ et du nombre de points marqués $n$.

2. Méthodologie

Les auteurs utilisent une approche combinant la géométrie algébrique, la théorie des représentations et l'analyse asymptotique.

A. Formule des traces de Grothendieck-Lefschetz

Le nombre de points rationnels $N_{g,n}(q)$ est relié à la cohomologie $\ell$-adique à support compact de l'espace de modules $\mathcal{M}_{g,n}$ via la formule des traces :
$$N_{g,n}(q) = \sum_i (-1)^i \text{Tr}(\text{Frob}_q^* \mid H_c^i(\mathcal{M}_{g,n}, \mathbb{Q}_\ell))$$
La fonction $N_{g,n}(q)$ est un polynôme si et seulement si les valeurs propres de l'opérateur de Frobenius sont des puissances entières de $q$ (c'est-à-dire que la cohomologie est de type Tate). Si la cohomologie contient des composantes non-Tate (comme des représentations galoisiennes irréductibles de poids impair), la fonction n'est pas polynomial.

B. Cohomologie et Caractéristiques d'Euler pondérées

Les auteurs se concentrent sur les caractéristiques d'Euler pondérées par le poids de la filtration de Hodge mixte :
$$\chi_k(\mathcal{M}_{g,n}) = \sum_i (-1)^i \dim_{\mathbb{Q}} \text{gr}^W_k H_c^i(\mathcal{M}_{g,n})$$
La non-annulation de $\chi_k$ pour un $k$ impair implique que la cohomologie n'est pas de type Tate, et donc que le comptage de points n'est pas polynomial.

C. Outils Techniques Clés

1. Complexe de Getzler-Kapranov : Utilisation de complexes de graphes stables pour calculer la cohomologie de $\mathcal{M}_{g,n}$ via une suite spectrale de poids.
2. Calcul de $H^{13}(\mathcal{M}_{g,n})$ : Un résultat nouveau majeur est le calcul explicite du groupe de cohomologie de degré 13 pour tous les $g$ et $n$. Cela permet de déterminer $\chi_{13}$.
3. Analyse Asymptotique : Pour les genres élevés ($g$ grand), les auteurs analysent la fonction génératrice des caractéristiques d'Euler de poids 11 ($\chi_{11}$) pour prouver sa non-annulation asymptotique.
4. Calculs Numériques : Utilisation intensive de l'informatique (Mathematica) pour vérifier les cas finis et les bornes asymptotiques.

3. Résultats Principaux

Théorème 1.1 : La borne critique pour le genre sans points marqués

La fonction $N_g(q)$ est un polynôme en $q$ si et seulement si $g \le 8$.

• Pour $g \le 8$, la cohomologie rationnelle de $\mathcal{M}_g$ est de type Tate.
• Pour $g \ge 9$ (sauf $g=12$), la non-annulation de $\chi_{11}(\mathcal{M}_g)$ prouve la non-polynomialité.
• Pour le cas exceptionnel $g=12$, où $\chi_{11}(\mathcal{M}_{12}) = 0$, les auteurs montrent que $\chi_{13}(\mathcal{M}_{12}) = -6 \neq 0$, prouvant ainsi que $N_{12}(q)$ n'est pas polynomial.

Théorème 1.4 : La borne critique avec points marqués

Pour un genre $g \ge 1$, le plus petit entier $n$ tel que $N_{g,n}(q)$ ne soit pas polynomial est :
$$n_{\text{crit}} = \max\left(\left\lceil \frac{25 - 3g}{2} \right\rceil, 0\right)$$
Autrement dit, la polynomialité est perdue dès que $3g + 2n \ge 25$.

Théorème 1.5 : Caractérisation cohomologique

La cohomologie rationnelle de $\mathcal{M}_{g,n}$ est de type Tate si et seulement si $g=0$ ou $3g + 2n < 25$.
Ce résultat établit un lien direct entre la structure cohomologique (type Tate) et la propriété arithmétique (comptage polynomial).

Théorème 1.9 : Asymptotique de $\chi_{11}$

Les auteurs dérivent une formule asymptotique précise pour $\chi_{11}(\mathcal{M}_g)$ lorsque $g \to \infty$ :
$$\chi_{11}(\mathcal{M}_g) \sim C \frac{(-1)^{\dots}(g-2)!}{(2\pi)^g}$$
Ils prouvent que cette quantité est non nulle pour tout $g \ge 9$ sauf $g=12$. La preuve combine une analyse fine de la fonction génératrice (termes dominants et restes) et des calculs numériques pour $g < 600$.

4. Contributions Techniques Majeures

1. Calcul de $H^{13}(\mathcal{M}_{g,n})$ :
   Les auteurs déterminent complètement le groupe de cohomologie de degré 13. Ils montrent qu'il est engendré par des images de push-forwards de Gysin provenant de diviseurs de bord impliquant des courbes de genre 1 avec 11 points marqués.

   • Résultat clé : $\chi_{13}(\mathcal{M}_{12}) = -6$ et $\chi_{13}(\mathcal{M}_{8,1}) = -2$.
   • Cela résout les cas où le poids 11 s'annule, comblant ainsi la lacune pour prouver la non-polynomialité pour $g=12$ et $n=1$ avec $g=8$.

2. Analyse de la fonction génératrice de poids 11 :
   Une analyse asymptotique rigoureuse de la fonction génératrice de $\chi_{11}$ est développée. Les auteurs séparent le terme dominant (lié aux nombres de Bernoulli et à la fonction $\zeta$) du terme de reste, prouvant que le terme dominant domine pour $g$ suffisamment grand, garantissant la non-annulation.

3. Utilisation des symétries des graphes stables :
   Pour la région $3g + 2n < 25$, ils utilisent les actions du groupe symétrique sur les complexes de graphes pour montrer que les parties non-Tate s'annulent par symétrie, prouvant ainsi que la cohomologie est de type Tate dans cette région.

5. Signification et Impact

• Résolution d'une conjecture ouverte : L'article répond définitivement à la question de Kedlaya sur la polynomialité du comptage de points pour les espaces de modules de courbes. Il identifie une frontière précise ($3g + 2n = 25$) séparant le monde "tame" (polynomial/Tate) du monde "wild" (non-polynomial/non-Tate).
• Lien Cohomologie-Arithmétique : Il renforce la compréhension du lien entre la structure de Hodge mixte (poids) et le comportement arithmétique des variétés de modules. La non-polynomialité est directement attribuée à l'apparition de cohomologie de poids impair non-Tate (spécifiquement de type $S_{12}$, liée aux formes modulaires de poids 12).
• Nouveaux outils pour la cohomologie instable : Le calcul de $H^{13}$ et l'analyse asymptotique de $\chi_{11}$ fournissent des méthodes puissantes pour étudier la cohomologie instable des espaces de modules, qui était auparavant mal comprise au-delà des petits genres.
• Cas exceptionnels : La découverte que $g=12$ et $n=1$ (avec $g=8$) sont des cas où le poids 11 s'annule mais où le poids 13 ne s'annule pas, montre la subtilité de la structure cohomologique et la nécessité d'aller au-delà du premier signe de non-Tate pour caractériser complètement l'espace.

En résumé, cet article établit une classification complète de la polynomialité des points rationnels sur les espaces de modules de courbes, reliant profondément la géométrie algébrique, la théorie des représentations et l'analyse asymptotique.