Iwasawa invariants of Bertolini--Darmon Theta Elements

Technische Zusammenfassung: Iwasawa-Invarianten von Bertolini–Darmon-Theta-Elementen

Problembeschreibung
Dieser Artikel untersucht die Iwasawa-Invarianten ($\mu$ und $\lambda$) von Bertolini–Darmon-Theta-Elementen, die zu Modulformen $f \in S_2(\Gamma_0(N))$ vom Gewicht zwei im antizyklotomischen $\mathbb{Z}_p$-Erweiterung eines imaginär-quadratischen Körpers $K$ gehören. Die Studie behandelt zwei verschiedene Reduktionsszenarien an einer Primzahl $p \geq 5$: den gewöhnlichen Fall und den nicht-gewöhnlichen Fall.

Die Arbeit zielt darauf ab, bekannte Ergebnisse aus dem zyklotomischen Kontext (insbesondere diejenigen von Pollack–Weston und Leonard–Lei) auf den antizyklotomischen Kontext zu erweitern. Im zyklotomischen Kontext ist bekannt, dass die Iwasawa-Invarianten von Mazur-Tate-Elementen mit den Invarianten von $p$-adischen $L$-Funktionen zusammenhängen. Dieser Artikel strebt an, analoge Beziehungen für Bertolini–Darmon-Theta-Elemente ($L_{f,n}$) und die zugehörigen antizyklotomischen $p$-adischen $L$-Funktionen ($L_p(f, K_\infty)$ oder $L_p(f, K)^\ast$) herzustellen.

Methodik
Die Autoren verwenden eine Kombination aus algebraischer Iwasawa-Theorie und der Arithmetik von Modulformen auf definiten Quaternionenalgebren.

1. Aufbau und Definitionen:

   • Die Autoren fixieren einen imaginär-quadratischen Körper $K$ und eine in $K$ unverzweigte Primzahl $p$. Das Niveau $N$ wird in $N = N^+ N^-$ zerlegt, wobei die Primteiler von $N^+$ in $K$ zerfallen und die Primteiler von $N^-$ träge sind. $N^-$ wird als quadratfrei und als Produkt einer ungeraden Anzahl von Primzahlen angenommen.
   • Bertolini–Darmon-Theta-Elemente $L_{f,n} \in \mathcal{O}[Gal(K_n/K)]$ werden über die Jacquet–Langlands-Korrespondenz definiert, wobei die Modulform $f$ mit einer Funktion auf dem Bruhat–Tits-Baum identifiziert wird, der zu einer definiten Quaternionenalgebra mit Diskriminante $N^-$ gehört.
   • Diese Elemente erfüllen eine Dreiterm-Rekursionsbeziehung, die den Hecke-Eigenwert $a_p(f)$ und Normabbildungen beinhaltet.

2. Gewöhnlicher Fall:

   • Wenn $f$ an $p$ gewöhnlich ist, nutzen die Autoren $p$-stabilisierte Theta-Elemente ($L_{f\alpha, n}$), um die antizyklotomische $p$-adische $L$-Funktion $L_p(f/K_\infty)$ als projektiven Limes zu definieren.
   • Sie analysieren die Beziehung zwischen den Invarianten der Elemente endlicher Stufe $L_{f,n}$ und der $L$-Funktion unendlicher Stufe unter Verwendung von Eigenschaften der Iwasawa-Algebra $\Lambda \cong \mathcal{O}[[T]]$ und spezifischer Lemmata bezüglich des Verhaltens von $\mu$ und $\lambda$ unter Projektion und Normabbildungen.

