$p$-twisted Selmer near-companion curves

Résumé technique de « p-TWISTED SELMER NEAR-COMPANION CURVES »

Énoncé du problème et contexte
L'article traite de la relation entre les propriétés arithmétiques des courbes elliptiques et leurs groupes de Selmer sous l'effet de torsions (twisting). S'appuyant sur les travaux de Mazur et Rubin [7], qui ont défini les courbes quasi-compagnes de Selmer n-aires (n-Selmer near-companion curves), l'article étudie la relation entre le bornage des différences de rangs de Selmer et l'isomorphisme des sous-groupes de torsion. Mazur et Rubin ont conjecturé que si deux courbes elliptiques $E_1$ et $E_2$ sur un corps de nombres $K$ sont des quasi-compagnes de Selmer $n$-aires (ce qui signifie que la différence des dimensions de leurs groupes de Selmer sous torsions quadratiques est bornée), alors leurs sous-groupes de torsion $E_1[n]$ et $E_2[n]$ doivent être isomorphes en tant que $\text{G}_K$-modules.

Bien que Yu [11] ait prouvé cette conjecture pour le cas $n=2$, le cas général pour les nombres premiers impairs $p$ est resté ouvert. Une difficulté majeure notée dans l'introduction est que l'égalité des corps engendrés par les points de torsion, $K(E_1[p]) = K(E_2[p])$, n'implique pas automatiquement un isomorphisme de $\text{G}_K$-modules $E_1[p] \cong E_2[p]$. Pour combler cette lacune et étendre le cadre, l'auteur introduit le concept de quasi-compagnes de Selmer $p$-torsions (p-TSNC). Contrairement à la définition originale qui ne considère que les torsions quadratiques, les $p$-TSNC considèrent les torsions par tous les caractères $\chi \in \text{Hom}(\text{G}_K, \mu_p)$.

Méthodologie
La stratégie centrale consiste à analyser le comportement des rangs de Selmer sous les $p$-torsions. L'auteur définit le groupe de Selmer $p$-torsion $S_p(E/K, \chi)$ et étudie la différence de dimensions $r_p(E_1, \chi) - r_p(E_2, \chi)$.

La preuve repose sur un « argument de densité » utilisant le théorème de densité de Chebotarev. La méthodologie procède comme suit :

1. Analyse de l'extension de corps : L'auteur suppose que $K(E_1[p]) \neq K(E_2[p])$ et analyse les représentations de Galois associées à $E_1$ et $E_2$. La preuve est divisée en cas basés sur la structure des corps $M_i = K(E_i[p])$ et des points de $p$-torsion $E_i(K)[p]$.
2. Principes locaux-globaux : En utilisant des outils de la théorie globale de la classe et les propriétés des conditions de Selmer locales (spécifiquement les images des cartes de Kummer $\gamma_v(\chi_v)$), l'auteur construit des caractères globaux $\chi$ qui satisfont des conditions locales spécifiques à des nombres premiers $q$ soigneusement choisis.
3. Manipulation de rang : En sélectionnant des nombres premiers $q$ ayant des propriétés de Frobenius spécifiques (par exemple, $q \in P_2(E)$ où le Frobenius agit trivialement sur $E[p]$), l'auteur construit des caractères qui augmentent le rang de Selmer d'une courbe de 2 tout en laissant l'autre inchangée, ou en les augmentant de montants différents.
4. Construction inductive : À travers une série de lemmes (Sections 3–8), l'article démontre que si $K(E_1[p]) \neq K(E_2[p])$, on peut trouver une infinité de caractères $\chi$ tels que la différence $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ croît arbitrairement. Cela contredit la définition de $p$-TSNC, qui exige que cette différence soit bornée par une constante $C$.

Contributions clés et résultats
L'article introduit la définition des quasi-compagnes de Selmer $p$-torsions et établit les théorèmes principaux suivants :

• Théorème 1.6 (Non-existence de $p$-TSNC avec des corps distincts) : Si $E_1$ et $E_2$ sont $p$-TSNC sur $K$, alors $K(E_1[p]) = K(E_2[p])$, à condition qu'au moins l'une des conditions suivantes soit remplie :

  • $E_i[p] \subset E_i(K)$ pour un certain $i$.
  • $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ pour $i=1,2$.
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ et $K(\mu_p) \subsetneq M_2$.
  • Le degré $[M_i : K(\mu_p)]$ ne divise pas $p$ pour $i=1,2$.
  • $\mu_p \subset K$.
    Essentiellement, sous ces conditions, la propriété d'être $p$-TSNC impose que les corps engendrés par les points de $p$-torsion soient identiques.

• Théorème 1.7 (Suffisance de l'isomorphisme) : S'il existe un isomorphisme de $\text{G}_K$-modules $E_1[p] \cong E_2[p]$ (pour $p \ge 3$), alors $E_1$ et $E_2$ sont $p$-TSNC sur $K$. Ceci confirme la direction converse de la conjecture principale dans le contexte de la nouvelle définition.

• Corollaires : L'article déduit que si $\mu_p \subset K$ et $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$, alors $p$-TSNC implique $E_1[p] \cong E_2[p]$ en tant que $\text{G}_K$-modules (Corollaire 1.9). De même, si $E_1[p] \subset E_1(K)$, $p$-TSNC implique l'isomorphisme (Corollaire 1.10).

Signification
L'article étend le cadre de Mazur et Rubin en généralisant le mécanisme de torsion des caractères quadratiques vers tous les caractères dans $\mu_p$. La signification primaire réside dans le fait de prouver que pour un large éventail de courbes elliptiques (couvrant les cas où la $p$-torsion est rationnelle, partiellement rationnelle, ou où l'image de Galois est grande), la condition d'être des quasi-compagnes de Selmer $p$-torsions est suffisante pour forcer l'égalité des corps $K(E_1[p])$ et $K(E_2[p])$.

L'auteur note que pour les courbes elliptiques sans multiplication complexe, le théorème de Faltings implique que $K(E_1[p]) \neq K(E_2[p])$ pour une infinité de nombres premiers si les courbes ne sont pas isogènes. Par conséquent, l'article suggère que si deux courbes non isogènes sont $p$-TSNC pour presque tous les nombres premiers, elles doivent être isogènes. Ce travail fournit une résolution partielle rigoureuse de la conjecture de Mazur-Rubin dans le contexte des groupes de Selmer $p$-torsions, établissant spécifiquement le lien entre les différences de rangs de Selmer bornées et l'égalité des corps de torsion sous certaines contraintes arithmétiques.