Equidistribution for semiabelian varieties over number fields

Résumé technique : Équidistribution pour les variétés semi-abéliennes sur les corps de nombres

Énoncé du problème
Cet article traite de l'écart entre l'équidistribution des petits points sur les variétés semi-abéliennes et la conjecture classique de Bogomolov, spécifiquement dans des contextes où les métriques définissantes ne sont pas « quasi-canoniques » au sens requis par le théorème d'équidistribution de Yuan–Zhang. Alors que Yuan et Zhang ont établi l'équidistribution pour les fibrés en droites adéliques quasi-canoniques sur les variétés quasi-projectives, et que Kühne a prouvé l'équidistribution pour les métriques semi-abéliennes canoniques, une classe importante de métriques — spécifiquement celles sur les compactifications semi-abéliennes régies par des métriques toroïques qui sont semipositives, monocritiques et arithmétiquement T-effectives — restait en dehors du champ d'application direct de ces théorèmes.

La question centrale est de savoir si l'équidistribution générique et la propriété de Bogomolov (le fait qu'une sous-variété non spéciale ne peut contenir un ensemble de points de hauteur arbitrairement petite dans un sens zariskien) tiennent pour ces métriques toroïques plus générales. La difficulté réside dans le fait que pour de telles métriques, la hauteur globale de la variété peut être strictement inférieure à son minimum essentiel ($h_L(G) < \mu^{\text{ess}}_L(G)$), empêchant l'application directe du cadre de Yuan–Zhang.

Méthodologie
L'auteur, Wei Xue, développe une stratégie de preuve qui isole les estimations asymptotiques de l'argument de Kühne et les réinterprète à travers des « chemins de compression explicites ». La méthodologie procède en quatre étapes distinctes :

1. Trivialisation locale et construction adélique : L'article étend la trivialisation locale archimédienne de Kühne à toutes les places d'un corps de nombres $K$. En utilisant l'uniformisation de Raynaud–Bosch–Lütkebohmert pour les variétés abéliennes et les fonctions thêta $p$-adiques, l'auteur construit un fibré en droites adélique $\mathcal{G}(D)$ sur la compactification semi-abélienne $\overline{G}$ associé à une diviseur métrique toroïques $D$. Cette construction assure la compatibilité avec les trivialisations locales à chaque place, permettant une comparaison précise entre la hauteur sur la variété semi-abélienne et le minimum absolu sur la partie toroïque.

2. Cas de la métrique canonique : L'article établit d'abord l'équidistribution pour le cas de la métrique canonique. En construisant une tour de division $n$ auxiliaire et en étendant les estimations asymptotiques de Kühne à des diviseurs toroïques ample arbitraires, l'auteur prouve que les séquences petites génériques s'équidistribuent par rapport à la mesure canonique. Cela implique de borner les termes de translation de Picard-zéro et d'établir une « borne inférieure canonique » pour les hauteurs.

3. Compression quasi-canonique : Pour les métriques qui sont quasi-canoniques mais pas nécessairement canoniques, l'article introduit des « chemins de compression explicites ». La métrique est compressée vers un modèle quasi-canonique distingué par son centre tropical critique. L'auteur construit des paramètres de compression explicites $m(n)$ et prouve que les bornes inférieures, les estimations de mesure et les comparaisons de volumes arithmétiques sont uniformément valides le long de ces chemins. Cette étape transporte efficacement les arguments de la tranche de Haar et du morphisme de différence de Kühne du compactification standard $(\mathbb{P}^1)^t$ vers une compactification toroïque propre normale arbitraire $X_\Sigma$.

4. Réduction monocritique : La dernière étape traite le cas monocritique général. En utilisant la théorie des mesures toroïques de Burgos Gil, Philippon, Rivera-Letelier et Sombra (BGPS), l'auteur montre que les métriques monocritiques peuvent être réduites à des métriques quasi-canoniques via un « remplacement quasi-canonique ». Cela repose sur la T-effectivité arithmétique de la métrique, qui fixe l'origine dans l'ensemble de stabilité de la fonction de toit (roof function). La mesure limite pour la métrique monocritique est montrée comme coïncidant avec celle de la métrique quasi-canonique associée.

