The integral Chow ring of $\mathcal{M}_{0}(\mathbb{P}^r, 2)

1. Problématique et Contexte

L'article s'inscrit dans le programme de recherche visant à calculer les anneaux de Chow à coefficients entiers des espaces de modules $\mathcal{M}_0(\mathbb{P}^r, d)$, qui paramètrent les applications stables de degré $d$ depuis une courbe rationnelle lisse vers l'espace projectif $\mathbb{P}^r$.

Le défi principal réside dans le fait que pour un degré $d$ pair, l'action naturelle de $PGL_2$ sur l'espace des polynômes ne se relève pas en une action de $GL_2$ sur le cône affine, ce qui empêche l'utilisation directe des méthodes de cohomologie équivariante standard utilisées pour les degrés impairs (comme dans l'article précédent des auteurs, [CF23]).

L'objectif spécifique de ce papier est de fournir une présentation explicite de l'anneau de Chow entier de l'espace de modules $\mathcal{M}_0(\mathbb{P}^r, 2)$ (applications de degré 2) pour tout $r \geq 1$.

2. Méthodologie

Les auteurs adoptent une stratégie en plusieurs étapes, combinant la théorie des empilements (stacks), la théorie de l'intersection équivariante et la localisation d'Atiyah-Bott.

A. Représentation comme quotient global par $GL_3$

Pour contourner l'obstacle lié au degré pair, les auteurs utilisent une construction de [DL21] qui permet de présenter $\mathcal{M}_0(\mathbb{P}^r, 2)$ comme un quotient global par le groupe spécial $GL_3$, plutôt que par $PGL_2$.

• Idée géométrique : Au lieu de voir la courbe source comme une droite projective paramétrée, on la voit comme une conique lisse dans $\mathbb{P}^2$.
• Construction : Soit $S$ le lieu des coniques lisses dans l'espace des formes quadratiques $W_{2,2}$. L'espace de modules est isomorphe au quotient $[Y/GL_3]$, où $Y$ est un ouvert d'un fibré projectif sur $S$. Cela permet de calculer l'anneau de Chow via la cohomologie équivariante $A^*_{GL_3}(Y)$.

B. Utilisation d'un enveloppe équivariante (Equivariant Envelope)

Pour calculer l'anneau de Chow de l'ouvert $Y$, les auteurs construisent un « enveloppe » pour son complémentaire dans un espace ambiant plus simple (un fibré projectif sur $S$).

• L'espace ambiant est un fibré projectif $\mathbb{P}(\check{F}^r)$ sur $\mathbb{P}(S)$.
• Le complémentaire $Z$ est décomposé en deux composantes irréductibles, $Z_1$ et $Z_2$, qui correspondent à des configurations dégénérées spécifiques :
  • $Z_1$ : Correspond à une conique, un point $p$ sur celle-ci, et $r+1$ formes linéaires s'annulant en $p$. Géométriquement, c'est un fibré projectif sur un fibré projectif sur $\mathbb{P}^2$.
  • $Z_2$ : Correspond à une conique, deux points sur celle-ci, et $r+1$ formes linéaires s'annulant aux deux points. Géométriquement, c'est un produit d'espaces projectifs.

C. Calcul par localisation et poussée (Pushforward)

En utilisant la suite exacte d'excision et la formule de projection, l'anneau de Chow de $\mathcal{M}_0(\mathbb{P}^r, 2)$ est obtenu comme le quotient de l'anneau de l'espace ambiant par l'idéal généré par les images directes (pushforwards) des classes de Chow de $Z_1$ et $Z_2$.

• Les calculs sont effectués en cohomologie équivariante par rapport au tore maximal $\Delta \subset GL_3$.
• La méthode de localisation d'Atiyah-Bott est appliquée pour exprimer les classes de Chow en termes de points fixes du tore, permettant de calculer explicitement les relations.

3. Résultats Principaux

Le résultat central est une présentation explicite de l'anneau de Chow entier $A^*(\mathcal{M}_0(\mathbb{P}^r, 2))$ sous forme de quotient d'un anneau de polynômes à trois variables.

