Distribution of Selmer ranks in prime cyclic extensions

Résumé Technique : Distribution des rangs de Selmer dans les extensions cycliques de type premier

Énoncé du Problème
Cet article étudie la distribution statistique des rangs de Selmer au sein de familles de torsions (twists) de modules de Galois sur des corps de nombres. Plus précisément, il traite de la distribution des rangs de Selmer $p$ pour un nombre premier $p$ dans des extensions cycliques, ordonnées par le produit des nombres premiers ramifiés (le radical du discriminant relatif), plutôt que par l'ordre de « structure en éventail » (fan structure) utilisé dans les travaux fondamentaux antérieurs de Klagsbrun, Mazur et Rubin (KMR). Les auteurs visent à déterminer la probabilité qu'une courbe elliptique, superelliptique ou hyperelliptique fixée gagne en rang lors d'une extension de base vers ces corps cycliques. Un défi central consiste à établir ces distributions sous l'Hypothèse de Riemann Étendue (HRE) sans dépendre de modèles heuristiques ou de contraintes d'ordonnancement spécifiques qui limitaient auparavant la portée de ces résultats.

Méthodologie
Les auteurs emploient une synthèse de statistiques arithmétiques, de théorie analytique des nombres et de théorie des probabilités, en adaptant et en modifiant le cadre établi par Klagsbrun, Mazur et Rubin [KMR13, KMR14] et Yu [Yu19].

1. Structures de Selmer et Torsions (Twisting) : L'article définit des structures de Selmer associées aux torsions de modules de Galois $T$ satisfaisant des conditions techniques spécifiques (irréductibilité, couplages non dégénérés, etc.). Ces structures modélisent les groupes de Selmer $p$ des variétés abéliennes associées aux courbes (par exemple, $A_{\chi}$ pour les courbes elliptiques et $Jac(C_d)[1-\zeta_p]$ pour les courbes superelliptiques).
2. Structures en Éventail et Ordonnancement : L'innovation méthodologique centrale consiste à construire une nouvelle « structure en éventail » d'idéaux sans facteur carré. Contrairement à la structure en éventail originale de KMR, qui reposait sur des théorèmes de densité de Chebotarev effectifs avec des termes d'erreur complexes, les auteurs définissent un nouvel ordonnancement basé sur le radical de l'idéal (le produit des facteurs premiers distincts).
   • Ils utilisent l'Hypothèse de Riemann Étendue (HRE) pour invoquer une forme effective du théorème de densité de Chebotarev (Théorème 3.5). Cela permet un contrôle précis de la distribution des éléments de Frobenius, permettant aux auteurs de réordonner la séquence des torsions d'idéaux premiers.
   • En prouvant que cette nouvelle structure en éventail constitue un sous-ensemble de densité 1 de tous les idéaux sans facteur carré (Proposition 4.1), ils justifient que les statistiques dérivées sur ce sous-ensemble s'appliquent à l'ensemble général des extensions ordonnées par le produit des nombres premiers ramifiés.
3. Processus de Markov et Ergodicité Géométrique : La distribution des rangs de Selmer est modélisée comme la distribution stationnaire d'un processus de Markov irréductible et apériodique agissant sur l'espace d'états des entiers non négatifs.
   • Les auteurs utilisent des théorèmes d'ergodicité géométrique pour les opérateurs de Markov (Théorème 4.12) pour démontrer que la distribution converge vers un état stationnaire indépendamment des conditions initiales, à condition que le nombre de torsions (facteurs premiers) croisse suffisamment.
   • Une étape technique clé consiste à montrer que l'ordre dans lequel les idéaux premiers sont appliqués pour torsions la structure de Selmer ne modifie pas la distribution asymptotique, un résultat rendu possible par l'indépendance des normes des idéaux premiers dans la structure en éventail construite et par la HRE.
4. Courbes Hyperelliptiques et la Condition UDRL : Pour les courbes hyperelliptiques, l'article traite de la distribution des groupes de Selmer à 2. Les résultats précédents (par exemple, Yu [Yu19]) nécessitaient souvent la condition « UDRL » (Unramified Distribution of Local Kummer Maps - Distribution non ramifiée des applications de Kummer locales). Les auteurs démontrent qu'en supposant la HRE, ils peuvent contourner cette hypothèse heuristique, dérivant la distribution de Poonen-Rains directement du théorème de densité de Chebotarev.