3. Nicht-gewöhnlicher Fall:

   • In diesem Setting nehmen die Autoren an, dass $p$ in $K$ zerfällt. Sie konstruieren „Sprung-artige" Logarithmenmatrizen ($M_{f,n}$), um die Theta-Elemente mit den integralen $\sharp/\flat$ $p$-adischen $L$-Funktionen ($L_p^\sharp(f, K_\infty)$ und $L_p^\flat(f, K_\infty)$) in Beziehung zu setzen.
   • Ein entscheidender technischer Schritt besteht darin, die Kongruenz der Theta-Elemente modulo $\omega_n$ (wobei $\omega_n = (1+T)^{p^n}-1$) in Bezug auf die $\sharp/\flat$ $L$-Funktionen zu analysieren. Dies ermöglicht es den Autoren, $L_{f,n}$ als Produkt eines zyklotomischen Polynomfaktors ($\omega_n^\pm$) und der $L$-Funktionselemente auszudrücken.
   • Die Autoren unterscheiden Fälle basierend darauf, ob $a_p(f) = 0$ oder $a_p(f) \not\equiv 0 \pmod{\varpi}$ gilt, wobei sie die Tatsache nutzen, dass im nicht-gewöhnlichen Setting $a_p(f) \equiv 0 \pmod{\varpi}$ gilt, um Matrizenrelationen zu vereinfachen.

Hauptbeiträge und Ergebnisse

• Gewöhnlicher Fall (Satz A / Satz 4.1):
  Die Autoren beweisen ein Analogon zum Ergebnis von Pollack–Weston für den antizyklotomischen Kontext. Unter der Annahme, dass $f$ gute gewöhnliche Reduktion besitzt und $\mu(L_p(f/K_\infty)) = 0$ gilt, stellen sie für hinreichend große $n$ fest:

  1. $\mu(L_{f,n}) = 0$.
  2. $2\lambda(L_{f,n}) = \lambda(L_p(f/K_\infty))$.
     Dies bestätigt, dass die $\lambda$-Invariant des Theta-Elements genau die Hälfte derjenigen der $p$-adischen $L$-Funktion beträgt, während die $\mu$-Invariant verschwindet, wenn die $\mu$-Invariant der $L$-Funktion verschwindet.

• Nicht-gewöhnlicher Fall (Satz B / Satz 5.10):
  Die Autoren erweitern die Ergebnisse von Leonard–Lei auf den antizyklotomischen Kontext. Unter der Annahme, dass $p$ in $K$ zerfällt und $\mu(L_p^\sharp) = \mu(L_p^\flat) \neq \infty$ gilt, setzen sie die Invarianten von $L_{f,n}$ in Beziehung zu denen der $\sharp/\flat$ $L$-Funktionen ($L_p(f, K)^\ast$).
  Für hinreichend große $n$ (wobei die Parität von $n$ bestimmt, welcher Ast, $\sharp$ oder $\flat$, aktiv ist):

  1. $\mu(L_p(f, K)^\ast) = 2\mu(L_{f,n})$.
  2. $\lambda(L_p(f, K)^\ast) = 2\lambda(L_{f,n}) = 2\lambda(L^\ast_f) + 2q_n$.
     Hier ist $q_n$ ein spezifisches Polynom in $p$, das von der Parität von $n$ abhängt (z. B. $p^{n-1} - p^{n-2} + \dots - 1$ für gerade $n$).

Bedeutung und Behauptungen
Der Artikel behauptet, die bekannten zyklotomischen Ergebnisse von Pollack–Weston und Leonard–Lei erfolgreich auf die antizyklotomische Erweiterung eines imaginär-quadratischen Körpers verallgemeinert zu haben. Durch die Etablierung präziser Formeln, die die Iwasawa-Invarianten von Bertolini–Darmon-Theta-Elementen endlicher Stufe mit den Invarianten der entsprechenden $p$-adischen $L$-Funktionen verknüpfen, liefert die Arbeit ein tieferes Verständnis der arithmetischen Eigenschaften dieser Elemente im nicht-gewöhnlichen Fall.

Die Autoren weisen darauf hin, dass die Beweisstrategie darauf beruht, die Theta-Elemente mittels Sprung-artiger Matrizen in Bezug auf $\sharp/\flat$ $L$-Funktionen auszudrücken, wodurch die Übertragung von Invarianteneigenschaften von den $L$-Funktionen auf die Theta-Elemente ermöglicht wird.

Zukünftige Richtungen
Die Autoren geben ausdrücklich an, dass das Analogon zu Satz B für den Fall, dass $p$ in $K$ träge ist, ein laufendes Projekt ist und in diesem Artikel nicht behandelt wird.