On the Finiteness of Isolated $j$-invariants for $X_1(N)$

Technische Zusammenfassung: Über die Endlichkeit isolierter $j$-Invarianten für $X_1(N)$

Problemstellung
Die Klassifizierung rationaler Punkte auf modularen Kurven $X_1(N)$ ist ein zentrales Problem der arithmetischen Geometrie. Während Punkte, die zu unendlichen parametrisierten Familien gehören (beispielsweise durch Abbildungen auf $\mathbb{P}^1$ oder abelsche Varietäten), gut verstanden sind, stellen „isolierte“ Punkte – also solche, die nicht zu solchen Familien gehören – ein bedeutendes Hindernis für eine vollständige Klassifizierung von Punkten eines festen Grades dar. Diese Arbeit konzentriert sich spezifisch auf die Sammlung isolierter $j$-Invarianten für $X_1(N)$, definiert als die $j$-Werte isolierter Punkte auf $X_1(N)$, die auf die $j$-Linie $X_1(1) \cong \mathbb{P}^1$ abgebildet werden.

Die primäre Fragestellung ist Frage 1 (aus Bourdon et al. [10]): Gibt es für jeden festen Grad nur endlich viele isolierte $j$-Invarianten? Während Merels Uniformitäts-Theorem garantiert, dass es für jede spezifische $X_1(N)$ endlich viele isolierte Punkte eines festen Grades gibt, impliziert dies nicht unmittelbar die Endlichkeit der isolierten $j$-Invarianten, wenn $N$ variiert. Diese Arbeit untersucht die Beziehung zwischen dieser Frage und anderen Uniformitätsvermutungen auf diesem Gebiet und etabliert neue Endlichkeitsresultate, insbesondere für elliptische Kurven mit rationalen $j$-Invarianten.

Methodik
Die Arbeit verwendet eine Kombination aus Modulitheorie, Galoisrepräsentationsanalyse und geometrischen Schranken für modulare Kurven.

1. Interaktion von Hypothesen: Der Autor stellt logische Implikationen zwischen vier großen Hypothesen bezüglich der Uniformität elliptischer Kurven über Zahlkörpern fester Gradzahl $d$ her:

   • Hypothese 1: Verallgemeinerte Serre-Uniformität (Surjektivität von $p$-adischen Galoisrepräsentationen für große $p$).
   • Hypothese 2: Endlichkeit isolierter $j$-Invarianten des Grades $d$.
   • Hypothese 3: Nicht-CM-Isogenie-Schranken (Endlichkeit von nicht-cuspidalen, nicht-CM-Punkten des Grades $d$ auf $X_0(N)$ für große $N$).
   • Hypothese 4: Verfeinerte polynomielle Schranken auf Torsionswachstum.
     Die Arbeit beweist, dass Hypothese 1 die Hypothese 2 impliziert, und stellt entscheidend fest, dass Hypothese 2 sowohl Hypothese 3 als auch Hypothese 4 impliziert. Dies positioniert Frage 1 als eine Verfeinerung der Isogenie- und Torsionsschranken, die nicht die volle Stärke der verallgemeinerten Serre-Uniformität besitzt.

2. Galoisrepräsentation und Verschränkung (Entanglement): Um den rationalen Fall ($d=1$) zu adressieren, analysiert die Arbeit das Bild der mod $p$- und $p$-adischen Galoisrepräsentationen $\rho_{E,p}$ und $\rho_{E,p^\infty}$. Sie nutzt Klassifikationsergebnisse für diese Bilder (z. B. Mazur, Serre, Bilu, Parent, Rebolledo, Lemos), um den Grad von Punkten auf $X_1(N)$ zu bestimmen. Ein zentrales technisches Werkzeug ist die Analyse der „Verschränkung“ (Entanglement) zwischen Torsionsfeldern verschiedener Primzahlen. Der Autor leitet neue untere Schranken für den Grad von Punkten auf $X_1(N)$ ab, indem er die Ramifikation und den Beitrag von Primzahlen kontrolliert, bei denen das Bild nicht surjektiv ist (speziell nicht-gesplittete Cartan-Untergruppen).

3. Gonality und Isolation: Die Arbeit nutzt untere Schranken für die Gonalität modularer Kurven (Abramovich) und die Beziehung zwischen dem Grad eines Punktes und der Gattung der Kurve. Wenn der Grad eines Punktes die Gattung (oder spezifische Gonalitäts-Schranken) überschreitet, kann der Punkt nicht isoliert sein.