Contributions Clés

• Nouveau Schéma d'Ordonnancement : L'article transfère avec succès les résultats de distribution des rangs de Selmer de l'ordonnancement par « structure en éventail » vers l'ordonnancement par le produit des nombres premiers ramifiés (radical du discriminant), un ordonnancement plus naturel pour les statistiques arithmétiques.
• Suppression des Hypothèses Heuristiques : Pour les courbes hyperelliptiques, les auteurs suppriment la nécessité de l'hypothèse heuristique UDRL en exploitant la HRE pour contrôler les applications de Kummer locales.
• Généralisation à Diverses Courbes : Le cadre est appliqué à trois cas distincts :
  1. La croissance du rang des courbes elliptiques dans les extensions cycliques de type $p$.
  2. La taille moyenne des points rationnels sur les courbes superelliptiques dans les extensions cycliques de type $p$.
  3. La croissance du rang des jacobiennes de courbes hyperelliptiques dans les extensions quadratiques.

Résultats Principaux

• Théorème 1.1 (Courbes Elliptiques) : En supposant la HRE, l'article fournit des bornes inférieures et supérieures explicites pour la probabilité qu'une courbe elliptique $E/K$ (avec $Gal(K(E[p])/K) \supseteq SL_2(\mathbb{F}_p)$) présente une croissance de rang spécifique dans les extensions $p$-cycliques ordonnées par le produit des nombres premiers ramifiés. La distribution est montrée comme étant une combinaison linéaire de deux distributions stationnaires ($E_+$ et $E_-$) déterminées par la parité de la structure de Selmer initiale.
• Théorème 1.2 (Courbes Superelliptiques) : Pour les courbes superelliptiques $C: y^p = F(x)$ avec des corps de décomposition de Galois spécifiques, l'article établit une conjecture de Mordell-Lang effective. Il prouve que la taille moyenne de l'ensemble des points rationnels sur la famille de torsions est bornée par une constante explicite $B(p, K)$.
• Théorème 1.3 (Courbes Hyperelliptiques) : En supposant la HRE, l'article détermine la distribution des rangs de Selmer à 2 pour les torsions quadratiques de courbes hyperelliptiques. Le résultat confirme que la distribution converge vers la distribution de Poonen-Rains (spécifiquement, la taille moyenne converge vers 3 ou 6 selon la taille de la composante du groupe de Tate-Shafarevich $X^1$), ce qui est cohérent avec les résultats de Smith mais dérivé sans l'heuristique UDRL.

Signification et Revendications
L'article affirme fournir un cadre rigoureux et conditionnel (sur la HRE) pour comprendre la distribution des rangs de Selmer dans les extensions cycliques de type premier ordonnées par le produit des nombres premiers ramifiés. En modifiant la machinerie de KMR pour accommoder cet ordonnancement, les auteurs comblent le fossé entre les modèles abstraits de processus de Markov et les statistiques arithmétiques concrètes.

Les auteurs déclarent explicitement que leur travail :

• Vérifie la conjecture de Poonen-Rains pour les courbes hyperelliptiques sous condition de la HRE, sans supposer la condition UDRL.
• Généralise les résultats d'Alex Smith sur la distribution des groupes de Selmer à 2 à une classe plus large de courbes hyperelliptiques (incluant celles qui ne sont pas « impaires »).
• Fournit des bornes pour la taille moyenne des points rationnels sur les courbes superelliptiques, offrant une version effective de la conjecture de Mordell-Lang pour ces familles.
• Démontre que le taux de convergence vers la distribution stationnaire peut être amélioré en $O(1/(\log X)^c)$ sous la HRE, ce qui représente une amélioration significative par rapport aux termes d'erreur exponentiels précédents.

L'article conclut en notant que ces techniques sont adaptables aux corps de fonctions globaux et que les travaux futurs exploreront les croissances de rang pour les variétés abéliennes principalement polarisées sur les extensions cycliques de type premier de corps globaux.