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

Résumé Technique : Une Introduction à la Théorie de l'Intersection du Moduli de Courbes

Énoncé du Problème
Le problème central abordé dans cette étude est la compréhension de la théorie de l'intersection du moduli de courbes, $M_g$, plus précisément concernant la structure de son anneau de Chow, $A^*(M_g)$. L'auteur étudie la relation entre l'anneau de Chow complet et l'anneau tautologique, $R^*(M_g)$, un sous-anneau engendré par des classes issues naturellement de la géométrie de la famille universelle. L'étude se concentre sur deux questions fondamentales :

1. Génération : L'anneau de Chow $A^*(M_g)$ est-il engendré par les classes tautologiques ?
2. Relations : Quel est l'ensemble complet des relations parmi les classes tautologiques ?

L'article souligne que si l'anneau de Chow est bien compris pour les genres faibles, la situation devient de plus en plus complexe à mesure que le genre $g$ augmente, l'existence de classes non-tautologiques dans les genres plus élevés restant un domaine de recherche important et ouvert.

Méthodologie et Cadre
L'article emploie la machinerie standard de la géométrie algébrique, spécifiquement la théorie de l'intersection et les anneaux de Chow, adaptés au contexte des espaces de moduli (souvent traités comme des faisceaux de Deligne–Mumford).