Wesentliche Beiträge und Resultate

• Implikationen unter den Hypothesen (Theorem 9): Die Arbeit beweist formal, dass die Endlichkeit isolierter $j$-Invarianten (Hypothese 2) eine hinreichende Bedingung ist, um sowohl die Endlichkeit von Nicht-CM-Punkten auf $X_0(N)$ für große Level (Hypothese 3) als auch polynomielle Schranken auf das Torsionswachstum (Hypothese 4) zu etablieren.
• Endlichkeit für rationale $j$-Invarianten (Theorem 3): Das wichtigste bedingungslose Resultat stellt fest, dass es nur endlich viele rationale isolierte $j$-Invarianten assoziiert mit modularen Kurven der Form $X_1(p^a q^b)$ gibt, wobei $p$ und $q$ Primzahlen sind. Dies wird durch die Kombination folgender Elemente erreicht:
  • Die Arbeit von Lemos [39, 40] über die Struktur von Galois-Bildern für nicht-surjektive Primzahlen.
  • Ramifikationsergebnisse von Smith [58] (Lemma 3), um den Grad von Punkten zu begrenzen, wenn das Bild eine nicht-gesplittete Cartan-Untergruppe ist.
  • Eine neue untere Schranke für den Grad von Punkten (Korollar 1), welche die bisherige Arbeit des Autors und von Genao [11] verbessert.
    Der Beweis zeigt, dass für ausreichend große Primzahlen der Grad eines Punktes auf $X_1(p^a q^b)$ mit einer rationalen $j$-Invariante die Gattung der Kurve überschreitet, was den Punkt nicht-isoliert macht.
• Verschärfte Torsionsschranken (Theorem 4): Für Nicht-CM-elliptische Kurven $E/F$ mit $j(E) \in \mathbb{Q}$ beweist die Arbeit, dass für jedes $\epsilon > 0$ eine Konstante $C_\epsilon$ existiert, sodass:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  Dies verbessert den Exponenten der Grad-Schranke um einen Quadratwurzelfaktor im Vergleich zu früheren Ergebnissen [11, 18]. Der Exponent $1/2$ für den Exponenten der Torsionsgruppe wird als nahezu optimal dargestellt.
• Experimentelle Daten und Klassifizierung: Die Arbeit liefert eine umfassende Tabelle bekannter Nicht-CM-isolierter $j$-Invarianten des Grades $\leq 10$ und rechtfertigt deren Isolation durch Berechnungen des Rangs der Jacobians und Gonalitäts-Schranken.

Bedeutung und Behauptungen
Die Arbeit behauptet, dass Frage 1 als eine kritische „Verfeinerung“ der breiteren Uniformitätsprobleme auf diesem Gebiet dient. Durch den Nachweis, dass die Endlichkeit isolierter $j$-Invarianten starke Schranken für Isogenien und Torsion impliziert, legt die Arbeit nahe, dass die Untersuchung der Endlichkeit dieser spezifischen Punkte ein gangbarer Weg zur Lösung breiterer Vermutungen ist.

Die Resultate für rationale $j$-Invarianten stellen einen bedeutenden Schritt in Richtung einer vollständigen Klassifizierung dar, da sie die Möglichkeit unendlicher Familien isolierter $j$-Invarianten für Kurven mit Levels der Form $p^a q^b$ ausschließen. Der Autor merkt an, dass die aktuelle Kontrolle über die „Verschränkung“ (die Interaktion zwischen Torsionsfeldern verschiedener Primzahlen) zwar nicht ausreicht, um Hypothese 2 bedingungslos für alle rationalen $j$-Invarianten zu beweisen, die experimentellen Daten jedoch darauf hindeuten, dass das Problem über formale Immensionsargumente zugänglich sein könnte, da die relevanten „Verschränkungs-modularen Kurven“ oft Quotienten mit Rang 0 besitzen, im Gegensatz zu den Faserprodukten standardmäßiger modularer Kurven.

Die Arbeit schließt damit, dass die vollständige Endlichkeit isolierter $j$-Invarianten zwar offen bleibt, die hier entwickelten Methoden jedoch die bekannten Torsionsschranken für rationale $j$-Invarianten erfolgreich verschärft haben und die logische Landschaft, die diese Uniformitätsprobleme verbindet, klären.