Locally imprimitive points on elliptic curves

Titel: Lokal nicht-primitive Punkte auf elliptischen Kurven

Autoren: Nathan Jones, Francesco Pappalardi, Peter Stevenhagen
Quelle: arXiv:2304.03964v1 [math.NT], 8. April 2023

---

1. Problemstellung und Motivation

Der Artikel untersucht ein Analogon zur Vermutung von Artin über primitive Wurzeln im Kontext elliptischer Kurven.

• Kontext: Unter der verallgemeinerten Riemannschen Hypothese (GRH) ist bekannt, dass jedes global primitive Element $x$ in der multiplikativen Gruppe $K^*$ eines Zahlkörpers $K$ (d.h. $x$ ist keine $l$-te Potenz für irgendeine Primzahl $l$) modulo einer Menge von Primzahlen mit positiver Dichte eine primitive Wurzel ist (Satz 1.1).
• Das Problem: Für elliptische Kurven $E/K$ und einen Punkt $P \in E(K)$ von unendlicher Ordnung stellt sich die Frage, ob $P$ modulo einer positiven Dichte von Primzahlen $p$ den reduzierten Punktgruppen $E(\mathbb{F}_p)$ erzeugt (Fall III: Lang-Trotter).
• Die Entdeckung: Im Gegensatz zu den Fällen der multiplikativen Gruppe (Fall I) und der zyklischen Reduktion (Fall II) kann ein global primitiver Punkt $P$ (d.h. $P$ ist nicht in $l \cdot E(K)$ für alle $l$) lokal nicht-primitiv sein. Das bedeutet, dass $P$ modulo fast aller Primzahlen $p$ den Gruppen $E(\mathbb{F}_p)$ nicht erzeugt, obwohl er global keine $l$-te Potenz ist. Die Autoren suchen nach den Ursachen für dieses Phänomen und konstruieren explizite Beispiele.

2. Methodik

Die Analyse stützt sich auf die Theorie der Galois-Darstellungen und die Chebotarev-Dichtesatz.

• Galois-Darstellungen: Für einen Punkt $P$ wird die Gruppe $R_P = \{Q \in E(\bar{K}) : mQ \in \langle P \rangle \text{ für ein } m \ge 1\}$ betrachtet. Die absolute Galois-Gruppe $G_K$ wirkt auf den Quotienten $V = R_P / \langle P \rangle$, was zu einer Darstellung $\rho_{E/K,P}: G_K \to \text{GL}_3(\hat{\mathbb{Z}})$ führt.
• Reduktion auf endliche Level: Die Untersuchung konzentriert sich auf die Restdarstellungen $\rho_{E,P} \pmod N$ für quadratfreie $N$. Ein Punkt ist lokal $l$-imprimitiv genau dann, wenn der Frobenius-Element $\text{Frob}_p$ in der Galois-Gruppe $G_l = \text{Gal}(K_l/K)$ (wobei $K_l$ der $l$-Teilungskörper ist) eine bestimmte lineare Bedingung erfüllt: Der Rang von $(\text{Frob}_{p,l} - \text{id}_l)$ ist $\le 1$ (Lemma 2.3).
• Dichteberechnung: Die Dichte der Primzahlen, für die $P$ ein Erzeuger ist, wird durch eine Inklusions-Exklusions-Summe über die Galois-Gruppen der Teilungskörper ausgedrückt. Das Verschwinden dieser Dichte ($\delta_{E/K,P} = 0$) deutet auf eine "Barriere" (Obstruktion) hin.
• Strukturelle Analyse: Die Autoren nutzen ein Lemma von Hendrik Lenstra (Lemma 4.1), um lineare Gruppenaktionen zu klassifizieren, bei denen jedes Gruppenelement einen Unterraum hoher Dimension punktweise fixiert. Dies führt zu einer vollständigen Charakterisierung der Bedingungen, unter denen lokale Imprimitivität auftritt.

3. Schlüsselbeiträge und Ergebnisse

A. Charakterisierung der lokalen Imprimitivität (Satz 1.2)

Die Autoren beweisen, dass ein nicht-torsionaler Punkt $P \in E(K)$ genau dann lokal $l$-imprimitiv ist, wenn mindestens eine der folgenden drei Bedingungen erfüllt ist:

