2025-11-24T13:07:17.437469

Fundamental domains for quaternionic S-arithmetic groups over totally real fields

Masdeu, Torrents
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $Γ$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$ inside $B$. We give an algorithm to compute the fundamental domain for the action of $Γ$ on the Bruhat-Tits tree of $\operatorname{GL}_2(F_\mathfrak{p})$. Using this, we tabulate Shimura curves of genus up to $3$ over any totally real field which can be $\mathfrak{p}$-adically uniformized for some prime $\mathfrak{p}$.
academic

Fundamentalbereiche für quaternionische S-arithmetische Gruppen über total reellen Körpern

Grundinformationen

  • Paper-ID: 2510.09356
  • Titel: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
  • Autoren: Marc Masdeu, Eloi Torrents
  • Klassifikation: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 13. Oktober 2025
  • Paper-Link: https://arxiv.org/abs/2510.09356

Zusammenfassung

Sei BB eine total definite Quaternionenalgebra über einem total reellen Körper FF, p\mathfrak{p} ein Primideal von FF, und Γ\Gamma die Gruppe der Elemente mit reduzierter Norm 1 in einer Eichler-OF[1/p]\mathcal{O}_F[1/\mathfrak{p}]-Ordnung RR in BB. Der vorliegende Artikel präsentiert einen Algorithmus zur Berechnung des Fundamentalbereichs der Wirkung von Γ\Gamma auf dem Bruhat-Tits-Baum von GL⁡2(Fp)\operatorname{GL}_2(F_\mathfrak{p}). Mit Hilfe dieses Algorithmus tabellierten die Autoren alle Shimura-Kurven vom Geschlecht höchstens 3 über total reellen Körpern, die durch einen Primideal p\mathfrak{p} weiter uniformisiert werden können.

Forschungshintergrund und Motivation

  1. Kernproblem: Der zentrale Gegenstand dieser Arbeit ist die Berechnung von Fundamentalbereichen der Wirkung quaternionischer S-arithmetischer Gruppen auf Bruhat-Tits-Bäumen. Dies ist ein wichtiges Rechenproblem in der algebraischen Zahlentheorie und der Theorie automorpher Formen.
  2. Bedeutung:
    • Die Struktur der schlechten speziellen Fasern von Shimura-Kurven mit schlechter Reduktion wird durch diese Fundamentalbereiche kodiert
    • Die Berechnung von Fundamentalbereichen ist entscheidend für das Verständnis der p-adischen Uniformisierung von Shimura-Kurven
    • Diese Rechenergebnisse können zur Bestimmung aller Shimura-Kurven in einem bestimmten Geschlechtsbereich verwendet werden
  3. Einschränkungen bestehender Methoden:
    • Frühere Algorithmen konzentrierten sich hauptsächlich auf den Fall des rationalen Zahlkörpers Q\mathbb{Q}
    • Für den allgemeinen Fall total reeller Körper fehlten effektive Rechenmethoden
    • Bestehende Methoden zeigen geringe Effizienz bei der Behandlung von Fällen höheren Geschlechts
  4. Forschungsmotivation:
    • Verallgemeinerung des Franc-Masdeu-Algorithmus auf den Fall total reeller Körper
    • Bereitstellung einer systematischen Methode zur Berechnung und Klassifikation von Shimura-Kurven niedrigen Geschlechts
    • Bereitstellung von Rechenwerkzeugen für die p-adische Theorie von Shimura-Kurven

