Number of $K$-rational points with given $j$-invariant on modular curves

1. Problemstellung

Der Artikel untersucht ein fundamentales Problem in der arithmetischen Geometrie: Die Bestimmung der Anzahl der $K$-rationalen Punkte auf einer beliebigen modularen Kurve $X_H$, die einen spezifischen $j$-Invarianten $j_0$ besitzen.

• Kontext: Sei $K$ ein Zahlkörper und $H$ eine Untergruppe von $GL_2(\mathbb{Z}/N\mathbb{Z})$. Die modulare Kurve $X_H$ parametrisiert elliptische Kurven mit einer bestimmten $H$-Level-Struktur.
• Ziel: Es soll die Kardinalität der Menge $\{x \in X_H(K) \mid j(x) = j_0\}$ bestimmt werden. Das Ziel ist nicht, für jeden Fall die spezifischen Zahlkörper oder elliptischen Kurven zu identifizieren, sondern eine rein gruppentheoretische Klassifikation aller möglichen Anzahlen zu erstellen.
• Anwendungsfälle:
  • Bestimmung der möglichen Anzahl von zyklischen $n$-Isogenien einer über einem Zahlkörper definierten elliptischen Kurve.
  • Analyse von Punkten auf Cartan-modularen Kurven ($X_s(p^k)$, $X_{ns}(p^k)$) und ihren Normalisierern.
  • Entwicklung eines Algorithmus zur Zählung rationaler CM-Punkte (Complex Multiplication).

2. Methodik

Die Arbeit basiert auf einer Kombination aus der Theorie der modularen Kurven, Galois-Darstellungen und gruppentheoretischen Berechnungen.

• Modul-Definition und Rationalität:
  Ein Punkt auf $X_H$ wird als Äquivalenzklasse $[(E, \alpha)]$ definiert, wobei $E$ eine elliptische Kurve und $\alpha$ eine Level-Struktur ist. Ein Punkt ist $K$-rational, wenn er unter der Wirkung der absoluten Galoisgruppe $G_K$ invariant ist. Dies führt zu einer Bedingung, die die Galois-Darstellung $\rho_{E,N}(G_K)$ mit der Untergruppe $H$ und der Automorphismengruppe $Aut(E)$ verknüpft.
