Vergleich von Galois-Darstellungen im residuell reduzierbaren Fall

Grundinformationen

• Paper-ID: 2510.12956
• Titel: Comparing Galois representations in the residually reducible case
• Autoren: Nuno Freitas, Ignasi Sánchez-Rodríguez
• Klassifikation: math.NT (Zahlentheorie)
• Veröffentlichungsdatum: 14. Oktober 2025
• Paper-Link: https://arxiv.org/abs/2510.12956v1

Zusammenfassung

Seien $n \geq 2$ und $p$ eine Primzahl, $K$ ein Zahlkörper. Betrachten wir zwei Galois-Darstellungen $\rho_1, \rho_2 : \text{Gal}(\overline{K}/K) \to \text{GL}_n(\mathbb{Z}_p)$, deren residuelle Bilder $p$-Gruppen sind. Diese Arbeit erläutert und implementiert einen Algorithmus, der ein Ergebnis von Loïc Grenié effektiv macht, um zu entscheiden, ob die Halbeinfachungen von $\rho_1$ und $\rho_2$ isomorph sind. Als Anwendung wird bewiesen, dass eine irreduzible Darstellung $\rho: G_{\mathbb{Q}(\sqrt{-3})} \to \text{GL}_2(\mathbb{Z}_3)$, die außerhalb von 3 unverzweigt ist, vollständig durch die charakteristischen Polynome von Frobenius-Elementen an fünf Primidealen kleiner Norm bestimmt wird. Als zusätzliche Verifikation wird der Algorithmus auf das 2-adische Beispiel von Grenié angewendet und Gréniés Ergebnis wird auf vollständig automatisierte Weise wiederhergestellt.

Forschungshintergrund und Motivation

Problemhintergrund

Diese Forschung betrifft das Vergleichsproblem von Galois-Darstellungen, ein zentrales Problem der algebraischen Zahlentheorie. Nach Faltings' grundlegendem Werk sind zwei stetige Darstellungen $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$, die außerhalb einer Menge $S$ unverzweigt sind, genau dann isomorph, wenn sie die gleichen Spuren bei Frobenius-Elementen einer endlichen Menge $T$ haben.

Einschränkungen bestehender Methoden

1. Faltings-Serre-Methode: Anwendbar auf Darstellungen mit Werten in $\text{GL}_2(\mathbb{Q}_2)$ und absolut irreduziblem residuellem Bild
2. Livnés Erweiterung: Behandelt 2-adische 2-dimensionale Darstellungen mit residuellem Bild einer 2-Gruppe
3. Gréniés Verallgemeinerung: Erweitert auf beliebige $p$-adische $n$-dimensionale Darstellungen, erfordert aber weiterhin, dass das residuelle Bild eine $p$-Gruppe ist

Die Haupteinschränkung dieser Methoden ist, dass selbst bei kleinen $n$, $p$ und $S$ die Konstruktion großer Zahlkörper erforderlich ist, was Berechnungen undurchführbar macht.

Forschungsmotivation

Die Kernmotivation dieser Arbeit ist:

1. Algorithmus-Implementierung: Umwandlung von Gréniés theoretischen Ergebnissen in berechenbare Algorithmen
2. Allgemeingültigkeit: Entwurf von Algorithmen für allgemeine Fälle, unabhängig von zusätzlichen Informationen über spezifische Darstellungen
3. Datenbankpotenzial: Der Algorithmus muss nur einmal pro Parametersatz ausgeführt werden, könnte Datenbanken erstellen
4. Praktische Anwendungen: Modularitätsbeweise für abelsche Varietäten

Kernbeiträge

1. Algorithmus-Implementierung: Implementierung einer Variante des Grenié-Theorems (Theorem 4.1) mit vollständig automatisiertem Algorithmus
2. Theoretische Verbesserung: Vorschlag einer kleineren Konstruktion des Erweiterungskörpers $K_S$, die die Rechenkomplexität erheblich reduziert
3. Konkrete Anwendungsergebnisse:
   • Beweis konkreter Ergebnisse im 3-adischen Fall (Korollar 1.1)
   • Wiederherstellung von Gréniés 2-adischem Ergebnis (Korollar 1.2)
