Geometric Batyrev-Manin-Peyre for equivariant compactifications of additive groups

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la géométrie arithmétique et de la théorie des nombres, plus précisément dans l'étude de la distribution des points rationnels sur les variétés algébriques.

• Conjecture de Batyrev-Manin-Peyre : À l'origine formulée dans le contexte arithmétique (sur un corps de nombres), cette conjecture prédit le comportement asymptotique du nombre de points rationnels de hauteur bornée sur une variété Fano (ou plus généralement, une variété de type Fano) lorsque la borne tend vers l'infini. Elle relie ce comptage à des invariants géométriques tels que le volume de la variété, le rang du groupe de Picard et les constantes de Tamagawa.
• Contexte Fonctionnel (Motivique) : L'auteur transpose ce problème au contexte des corps de fonctions (sur une courbe projective lisse $C$ définie sur un corps algébriquement clos $k$ de caractéristique zéro). Ici, la notion de « hauteur » est remplacée par le degré des courbes, et le comptage des points par l'étude des espaces de modules de sections d'un fibré.
• Objectif spécifique : L'article vise à prouver une version « motivique » de la conjecture de Batyrev-Manin-Peyre pour une classe spécifique de variétés : les compactifications équivariantes du groupe additif $\mathbb{G}_a^n$. Plus précisément, l'étude porte sur le comportement asymptotique de la classe d'espaces de modules de sections dans l'anneau de Grothendieck des variétés, lorsque le multidegré des sections tend vers l'infini.

2. Méthodologie

La méthodologie repose sur l'analyse fine des fonctions zêta de hauteur motiviques multivariées, en s'appuyant sur les travaux antérieurs de Bilu, Chambert-Loir et Loeser.

• Cadre Algébrique :
  • Travail dans l'anneau de Grothendieck des variétés $KVar_k$ et ses localisations/complétions ($M_k$), munies de la topologie de la poids (introduite par Bilu).
  • Utilisation de la transformée de Fourier motivique et de la formule de Poisson motivique (généralisation des travaux de Hrushovski-Kazhdan) pour décomposer la fonction zêta.