Kernbeiträge

  1. Algorithmische Innovation: Verallgemeinerung des Franc-Masdeu-Algorithmus auf Quaternionenalgebren über total reellen Körpern mit Bereitstellung eines vollständigen Algorithmus zur Berechnung von Fundamentalbereichen
  2. Theoretische Entwicklung:
    • Bereitstellung effektiver Methoden zur Bestimmung der Äquivalenz zweier Knoten oder Kanten unter der Gruppenwirkung auf dem Bruhat-Tits-Baum
    • Angabe standardisierter Methoden zur Matrixdarstellung von Knoten und Kanten des Bruhat-Tits-Baums
  3. Rechenergebnisse: Systematische Berechnung und Tabellarisierung aller p-adisch uniformisierbaren Shimura-Kurven vom Geschlecht höchstens 3 über total reellen Körpern vom Grad 2–7
  4. Softwareimplementierung: Bereitstellung einer SageMath-Implementierung, die es anderen Forschern ermöglicht, den Algorithmus zu verwenden und zu überprüfen

Methodische Details

Aufgabendefinition

Gegeben ein total reeller Körper FF, eine total definite Quaternionenalgebra BB über FF, ein Primideal p\mathfrak{p} und eine Eichler-Ordnung RR, berechne den Fundamentalbereich der Wirkung der Gruppe Γ=ι(R[1/p]×1)⊆SL2(Fp)\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p}) der Elemente mit reduzierter Norm 1 auf dem Bruhat-Tits-Baum TpT_\mathfrak{p}.

Kernalgorithmus-Architektur

1. Darstellung des Bruhat-Tits-Baums

  • Knotendarstellung: Homotopieklassen [Λ][Λ], wobei Λ⊆Fp2Λ \subseteq F_\mathfrak{p}^2 ein Gitter ist
  • Standardisierte Darstellung: Verwendung von 2×22 \times 2-Matrizen über OF\mathcal{O}_F zur Darstellung von Knoten und Kanten

Lemma 2.2: Knoten können durch Matrizen der Form (πm0rπn)\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix} oder (0πmπnr)\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix} dargestellt werden, wobei r∈Snr \in S_n.

2. Äquivalenzbestimmungsalgorithmus

Das Kernproblem besteht darin, zu bestimmen, ob zwei Knoten/Kanten u,vu, v ΓΓ-äquivalent sind, d.h. ob ein γ∈Γγ \in Γ existiert, so dass ι(γ)u=v\iota(γ)u = v.

Lemma 3.2: Setze 2m=a+b2m = a + b, wobei a=valπ(det⁡u)a = \text{val}_\pi(\det u), b=valπ(det⁡v)b = \text{val}_\pi(\det v), dann gilt HomΓ(u,v)=Γ∩π−mv∗Λ0u\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u

Kernalgorithmus-Schritte:

  1. Konstruktion des Gitters Λu,v=ι−1(πhv∗Λ0u)∩R+pd⌈m/d⌉+1RΛ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}R
  2. Suche nach Elementen mit reduzierter Norm δ2⌈m/d⌉δ^{2⌈m/d⌉}
  3. Verwendung des LLL-Algorithmus zur Lösung des kürzesten Vektorproblems

3. Fundamentalbereich-Berechnungsalgorithmus

Algorithmus 2 – Hauptablauf:

  1. Beginn mit Basispunkt v0v_0
  2. Für jeden zu verarbeitenden Knoten: Überprüfung aller ausgehenden Kanten
  3. Verwendung der Äquivalenzbestimmung zur Feststellung, ob neue Kanten/Knoten bereits im Fundamentalbereich enthalten sind
  4. Aufzeichnung von Randbedingungen, Berechnung des Geschlechts
  5. Wiederholung bis alle Knoten verarbeitet sind

Technische Innovationen

  1. Standardisierung der Matrixdarstellung: Durch Lemma 2.2 wird die Berechnung p-adischer Matrizen in Berechnungen über dem ganzzahligen Ring transformiert, was die Implementierungskomplexität erheblich vereinfacht
  2. Anwendung von Gittermethoden: Das Äquivalenzbestimmungsproblem wird in das Problem der Suche nach Elementen mit spezifischer Norm in einem bestimmten Gitter transformiert, das effizient mit dem LLL-Algorithmus gelöst wird
  3. Vorberechnung von Randdaten: Durch Vorberechnung von Reduktionsinformationen der Randschicht wird die Reduktionskomplexität eines beliebigen Knotens auf O(dist(v))O(\text{dist}(v)) reduziert
  4. Geschlechtskontrolle: Der Algorithmus kann eine maximale Geschlechtsbeschränkung setzen, um die Berechnung zu komplexer Fälle zu vermeiden