Présentation de l'anneau

L'anneau est isomorphe à :
$$A^*(\mathcal{M}_0(\mathbb{P}^r, 2)) \cong \frac{\mathbb{Z}[T, c_2, c_3]}{I_r}$$
où :

• $T$ est une variable de degré 1.
• $c_i$ sont des variables de degré $i$ (correspondant aux classes de Chern du fibré universel).
• L'idéal $I_r$ est engendré par un ensemble fini de relations.

Structure des relations

Les relations sont décrites de deux manières équivalentes :

1. Forme fermée (Closed Form) :
   Les relations sont données par des polynômes $\alpha^r_{i,k}$ obtenus par localisation. Pour $i \in \{1, 2\}$ et $k \in \{0, 1, 2\}$, ces relations sont des sommes rationnelles symétriques en les racines de Chern $l_0, l_1, l_2$ (où $c_i$ sont les fonctions symétriques élémentaires de $-l_i$).

2. Forme par fonctions génératrices (Generating Function Form) :
   C'est la contribution la plus originale. Les auteurs montrent que toutes les relations non triviales sont encodées par les coefficients homogènes de deux fonctions rationnelles $R_1$ et $R_2$ en trois variables :
   $$R_1 = \frac{2}{(1-T)^2 + c_2}$$
   $$R_2 = \frac{1}{(1-T^2)((1-T^2-c_2)^2 + c_2)} - c_2^2 + (T-c_3)c_3$$
   L'idéal de relations est engendré par :

   • $2c_3$ (relation triviale).
   • $(T^3 + c_2T + c_3)^{r+1}$ (relation ambiante).
   • Les termes homogènes de degré $n$ de l'expansion de $R_1$ et $R_2$, notés $\rho_{1,n}$ et $\rho_{2,n}$.

   Plus précisément, pour un $r$ donné, l'idéal est engendré par $\{2c_3, (T^3 + c_2T + c_3)^{r+1}, \rho_{1,r}, \rho_{1,r+1}, \rho_{2,2r-2}, \rho_{2,2r}, \rho_{2,2r+2}\}$.

4. Contributions Clés

• Résolution du cas pair : La première présentation explicite de l'anneau de Chow entier pour un espace de modules de degré pair ($d=2$) en utilisant la méthode des quotients globaux par $GL_3$.
• Structure combinatoire riche : La découverte que les relations complexes, qui dépendent de $r$, peuvent être encapsulées dans deux fonctions génératrices rationnelles simples. Cela révèle une structure combinatoire profonde et unifiée pour toute la famille d'espaces $\mathcal{M}_0(\mathbb{P}^r, 2)$.
• Méthodologie unifiée : Démonstration de l'équivalence entre une description par localisation explicite (formule fermée) et une description par fonctions génératrices, offrant deux outils puissants pour les calculs futurs.
• Exemples concrets : Fourniture de présentations explicites pour les cas de basse dimension ($r=1, 2, 3$), illustrant la complexité croissante mais contrôlée des relations.

5. Signification et Perspectives

Ce travail constitue une étape fondamentale dans la compréhension des anneaux de Chow des espaces de Kontsevich.

• Importance théorique : Il valide l'approche utilisant les contreparties $GL_3$ pour les degrés pairs, ouvrant la voie au traitement de degrés supérieurs ($d \geq 4$).
• Limites et futurs travaux : Les auteurs notent que pour $d \geq 4$, la géométrie de l'enveloppe devient plus complexe (liée aux schémas de Hilbert). Ils suggèrent que l'application de la théorie de l'intersection virtuelle pourrait permettre d'étendre cette méthode de localisation à d'autres degrés pairs.
• Impact : La structure des relations générées par des fonctions rationnelles suggère des liens profonds avec la théorie des représentations et la combinatoire algébrique, potentiellement applicables à d'autres problèmes de géométrie énumérative.

En résumé, cet article fournit une solution élégante et complète pour le cas $d=2$, transformant un problème géométrique complexe en une structure algébrique manipulable via des fonctions génératrices, tout en posant les bases méthodologiques pour les cas plus généraux.