1. Bedingung A (Trivial): $E(K)$ enthält einen $l$-Torsionspunkt und $P \in l \cdot E(K)$.
2. Bedingung B (Trivial): $E$ hat vollständige rationale $l$-Torsion über $K$ (d.h. $E[l] \subset E(K)$).
3. Bedingung C (Nicht-trivial): Es existiert eine über $K$ definierte Isogenie $\phi: E' \to E$ mit einem Kern, der von einem $l$-Torsionspunkt von $E'(K)$ erzeugt wird, sodass $P$ im Bild $\phi(E'(K))$ liegt, aber $P \notin l \cdot E(K)$ und $E[l](K) = 0$.

Bedingung C ist neu und spezifisch für elliptische Kurven. Sie beschreibt Fälle, in denen $P$ zwar global primitiv ist, aber durch eine Isogenie aus einer Kurve mit Torsion "stammt".

B. Konstruktion von Beispielen

• Für $l=2$ (Satz 1.3): Die Autoren zeigen, dass für jede elliptische Kurve mit genau einem rationalen Punkt der Ordnung 2 ($\#E(K)[2]=2$) unendlich viele quadratische Twists existieren, die einen nicht-trivialen lokal 2-imprimitiven Punkt besitzen. Die Konstruktion nutzt explizite Formeln für 2-Isogenien und die Parametrisierung von Twists.
• Für $l=3$ (Satz 6.2): Es wird eine Familie von Kurven über $\mathbb{Q}(X)$ konstruiert, die für unendlich viele Spezialisierungen $t \in K$ nicht-triviale lokal 3-imprimitive Punkte liefern. Dies geschieht durch die Untersuchung von 3-Isogenien und der Struktur der 3-Teilungskörper.
• Für $l=5, 7$ (Abschnitt 7): Es werden Beispiele für $l=5$ und $l=7$ skizziert, wobei die Formeln zunehmend komplexer werden (Verwendung von Tate-Normalformen und Vélus Formeln).

C. Obstruktionen auf zusammengesetzten Ebenen (Abschnitt 8)

Neben den primären Obstruktionen (Level $l$) gibt es auch Obstruktionen auf zusammengesetzten Ebenen (z.B. Level 6), die durch das "Verschränken" (Entanglement) verschiedener Teilungskörper entstehen.

• Ein Beispiel wird für eine Kurve über $\mathbb{Q}$ mit einer 2-Torsion und einer 3-Torsion über einem quadratischen Körper gegeben. Hier führt die Kombination der Bedingungen für $l=2$ und $l=3$ dazu, dass der Index $[E(\mathbb{F}_p) : \langle P \rangle]$ für fast alle $p$ durch 2 oder 3 teilbar ist, obwohl keine einzelne Bedingung auf Level 2 oder 3 allein ausreicht. Dies ist ein Phänomen, das über $\mathbb{Q}$ auftreten kann, im Gegensatz zu den Fällen I und II.

4. Signifikanz und Bedeutung

• Widerlegung einer naiven Vermutung: Der Artikel zeigt, dass die direkte Übertragung von Artins Vermutung auf elliptische Kurven fehlschlägt. Ein global primitiver Punkt muss nicht lokal primitiv sein.
• Neue Phänomene: Die Entdeckung der Bedingung C (Isogenie-basierte Imprimitivität) offenbart eine tiefere Struktur in der Arithmetik elliptischer Kurven, die in der multiplikativen Theorie keine Entsprechung hat.
• Verbindung von Galois-Theorie und Arithmetik: Die Arbeit verknüpft die Struktur der Galois-Darstellungen (insbesondere die Form der Matrizen in $\text{GL}_3$) direkt mit dem Verhalten der reduzierten Punktgruppen.
• Zukünftige Forschung: Die Autoren deuten an, dass die Untersuchung von Obstruktionen auf höheren zusammengesetzten Ebenen (wie in Abschnitt 8) ein reiches Feld für weitere Forschung ist, das in einem kommenden Paper vertieft werden soll.

Zusammenfassend liefert der Artikel eine vollständige Klassifikation der Gründe, warum globale Punkte auf elliptischen Kurven lokal versagen können, Erzeuger zu sein, und liefert konstruktive Beweise für die Existenz solcher "elliptischen Gegenbeispiele".