Experimentelle Einrichtung

Datenbereich

  • Körpergrad: Total reelle Körper vom Grad 2–7
  • Geschlechtsbereich: 0–3
  • Primzahlbedingungen: Unverzweigte Primzahlen mit Trägheitsgrad 1

Rechnerische Umgebung

  • Hardware: Apple M4-Prozessor, 16 GB RAM
  • Software: SageMath-Implementierung
  • Algorithmusoptimierung: Verwendung von LLL-Algorithmus und Gittertechniken

Bewertungskriterien

  1. Recheneffizienz: Laufzeit von Algorithmus 1 auf Knoten verschiedener Entfernungen
  2. Abdeckungsvollständigkeit: Gewährleistung der Klassifikationsvollständigkeit durch die Selberg-Zograf-Schranke
  3. Ergebnisverifikation: Überprüfung der Rechenergebnisse durch mehrere Methoden

Experimentelle Ergebnisse

Hauptrechenergebnisse

Tabelle 1: Statistik der entdeckten Shimura-Kurven

KörpergradGeschlecht 0Geschlecht 1Geschlecht 2Geschlecht 3
218413446
37371137
429506153
50022
627128
70000
Gesamt56135120146

Leistungsanalyse

  • Algorithmuseffizienz: Die Laufzeit von Algorithmus 1 wächst langsam mit der Knotenentfernung, was auf gute Skalierbarkeit des Algorithmus hindeutet
  • Großflächige Berechnungen: Erfolgreiche Berechnung eines Fundamentalbereichs vom Geschlecht 65 (16 Knoten, 80 Kanten) in etwa 30 Sekunden

Konkrete Beispiele

  1. Quadratischer Körper Q(97)\mathbb{Q}(\sqrt{97}):
    • Primideal p=(10−97)\mathfrak{p} = (10-\sqrt{97})
    • Relativ einfache Fundamentalbereich-Struktur
  2. Quadratischer Körper Q(5)\mathbb{Q}(\sqrt{5}):
    • Primideal p=(35−12)\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})
    • Quaternionenalgebra-Diskriminante N−=(21)N^- = (21)
    • Ergebnis: Shimura-Kurve vom Geschlecht 65

Vollständigkeitsverifikation

Verwendung der Selberg-Zograf-Schranke: A<643(g+1)A < \frac{64}{3}(g+1) wobei die Flächenformel gegeben ist durch: A=4(2π)2ndF3/2ζF(2)Φ(pN−)Ψ(N+)A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)

Diese Schranke gewährleistet die Vollständigkeit der Klassifikation.

Verwandte Arbeiten

Hauptforschungsrichtungen

  1. Bruhat-Tits-Baumtheorie: Serres Grundlagentheorie bietet den mathematischen Rahmen für diese Arbeit
  2. P-adische Uniformisierung von Shimura-Kurven: Das Čerednik-Drinfel'd-Theorem bietet die theoretische Grundlage
  3. Rechnerische algebraische Geometrie: Der ursprüngliche Franc-Masdeu-Algorithmus ist der Ausgangspunkt dieser Arbeit