• Gruppentheoretische Formulierung:
  Die Anzahl der rationalen Punkte mit festem $j$-Invarianten wird auf die Berechnung der Anzahl von Basen $(P, Q)$ der $N$-Torsionspunkte $E[N]$ reduziert, die eine bestimmte Invarianzbedingung erfüllen.
  Sei $R$ das Bild der Galois-Darstellung und $A$ das Bild der Automorphismen in $GL_2(\mathbb{Z}/N\mathbb{Z})$. Die Anzahl der Punkte entspricht der Anzahl der Doppelnebenklassen $HgA$ (oder einfacher $Hg$, falls $j \neq 0, 1728$), für die $gRg^{-1} \subseteq H$ gilt.
  Formal wird die Menge der möglichen Anzahlen $S(H)$ definiert als:
  $$S(H) = \left\{ \frac{\#\{g \in GL_2(\mathbb{Z}/N\mathbb{Z}) \mid gRg^{-1} \subseteq H\}}{\#H} \;\middle|\; R \leq GL_2(\mathbb{Z}/N\mathbb{Z}) \right\}$$
• Fallunterscheidung nach Primzahlpotenzen:
  Der Autor analysiert die Struktur der Untergruppen $R$ in $GL_2(\mathbb{Z}/p^k\mathbb{Z})$ für Primzahlen $p$ und Exponenten $k$. Dabei werden Systeme von Gleichungen über den $p$-adischen Bewertungen der Matrixeinträge gelöst, um die Anzahl der Fixpunkte zu bestimmen.
• CM-Punkte:
  Für Punkte mit komplexer Multiplikation (CM) werden Ergebnisse von Lozano-Robledo genutzt, die das Bild der Galois-Darstellung für CM-Kurven explizit beschreiben (als Untergruppen von verallgemeinerten Cartan-Untergruppen).

3. Wichtige Beiträge und Ergebnisse

A. Anzahl der $p^k$-Isogenien (Sektion 3)

Der Artikel klassifiziert die möglichen Anzahlen von zyklischen $p^k$-Isogenien für elliptische Kurven über Zahlkörpern.

• Für ungerade Primzahlen $p$:
  Die Anzahl der $p^k$-Isogenien liegt in der Menge:
  $$\{0\} \cup \{p^j \mid 0 \le j < k\} \cup \{2p^j \mid 0 \le j < k\} \cup \{p^k + p^{k-1}\}$$
  Dies verallgemeinert das klassische Ergebnis für $k=1$ (wo nur $0, 1, 2, p+1$ möglich sind).
• Für $p=2$:
  Die möglichen Anzahlen für $2^k$-Isogenien ($k>1$) sind:
  $$\{0\} \cup \{2^m \mid m = 1, \dots, k\} \cup \{2^k + 2^{k-1}\}$$
• Vererbungseigenschaften:
  Es wird analysiert, wie sich die Anzahl der Isogenien ändert, wenn man von $p^k$ zu $p^{k+1}$ übergeht (Proposition 3.8).
• Geometrische Interpretation:
  Es wird gezeigt, dass die Eigenschaft „Fixierung von drei Punkten impliziert Fixierung aller Punkte" (gültig für $k=1$) für $k > 1$ nicht mehr allgemein gilt, jedoch unter bestimmten Bedingungen (Proposition 3.10) wiederhergestellt werden kann, wenn die Reduktionen modulo $p$ der Fixpunkte distinkt sind.

B. Punkte auf Cartan-Kurven (Sektion 4)

Die Arbeit bestimmt die möglichen Anzahlen von Punkten auf den modularen Kurven, die den geteilten (split) und ungeteilten (non-split) Cartan-Untergruppen sowie deren Normalisierern entsprechen.

• Geteilte Cartan-Untergruppe $C_s(p^k)$:
  Die möglichen Anzahlen sind $\{0, p^{2k} + p^{2k-1}\} \cup \{2p^{2j} \mid 0 \le j < k\}$.
• Ungeteilte Cartan-Untergruppe $C_{ns}(p^k)$:
  Die möglichen Anzahlen sind $\{0\} \cup \{2p^{2j} \mid 0 \le j < k\} \cup \{p^{2k} - p^{2k-1}\}$.
• Normalisierer:
  Für die Normalisierer $N_s(p^k)$ und $N_{ns}(p^k)$ werden komplexe Mengen von Werten hergeleitet, die von der Kongruenzklasse von $p$ modulo 4 und 8 abhängen (z.B. Werte wie $2$, $3$, oder spezifische Summen von Potenzen).

C. Algorithmus für CM-Punkte (Sektion 5)

Der Autor entwickelt einen effizienten Algorithmus zur Berechnung der Anzahl rationaler CM-Punkte auf einer beliebigen modularen Kurve $X_H$.

• Input: Ein rationaler $j$-Invariant (entsprechend einer imaginär-quadratischen Ordnung), der Level $N$ und die Untergruppe $H$.
• Prozess:
  1. Bestimmung der Galois-Darstellung $R$ basierend auf den Theoremen von Lozano-Robledo (Bild ist in $N_{\delta, \phi}(N)$ enthalten).
  2. Bestimmung der Automorphismengruppe $A$ (abhängig von $j=0, 1728$ oder sonst).
  3. Berechnung der Anzahl der Doppelnebenklassen $HgA$ (oder $Hg$), die die Inklusionsbedingung erfüllen.
• Implementierung: Ein einfacher Code ist auf GitHub verfügbar und wurde in anderen Arbeiten (z.B. von Mayle und Rouse) zur Optimierung genutzt. Der Algorithmus ist deutlich schneller als traditionelle Methoden, die auf der Berechnung von Vorhersagen der $j$-Abbildung basieren.

4. Signifikanz und Bedeutung

• Vollständigkeit der Klassifikation: Die Arbeit liefert eine vollständige gruppentheoretische Klassifikation der möglichen Anzahlen von Isogenien und rationalen Punkten für eine breite Klasse modularer Kurven, ohne auf die spezifische Existenz von Kurven über $\mathbb{Q}$ angewiesen zu sein (obwohl die Existenz über Zahlkörpern gezeigt wird).
• Überwindung von Hindernissen bei CM-Punkten: Ein Hauptproblem bei der Suche nach rationalen Punkten auf $X_0(n)$ ist die Existenz von CM-Punkten, die oft in großen Mengen auftreten und die Klassifikation erschweren. Der vorgestellte Algorithmus ermöglicht eine schnelle und exakte Zählung dieser Punkte, was für die Untersuchung von quadratischen Punkten und anderen Diophantischen Problemen entscheidend ist.
• Verbindung zu Serres Vermutung: Die Analyse der Bilder von Galois-Darstellungen auf Cartan-Untergruppen ist direkt relevant für Serres Uniformitätsvermutung. Die Ergebnisse helfen zu verstehen, welche Untergruppen als Bilder von Galois-Darstellungen auftreten können, was ein zentrales Element bei der Untersuchung der Surjektivität dieser Darstellungen für große Primzahlen ist.
• Praktische Anwendbarkeit: Die bereitgestellten Algorithmen und die GitHub-Implementierung bieten ein praktisches Werkzeug für Forscher, die sich mit der Arithmetik elliptischer Kurven und modularen Formen befassen, insbesondere im Kontext von Isogenie-Graphen und der Klassifikation rationaler Punkte.

Zusammenfassend stellt dieser Artikel eine Brücke zwischen abstrakter Gruppentheorie und konkreter arithmetischer Geometrie dar, indem er präzise quantitative Aussagen über die Struktur rationaler Punkte auf modularen Kurven liefert und effiziente Berechnungsmethoden für komplexe Szenarien (wie CM-Punkte) bereitstellt.