4. Modularitätsbeweis: Erste erfolgreiche Anwendung der 3-adischen Faltings-Serre-Methode zum Beweis der Modularität im residuell reduzierbaren Fall
5. Open-Source-Implementierung: Vollständige Magma-Code-Implementierung bereitgestellt

Methodische Details

Aufgabendefinition

Eingabe: Zwei stetige Galois-Darstellungen $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$, unverzweigt außerhalb einer Menge $S$, mit residuellem Bild einer $p$-Gruppe Ausgabe: Entscheidung, ob die Halbeinfachungen von $\rho_1$ und $\rho_2$ isomorph sind Einschränkungen: $n \geq 2$, $p$ Primzahl, $K$ Zahlkörper

Kern-Algorithmus-Architektur

1. Verbesserte Erweiterungskörper-Konstruktion

Die traditionelle $K_S$-Konstruktion erfordert $\lambda + \varepsilon + m$ Schichten, wobei:

• $\lambda$ erfüllt $2^\lambda \geq r = N^2(1+\varepsilon)^{N(N-1)/2}$
• $\varepsilon = 0$ (wenn $p \neq 2$) oder $\varepsilon = 1$ (wenn $p = 2$)
• $m$ erfüllt $p^m \geq n$

Die in dieser Arbeit vorgeschlagene verbesserte Methode:

K₀ = K
Für i ≥ 0:
  Kᵢ₊₁ = maximale p-elementare Erweiterung von Kᵢ, die erfüllt:
    1. Unverzweigt außerhalb von S
    2. Kᵢ₊₁/K ist Galois-Erweiterung
    3. Der Exponent von Gal(Kᵢ₊₁/K) teilt pᵐ
Wenn für ein i < λ + ε + m gilt Kᵢ₊₁ = Kᵢ, dann stoppe und setze K_S = Kᵢ

2. Haupttheorem (Theorem 4.1)

Sei $\Sigma \subset G_K$ eine Menge, definiere $\Sigma' = \{\sigma^k : \sigma \in \Sigma, k \in \mathbb{Z}_{\geq 0}\}$. Wenn:

1. $\Sigma'$ die Erzeuger jeder maximalen zyklischen Untergruppe von $\text{Gal}(K_S/K)$ überdeckt
2. Für alle $\sigma \in \Sigma$ gilt: $\text{CharPoly}(\rho_1(\sigma)) = \text{CharPoly}(\rho_2(\sigma))$

dann sind die Halbeinfachungen von $\rho_1$ und $\rho_2$ isomorph.

3. Implementierungsdetails des Algorithmus

Teil A: Konstruktion der ersten m Schichten

K₀ = K
Für 0 ≤ i ≤ m-1:
  Kᵢ₊₁ = Kᵢ(ᵖ√α₁, ..., ᵖ√αₐ)
  wobei αᵢ Erzeuger von Selₚ(Kᵢ, S) sind

Teil B: Konstruktion nachfolgender Schichten (i ≥ m)

1. Berechnung von Gal(Kᵢ/K)-Untermodulen: Berechne alle Galois-Untermodule von Selₚ(Kᵢ, S)
2. Elimination eindimensionaler Untermodule: Prüfe die Restgradsbedingung $f(Q|Q \cap O_K) \leq p^m$
3. Elimination höherdimensionaler Untermodule: Rekursive Anwendung von Lemma 3.4
4. Konstruktion des Körpers Kᵢ₊₁: Wähle das eindeutige Untermodul, das die Bedingungen erfüllt

Technische Innovationen

