On the rank of Leopoldt's and Gross's regulator maps

Technisches Resümee: Über den Rang von Leopoldt'schen und Gross'schen Regulator-Abbildungen

Problemstellung
Die Arbeit befasst sich mit zwei zentralen Vermutungen der Iwasawa-Theorie und der $p$-adischen Transzendenztheorie: der Leopoldtschen Vermutung und der Gross-Kuz'min-Vermutung.

• Leopoldt-Vermutung: Postuliert, dass die $p$-adische Regulator-Abbildung $\iota_K$ von den globalen Einheiten eines Zahlkörpers $K$ zu dem Produkt seiner lokalen Einheiten an den $p$-adischen Stellen injektiv ist. Der Defekt $\delta^L_K = \dim_{\mathbb{Q}_p} \ker \iota_K$ soll konjekturell null sein.
• Gross-Kuz'min-Vermutung: Postuliert, dass die Gross-Regulator-Abbildung $L_K$, die $p$-Einheiten auf eine spezifische Hyperebene im Produkt der lokalen Normen abbildet, surjektiv ist. Der Defekt $\delta^G_K = \dim_{\mathbb{Q}_p} \operatorname{coker} L_K$ soll konjekturell null sein.
  Während diese Vermutungen für abelsche Erweiterungen von $\mathbb{Q}$ oder imaginär-quadratischen Körpern sowie für Körper mit höchstens zwei $p$-adischen Primstellen bekannt sind, bleiben sie für allgemeine Zahlkörper offen. Die Arbeit strebt danach, obere Schranken für diese Defekte festzulegen und neue Fälle der Vermutungen zu beweisen, insbesondere für nicht-abelsche Erweiterungen und nicht-zyklotomische $\mathbb{Z}_p$-Erweiterungen.

Methodik
Der Autor verwendet eine Synthese aus $p$-adischer Transzendenztheorie und Artin-Formalismus.

1. Artin-Formalismus: Die Defekte $\delta^L_K$ und $\delta^G_K$ werden in isotypische Komponenten zerlegt, die mit irreduziblen Darstellungen $\rho$ der Galoisgruppe assoziiert sind. Das Papier definiert Defekt-Invarianten $\delta^L_k(\rho)$ und $\delta^G_k(\rho)$, welche die Standardeigenschaften des Artin-Formalismus (Induktion, Inflation und Additivität) erfüllen. Dies ermöglicht die Reduktion globaler Probleme auf Fragen über spezifische Darstellungen über $\mathbb{Q}$.
2. $p$-adische Transzendenztheorie: Das zentrale analytische Werkzeug ist die Anwendung von Sätzen von Waldschmidt, Roy und dem Baker-Brumer-Theorem bezüglich der linearen Unabhängigkeit von $p$-adischen Logarithmen algebraischer Zahlen. Speziell nutzt das Papier Roys Verschärfung von Waldschmidts Theorem (Theorem 2.2.1), um untere Schranken für den Rang von Matrizen mit Koeffizienten im $\mathbb{Q}$-linearen Span von $p$-adischen Logarithmen ($\Lambda$) zu etablieren.
3. Galois-Kohomologie und Klassenkörpertheorie: Die Defekte werden via Galois-Kohomologie und dem Poitou-Tate-Dualitätssatz neu interpretiert. Der Gross-Defekt wird als Dimension des Kokernels einer Lokalisationsabbildung identifiziert, die $p$-Einheiten und lokale Reziprozitätsabbildungen involviert. Dieser Rahmen erleichtert die Analyse von nicht-zyklotomischen $\mathbb{Z}_p$-Erweiterungen.

Wesentliche Beiträge und Ergebnisse

1. Generalisierte Schranken für Defekte
Das Papier generalisiert Waldschmidts Schranke für den Leopoldt-Defekt und etabliert eine parallele Schranke für den Gross-Defekt.

• Theorem 1.4: Für eine Erweiterung von Zahlkörpern $K/k$ erfüllen die Defekte:
  $$\delta^L_K \leq \delta^L_k + \frac{|S_\infty(K)| - |S_\infty(k)|}{2}$$
  $$\delta^G_K \leq \delta^G_k + \frac{|S_p(K)| - |S_p(k)|}{2}$$
  Die zweite Schranke ist strikt, wenn $K$ eine reelle Stelle besitzt und die Anzahl der $p$-adischen Primstellen sich ändert. Dies impliziert, dass die Gross-Kuz'min-Vermutung für alle kubischen Zahlkörper gilt.

