Iwasawa-Theorie

Die Iwasawa-Theorie ist innerhalb der Mathematik im Bereich der Zahlentheorie eine Theorie zur Bestimmung der Idealklassengruppe von unendlichen Körpertürmen, deren Galoisgruppe isomorph zu den p-adischen Zahlen ist. Die Theorie wurde in den 1950ern von Kenkichi Iwasawa zur Untersuchung von Kreisteilungskörpern begründet. In den frühen Siebzigern betrachtete Barry Mazur Verallgemeinerungen der Iwasawa-Theorie auf abelsche Varietäten. Darüberhinaus schlug Ralph Greenberg eine Iwasawa-Theorie für Motive vor.

Inhaltsverzeichnis

1 Situation
2 Beispiel
3 Satz von Iwasawa
- 3.1 Beweisidee
4 Weitere Entwicklungen und Hauptvermutung
5 Literatur

Situation

Die Ausgangsbeobachtung von Iwasawa war, dass es in der Algebraischen Zahlentheorie Körpertürme gibt, deren Galoisgruppe isomorph zur additiven Gruppe der p-adischen Zahlen ist. Diese Gruppe wird häufig multiplikativ geschrieben und mit $Γ$ bezeichnet; sie ist der inverse Limes der (additiven) Gruppen

Z/pⁿZ,

wobei p eine fixierte Primzahl ist und n die natürlichen Zahlen durchläuft.

Beispiel

Sei $ζ = ζ p$ eine primitive p-te Einheitswurzel und betrachte den Körperturm

$K = \mathbf{Q} (\zeta) \subset K_{1} \subset K_{2} \subset \cdots \subset \mathbf{C},$

wobei $K n$ den von einer primitiven $p n + 1$ -ten Einheitswurzel erzeugten Körper bezeichnet (beachte die Indizierung). Sei $K_\infty$ die Vereinigung all dieser Körper. Dann ist die Galoisgruppe $Gal(K_\infty/K)$ isomorph zu $Γ$ , da die Galoisgruppen von $K n$ über K gleich Z/pⁿZ sind. Ein interessanter Galois-Modul (also eine abelsche Gruppe, auf der die Galoisgruppe operiert) ergibt sich bei Betrachtung der p-Torsion der Idealklassengruppen der beteiligten Zahlkörper. Sei die p-Torsion der Idealklassengruppen von $K n$ mit $I n$ bezeichnet. Diese sind durch Norm-Abbildungen $I_m \rightarrow I_n$ für m > n miteinander verbunden und bilden ein gerichtetes System. Die Gruppe Γ operiert dann auf dem inversen Limes I. Darüberhinaus ist I ein Modul über dem Gruppenring Z_p [Γ] (diese Beobachtung geht auf Jean-Pierre Serre zurück). Dieser Ring, der auch Iwasawa-Algebra genannt wird, ist regulär und zweidimensional, und es ist möglich, seine Moduln weitgehend zu klassifizieren.

Die Motivation war hier, dass die p-Torsion der Idealklassengruppe von $K_\infty$ , wie bereits Kummer erkannte, ein Haupthindernis für einen Beweis des Großen Fermat war. Kummer nannte in diesem Zusammenhang eine Primzahl regulär, wenn sie nicht die Klassenzahl von $\mathbf{Q} (\zeta_p)$ teilt. Iwasawas Idee war es, diese Torsion sytematisch mit unendlicher Galois-Theorie zu studieren. Mit diesen Methoden konnte Iwasawa die p-Torsionen numerisch beschreiben. Dies ist der Inhalt des Satzes von Iwasawa.

Satz von Iwasawa

Sei wie oben ein Körperturm $K n$ gegeben, dessen Galoisgruppe die p-adischen Zahlen sind, und sei $p^{e_n}\,$ die Ordnung der p-Torsion von $I n$ . Dann gibt es ganze Zahlen $μ$ , $λ$ und $ν$ derart, dass für $n$ hinreichend groß die Beziehung $e n = μ p n + λ n + ν$ gilt.

Beweisidee

Aufgrund der Klassenkörpertheorie gibt es eine Erweiterung $L n$ von $K n$ derart, dass $I_n \simeq Gal(L_n/K_n)$ , und zwar ist $L n$ die maximale unverzweigte p-abelsche Erweiterung von $K n$ . Die Vereinigung der $L n$ bildet dann einen Körper $L_\infty$ , der die maximale unverzweigte abelsche pro-p-Erweiterung von $K_\infty$ ist. Man betrachtet dann die Galoisgruppe $X=Gal(L_\infty/K_\infty)$ , die der inverse Limes der Gruppen $G a l (L n / K n)$ ist, welche als Quotienten von X auftreten. Die Gruppe X besitzt als abelsche pro-p-Gruppe die Struktur eines $\mathbb{Z}_p$ -Moduls. Daneben operiert die Galoisgruppe $Gal(K_\infty/K)$ auf X, das dadurch ein $\mathbb{Z}_p[[T]]$ -Modul wird (also ein Iwasawa-Modul). Durch Strukturuntersuchungen und die Klassifikation bis auf Pseudo-Isomorphismen aller Iwasawa-Moduln gelangt man zu asymptotischen Abschätzungen für die Ordnungen von $G a l (L n / K n)$ und damit von I_n.

Weitere Entwicklungen und Hauptvermutung

In den 1960ern wurde ein fundamentaler Zusammenhang zwischen der von Iwasawa entwickelten Modultheorie einerseits und p-adischen L-Funktionen andererseits entdeckt, die von Kubota und Leopoldt definiert wurden. Diese Funktionen werden ausgehend von Bernoulli-Zahlen mittels Interpolation definiert und stellen p-adische Analogien zu den Dirichlet L-Funktionen dar. Die sogenannte Hauptvermutung der Iwasawa-Theorie besagt, dass diese beiden Ansätze (Modultheorie und Interpolation) , p-adische L-Funktionen zu definieren, miteinander übereinstimmen. Diese Vermutung wurde 1984 von Barry Mazur und Andrew Wiles für die rationalen Zahlen Q und später für alle total reellen Zahlkörper von Andrew Wiles bewiesen. Diese Beweise orientierten sich an Ken Ribets Beweis der Umkehrung des Satzes von Herbrand. Neuerdings haben Chris Skinner and Eric Urban einen Beweis der Hauptvermutung für GL(2) angekündigt.

Literatur

Greenberg, Ralph, Iwasawa Theory - Past & Present, Advanced Studies in Pure Math. 30 (2001), 335-385. Erhältlich unter [1].
Coates, J. und Sujatha, R., Cyclotomic Fields and Zeta Values, Springer-Verlag, 2006
Lang, S., Cyclotomic Fields, Springer-Verlag, 1978
Washington, L., Introduction to Cyclotomic Fields, 2nd edition, Springer-Verlag, 1997
Barry Mazur und Andrew Wiles: Class Fields of Abelian Extensions of Q. In: Inventiones Mathematicae. 76, Nr. 2, 1984, S. 179-330
Andrew Wiles: The Iwasawa Conjecture for Totally Real Fields. In: Annals of Mathematics. 131, Nr. 3, 1990, S. 493-540
Chris Skinner und Eric Urban: Sur les deformations p-adiques des formes de Saito-Kurokawa. In: C. R. Math. Acad. Sci. Paris. 335, Nr. 7, 2002, S. 581-586