Cohomology of moduli spaces via a result of Chenevier and Lannes

En s'appuyant sur la classification des représentations automorphes algébriques par Chenevier et Lannes et sur une conjecture de correspondance avec les représentations galoisiennes $\ell$-adiques, cet article détermine les caractéristiques d'Euler des espaces de modules $\overline{\mathcal M}_{3,n}$ et $\mathcal M_{3,n}$ pour $n \leq 14$, ainsi que celles des systèmes locaux $\mathbb{V}_\lambda$ sur $\mathcal{A}_3$ pour $|\lambda| \leq 16$.

L'essentiel

Imaginez que vous êtes un explorateur cartographiant des territoires mathématiques très complexes. Ces territoires s'appellent des espaces de modules. Pour faire simple, ce sont de gigantesques "bibliothèques" ou "parcs d'attractions" où chaque point représente une forme géométrique spécifique (comme une courbe tordue ou une surface complexe).

Le but de cet article est de compter les "choses" qui se cachent dans ces parcs. En mathématiques, on ne compte pas juste le nombre de points, mais on essaie de comprendre la structure profonde de ces espaces en calculant ce qu'on appelle une caractéristique d'Euler. C'est un peu comme essayer de déterminer le nombre de chambres, de couloirs et de portes d'un château sans jamais y entrer, juste en observant ses ombres et ses reflets.

Voici comment les auteurs, Jonas Bergström et Carel Faber, y sont parvenus, expliqué avec des images simples :

1. Le Problème : Des Parcs Trop Grands pour être Mesurés

Ces espaces de modules (notamment ceux des courbes de genre 3, notés $M_{3,n}$) sont immenses et complexes. Calculer leur structure exacte est comme essayer de deviner le contenu d'une valise fermée à double tour en la secouant. Traditionnellement, c'est très difficile.

2. La Solution Magique : Une "Liste de Pièces" Prêtes à l'Emploi