Contributions clés et résultats

• Équidistribution générique (Théorème 1.3) : L'article prouve que pour une variété semi-abélienne $G$ sur un corps de nombres, équipée d'un fibré en droites $L = \mathcal{G}(D) \otimes \pi^*N$ où $D$ est un diviseur métrique toroïque big, T-effectif, semipositif, monocritique et arithmétiquement T-effectif, toute séquence $L$-petite générique satisfait l'équidistribution $v$-adique à chaque place $v$.
• Théorème de Bogomolov (Théorème 1.4) : L'article établit le théorème de Bogomolov pour cette classe spécifique de métriques. Il prouve que si une sous-variété fermée $X \subseteq G$ satisfait $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$, alors $X$ est une sous-variété spéciale (un translaté d'un sous-groupe algébrique par un point de torsion). Inversement, si $G(K)$ contient des points $L$-spéciaux, alors $X$ est $L$-spécial si et seulement si $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$.
• Assemblage de transport de Kühne (Kühne Transport Assembly) : Une contribution technique majeure est l'« Assemblage de transport de Kühne » (Proposition 96). Ce paquet adapte rigoureusement l'analyse de trivialisation locale de Kühne, les morphismes de différence et les arguments de contradiction de la petite boîte aux compactifications toroïques arbitraires et aux métriques quasi-canoniques. Il démontre que les identités de pushforward et les descriptions de tranches de Haar utilisées dans le cas canonique restent valides sous ces généralisations, à condition que les conventions de facteurs thêta soient correctement gérées.
• Équidistribution stricte : L'article dérive un théorème d'équidistribution stricte (Théorème 102) pour les métriques quasi-canoniques, montant que les séquences strictement petites s'équidistribuent vers la mesure de probabilité canonique. Ceci est réalisé en combinant la propriété de Bogomolov avec le résultat d'équidistribution générique, évitant la circularité en utilisant le « modèle quasi-canonique restreint » sur les enveloppes spéciales minimales.

Signification et revendications
L'article prétend étendre la portée des théorèmes d'équidistribution et de Bogomolov au-delà de la plage quasi-canonique de Yuan–Zhang et de la plage canonique de Kühne. La contribution n'est pas une nouvelle preuve du théorème canonique ni un résultat pour toutes les métriques toroïques semipositives. Au lieu de cela, elle cible la classe spécifique de métriques toroïques monocritiques et arithmétiquement T-effectives.

La signification réside dans le « mécanisme de comparaison » établi entre les métriques canoniques, quasi-canoniques et toroïques générales. En isolant les estimations asymptotiques et en les réinterprétant via des chemins de compression, l'auteur fournit un pont qui permet d'appliquer la puissante machinerie des arguments de trivialisation locale de Kühne à des métriques qui ne sont pas strictement quasi-canoniques. L'article note explicitement que la « métrique générale » mentionnée dans le contexte de l'application de Bogomolov est restreinte à cette classe contrôlée, et que l'extension de l'argument à des métriques semipositives arbitraires nécessiterait de nouveaux théorèmes de remplacement ou de déformation au-delà du champ actuel.

Le travail repose lourdement sur l'interaction entre la géométrie tropicale (vecteurs critiques, fonctions de toit), la théorie de l'intersection arithmétique (fibrés en droites adéliques, volumes arithmétiques) et l'uniformisation analytique (extensions de Raynaud, fonctions thêta). Il intègre avec succès les critères monocritiques de BGPS avec la décomposition de la hauteur semi-abélienne pour résoudre le problème d'équidistribution pour cette classe spécifique et non triviale de métriques.