2. Darstellungstheoretische Schranken (Theorem 1.5)
Für eine irreduzible Darstellung $\rho \in \operatorname{Art}_{\mathbb{Q}_p}(G_{\mathbb{Q}})$ mit den Invarianten $d = [K:\mathbb{Q}]$, $d_+ = |S_\infty(K)|$ und $f = |S_p(K)|$, beweist das Papier:

• $\delta^L_{\mathbb{Q}}(\rho) \leq \frac{d_+^2}{d + d_+}$
• $\delta^G_{\mathbb{Q}}(\rho) \leq \frac{f^2}{d_+ + 2f}$ (vorausgesetzt, $d_+$ und $f$ sind nicht beide Null).
  Diese Schranken werden unter Verwendung eines Lemmas über lokale Galois-Darstellungen und Roys Theorem über Matrizenranken abgeleitet.

3. Anwendungen auf Vermutungen

• Rank der Gross-Regulator-Matrix: Korollar 1.6 zeigt, dass für einen vollkommen reellen Körper $k$ und eine vollkommen ungerade Artin-Darstellung $V$ die Gross-Regulator-$p$-Matrix $R_p(V)$ einen Rang von mindestens der Hälfte ihrer Größe besitzt. Dies verstärkt Gross' klassisches Resultat, dass der Rang positiv ist.
• Neue Fälle der Gross-Kuz'min-Vermutung: Korollar 1.7 und Theorem 4.3.2 beweisen die Gross-Kuz'min-Vermutung (d. h. $\delta^G_K = 0$) für:
  • Abelsche Erweiterungen imaginär-quadratischer Körper.
  • Abelsche Erweiterungen reeller quadratischer Körper, die mindestens eine reelle Stelle besitzen.
  • Verschiedene andere Fälle, die Galois-Erweiterungen mit Beschränkungen der Anzahl der $p$-adischen Primstellen involvieren (z. B. $|S_p(K)| \leq 6$ für reelle Galois-Erweiterungen).

4. Nicht-zyklotomische Analoga und algebraische Unabhängigkeit
Das Papier untersucht das Verschwinden des Defekts für nicht-zyklotomische $\mathbb{Z}_p$-Erweiterungen.

• Theorem 1.8: Für einen imaginär-quadratischen Körper $k$ und eine abelsche Erweiterung $K$, in der $p$ vollständig zerfällt, gibt es höchstens endlich viele $\mathbb{Z}_p$-Erweiterungen $k_\infty$ von $k$, für die $\delta^G_{K k_\infty/K} > 0$ gilt.
• Bedingte Nicht-Existenz: Falls ein spezifisches Polynom $XYZ^2 - (AX - BY)(CX - DY)$ nicht auf irgendein $\mathbb{Q}$-linear unabhängiges 7-Tupel im Raum der $p$-adischen Logarithmen verschwindet (eine Bedingung, die durch die schwache $p$-adische Schanuel-Vermutung impliziert wird), existieren keine solchen $\mathbb{Z}_p$-Erweiterungen.
• Steigungsanalyse (Slope Analysis): Das Papier parametrisiert $\mathbb{Z}_p$-Erweiterungen durch Punkte auf einem linearen Unterraum von $\mathbb{P}^{n-1}(\mathbb{Q}_p)$. Es zeigt, dass, falls ein Defekt ungleich Null ist, die entsprechende "Steigung" der Erweiterung transcendental sein muss (Theorem 5.1.1).

Bedeutung
Das Papier beansprucht, die besten bekannten oberen Schranken für die Leopoldt'schen und Gross'schen Defekte für beliebige Zahlkörper zu liefern und damit die Ergebnisse von Waldschmidt zu generalisieren. Durch die Nutzung des Artin-Formalismus erweitert es die Gültigkeit der Gross-Kuz'min-Vermutung über den klassischen abelschen Fall hinaus auf spezifische nicht-abelsche Settings. Des Weiteren stellt die Arbeit eine konkrete Verbindung zwischen dem Nicht-Verschwinden des Gross-Defekts für nicht-zyklotomische Erweiterungen und der algebraischen Unabhängigkeit von $p$-adischen Logarithmen her, was darauf hindeutet, dass die Vermutung unter Standard-Transzendenzhypothesen unbedingt gilt. Die Ergebnisse bieten zudem eine quantitative Verfeinerung des Ranges des Gross-Regulators, indem sie zeigen, dass dieser in breiter Allgemeinheit mindestens halb so groß wie der konjekturierte Rang ist.