Beziehung zu verwandten Arbeiten

  • Verallgemeinerung: Diese Arbeit verallgemeinert den FM14-Algorithmus vom rationalen Zahlkörper auf allgemeine total reelle Körper
  • Systematik: Im Vergleich zu Voights Klassifikationsarbeit bietet diese Arbeit eine systematischere Rechenmethode
  • Praktikabilität: Bereitstellung einer verwendbaren Softwareimplementierung zur Erleichterung der Nutzung durch andere Forscher

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Erfolgreiche Verallgemeinerung des Algorithmus zur Berechnung von Fundamentalbereichen des Bruhat-Tits-Baums auf den Fall total reeller Körper
  2. Systematische Berechnung einer vollständigen Klassifikation von Shimura-Kurven niedrigen Geschlechts
  3. Verifikation der Effizienz und Skalierbarkeit des Algorithmus

Einschränkungen

  1. Rechenkomplexität: Die Rechenkomplexität bleibt für Fälle höheren Geschlechts relativ hoch
  2. Primzahlbeschränkungen: Der Algorithmus erfordert unverzweigte Primzahlen mit Trägheitsgrad 1
  3. Speicheranforderungen: Großflächige Berechnungen erfordern erhebliche Speicherunterstützung

Zukünftige Richtungen

  1. Verallgemeinerung auf den Fall allgemeiner Primzahlen
  2. Optimierung des Algorithmus zur Behandlung von Fällen höheren Geschlechts
  3. Anwendung auf die explizite Berechnung von Shimura-Kurvenbeschreibungen

Tiefgreifende Bewertung

Stärken

  1. Theoretischer Beitrag: Erfolgreiche Lösung des wichtigen Problems der Berechnung von Fundamentalbereichen quaternionischer S-arithmetischer Gruppen über total reellen Körpern
  2. Algorithmische Innovation: Geschickte Transformation p-adischer Berechnungen in Berechnungen über dem ganzzahligen Ring, was die Implementierung erheblich vereinfacht
  3. Systematik: Bereitstellung vollständiger Klassifikationsergebnisse von erheblichem Referenzwert
  4. Praktikabilität: Open-Source-Implementierung ermöglicht Verifikation und weitere Verwendung der Ergebnisse

Schwächen

  1. Primzahlbeschränkungen: Starke Beschränkungen an Primzahlen begrenzen die Universalität der Methode
  2. Komplexitätsanalyse: Mangel an detaillierter theoretischer Komplexitätsanalyse
  3. Hochgeschlecht-Einschränkungen: Verbesserungsbedarf bei der Behandlungseffizienz für Fälle höheren Geschlechts

Einfluss

  1. Akademischer Wert: Bereitstellung wichtiger Rechenwerkzeuge für die Shimura-Kurven-Theorie
  2. Anwendungsperspektiven: Anwendbarkeit auf Kryptographie, Kodierungstheorie und verwandte Bereiche
  3. Reproduzierbarkeit: Vollständige Open-Source-Implementierung ermöglicht Verifikation und Erweiterung

Anwendungsszenarien

  1. Explizite Berechnung und Klassifikation von Shimura-Kurven
  2. Rechnerische Forschung zu Quaternionenalgebren
  3. Numerische Berechnung p-adischer automorpher Formen
  4. Konkrete Rechnerprobleme in der algebraischen Zahlentheorie

Literaturverzeichnis

Diese Arbeit bezieht sich hauptsächlich auf folgende wichtige Literatur:

  • FM14 Franc-Masdeu-Originalarbeit zur Berechnung von Fundamentalbereichen von GL2(Qp)\text{GL}_2(\mathbb{Q}_p)
  • Ser03 Serres klassische Baumtheorie
  • Voi09 Voights Klassifikationsarbeit zu Shimura-Kurven niedrigen Geschlechts
  • Mil15 Miliones Theorie zur p-adischen Uniformisierung von Shimura-Kurven

Gesamtbewertung: Dies ist ein hochqualitatives Papier der rechnerischen Zahlentheorie, das erfolgreich ein wichtiges theoretisches Rechenproblem löst und systematische Klassifikationsergebnisse liefert. Der Algorithmus ist geschickt konzipiert, die Implementierung vollständig, und die Arbeit leistet wichtige Beiträge zu verwandten Bereichen.