1. Speicheroptimierung: Vermeidung der Speicherung aller Untermodule durch induktive Berechnung relevanter Untermodule
2. Restgradsbegrenzung: Kontrolle des Restgrads $\leq p^m$ zur Begrenzung der Erweiterungskörpergröße
3. Abbruchkriterium: Theorem 8.1 bietet ein natürliches Stoppkriterium für den Algorithmus
4. Vermeidung der GRH: Unter bestimmten Bedingungen kann die verallgemeinerte Riemann-Hypothese vermieden werden

Experimentelle Einrichtung

Rechenumgebung

• Software: Magma V2.28-20
• Hardware: 4-Thread-Einstellung
• Code: Vollständige Implementierung auf GitHub verfügbar

Testfälle

Fall 1: Gréniés Beispiel

• Parameter: $n = 3$, $p = 2$, $K = \mathbb{Q}$, $S = \{2\}$
• Erweiterungskörper-Schichten: $K_S = K_3$ (64-Grad-Erweiterung)
• Laufzeit: etwa 30 Stunden (unter Annahme der GRH)

Fall 2: 3-adische Anwendung

• Parameter: $n = 2$, $p = 3$, $K = \mathbb{Q}(\sqrt{-3})$, $S = \{q_3\}$
• Erweiterungskörper-Schichten: $K_S = K_2$ (54-Grad-Erweiterung)
• Laufzeit: etwa 17 Stunden (unter Annahme der GRH)

Bewertungsmetriken

1. Korrektheit: Konsistenz mit bekannten theoretischen Ergebnissen
2. Effizienz: Rechenzeit und Speichernutzung
3. Praktikabilität: Fähigkeit, praktische Modularitätsprobleme zu behandeln

Experimentelle Ergebnisse

Hauptergebnisse

Korollar 1.1 (3-adischer Fall)

Sei $K = \mathbb{Q}(\sqrt{-3})$, $\rho_1, \rho_2 : G_K \to \text{GL}_2(\mathbb{Z}_3)$ stetige Darstellungen, unverzweigt außerhalb von $q_3$, mit gleicher Determinante und Determinante trivial modulo 3. Dann haben $\rho_1$ und $\rho_2$ isomorphe Halbeinfachungen genau dann, wenn für alle Primideale in der Menge $T = \{2O_K, p_7^1, p_7^2, p_{19}^*, p_{73}^*\}$ die Elemente $\rho_1(\text{Frob}_t)$ und $\rho_2(\text{Frob}_t)$ die gleiche Spur haben.

Korollar 1.2 (Wiederherstellung von Gréniés Ergebnis)

Für $n = 3$ oder $n = 4$, $\rho_1, \rho_2 : G_{\mathbb{Q}} \to \text{GL}_n(\mathbb{Z}_2)$ stetige Darstellungen, unverzweigt außerhalb von 2, mit residuellem Bild einer 2-Gruppe. Die Primzahlmengen $T = \{5,7,11,17,23,31\}, \quad T' = \{5,7,11,17,19,23,31,73,137,257,337\}$ können zur Entscheidung der Isomorphie verwendet werden.

Modularitätsanwendungen

Abelsche Varietät mit Führer 37

Durch Algorithmus-Verifikation wurde die Modularität der Jacobi-Varietät der Geschlecht-2-Kurve mit LMFDB-Etikett 2187.a.6561.1 bestätigt.

Abelsche Varietät mit Führer 3¹⁰

Verifikation der Modularität der Jacobi-Varietät der Geschlecht-2-Kurve mit Etikett 59049.a.177147.1.

Rechnerische Effizienz

1. Speichernutzung: Reduktion von 52GB auf 600MB (durch optimierte Untermodul-Berechnung)
2. Erweiterungskörpergröße: Deutlich kleiner als theoretische Schranken
3. Praktische Durchführbarkeit: Erste Realisierung der automatisierten Anwendung der 3-adischen Faltings-Serre-Methode

Verwandte Arbeiten

Historische Entwicklung