• Décomposition de la Fonction Zêta :
  • La fonction zêta $Z(T)$, dont les coefficients sont les classes des espaces de modules de sections de multidegré $n$, est exprimée comme une somme sur le groupe des caractères du groupe additif générique.
  • Cette somme se décompose en une contribution du caractère trivial (terme principal) et une somme sur les caractères non triviaux (termes d'erreur).
  • La fonction zêta est réécrite comme un produit eulérien motivique sur les places de la courbe $C$, utilisant la notation introduite par Bilu.
• Analyse des Pôles et Convergence :
  • L'auteur étudie la convergence des produits eulériens locaux. Il démontre que le produit converge linéairement par rapport au poids (weight-linear convergence) dans le complété de l'anneau de Grothendieck.
  • Une distinction cruciale est faite entre les points de bonne réduction ($C_0$) et les points de mauvaise réduction ou les points à l'infini ($S = C \setminus C_0$).
  • Pour traiter les points de mauvaise réduction et les conditions d'intégralité (sections à image dans un ouvert $U \subset X$), l'auteur introduit des invariants numériques fins liés aux intersections locales avec les composantes de la frontière. Cela nécessite l'utilisation des complexes de Clemens (analytiques) pour classifier les composantes irréductibles de l'espace de modules.
• Technique de Séparation des Composantes :
  • Contrairement aux travaux précédents qui ne distinguaient que le degré global, cet article affine l'analyse en introduisant des variables supplémentaires pour distinguer les composantes de l'espace de modules selon les degrés d'intersection locaux avec les diviseurs de la frontière.
  • Cela permet de montrer que la limite existe même lorsque le multidegré s'éloigne arbitrairement des bords du cône dual du cône effectif.

3. Contributions Clés

1. Affinement de la Conjecture Géométrique : L'article fournit une réponse positive à une version motivique de la conjecture de Batyrev-Manin-Peyre pour les compactifications de $\mathbb{G}_a^n$, en allant au-delà des résultats antérieurs qui ne traitaient que du degré par rapport au fibré log-anticanonique global.
2. Gestion des Composantes de l'Espace de Modules : L'auteur résout le problème de la décomposition de l'espace de modules en composantes irréductibles. Il montre que lorsque le multidegré tend vers l'infini, les sections se concentrent sur des composantes spécifiques associées aux faces maximales du complexe de Clemens de la frontière.
3. Produit Eulérien Motivique : Le résultat limite est explicitement identifié comme un produit eulérien motivique, interprétable comme un volume motivique sur l'espace adélique des sections.
4. Convergence Uniforme : La preuve établit une convergence uniforme par rapport aux caractères non triviaux sur une partition finie de l'espace des caractères, justifiant rigoureusement l'échange entre la somme sur les points rationnels et la limite asymptotique.

4. Résultats Principaux

Le résultat principal (Théorème 4.15) stipule que pour une famille $\pi: X \to C$ dont la fibre générique est une compactification équivariante lisse de $\mathbb{G}_a^n$, et pour un multidegré $n$ tendant vers l'infini dans le cône effectif dual (en évitant les bords de manière contrôlée) :

• La classe normalisée de l'espace de modules de sections $[M_n]$ (normalisée par la classe de l'espace affine de dimension le degré log-anticanonique) converge dans le complété de l'anneau de Grothendieck pour la topologie de la poids.
• La limite est un élément effectif non nul de cet anneau.
• Cette limite s'exprime sous la forme d'un produit eulérien motivique :
  $$\mathcal{L} = L^{(1-g)n} \left( \frac{[\text{Pic}^0(C)]L^{1-g}}{L-1} \right)^{\text{rg}(\text{Pic}(U))} \times \prod_{v \in C_1} \dots \times \prod_{v \in C_0 \setminus C_1} \dots \times \prod_{s \in S} \dots$$
  Ce produit fait intervenir :
  • Le genre de la courbe $g$.
  • Le rang du groupe de Picard de l'ouvert $U$.
  • Des volumes motiviques locaux (intégrales sur les espaces d'arcs) associés aux fibres au-dessus des points de bonne et mauvaise réduction.
  • Des termes dépendant des faces maximales du complexe de Clemens pour les points de la frontière $S$.

En particulier, le terme dominant provient uniquement du caractère trivial ; les contributions des caractères non triviaux sont négligeables (leur poids tend vers $-\infty$).

5. Signification et Impact

• Validation de la Conjecture dans un Cas Non-Torique : Bien que les conjectures de Batyrev-Manin-Peyre aient été vérifiées pour les variétés toriques et certaines compactifications d'espaces vectoriels, ce travail étend ces résultats à des géométries plus complexes (compactifications équivariantes de groupes additifs) où la structure du groupe n'est pas commutative de la même manière que les tores, mais possède une action transitive sur un ouvert dense.
• Outils pour l'Analyse Asymptotique : L'article développe des outils techniques puissants (convergence linéaire par rapport au poids, manipulation de produits eulériens motiviques multivariés, utilisation des complexes de Clemens) qui peuvent être appliqués à d'autres problèmes de comptage motivique.
• Interprétation Géométrique : Le résultat donne une interprétation géométrique précise de la constante de Tamagawa motivique, la reliant aux volumes des espaces d'arcs et à la structure de la frontière de la compactification. Il confirme que la distribution des sections est gouvernée par la géométrie de la variété et de sa frontière, même dans le contexte fonctionnel.

En résumé, cet article constitue une avancée majeure dans la compréhension de la géométrie des espaces de modules de courbes sur les variétés de type Fano, en fournissant une preuve rigoureuse et explicite de la conjecture de Batyrev-Manin-Peyre dans le cadre motivique pour les compactifications de groupes additifs.