Résumé Technique : Équidistribution des points rationnels et le crible géométrique pour les variétés toriques

1. Énoncé du problème et contexte

L'article traite du principe de Manin–Peyre, une conjecture concernant la distribution asymptotique des points rationnels de hauteur bornée sur les variétés algébriques. Plus précisément, il examine si les points rationnels sur une variété torique scindée propre et lisse $X$ sur $\mathbb{Q}$ (avec un fibré en droites anticanonique généré globalement) sont équidistribués dans l'espace adélique $X(\mathbb{A}_{\mathbb{Q}})$ par rapport à la mesure de Tamagawa, à condition d'exclure un sous-ensemble « mince » de points.

Bien que la conjecture de Manin (le comptage du nombre total de points) ait été établie pour les variétés toriques via l'analyse harmonique (Batyrev–Tschinkel) et la méthode des torsors universels (Salberger), le principe d'équidistribution (Principe 1.1) et son extension aux sous-variétés ouvertes (Principe 1.3, ou « pureté de l'équidistribution ») sont restés largement non prouvés pour les variétés générales, avec de rares exceptions connues.

L'article vise à :

1. Prouver l'équidistribution des points rationnels pour les variétés toriques scindées propres et lisses.
2. Établir une version effective de cette équidistribution, fournissant des formules asymptotiques avec des termes d'erreur explicites dépendant du voisinage adélique.
3. Prouver un crible géométrique effectif pour ces variétés, montrant que les points rationnels se spécialisant dans des sous-variétés de codimension $\ge 2$ modulo de grands nombres premiers sont négligeables.
4. Appliquer ces résultats pour compter les points rationnels satisfaisant des conditions locales issues de fibrations et pour estimer les points $S$-entiers.

2. Méthodologie

La méthodologie centrale repose sur un raffinement de la méthode du torsor universel (Salberger), combinée à des techniques de théorie analytique des nombres et à une nouvelle « méthode de van der Corput torique ».

2.1. Paramétrage du torsor universel

Les auteurs utilisent le fait que les points rationnels sur une variété torique scindée $X$ peuvent être élevés vers des points entiers sur un torsor universel $X_0$, qui est une variété torique quasi-affine.

• Élévation : Le problème de comptage sur $X(\mathbb{Q})$ est transformé en un comptage de points entiers sur $X_0(\mathbb{Z})$ satisfaisant des conditions de coprimarité spécifiques et des bornes de hauteur.
• Paramétrage : La géométrie du fan définissant $X$ permet un paramétrage explicite des points sur $X_0$ via des coordonnées dans $\mathbb{Z}^n$. La fonction de hauteur sur $X$ se lève en un produit de monômes sur $X_0$.

2.2. Conditions d'équidistribution effective

L'article formule et vérifie une condition d'Équidistribution Effective (Condition EE) et son équivalent sur les torsors universels (Condition EEUT).

• Ces conditions affirment que le nombre de points entiers dans un voisinage adélique (défini par des conditions réelles et de congruence) approxime la mesure de Tamagawa de ce voisinage avec un terme d'erreur qui est uniforme par rapport à la taille du module de congruence.
• La Proposition 4.6 démontre que si le torsor satisfait (EEUT), la variété de base satisfait (EE).

2.3. La méthode de van der Corput torique

Une innovation technique clé est la méthode de van der Corput torique (Théorème 7.1).

• Objectif : Montrer que la contribution des points entiers situés dans des boîtes « déséquilibrées » (où les coordonnées sont petites par rapport à la borne de hauteur) est négligeable.
• Technique : Au lieu des estimations standard de sommes exponentielles, les auteurs comparent le comptage de points de réseaux à des intégrales sur le tore de Néron–Severi $T_{NS}$. En exploitant la géométrie torique spécifique et la structure du fan définissant la variété, ils contrôlent les termes d'erreur lorsque l'on se restreint à des régions où certaines coordonnées sont petites (par exemple, $< (\log B)^A$). Cela permet de traiter précisément les effets de bord dans le problème de comptage.

2.4. Techniques de criblage

• Crible de Selberg : Utilisé pour gérer « un nombre infini » de conditions locales (par exemple, des points évitant un diviseur modulo $p$ pour tout $p$). Les auteurs développent une version effective (Théorème 3.11) qui capture les conditions locales tronquées modulo les puissances de nombres premiers.
• Crible géométrique : Une version effective du crible d'Ekedahl est prouvée (Théorème 1.5), montrant que les points se réduisant à une sous-variété de codimension $\ge 2$ modulo un grand nombre premier $p$ sont rares. Cela repose sur une version quantitative de l'estimation de Lang–Weil pour les fibres de projections.

3. Résultats clés

3.1. Théorèmes principaux sur l'équidistribution

• Théorème 1.4 (Équidistribution effective) : Pour une variété torique scindée propre et lisse $X$ sur $\mathbb{Q}$ avec $K_X^{-1}$ généré globalement, le nombre de points rationnels dans un ensemble adélique standard $F$ de hauteur $\le B$ est :
  $$\# \{P \in F \cap T_O(\mathbb{Q}) : H_{tor}(P) \le B\} = \alpha(X)\omega_{tor}(F) B(\log B)^{r-1} + O_{F_\infty, \epsilon} \left( L(F_f)^{r+2\dim X + \epsilon} B(\log B)^{\frac{r-3}{2} + \epsilon} \right)$$
  Ici, $L(F_f)$ est l'exposant de recouvrement de la partie finie de l'ensemble adélique. Ceci confirme le Principe 1.1 avec un terme d'erreur explicite dépendant polynomialement de la taille du voisinage adélique.

• Théorème 1.5 (Crible géométrique) : Pour un sous-ensemble de Zariski fermé $Z \subset X$ de codimension $\ge 2$, le nombre de points se réduisant à $Z$ modulo un nombre premier $p \ge N$ est borné par :
  $$\ll_Z \frac{B(\log B)^{r-1}}{N \log N} + B(\log B)^{r-2} \log \log B$$
  Cela établit la « pureté » de la distribution : les points ne se concentrent pas sur des sous-variétés de codimension $\ge 2$.

3.2. Applications aux fibrations et conditions locales

• Théorème 1.6 (Fibrations) : L'article fournit des estimations quantitatives pour les points rationnels dans l'image d'une fibration $f: Y \to X$.
  • Si $f$ est génériquement finie de degré $>1$, le comptage est $O(B(\log B)^{r-1-\iota})$.
  • Si $f$ possède des fibres génériques intégralement géométriques, le comptage dépend du comportement de scindement des fibres sur les points de codimension 1. Si toutes les fibres sont pseudo-scindées, les points sont équidistribués avec une densité positive ; si des fibres non pseudo-scindées existent, la densité est nulle (avec un taux de décroissance logarithmique spécifique).
• Théorème 1.8 (Points entiers et nombres premiers) : L'article estime le nombre de points où une section $s$ prend des valeurs dans les entiers $S$ ou des valeurs premières. Il montre que la densité de points où une coordonnée prend une valeur première est négligeable ($O(B(\log B)^{r-1} / (\log \log B)^\theta)$).

3.3. Pureté de l'équidistribution

• Principe 1.3 : Les auteurs prouvent que le principe d'équidistribution est vérifié pour tout sous-ensemble ouvert dense de Zariski $W \subset X$ dont le complément possède une codimension $\ge 2$. C'est une version quantitative de la Pureté Arithmétique de la Approximation Forte (APSA).

4. Signification et revendications

L'article revendique la signification suivante :

1. Première preuve pour les variétés toriques : Il fournit la première preuve du principe d'équidistribution de Manin–Peyre pour les variétés toriques scindées propres et lisses, une classe de variétés où la conjecture de Manin était connue mais la propriété d'équidistribution plus fine ne l'était pas.
2. Effectivité : Contrairement aux preuves non effectives précédentes, ce travail fournit des formules asymptotiques avec des termes d'erreur effectifs. Crucialement, le terme d'erreur dépend explicitement de la « taille » (exposant de recouvrement) du voisinage adélique, permettant des résultats uniformes.
3. Crible géométrique : Il établit le premier crible géométrique effectif pour les variétés de dimension supérieure de degré $>1$ (au-delà des hypersurfaces quadratiques), montrant que les points rationnels ne s'agglutinent pas sur des sous-variétés de codimension $\ge 2$.
4. APSA Quantitative : Il offre une version quantitative de la Pureté Arithmétique de l'Approximation Forte (APSA) pour les variétés toriques scindées, reliant la distribution des points à la géométrie de la variété et au scindement des fibres dans les fibrations.
5. Innovation Méthodologique : La « méthode de van der Corput torique » est présentée comme un nouvel outil pour gérer le comptage de points de réseaux dans des domaines en forme de pointes, complétant les approches existantes comme l'analyse harmonique et le criblage standard.

Les auteurs notent que bien que leur méthode repose sur la condition de scindement (contrairement à certains travaux récents de Santens qui traitent les cas non scindés), leur approche produit des termes d'erreur effectifs avec des dépendances explicites vis-à-vis des voisinages adéliques, ce qui semble difficile à extraire des autres méthodes. Ils reconnaissent également que leurs résultats pour les cas non scindés ou pour des fibrés en droites plus généraux ne sont pas couverts, et que l'établissement de bornes inférieures non triviales pour les points ayant des valeurs premières reste un problème ouvert lié à l'hypothèse de Schinzel.