1. Faltings (1983): Etablierung des grundlegenden theoretischen Rahmens
2. Serre: Vorschlag von Rechenmethoden für den GL₂(ℚ₂)-Fall
3. Livné (1987): Erweiterung auf 2-adische 2-dimensionale residuell reduzierbare Fälle
4. Grenié (2007): Verallgemeinerung auf beliebige $p$-adische $n$-dimensionale Fälle
5. Duan (2021): Varianten-Methoden unter Nutzung spezieller Strukturen

Position dieser Arbeit

Diese Arbeit ist die erste vollständig automatisierte Implementierung von Gréniés allgemeiner Theorie mit erfolgreicher Anwendung auf praktische Modularitätsprobleme.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Theoretischer Beitrag: Erfolgreiche Realisierung eines automatisierten Algorithmus zum Vergleich von Galois-Darstellungen im residuell reduzierbaren Fall
2. Rechnerischer Durchbruch: Signifikante Reduktion der Rechenkomplexität durch verbesserte Erweiterungskörper-Konstruktion
3. Praktische Anwendung: Erste erfolgreiche Anwendung der 3-adischen Methode zum Beweis der Modularität abelscher Varietäten

Einschränkungen

1. GRH-Abhängigkeit: Die meisten Berechnungen erfordern weiterhin die Annahme der verallgemeinerten Riemann-Hypothese
2. Parameterbeschränkungen: Nur anwendbar auf Fälle, in denen das residuelle Bild eine $p$-Gruppe ist
3. Rechenkomplexität: Für große Parameter immer noch rechnerisch intensiv

Zukünftige Richtungen

1. Vermeidung der GRH: Suche nach mehr Fällen, die nicht von der GRH abhängen
2. Algorithmus-Optimierung: Weitere Reduktion der Rechenkomplexität
3. Anwendungserweiterung: Anwendung auf weitere Modularitätsprobleme
4. Datenbankaufbau: Vorberechnung für häufig verwendete Parameter

Tiefgreifende Bewertung

Stärken

1. Theorie und Praxis kombiniert: Umwandlung tiefgreifender theoretischer Ergebnisse in praktische Algorithmen
2. Technische Innovationen: Wichtige Innovationen in Speicheroptimierung und Algorithmus-Design
3. Praktischer Wert: Lösung konkreter Modularitätsprobleme mit Nachweis der praktischen Anwendbarkeit
4. Open-Source-Beitrag: Vollständige Code-Implementierung fördert Forschungsreproduzierbarkeit

Mängel

1. Rechnerische Einschränkungen: Für größere Parameter immer noch undurchführbar
2. Theoretische Annahmen: Starke Abhängigkeit von der GRH und anderen unbewiesenen Annahmen
3. Anwendungsbereich: Beschränkung auf spezifische Arten von Galois-Darstellungen

Einflussfähigkeit

1. Akademischer Wert: Bereitstellung neuer Werkzeuge für Rechnerprobleme in der algebraischen Zahlentheorie
2. Praktischer Wert: Anwendbar zur Verifikation der Modularität elliptischer Kurven und abelscher Varietäten
3. Methodologischer Beitrag: Exemplarische Demonstration, wie theoretische Ergebnisse algorithmisiert werden

Anwendungsszenarien

1. Modularitätsverifikation: Modularitätsbeweise für elliptische Kurven und abelsche Varietäten
2. Galois-Darstellungs-Vergleich: Isomorphie-Entscheidung unter spezifischen Parametern
3. Theoretische Verifikation: Rechnerische Verifikation bekannter Ergebnisse

Literaturverzeichnis

Die Arbeit zitiert 17 wichtige Referenzen, einschließlich Faltings' grundlegender Arbeiten, Gréniés theoretischer Beiträge und verwandter Entwicklungen in Rechenmethoden. Besonders wichtig sind Grenié (2007) für die ursprüngliche Theorie und van Geemen-Top (1994) für bereitgestellte Testbeispiele.