2025-11-15T20:25:11.820002

On $λ$-invariants of congruent modular forms in the anticyclotomic, indefinite setting

Nguyen
We give a precise, computable formula for comparing $λ$-invariants between modular forms in the anticyclotomic indefinite setting where the Selmer groups have positive rank. This is an improvement of Hatley-Lei \cite{HL19, HL21} where the authors give a formula with incomputable error terms.
academic

Über λ-Invarianten kongruenter Modulformen in der antizyklotomischen indefiniten Einstellung

Grundinformationen

  • Papier-ID: 2510.12890
  • Titel: On λ-invariants of congruent modular forms in the anticyclotomic indefinite setting
  • Autor: Dac-Nhan-Tam Nguyen (University of British Columbia)
  • Klassifizierung: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2510.12890v1

Zusammenfassung

Dieses Papier liefert eine exakte, berechenbare Formel zum Vergleich von λ-Invarianten von Modulformen in der antizyklotomischen indefiniten Einstellung, wobei die Selmer-Gruppe positiven Rang hat. Dies stellt eine Verbesserung der Arbeiten von Hatley-Lei 11, 12 dar, deren Formeln nicht berechenbare Fehlerterme enthielten.

Forschungshintergrund und Motivation

Kernproblem

Die Forschung befasst sich damit, wie man in dem antizyklotomischen Iwasawa-Theorie-Rahmen, wenn die Selmer-Gruppe positiven Rang hat, λ-Invarianten zwischen Modulformen mit isomorphen Restdarstellungen exakt vergleicht.

Bedeutung des Problems

  1. Theoretische Bedeutung: In der Iwasawa-Theorie sind μ- und λ-Invarianten wichtige Invarianten zur Charakterisierung der p-adischen Eigenschaften arithmetischer Objekte, besonders in der Untersuchung elliptischer Kurven und Modulformen
  2. Rechnerische Bedeutung: Exakte berechenbare Formeln sind entscheidend für die Überprüfung theoretischer Vorhersagen und konkrete Berechnungen
  3. Verallgemeinerungswert: Die Verallgemeinerung vom Fall der Cotorsion zum Fall positiven Rangs stellt einen wichtigen Fortschritt in diesem Bereich dar

Einschränkungen bestehender Methoden

Hatley-Lei untersuchten in 11, 12 das gleiche Problem, doch ihre Ergebnisse enthielten nicht berechenbare Fehlerterme cL(·), was die praktische Anwendbarkeit der Formel einschränkte. Konkret lautete ihre Formel:

λL(f) + cL(f) + ∑v∈Σ₀ dimκ A^Iv_f/ϖA^Iv_f = λL(g) + cL(g) + ∑v∈Σ₀ dimκ A^Iv_g/ϖA^Iv_g

Forschungsmotivation

Das Ziel dieses Papiers ist es, diese nicht berechenbaren Fehlerterme zu eliminieren und eine vollständig exakte und berechenbare Vergleichsformel für λ-Invarianten bereitzustellen.

Kernbeiträge

  1. Exakte Formel: Liefert eine exakte, berechenbare Formel zum Vergleich von λ-Invarianten in der antizyklotomischen indefiniten Einstellung (Satz 3.5)
  2. Technische Verbesserung: Verbessert bestehende Techniken, die nur den Fall der Cotorsion effektiv behandeln können
  3. Konkrete Anwendungen: Bietet konkrete Rechenbeispiele für elliptische Kurven (Abschnitt 4), die die theoretischen Ergebnisse verifizieren
  4. Fehlerkorrektur: Identifiziert und korrigiert einen Fehler in der Literatur von Hatley-Lei (Anhang A)

Methodische Erläuterung

Aufgabendefinition

Seien f₁ ∈ S₂r₁(Γ₀(N₁)), f₂ ∈ S₂r₂(Γ₀(N₂)) Modulformen, die folgende Bedingungen erfüllen:

  • Heegner-Hypothese: Jede Primzahl ℓ, die N teilt, spaltet sich in K/Q
  • Zulässigkeitsbedingung: p verzweigt sich nicht in F und erfüllt spezifische Teilbarkeitsbedingungen
  • Irreduzibilitätsbedingung: Die Restdarstellung ρ̄f ist absolut irreduzibel

Hauptsatz

Satz 3.5: Seien f₁, f₂ die obigen Bedingungen erfüllend, und ρ̄f₁ ≃ ρ̄f₂, μ(f₁) = μ(f₂) = 0. Angenommen, X(K,Af₁), X(K,Af₂) haben keine nicht-trivialen endlichen Untermoduln, dann:

λ(f₁) + 2∑ℓ|N₁N₂ λℓ(f₁) = λ(f₂) + 2∑ℓ|N₁N₂ λℓ(f₂)

wobei λℓ(fi) die in Definition 3.4 definierten lokalen Konstanten sind.

Technische Innovationspunkte

1. Schlüssellemma (Lemma 3.1)

Beweist, dass unter der Annahme, dass X(K,A)tors keinen nicht-trivialen endlichen Untermodul hat, für ein Primideal P der Höhe 1 die Länge lengthP(coker(locp)) nur von der Restdarstellung ρ̄f abhängt.

2. Neue Analysemethode

Durch das Studium des kommutativen Diagramms:

0 → coker(locp) ⊗ Ω → X∅,Gr(K,A) ⊗ Ω → X(K,A) ⊗ Ω → 0
    ↓ α                    ↓ β∅,Gr              ↓ βGr,Gr
0 → coker(locp)        → X∅,Gr(K,A[ϖ])    → X(K,A[ϖ])    → 0

wird die Surjektivität der Abbildung α bewiesen, wodurch die erforderlichen Isomorphismusbeziehungen etabliert werden.

3. Exakte Berechnung lokaler Konstanten

Für eine Primzahl ℓ, die sich spaltet, wird definiert:

  • Wenn ℓ ∤ N: Pv(f)(X) = 1 - aℓ(f)X + ℓ·X²
  • Wenn ℓ | N: Pv(f)(X) = 1 - aℓ(f)X

λℓ(f) wird als die Vielfachheit von X = ℓ⁻¹ als Wurzel von Pv(f)(X) (mod ϖ) definiert.

Experimentelle Einrichtung

Numerische Verifikationsbeispiel

Beispiel 4.1: Nehmen Sie K = Q(√-51), p = 5, betrachten Sie die elliptischen Kurven:

  • E₁: Cremona-Etikett 19a1
  • E₂: Cremona-Etikett 817b1

Verifikationsbedingungen

Verwendung von SageMath zur Verifizierung:

  1. E₁p ≃ E₂p (durch Vergleich von Modulformenkoeffizienten bis zur Sturm-Grenze)
  2. E₁ erfüllt die Annahmen von 19, Satz 0.16, daher ist Sel(E₁/K∞) co-frei
  3. Beide elliptischen Kurven erfüllen die Zulässigkeitsbedingungen

Berechnungsprozess

  1. λ(E₁) = 0: Da E₁ die Co-Freiheitsbedingung erfüllt
  2. Berechnung lokaler λ-Invarianten:
    • ℓ = 19: Beide Kurven haben multiplikative Reduktion mit Spaltung, λℓ(Ei) = 0
    • ℓ = 43: E₁ hat gute gewöhnliche Reduktion, berechnet λ₄₃(E₁) = 1; E₂ hat multiplikative Reduktion mit Spaltung, λ₄₃(E₂) = 0

Experimentelle Ergebnisse

Hauptrechenergebnisse

Durch die Formel (4.1): λ(E₁) + 2∑ℓ|N₁N₂ λℓ(E₁) = λ(E₂) + 2∑ℓ|N₁N₂ λℓ(E₂)

Einsetzen der berechneten Werte: 0 + 2(0 + 1 + 0) = λ(E₂) + 2(0 + 0 + 0)

Ergebnis: λ(E₂) = 2

Technische Verifizierung

  1. Primzahlzerlegungsberechnung: Verwendung von 2, Satz 2(a) zur Berechnung der Primzahlzerlegung in der antizyklotomischen Erweiterung
  2. Klassenzahlberechnung: Klassenzahl von K ist hK = 2
  3. Lokale Parameter: Berechnet sℓ = 1

Verwandte Arbeiten

Hauptforschungsrichtungen

  1. Zyklotomischer Fall: Greenberg-Vatsal 10, Emerton-Pollack-Weston 8
  2. Antizyklotomischer definiter Fall: Pollack-Weston 22, Castella-Kim-Longo 6
  3. Antizyklotomischer indefiniter Fall: Hatley-Lei 11, 12

Verbesserungen in diesem Papier

