A Heuristic approach to the Iwasawa theory of elliptic curves

Énoncé du problème

L'article aborde la conjecture $\mu = 0$ de Greenberg dans le cadre de la théorie d'Iwasawa des courbes elliptiques. Soit $E/\mathbb{Q}$ une courbe elliptique et $p$ un nombre premier impair tel que $E$ ait une réduction ordinaire bonne en $p$. La conjecture postule que le groupe de Selmer $p$-primaire $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ sur l'extension cyclotomique $\mathbb{Z}_p$ est cofiniement engendré en tant que $\mathbb{Z}_p$-module. Cette condition est équivalente à la nullité de l'invariant $\mu$ du groupe de Selmer. Bien que démontrée pour les extensions abéliennes de $\mathbb{Q}$ par Ferrero et Washington, la conjecture reste ouverte pour les courbes elliptiques.

Les auteurs examinent la conjecture d'un point de vue statistique, en testant spécifiquement la Conjecture 1.2, qui affirme que pour un nombre premier impair $p$ fixé, « la plupart » des courbes elliptiques ayant une réduction ordinaire bonne en $p$ satisfont $\mu_p(E) = 0$. Le défi central consiste à fournir des preuves heuristiques de cette nullité moyenne, en étendant les cadres probabilistes établis par Cohen-Lenstra pour les groupes de classes et par Poonen-Rains pour les groupes de Selmer.

Méthodologie

Les auteurs étendent les heuristiques de Poonen et Rains [PR12], qui ont modélisé la distribution des groupes de $p$-Selmer via l'intersection de sous-espaces isotropes maximaux dans un espace à produit scalaire. La méthodologie procède selon les étapes suivantes :

1. Réduction aux modules résiduels : La nullité de l'invariant $\mu$ pour le groupe de Selmer complet est liée à la finitude du groupe de Selmer résiduel de Greenberg, $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$. Ce groupe est analysé via le quotient $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$, où $R$ désigne le groupe de Selmer fin.
2. Interprétation géométrique : Les auteurs définissent un espace $V(E)$ muni d'un produit bilinéaire symétrique non dégénéré sur l'anneau $\Omega = \mathbb{F}_p[[T]]$. Ils identifient $\Pi_E$ à l'intersection de deux $\Omega$-sous-modules spécifiques, $V_1(E)$ et $V_2(E)$, au sein de $V(E)$.
   • $V_1(E)$ est l'image de l'application de restriction de la cohomologie globale, montrée comme étant un sous-module isotrope maximal.
   • $V_2(E)$ est défini par des conditions locales en $p$ (liées au groupe formel), montré comme étant isomorphe à $\Omega^\vee$ (le dual de Pontryagin de $\Omega$) plus une partie de torsion finie.
3. Projection sur des sous-modules cycliques : Le problème de la finitude de $V_1(E) \cap V_2(E)$ est réduit à l'étude de l'intersection de deux sous-modules $M_1$ et $M_2$ de $(\Omega^\vee)^2$, où $M_1, M_2 \cong \Omega^\vee$. Ceci est ensuite dualisé en l'étude de l'intersection de deux sous-modules cycliques maximaux $N_1, N_2$ de $\Omega^2$.
4. Modèle probabiliste : Les auteurs construisent un espace de probabilité $\mathcal{M}$ de paires de sous-modules cycliques maximaux $(N_1, N_2)$ dans $\Omega^2$. Cet espace est défini comme la limite projective d'espaces $\mathcal{M}_n$ de paires de sous-modules maximaux dans $\Omega_n^2 = (\Omega/(T^n))^2$, équipés de mesures de probabilité uniformes $P_n$.
5. Hypothèse heuristique : L'hypothèse heuristique centrale (Heuristique 1.3) suppose que, lorsque les courbes elliptiques varient parmi celles ayant une réduction ordinaire bonne en $p$, les paires associées $(M_1, M_2)$ sont équidistribuées par rapport à la mesure de probabilité naturelle $P$ sur $\mathcal{M}$.

Contributions et résultats clés

• Cadre théorique : L'article établit un lien précis entre l'arithmétique de l'invariant $\mu$ et l'intersection géométrique de sous-modules dans un espace à produit scalaire spécifique sur l'algèbre d'Iwasawa modulo $p$.
• Calcul probabiliste : Les auteurs démontrent le Théorème 4.8, qui stipule que pour une paire de sous-modules cycliques maximaux $(N_1, N_2)$ choisie uniformément au hasard dans l'espace $\mathcal{M}$, la probabilité que leur intersection soit triviale (c'est-à-dire $N_1 \cap N_2 = 0$) est égale à 1.
  • La démonstration repose sur le fait que $N_1 \cap N_2 \neq 0$ implique $N_1 = N_2$ (Lemme 4.6).
  • La probabilité que deux sous-modules maximaux choisis au hasard dans le quotient fini $\Omega_n^2$ soient identiques est calculée comme $1/((p+1)p^{n-1})$, ce qui tend vers 0 lorsque $n \to \infty$.
• Théorème principal : Sous l'hypothèse de l'Heuristique 1.3 et de la Conjecture A de Coates et Sujatha (qui prédit la nullité de l'invariant $\mu$ pour le groupe de Selmer fin), les auteurs démontrent le Théorème A :
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  où $C(x)$ est l'ensemble des modèles de Weierstrass minimaux de hauteur $\le x$, et $S_p(x)$ est le sous-ensemble des courbes ayant une réduction ordinaire bonne en $p$ pour lesquelles l'invariant $\mu$ du groupe de Selmer est non nul.

Portée et affirmations

L'article prétend fournir de nouvelles preuves heuristiques de la conjecture de Greenberg au sens « moyen ». En démontrant que l'événement de la non-nullité de l'invariant $\mu$ correspond à un événement de probabilité nulle dans le modèle aléatoire construit, les auteurs étayent la conjecture selon laquelle $\mu_p(E) = 0$ pour presque toutes les courbes elliptiques ayant une réduction ordinaire bonne en $p$.

Les auteurs déclarent explicitement que leurs résultats suggèrent une « validité plus large de la conjecture sur la nullité moyenne de l'invariant $\mu$ ». Ils positionnent ce travail comme un enrichissement de l'interaction entre les statistiques arithmétiques et la théorie d'Iwasawa, notant que de telles investigations restent un « terrain fertile pour la recherche future ». L'article ne prétend pas démontrer la conjecture pour une courbe spécifique ni résoudre le cas général sans l'hypothèse heuristique ; il offre plutôt une justification statistique de la véracité moyenne de la conjecture, cohérente avec l'approche de Poonen et Rains.