• Outils Fondamentaux : L'étude passe en revue la définition du groupe de Chow $A_*(X)$ comme les cycles modulo l'équivalence rationnelle. Elle utilise les applications de poussée directe propre ($f_*$) et de retrait plat ($f^*$), ainsi que la séquence d'excision pour les sous-schémas ouverts/fermés. La formule de poussée-retrait (push-pull) et les formules d'auto-intersection (via l'intersection excédentaire) sont centrales pour calculer les intersections.
• Classes Tautologiques : Suivant la philosophie de Mumford, les classes tautologiques sont définies comme celles issues de la famille universelle. Pour $M_g$, celles-ci incluent :
  • Classes $\kappa$ : Définies via la poussée directe de puissances de la première classe de Chern du faisceau dualisant relatif $\omega_f$ le long de la courbe universelle $f: C_g \to M_g$.
  • Classes $\lambda$ : Définies comme les classes de Chern du faisceau de Hodge $E = f_*\omega_f$.
  • Classes $\psi$ : Définies sur les espaces de moduli pointés $M_{g,n}$ via les sections de la courbe universelle.
• Stratification et Collage : La méthodologie repose largement sur la stratification des espaces de moduli (par exemple, par gonalité ou via des graphes stables pour les compactifications) et sur l'utilisation de séquences d'excision pour relier les anneaux de Chow des strates à l'espace entier. Pour les compactifications $\overline{M}_{g,n}$, l'anneau tautologique est défini comme le plus petit système de sous-anneaux clos sous les poussées directes le long des applications de collage (associées aux graphes stables) et des applications d'oubli.
• Techniques de Calcul : L'article discute de l'utilisation des formules de Porteous pour les loci de dégénérescence, de la formule de Grothendieck–Riemann–Roch pour relier les classes de Chern des poussées directes, et des décompositions de Künneth en cohomologie pour détecter les classes non-tautologiques.

Contributions Clés et Résultats

1. Étude de l'Anneau Tautologique :

   • L'article passe en revue les conjectures de Faber concernant la structure de $R^*(M_g)$, incluant la génération par les classes $\kappa$ jusqu'au degré $\lfloor g/3 \rfloor$, l'annulation dans les degrés $> g-2$, et l'existence d'un appariement parfait dans le degré top.
   • Il note que bien que les relations de Faber–Zagier (conjecturées par Faber et Zagier et prouvées par Pixton et Pandharipane) fournissent un grand ensemble de relations, il reste une question ouverte de savoir si elles constituent toutes les relations. Des preuves computationnelles récentes (Canning) suggèrent que l'appariement en degré $g-2$ n'est pas parfait pour $g=24$, impliquant soit que la conjecture de Faber (partie 3) est fausse, soit que les relations de Faber–Zagier sont incomplètes.

2. Résultats de Génération (Quand $A^*(M_g) = R^*(M_g)$) :

   • L'article confirme que pour $2 \le g \le 9$, l'anneau de Chow est engendré par les classes tautologiques ($A^*(M_g) = R^*(M_g)$). Ce résultat synthétise les travaux de Mumford, Faber, Izadi, Penev–Vakil, et Canning–Larson.
   • Étude de Cas : Genre 3 : L'auteur fournit un schéma de preuve détaillé pour $g=3$. La stratégie consiste à stratifier $M_3$ en le locus hyperelliptique $H$ et le locus des quartiques planes lisses $P$.
     • $H$ est montré comme ayant un anneau de Chow trivial (rationnellement) via sa relation avec $M_{0,8}/S_8$.
     • $P$ est analysé comme un quotient stack $U/GL_3$, montrant que son anneau de Chow est engendré par les classes de Chern du faisceau de Hodge (qui sont tautologiques).
     • En utilisant la séquence d'excision, la preuve réduit le problème à montrer que la classe fondamentale $[H]$ est tautologique. Ceci est réalisé en considérant $H$ comme un locus de dégénérescence d'une application entre des fibrés vectoriels sur $C_2$ et en appliquant la formule de Porteous.

3. Classes Non-Tautologiques (Quand $A^*(M_g) \neq R^*(M_g)$) :

   • L'article établit que pour $g=12$ et $g \ge 16$, l'anneau de Chow n'est pas engendré par les classes tautologiques.
   • Étude de Cas : Genre 12 : L'auteur détaille la construction d'une classe non-tautologique par Van Zelm. La classe en question est la classe fondamentale du locus bi elliptique $B_{12}$ (courbes admettant une application de degré 2 vers une courbe elliptique).
     • La preuve utilise l'application de collage $i: M_{1,11} \times M_{1,11} \to M_{12}$.
     • Le retrait de la classe $[B_{12}]$ via $i$ permet d'obtenir une classe impliquant la diagonale $\Delta$ dans $M_{1,11} \times M_{1,11}$.
     • L'argument repose sur la théorie de Hodge et les composantes de Künneth. Spécifiquement, $H^{11,0}(M_{1,11}) \neq 0$. La classe diagonale possède une composante non nulle dans $H^{11,0} \otimes H^{0,11}$.
     • Les classes supportées sur le bord de $M_{12}$ (et leurs retraits) sont montrées comme manquant de ce type de Hodge spécifique. Puisque les classes tautologiques retirées via les applications de collage doivent respecter certaines contraintes de Hodge (spécifiquement, elles ne peuvent pas générer le type de Hodge de degré impair spécifique trouvé dans la diagonale), $[B_{12}]$ ne peut être tautologique.

Signification et Revendications
L'article se positionne comme une introduction à l'état de l'art de la théorie de l'intersection de $M_g$. Sa signification réside dans :

• Cadre Unificateur : Il connecte les exemples classiques (Grassmanniennes, stacks de classification $BGL_k$) à la théorie moderne des espaces de moduli de courbes, illustrant comment les classes "tautologiques" apparaissent naturellement de propriétés universelles.
• Clarification des Limites de la Connaissance : Il délimite clairement les cas connus où l'anneau de Chow est tautologique ($g \le 9$) versus là où il ne l'est pas ($g=12, g \ge 16$), mettant en évidence les genres spécifiques ($10, 11, 13, 14, 15$) où la question reste ouverte.
• Démonstration Méthodologique : En esquissant des preuves pour $g=3$ (génération) et $g=12$ (non-génération), l'article démontre les outils techniques spécifiques requis pour ces problèmes : la stratification et l'excision pour la génération, et l'analyse de Künneth de Hodge pour la non-génération.

L'auteur affirme modestement que si l'anneau de Chow intégral n'est connu que pour $g=2$, l'anneau de Chow rationnel est compris pour $g \le 9$, et que l'existence de classes non-tautologiques est établie pour des genres supérieurs spécifiques. L'article ne prétend pas résoudre les cas ouverts mais plutôt fournir "l'esprit des outils de pointe" utilisés pour les aborder.