Im Vergleich zur Arbeit von Hatley-Lei:

  1. Eliminiert nicht berechenbare Fehlerterme cL(·)
  2. Liefert vollständig exakte Formeln
  3. Bietet konkrete numerische Verifikationen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. In der antizyklotomischen indefiniten Einstellung wird eine exakte Formel zum Vergleich von λ-Invarianten gegeben
  2. Diese Formel ist vollständig berechenbar ohne Fehlerterme
  3. Die theoretischen Ergebnisse werden durch Beispiele elliptischer Kurven verifiziert

Einschränkungen

  1. Annahmebedingungen: Erfordert die stärkere Annahme, dass die Selmer-Gruppe keinen nicht-trivialen endlichen Untermodul hat
  2. Anwendungsbereich: Hauptsächlich anwendbar auf Fälle, die die Heegner-Hypothese erfüllen
  3. Rechenkomplexität: Obwohl theoretisch berechenbar, kann die praktische Berechnung immer noch komplex sein

Zukünftige Richtungen

  1. Verallgemeinerung auf Hida-Familien: Der Autor erwähnt, dass weitere Forschung aus der Perspektive von Hida-Familien möglich ist
  2. Schwache Heegner-Hypothese: Kann auf Fälle verallgemeinert werden, in denen bestimmte Primzahlen in K träge sind
  3. Allgemeinere Einstellungen: Mögliche Verallgemeinerung auf allgemeinere arithmetisch-geometrische Objekte

Tiefgehende Bewertung

Stärken

  1. Theoretischer Durchbruch: Erfolgreiche Eliminierung der nicht berechenbaren Fehlerterme aus früheren Arbeiten, was einen wichtigen theoretischen Fortschritt darstellt
  2. Methodische Innovation: Verbesserte Techniken sind nicht nur auf den Cotorsion-Fall anwendbar, sondern können auch den Fall positiven Rangs behandeln
  3. Praktischer Wert: Die bereitgestellte Formel ist vollständig berechenbar und hat praktischen Anwendungswert
  4. Strenge: Die mathematischen Argumente sind rigoros und werden durch konkrete numerische Verifikationen unterstützt

Schwächen

  1. Annahmebeschränkungen: Die Annahme "keine nicht-trivialen endlichen Untermoduln" ist relativ stark und kann den Anwendungsbereich einschränken
  2. Rechenkomplexität: Obwohl theoretisch berechenbar, kann die Berechnung für allgemeine Fälle immer noch sehr komplex sein
  3. Verallgemeinerbarkeit: Konzentriert sich derzeit auf spezifische antizyklotomische Einstellungen; die Verallgemeinerung auf andere Fälle erfordert weitere Arbeiten

Einfluss

  1. Theoretischer Beitrag: Bietet neue exakte Werkzeuge für die antizyklotomische Iwasawa-Theorie
  2. Praktischer Wert: Bietet praktikable Methoden für konkrete Berechnungen zu elliptischen Kurven und Modulformen
  3. Nachfolgeforschung: Legt den Grundstein für weitere Forschung in diesem Bereich

Anwendungsszenarien

  1. Elliptische-Kurven-Forschung: Besonders geeignet für elliptische Kurven, die die Heegner-Hypothese erfüllen
  2. Modulformen-Theorie: Anwendbar auf den Vergleich von Modulformen mit isomorphen Restdarstellungen
  3. Rechnerische Zahlentheorie: Bietet theoretische Grundlagen für verwandte numerische Berechnungen

Ergänzende technische Details

Definitionsstruktur

Das Papier etabliert einen vollständigen technischen Rahmen:

  • Selmer-Gruppen: Definiert verschiedene Selmer-Gruppen unter verschiedenen lokalen Bedingungen
  • Duale Strukturen: Verwendet Pontryagin-Dualität zur Etablierung entsprechender dualer Gruppen
  • Iwasawa-Algebra: Untersucht Invarianten im Iwasawa-Algebra-Rahmen

Beweistechniken

  1. Globale Dualitätstheorie: Nutzt globale Dualität zur Etablierung kurzer exakter Sequenzen
  2. Lokale Analyse: Detaillierte Analyse des lokalen Verhaltens an jedem Primideal
  3. Homologische Algebra: Verwendet homologische Algebra-Methoden zur Behandlung komplexer algebraischer Strukturen

Dieses Papier leistet einen wichtigen Beitrag zum Bereich der antizyklotomischen Iwasawa-Theorie. Es löst nicht nur technische Probleme früherer Arbeiten, sondern bietet auch vollständig berechenbare exakte Formeln, die sowohl für die theoretische Entwicklung als auch für praktische Anwendungen in diesem Bereich von großem Wert sind.