Les auteurs utilisent une découverte récente de deux autres mathématiciens, Chenevier et Lannes. Imaginez que ces derniers aient dressé une liste complète de tous les types de "briques" fondamentales (qu'on appelle représentations automorphes) qui peuvent exister dans l'univers mathématique jusqu'à une certaine taille.

Il n'y en a que 11 types différents de ces briques fondamentales pour la taille qui nous intéresse. C'est comme si on nous disait : "Pour construire n'importe quel château de cette taille, vous n'avez besoin que de ces 11 types de briques spécifiques."

3. Le Pont Mystérieux : La Correspondance de Langlands

Ensuite, il y a une hypothèse (une conjecture) très célèbre en mathématiques appelée la correspondance de Langlands. Elle dit qu'il existe un lien secret, une sorte de traduction automatique, entre ces "briques" abstraites (les représentations automorphes) et des objets géométriques réels (les représentations de Galois).

En gros, l'article dit : "Si on accepte que cette traduction existe, alors chaque espace de module que nous étudions est construit uniquement avec ces 11 types de briques." Cela réduit le problème infini à un problème fini : il suffit de trouver combien de briques de chaque type il y a.

4. La Méthode de Détection : Les "Comptages" et les "Ombres"

Comment savoir combien de briques de chaque type il y a dans notre valise ? Les auteurs utilisent deux techniques :

• Le comptage sur de petits mondes (les corps finis) : Ils regardent ce qui se passe dans des versions très petites et simplifiées de ces espaces (sur des champs avec seulement quelques nombres, comme 2, 3, 5...). C'est comme regarder les empreintes digitales laissées par le château sur le sol. En comptant le nombre de points sur ces petites versions, ils obtiennent des indices.
• La formule de la trace de Lefschetz : C'est une règle mathématique qui permet de relier ces comptages simples à la structure complexe de l'espace. C'est un peu comme si, en comptant le nombre de pas que font les visiteurs sur une piste de danse, on pouvait déduire le nombre exact de danseurs et leurs mouvements.

5. Le Résultat : La Carte Finale

En combinant la liste des 11 briques, la conjecture de Langlands, et les comptages sur les petits mondes, les auteurs réussissent à résoudre un système d'équations.

Le résultat ? Ils ont pu dessiner la carte complète de la structure de ces espaces de modules pour un certain nombre de points ($n \le 14$).

• Ils savent exactement quelles "briques" (représentations de Galois) composent ces espaces.
• Ils ont déterminé des formules précises qui décrivent la forme de ces espaces.

En Résumé

C'est comme si, au lieu de devoir construire un château pierre par pierre, les auteurs avaient :

1. Trouvé une liste de tous les types de pierres possibles dans l'univers.
2. Accepté une règle disant que notre château est fait uniquement de ces pierres.
3. Compté les ombres du château pour deviner combien de chaque pierre il y a.
4. Et enfin, écrit la recette exacte du château.

C'est une avancée majeure car cela permet de comprendre la "forme" de ces objets géométriques complexes sans avoir à les construire physiquement, en utilisant la puissance de la théorie des nombres et de l'informatique.

Résumé technique

Voici un résumé technique détaillé de l'article « Cohomology of moduli spaces via a result of Chenevier and Lannes » de Jonas Bergström et Carel Faber, publié dans Épijournal de Géométrie Algébrique (2023).

1. Problématique et Contexte

L'objectif principal de cet article est de déterminer les caractéristiques d'Euler (à valeurs dans le groupe de Grothendieck des représentations galoisiennes) et les groupes de cohomologie de certains espaces de modules fondamentaux en géométrie algébrique :

• Les espaces de modules $\mathcal{M}_{3,n}$ et $\overline{\mathcal{M}}_{3,n}$ de courbes stables de genre 3 avec $n$ points marqués, pour $n \le 14$.
• Les systèmes locaux $\mathbb{V}_\lambda$ sur l'espace de modules $\mathcal{A}_3$ des variétés abéliennes principalement polarisées de dimension 3, pour les poids $|\lambda| \le 16$.

Le défi réside dans le fait que la cohomologie de ces espaces est extrêmement complexe et que les méthodes traditionnelles (calculs directs, formules de point fixes) deviennent rapidement ingérables lorsque le nombre de points $n$ ou le poids du système local augmente. Les auteurs cherchent à exploiter la structure profonde des représentations galoisiennes apparaissant dans ces cohomologies pour déduire des résultats précis.

2. Méthodologie

La stratégie repose sur une combinaison de résultats de classification en théorie des nombres, de conjectures du programme de Langlands, et de calculs numériques sur des corps finis.

A. Classification des représentations automorphes (Théorème de Chenevier et Lannes)

Les auteurs s'appuient sur un résultat majeur de Chenevier et Lannes ([CL19]) qui classe les représentations automorphes cuspidales algébriques de niveau 1 pour $PGL_n$ de poids motivique $w \le 22$. Il n'existe que 11 telles représentations (notées $\Delta_w$, $\Delta_{w,v}$, etc., incluant des symétriques carrés).

B. Correspondance de Langlands et Conjecture 3.2

En se basant sur la correspondance de Langlands, les auteurs postulent l'existence d'une bijection entre ces représentations automorphes et les représentations galoisiennes géométriques irréductibles.
Ils formulent la Conjecture 3.2 : Toute représentation galoisienne géométrique semi-simple de poids motivique $\le 22$ et de poids de Hodge-Tate non négatifs est une somme directe de représentations $\phi_j$ (associées aux 11 formes automorphes ci-dessus) tensorisées avec des puissances du caractère cyclotomique $\mathbb{L}^k$.

C. Contraintes géométriques et dualité de Poincaré

En utilisant le fait que les espaces de modules considérés sont lisses et propres (ou ont des compactifications lisses), les auteurs appliquent la dualité de Poincaré et les propriétés des poids de Hodge-Tate pour restreindre l'ensemble des représentations galoisiennes possibles dans la cohomologie. Cela permet de définir des sous-monoïdes $\Psi_i$ et $\Phi_i$ du groupe de Grothendieck $K_0(\text{Gal}_{\mathbb{Q}})$ qui contiennent nécessairement les classes d'Euler.

D. Équations linéaires et comptage sur les corps finis

Pour déterminer les coefficients exacts dans les décompositions de la caractéristique d'Euler, les auteurs utilisent deux sources de données :

1. Caractéristiques d'Euler entières : Calculées via des algorithmes existants (Bergström-van der Geer) et des relations de récurrence (formule de Getzler-Kapranov) pour les parties de bord.
2. Traces de Frobenius : Des comptages informatiques exhaustifs de courbes de genre 3 sur des corps finis $\mathbb{F}_q$ (avec $q \le 25$) permettent de calculer les traces de l'opérateur de Frobenius sur la cohomologie.

En combinant les contraintes de poids (qui limitent le nombre de termes inconnus) avec les équations linéaires fournies par les traces de Frobenius et les caractéristiques d'Euler entières, le système devient déterminé.

3. Résultats Principaux

Sous l'hypothèse de la Conjecture 3.2, les auteurs obtiennent les résultats suivants :

• Détermination complète pour $\mathcal{M}_{3,n}$ et $\overline{\mathcal{M}}_{3,n}$ ($n \le 14$) :
  Ils déterminent les classes d'Euler équivariantes sous l'action du groupe symétrique $S_n$ dans le groupe de Grothendieck des représentations galoisiennes. Cela donne une description complète de la cohomologie (à semi-simplification près) en termes des 11 représentations automorphes de base.

  • Note importante : Pour $n \le 7$, ces résultats sont inconditionnels (déjà connus ou déduits sans conjecture forte). Pour $8 \le n \le 14$, ils dépendent de la conjecture, mais les auteurs montrent que les caractéristiques d'Euler ne sont plus des polynômes en$\mathbb{L}$pour$n \ge 8$ (contrairement aux cas de genre inférieur), ce qui est un résultat inconditionnel sur la structure de la cohomologie.

• Détermination pour les systèmes locaux sur $\mathcal{A}_3$ ($|\lambda| \le 16$) :
  Ils calculent les caractéristiques d'Euler $\text{ec}(\mathcal{A}_3 \otimes \mathbb{Q}, \mathbb{V}_\lambda)$ pour tous les poids $|\lambda| \le 16$.

  • Ces résultats confirment et prouvent la Conjecture 7.1 de Bergström, Faber et van der Geer ([BFvdG14]) pour ces poids.
  • Le cas particulier $\lambda = (8,4,4)$, qui correspond à une forme automorphe de poids 23 (hors de la classification initiale de poids $\le 22$ mais traitée via une conjecture de relèvement), est résolu en utilisant des résultats supplémentaires de Chenevier et Taïbi.

• Relations entre $\mathcal{M}_3$ et $\mathcal{A}_3$ :
  En utilisant l'application de Torelli $t_3: \mathcal{M}_3 \to \mathcal{A}_3$, les auteurs établissent des liens précis entre la cohomologie des courbes et celle des variétés abéliennes, identifiant ce qu'ils appellent des « motifs de Teichmüller » (représentations galoisiennes présentes dans $\mathcal{M}_3$ mais absentes de $\mathcal{A}_3$ pour des poids inférieurs).

4. Contributions Techniques Clés

1. Réduction au problème linéaire : La transformation d'un problème géométrique de cohomologie en un système d'équations linéaires sur les coefficients d'une base de représentations galoisiennes finie.
2. Utilisation de la classification de Chenevier-Lannes : L'application directe d'un résultat de théorie des nombres de haut niveau (classification des formes automorphes) pour résoudre des problèmes de géométrie algébrique sur les espaces de modules.
3. Intégration de données computationnelles : L'utilisation de comptages sur des petits corps finis ($q \le 25$) comme outil de résolution d'équations pour des espaces de dimension élevée, une méthode devenue standard mais ici poussée à une nouvelle limite de complexité.
4. Preuve de conjectures antérieures : La confirmation de la conjecture de [BFvdG14] concernant les caractéristiques d'Euler sur $\mathcal{A}_3$.

5. Signification et Impact

Ce travail représente une avancée significative dans la compréhension de la cohomologie des espaces de modules de courbes et de variétés abéliennes.

• Lien entre Théorie des Nombres et Géométrie : Il illustre de manière concrète la puissance du programme de Langlands pour la géométrie algébrique. La classification des formes automorphes (un objet analytique/arithmétique) devient l'outil principal pour décrire la structure cohomologique (un objet géométrique) de variétés de dimension 3.
• Nouveaux invariants : Les résultats fournissent des formules explicites pour des invariants cohomologiques qui étaient auparavant inaccessibles pour $n$ élevé.
• Limites et perspectives : L'article met en lumière la complexité croissante de la cohomologie des espaces de modules (non-polynomialité pour $n \ge 8$) et suggère que la classification des formes automorphes est la clé pour comprendre ces structures. Les résultats sont disponibles publiquement via un dépôt GitHub, facilitant leur utilisation par la communauté.

En résumé, l'article démontre que, sous l'hypothèse de la correspondance de Langlands, la cohomologie des espaces de modules de genre 3 est entièrement contrôlée par un ensemble fini et explicite de représentations galoisiennes, permettant un calcul effectif et complet pour une large gamme de paramètres.