$p$-twisted Selmer near-companion curves

Technische Zusammenfassung von „p-TWISTED SELMER NEAR-COMPANION CURVES“

Problemstellung und Kontext
Die Arbeit befasst sich mit der Beziehung zwischen den arithmetischen Eigenschaften von elliptischen Kurven und ihren Selmer-Gruppen unter Twistings. Aufbauend auf der Arbeit von Mazur und Rubin [7], die n-Selmer near-companion curves definierten, untersucht das Paper die Beziehung zwischen der Beschränktheit von Differenzen der Selmer-Ränge und der Isomorphie von Torsions-Untergruppen. Mazur und Rubin vermuteten, dass wenn zwei elliptische Kurven $E_1$ und $E_2$ über einem Zahlkörper $K$ $n$-Selmer near-companions sind (was bedeutet, dass die Differenz in den Dimensionen ihrer $n$-Selmer-Gruppen unter quadratischen Twists beschränkt ist), dann müssen ihre $n$-Torsions-Untergruppen $E_1[n]$ und $E_2[n]$ als $G_K$-Module isomorph sein.

Während Yu [11] diese Vermutung für den Fall $n=2$ bewies, blieb der allgemeine Fall für ungerade Primzahlen $p$ offen. Eine wesentliche Schwierigkeit, die in der Einleitung angemerkt wird, besteht darin, dass die Gleichheit der durch die Torsionspunkte erzeugten Körper, $K(E_1[p]) = K(E_2[p])$, nicht automatisch eine $G_K$-Modul-Isomorphie $E_1[p] \cong E_2[p]$ impliziert. Um diese Lücke zu schließen und den Rahmen zu erweitern, führt der Autor das Konzept der $p$-twisted Selmer near-companions ($p$-TSNC) ein. Im Gegensatz zur ursprünglichen Definition, die nur quadratische Twists betrachtet, betrachtet $p$-TSNC Twists durch alle Charaktere $\chi \in \text{Hom}(G_K, \mu_p)$.

Methodik
Die Kernstrategie besteht in der Analyse des Verhaltens der Selmer-Ränge unter $p$-Twists. Der Autor definiert die $p$-twisted Selmer-Gruppe $S_p(E/K, \chi)$ und untersucht die Differenz der Dimensionen $r_p(E_1, \chi) - r_p(E_2, \chi)$.

Der Beweis stützt sich auf ein „Dichteargument“, das den Chebotarev-Dichtesatz nutzt. Die Methodik verläuft wie folgt:

1. Analyse der Körpererweiterung: Der Autor nimmt an, dass $K(E_1[p]) \neq K(E_2[p])$ und analysiert die mit $E_1$ und $E_2$ assoziierten Galois-Repräsentationen. Der Beweis wird in Fälle unterteilt, basierend auf der Struktur der Körper $M_i = K(E_i[p])$ und der $p$-Torsionspunkte $E_i(K)[p]$.
2. Lokal-globale Prinzipien: Unter Verwendung von Werkzeugen der globalen Klassenzahlentheorie und den Eigenschaften lokaler Selmer-Bedingungen (speziell der Bilder der Kummer-Abbildungen $\gamma_v(\chi_v)$) konstruiert der Autor globale Charaktere $\chi$, die spezifische lokale Bedingungen an sorgfältig gewählten Primzahlen $q$ erfüllen.
3. Rang-Manipulation: Durch die Auswahl von Primzahlen $q$ mit spezifischen Frobenius-Eigenschaften (z. B. $q \in P_2(E)$, wobei der Frobenius trivial auf $E[p]$ wirkt) konstruiert der Autor Charaktere, die den Selmer-Rang einer Kurve um 2 erhöhen, während sie den der anderen unverändert lassen, oder die Ränge um unterschiedliche Beträge erhöhen.
4. Induktive Konstruktion: Durch eine Serie von Lemmata (Abschnitte 3–8) zeigt das Paper, dass man, falls $K(E_1[p]) \neq K(E_2[p])$, unendlich viele Charaktere $\chi$ finden kann, so dass die Differenz $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ beliebig groß wird. Dies steht im Widerspruch zur Definition von $p$-TSNC, welche verlangt, dass diese Differenz durch eine Konstante $C$ beschränkt ist.

Wesentliche Beiträge und Ergebnisse
Das Paper führt die Definition der $p$-twisted Selmer near-companions ein und etabliert die folgenden Haupttheoreme:

• Theorem 1.6 (Nichtexistenz von $p$-TSNC mit distinkten Körpern): Wenn $E_1$ und $E_2$ über $K$ $p$-TSNC sind, dann gilt $K(E_1[p]) = K(E_2[p])$, vorausgesetzt, mindestens eine der folgenden Bedingungen ist erfüllt:

  • $E_i[p] \subset E_i(K)$ für ein $i$.
  • $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ für $i=1,2$.
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ und $K(\mu_p) \subsetneq M_2$.
  • Der Grad $[M_i : K(\mu_p)]$ teilt nicht $p$ für $i=1,2$.
  • $\mu_p \subset K$.
    Im Wesentlichen erzwingt die Eigenschaft, $p$-TSNC zu sein, unter diesen Bedingungen, dass die durch die $p$-Torsionspunkte erzeugten Körper identisch sind.

• Theorem 1.7 (Hinreichendkeitsbedingung der Isomorphie): Wenn es eine $G_K$-Modul-Isomorphie $E_1[p] \cong E_2[p]$ gibt (für $p \ge 3$), dann sind $E_1$ und $E_2$ über $K$ $p$-TSNC. Dies bestätigt die Umkehrrichtung der Hauptvermutung im Kontext der neuen Definition.

• Korollare: Das Paper leitet ab, dass wenn $\mu_p \subset K$ und $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$, dann $p$-TSNC die Isomorphie $E_1[p] \cong E_2[p]$ als $G_K$-Module impliziert (Korollar 1.9). Ähnlich gilt: Wenn $E_1[p] \subset E_1(K$, dann impliziert $p$-TSNC die Isomorphie (Korollar 1.10).

Bedeutung
Das Paper erweitert den Rahmen von Mazur und Rubin, indem es den Mechanismus des Twistings von quadratischen Charakteren auf alle Charaktere in $\mu_p$ generalisiert. Die primäre Bedeutung liegt darin, zu beweisen, dass für eine breite Klasse von elliptischen Kurven (die Fälle abdeckend, in denen die $p$-Torsion rational, teilweise rational oder die Galois-Abbildung groß ist), die Bedingung, $p$-twisted Selmer near-companions zu sein, ausreicht, um die Gleichheit der Körper $K(E_1[p]) = K(E_2[p])$ zu erzwingen.

Der Autor merkt an, dass für elliptische Kurven ohne komplexe Multiplikation Faltings' Theorem impliziert, dass $K(E_1[p]) \neq K(E_2[p])$ für unendlich viele Primzahlen gilt, sofern die Kurven nicht isogen sind. Folglich legt das Paper nahe, dass wenn zwei nicht-isogene Kurven für fast alle Primzahlen $p$-TSNC sind, sie isogen sein müssen. Die Arbeit bietet eine rigorose partielle Lösung der Mazur-Rubin-Vermutung im Kontext von $p$-twisted Selmer-Gruppen, indem sie insbesondere die Verbindung zwischen beschränkten Selmer-Rang-Differenzen und der Gleichheit der Torsionskörper unter spezifischen arithmetischen Randbedingungen herstellt.