Klassenkörpertheorie

Die Klassenkörpertheorie ist die Krönung der algebraischen Zahlentheorie: Sie klassifiziert alle abelschen Erweiterungen eines Zahlkörpers anhand der Arithmetik des Körpers selbst und verallgemeinert die quadratische Reziprozität zu einem umfassenden Reziprozitätsgesetz.

Definition

Die Klassenkörpertheorie stellt eine Korrespondenz zwischen den endlichen abelschen Erweiterungen eines Zahlkörpers und bestimmten Quotientengruppen seiner Idelklassengruppe (oder verallgemeinerten Idealklassengruppen) her, wobei die Artinsche Reziprozitätsabbildung einen kanonischen Isomorphismus auf die Galoisgruppe jeder Erweiterung liefert.

Scope

Dieses Thema behandelt die Hauptsätze der Klassenkörpertheorie in ihrer klassischen und idelischen Formulierung: das Artinsche Reziprozitätsgesetz und die Artin-Abbildung von verallgemeinerten Idealklassengruppen zu Galoisgruppen, den Existenzsatz, der Kongruenzuntergruppen abelschen Erweiterungen zuordnet, Führer, den Hilbertschen Klassenkörper als maximale unverzweigte abelsche Erweiterung, den Satz von Kronecker-Weber, der abelsche Erweiterungen der rationalen Zahlen in Kreisteilungskörpern realisiert, und die Rolle der lokalen Klassenkörpertheorie.

Core questions

• Wie sendet die Artin-Abbildung arithmetische Daten an Galois-Automorphismen, und warum ist sie ein Reziprozitätsgesetz?
• Welche Untergruppen der Idelklassengruppe entsprechen welchen abelschen Erweiterungen (der Existenzsatz)?
• Was ist der Hilbertsche Klassenkörper, und wie rekonstruiert seine Galoisgruppe die Idealklassengruppe?
• Wie beschreibt der Satz von Kronecker-Weber jede abelsche Erweiterung der rationalen Zahlen?

Key theories

Artinsche Reziprozität

Für eine abelsche Erweiterung erweitert sich die Artin-Abbildung, die jede unverzweigte Primzahl auf ihren Frobenius abbildet, zu einem Isomorphismus von einer verallgemeinerten Idealklassengruppe auf die Galoisgruppe, eine weitreichende Verallgemeinerung der quadratischen Reziprozität.

Existenzsatz und Hilbertscher Klassenkörper

Jede offene Untergruppe von endlichem Index in der Idelklassengruppe ist die Normengruppe einer eindeutigen abelschen Erweiterung; der Hilbertsche Klassenkörper ist die maximale unverzweigte, deren Galoisgruppe kanonisch die Idealklassengruppe ist.

Satz von Kronecker-Weber

Jede endliche abelsche Erweiterung der rationalen Zahlen ist in einem Kreisteilungskörper enthalten, der durch Einheitswurzeln erzeugt wird, dem ersten und prototypischen Beispiel der expliziten Klassenkörpertheorie.

Clinical relevance

Die Klassenkörpertheorie bildet den Rahmen für das Langlands-Programm und die Modularitätsergebnisse, die dem Beweis von Fermats letztem Satz zugrunde liegen; explizite Formen, einschließlich der komplexen Multiplikation, treiben auch Konstruktionen an, die in der Kryptographie auf elliptischen Kurven und Isogenien basieren.

History

Hilbert vermutete die Existenz des Klassenkörpers und stellte um 1900 wegweisende Probleme. Takagi bewies den Existenzsatz 1920, Artin etablierte das Reziprozitätsgesetz 1927, und Chevalleys Einführung der Idele in den 1930er Jahren gab der Theorie ihre moderne adelische Form und bereitete die Bühne für das Langlands-Programm.

Key figures

• David Hilbert
• Teiji Takagi
• Emil Artin
• Helmut Hasse

Seminal works

• cox2013

Frequently asked questions

Wie hängt die Klassenkörpertheorie mit der quadratischen Reziprozität zusammen?

Die quadratische Reziprozität ist der einfachste Fall: Sie beschreibt die abelsche Erweiterung, die durch Adjunktion einer Quadratwurzel erhalten wird, und die Artinsche Reziprozität verallgemeinert dies auf alle abelschen Erweiterungen beliebiger Zahlkörper.

Was ist der Hilbertsche Klassenkörper?

Er ist die größte abelsche Erweiterung eines Zahlkörpers, die überall unverzweigt ist; seine Galoisgruppe ist natürlich isomorph zur Idealklassengruppe des Körpers, sodass ihr Grad der Klassenzahl entspricht.