You are on page 1of 8

¨ Ubersicht uber Resultate der Klassenk¨rpertheorie ¨ o

Die Klassenk¨rpertheorie besch¨ftigt sich mit abelschen K¨rpererweiterungen o a o von Zahlk¨rpern (globale Klassenk¨rpertheorie) und von p-adischen Zahlk¨rpern o o o (lokale Klassenk¨rpertheorie). Ihre historischen Wurzeln h¨ngen eng zusammen o a mit der Suche nach einer Verallgemeinerung des quadratischen Reziprozit¨tsgea setzes auf n-te Potenzreste, auch wenn das in ihrer modernen Form nicht mehr offensichtlich ist. Entwickelt wurde die Theorie uber einen Zeitraum von mehre¨ ren Jahrzehnten hinweg u.a. von Hilbert (∼ 1898: Definition des Hilbertschen Klassenk¨rpers via Zerlegungsverhalten von Primidealen), Furtw¨ngler, Takao a gi (1920: Untersuchungen uber die Beziehung zwischen abelschen Erweiterun¨ ˆ gen und Quotienten der Idealklassengruppe), Cebotarev (1926: Beweis des nach ihm benannten Dichtigkeitssatzes), Artin (1927: Beweis des Artinschen ˆ Reziprozit¨tsgesetzes nach Analyse des Cebotarevschen Beweises), Chevalley a (1936: Ideletheoretische Formulierung der Klassenk¨rpertheorie), Hasse (∼ 1930: o rein algebraischer Zugang uber die Theorie der einfachen Algebren). Die konzep¨ tionelle Aufbereitung der Resultate wurde abgeschlossen durch den cohomologischen Zugang zu den Haupts¨tzen der Klassenk¨rpertheorie (nach 1950 durch a o Hochschild, Artin und Tate). Der klassische Zugang beginnt mit der globalen Klassenk¨rpertheorie und benutzt analytische Hilfsmittel, n¨mlich die Theorie o a der ζ-Funktionen und L-Reihen. Bei dem neueren cohomologischen Zugang beginnt man hingegen mit der lokalen Theorie und benutzt diese zur Herleitung der globalen Resultate. 1. Lokale Klassenk¨rpertheorie Die folgende einfache Beobachtung kann o als das urspr¨ngliche Schl¨sselph¨nomen der Klassenk¨rpertheorie angesehen u u a o werden: sei L|K eine endliche unverzweigte Galoiserweiterung p-adischer Zahlk¨ro per mit Bewertungsringen OL |OK und Primidealen P|p; λ|κ sei die Restk¨rperero weiterung. Dann ist kanonisch G(L|K) G(λ|κ).

Weil G(λ|κ) zyklisch, erzeugt durch die Potenzierung mit q := κ, ist, haben wir also auch einen kanonischen Erzeuger FrobL|K von G(L|K). Dieser ist eindeutig festgelegt durch die Forderung FrobL|K (x) ≡ xq mod P ∀ x OL . Wir k¨nnen also einen surjektiven Homomorphismus ( , L|K) : K × o (das sog. unverzweigte Normrestsymbol ) durch die Vorschrift (z, L|K) := FrobL|K vp (z) ∀ x K× G(L|K)

definieren. Das unverzweigte Normrestsymbol verh¨lt sich sehr nat¨rlich in a u K¨rpert¨rmen, so gilt z.B. falls L|M |K unverzweigte endliche Erweiterungen o u mit L|K, M |K galoissch sind: (x, L|K) |M = (x, M |K) ∀ x K × 1

(z, L|M ) = (NM |K (z), L|K) ∀ z M × . Diese Eigenschaften folgen sofort aus der Definition; man beachte, daß nach der letzten Eigenschaft, angewendet f¨r L = M , gilt: u NL|K (L× ) ⊂ ker( , L|K). Dies erkl¨rt den Namen ”Normrestsymbol”. Es ist nicht so einfach zu sehen, a daß (K × : NL|K (L× )) = [L : K] gilt, also Gleichheit in obiger Inklusion vorliegt. Demnach induziert das unverzweigte Normrestsymbol einen kanonischen Isomorphismus zwischen den Gruppen K × /NL|K (L× ) und G(L|K). Es ist nun ein hochgradig nichttriviales Unterfangen, die Definition des Normrestsymbols von den unverzweigten Erweiterungen auf beliebige abelsche Erweiterungen L|K ”fortzusetzen”. In der ”klassischen Periode” geschah dies auf ziemlich undurchsichtige Weise, als Nebenprodukt der globalen Klassenk¨ro pertheorie. Bei der moderneren algebraischen Herangehensweise benutzt man dazu die Galoiscohomologie der lokalen K¨rper, oder auch die Theorie der zeno traleinfachen Algebren uber lokalen K¨rpern. In keinem dieser F¨lle jedoch ¨ o a erh¨lt man noch eine so explizite Beschreibung des Normrestsymbols wie im a unverzweigten Fall. (Der expliziteste Zugang, die Lubin-Tate-Theorie, benutzt auf raffinierte Weise die Theorie der formalen Gruppen.) Das Hauptresultat der lokalen Theorie lautet jedenfalls: Lokales Reziprozit¨tsgesetz: Sei L|K eine endliche abelsche Erweiterung a von p-adischen Zahlk¨rpern. Dann gibt es einen kanonischen Isomorphismus o ( , L|K) : K × /NL|K (L× ) −→ G(L|K). Falls M |K eine Zwischenerweiterung ist, so gilt: (¯, L|M ) = (NM |K (z), L|K) ∀ z M × , z und (beachte, daß M |K galoissch ist) (¯, L|K) |M = (¯, M |K) ∀ x K × . x x Aus diesem Hauptsatz der lokalen Klassenk¨rpertheorie ergibt sich dann o (auf ganz formale Weise) eine inklusionsumkehrende 1-1-Beziehung zwischen den abelschen Erweiterungen eines p-adischen Zahlk¨rpers K, und den Normenuno tergruppen solcher Erweiterungen in K × . Man kann nun genau sagen, welche Untergruppen von K × dabei auftreten, und erh¨lt dadurch eine vollst¨ndige a a Klassifikation aller endlichen abelschen Erweiterungen eines p-adischen Zahlk¨rpers: o Lokaler Existenzsatz: Zu einer Untergruppe U ⊂ K × existiert genau dann eine endliche abelsche Erweiterung L|K mit U = NL|K (L× ), wenn U abgeschlossen und der Index (K × : U ) < ∞ ist. Der K¨rper L ist dabei eindeutig o bestimmt und es ist nach dem Reziprozit¨tsgesetz K × /U ∼ G(L|K). a = 2
∼ =

Was besagen nun diese S¨tze f¨r die Galoisgruppe Gab der maximalen abela u K schen Erweiterung K ab |K? Jedenfalls liefern die Normrestsymbole f¨r die endu ¨ lichen abelschen Erweiterungen durch Ubergang zum projektiven Limes einen stetigen Gruppenhomomorphismus ( ; K) : K × −→ Gab , K das sog. universelle lokale Normrestsymbol. Es ist nicht surjektiv (projektive Limites sind nicht rechtsexakt), aber man kann relativ leicht zeigen, daß sein Bild dicht in Gab liegt, und sein Kern (der Durchschnitt aller abgeschlossenen K Untergruppen von endlichem Index in K × ) 0 ist. Es ist nun sehr naheliegend, (1) nach den Bildern der Untergruppen UK , UK von K × zu fragen. Da diese kompakt sind, liefert das universelle Normrestsymbol Isomophismen dieser Gruppen auf abgeschlossene Untergruppen von Gab . Es zeigt sich, daß dadurch der K verzweigte Anteil von K ab |K beschrieben wird: Satz: Das universelle lokale Normrestsymbol bildet die Untergruppen UK , UK ab von K × isomorph auf die Tr¨gheitsuntergruppe TK bzw. die Verzweigungsuna ab ab tergruppe VK von GK ab. Insbesondere ist eine endliche abelsche Erweiterung L|K unverzweigt gdw. UK ⊂ NL|K (L× ), rein verzweigt gdw. NL|K (L× ); UK = (1) K × und rein wild verzweigt gdw. NL|K (L× ); UK = K × . (Tats¨chlich gilt ein sehr viel genauerer Satz; die Filtrierung von UK durch a (n) die Einheitengruppen UK korrespondiert via universellem Normrestsymbol mit ab der Filtrierung von TK durch die h¨heren Verzweigungsgruppen in der gef¨rchteo u ten oberen Numerierung). 2. Globale Klassenk¨rpertheorie Sei L|K endliche abelsche Erweiterung o von Zahlk¨rpern, p eine nichtarchimedische, in L unverzweigte Primstelle von o K. Dann ist die sind die Bemerkungen am Beginn von Abschnitt 1 auf die Komplettierungen LP |Kp , wobei P eine Primstelle von L uber p ist, anwendbar. ¨ Weiter ist die Zerlegungsgruppe GP (L|K) ∼ G(LP |Kp ) von der Wahl der Stelle = P von L uber p unabh¨ngig, und wir fassen FrobLP |Kp als Element in G(L|K) ¨ a auf. Als solches ist es eindeutig charakterisiert durch die Bedingnung FrobLP |Kp (x) ≡ xq mod P ∀ x OL , wobei q die Ordnung des Restklassenk¨rpers OK /p ist. o Allgemeiner liefert die lokale Theorie f¨r jede nichtarchimedische Stelle p u Homomorphismen × ( , LP |Kp ) : Kp −→ G(L|K) mit Bild GP (L|K). Diese sind von der Auswahl der Stelle P|p unabh¨ngig. a Ferner definiert man an den archimedischen Stellen f¨r den einzigen nichttriu vialen Fall LP = C, Kp = R: (x, LP |Kp ) ist die komplexe Konjugation f¨r u x < 0 und trivial f¨r x > 0. u 3
(1)

Es gelten folgende tiefliegende Ergebnisse, die grundlegend f¨r die Entwicku lung der globalen Theorie sind: (1) Jedes Element σ G(L|K) ist in einer Zerlegungsgruppe GP (L|K) enthalten. (Tats¨chlich ist es sogar Frobeniuselement an unendlich vielen una verzweigten Stellen!!!)1 (2) Ist x K × , so gilt (x, LP |Kp ) = 1,
p

wobei der Index uber alle archimedischen und nichtarchimedischen Stellen von ¨ K l¨uft.2 a Analog zur lokalen Klassenk¨rpertheorie besteht das Hauptziel der Untero suchungen nun darin, die Galoisgruppe G(L|K) als Bild eines kanonischen Homomorphismus zu beschreiben, der auf einer Gruppe definiert ist, die sich ”direkt” aus dem Grundk¨rper K ableitet. Nach (1) liegt es nahe, dazu die o Gesamtheit der lokalen Normrestsymbole zu verwenden; hingegen zeigt (2) daß die multiplikative Gruppe des K¨rpers selbst eine ganz andere Rolle spielen muß o ¨ als in der lokalen Theorie. Diese heuristische Uberlegung f¨hrt zwangsl¨ufig auf u a Kp , die Definition der Idelegruppe IK als der maximalen Untergruppe von
p

auf der das Produkt der lokalen Normrestsymbole wohldefiniert ist, n¨mlich a IK := {(ap )
p × u Kp |ap Up f¨r fast alle p}.

In diesem Kontext zeigt nun Bemerkung (2), daß die Produktabbildung ( , L|K) :=
p

( , LP |Kp ) : IK

G(L|K)

auch noch auf dem Quotient CK := IK /{(ap ) IK |ap = aq K × ∀ p, q} wohldefiniert ist (die herausdividierte Untergruppe ist gerade das Bild von K × unter der ”diagonalen” Einbettung nach IK ). Dieser Quotient ist die sog. Idelklassengruppe. Zur pr¨zisen Formulierung des globalen Reziprozit¨tsgesetzes ben¨tigen wir a a o nun noch einige einfache Definitionen und Beobachtungen. Ist L|K eine endliche Galoiserweiterung von Zahlk¨rpern, so operiert G(L|K) in kanonischer Weise o
ˆ Aussage steht in Beziehung zu dem Cebotarev’schen Dichtigkeitssatz, f¨ r dessen u Beweis analytische Hilfsmittel herangezogen werden m¨ ssen. F¨ r die Herleitung des globalen u u Reziprozit¨tsgesetzes reicht eine abgeschw¨chte Form dieses Satzes aus, die mit rein algebraia a schen Methoden beweisbar ist. 2 Diese Aussage ist als direkte Verallgemeinerung des quadratrischen Reziprozit¨tsgesetzes a √ u anzusehen, das man durch eine explizite Analyse des Spezialfalls K = , L = ( p) f¨ r eine ungerade Primzahl p erh¨lt. a
1 Diese

Q

Q

4

auf IK : man definiert f¨r a IL , σ G(L|K) das Element σa IL komponentenweise u durch (σa)P := σ((a)σ−1 P ). Ferner induzieren f¨r P|p die ”diagonalen” Einbettungen u
× Kp → σ G(L|K)

L× σP

eine Einbettung IK → IL , und man pr¨ft leicht, daß IK dadurch mit dem u G(L|K) identifiziert wird. Schließlich uberpr¨ft man, daß die Opera¨ u Fixmodul IL tion von G(L|K) auf IL eine Operation auf CL = IL /L× bewirkt, und daß die G(L|K) kanonische Abbildung CK → CL ebenfalls injektiv, mit Bild CL ist. Wir k¨nnen daher auch von der Normabbildung o NL|K : CL → CK sprechen: wende alle Elemente der Galoisgruppe an, bilde das Produkt; dieses bleibt fest unter der Operation der Galoisgruppe, und kann daher mit einem Element von CK identifiziert werden. Es gilt folgender Satz: Artinsches Reziprozit¨tsgesetz: Sei L|K eine endliche abelsche Erweiterung a von Zahlk¨rpern. Dann besteht ein kanonischer Isomorphismus o ( ; L|K) : CK /NL|K CL −→ G(L|K). Dieser ist induziert durch das Produkt aller lokalen Normrestsymbole. Falls M |K eine Zwischenerweiterung ist, so gilt: ((a), L|M ) = (NM |K ((a)), L|K) ∀ (a) IM , und (beachte, daß M |K galoissch ist) ((b), L|K) |M = ((b), M |K) ∀ (b) IK .
∼ =

Was die Klassifikation der abelschen Erweiterungen betrifft, so zeigt sich, × daß hierf¨r die durch die Produkttopologie auf u Kp induzierten Topologien
p

auf IK bzw. CK ungeeignet sind. Vielmehr setzt man f¨r eine beliebige endliche u Menge S von Primstellen
S IK := p S × Kp × p|S

Up ,

betrachtet hierauf die Produkttopologie, und topologisiert IK durch die kanonische Identifikation IK ∼ lim IK . = −→ S
S

5

(Die daraus entstehende Topologie auf IK ist offenbar feiner als die Teilraum× topologie bez¨glich p Kp .) Dies induziert eine Topologie auf CK ; man kann u zeigen, daß CK so zu einer lokal kompakten, hausdorffschen topologischen Gruppe wird. Es gilt bez¨glich dieser Topologie: u Globaler Existenzsatz: Zu einer Untergruppe U ⊂ CK existiert genau dann eine endliche abelsche Erweiterung L|K mit U = NL|K (CL ), wenn U abgeschlossen und der Index (CK : U ) < ∞ ist. Der K¨rper L ist dabei eindeutig o × bestimmt und es ist nach dem Reziprozit¨tsgesetz CK /U ∼ G(L|K). a = Dadurch ist eine inklusionsumkehrende Bijektion zwischen den abgeschlossenen Untergruppen von endlichem Index in CK und den endlichen abelschen Erweiterungen von K gegeben. Ferner liefern die Vertr¨glichkeitseigenschaften a der globalen Reziprozit¨tsabbildung im projektiven Limes (analog zur lokalen a Situation) einen kanonischen Homomorphismus ( ; K) : CK −→ Gab K in die Galoisgruppe der maximalen abelschen Erweiterung des K¨rpers K, das o ¨ sogenannte universelle (globale) Normrestsymbol. Uberraschenderweise ist es im globalen Fall surjektiv, aber nicht injektiv. Wie die lokale Klassenk¨rpertheorie schon vermuten l¨ßt, spiegelt sich das o a Verzweigungsverhalten einer endlichen abelschen Erweiterung L|K in der Lage ihrer Normengruppe in CK wieder. Die Formulierung des Resultats erfordert die Einf¨hrung einiger neuer Begriffe. u Ein Erkl¨rungsmodul ist ein formales Produkt a m :=
p

pnp , wobei np N ∪ {0}, np = 0 f¨r fast alle p, u

np {0; 1} falls p reell, np = 0 falls p komplex. F¨r p nicht-archimedisch habe nun die Bezeichnung UKpp die ubliche Bedeuu ¨ tung, falls np ≥ 1. Per Konvention sei weiter UKp = UKp f¨r p nichtarchimedisch, u UKp = R>0 , UKp = R× f¨r p reell. u F¨r jeden Erkl¨rungsmodul m setzen wir nun: u a
m IK := {(ap ) IK | ap UKpp falls p nichtarchimedisch oder reell}, m m CK := IK K × /K × ⊂ CK . m Man kann zeigen, daß CK stets eine abgeschlossene Untergruppe von endlichem Index ist. Schließlich sagen wir, eine endliche Galoiserweiterung L|K von Zahlk¨rpern sei an einer archimedischen Stelle p von K verzweigt gdw. p reell ist, o (n ) (1) (0) (0) (n )

6

und komplexe Fortsetzungen P in L besitzt. (Komplexe Stellen gelten immer als unverzweigt.) Es gilt folgendes Resultat: Satz: Sei L|K eine endliche abelsche Erweiterung von Zahlk¨rpern und S eine o beliebige endliche Menge von Primstellen von K. Dann ist L|K unverzweigt außerhalb S gdw. die Normengruppe NL|K (CL ) ⊂ CK eine ”Kongruenzunterm gruppe” CK f¨r einen Erkl¨rungsmodul m, dessen Teiler alle in S liegen, enth¨lt. u a a Mittels der Klassifikation der abelschen Erweiterungen k¨nnen wir dieses o Resultat alternativ so formulieren: f¨r einen Erkl¨rungsmodul m sei K m die u a m eindeutig bestimmte endliche abelsche Erweiterung mit Normengruppe CK . (Dies ist der sogenannte Strahlklassenk¨rper modulo m.) Dann sind alle Stellen o von K, die in K m verzweigt sind, Teiler von m. Ist umgekehrt L|K irgendeine endliche abelsche Erweiterung, die nur uber einer endlichen Menge S von ¨ e Primstellen verzweigt ist, so ist sie in einem Strahlklassenk¨rper K m f¨r einen o u Erkl¨rungsmodul m mit Teilern in S enthalten. Wir erhalten also folgendes a Korollar: Korollar: (i )Jede endliche abelsche Erweiterung L|K ist in einem Strahlklassenk¨rper K m f¨r einen geeigneten Erkl¨rungsmodul m enthalten. o u a (ii )Sei S eine beliebige (nicht notwendig endliche) Menge von Stellen von K. Dann gilt f¨r die maximale außerhalb S unverzweigte abelsche Erweiterung u ab KS von K: K ab = K m ; G(K ab |K) ∼ lim CK /C m . =
S S ⇒p S
p|m

⇒p S

− → p|m

K

Dabei sind die Strukturabbildungen des Limes durch die kanonischen Projektioe m m nen CK /CK CK /CK f¨r m|m gegeben. u Wir betrachten als letztes den Spezialfall S = ∅, m = 1. Der zugeh¨rige o Strahlklassenk¨rper heißt Hilbertscher Klassenk¨rper, und ist die maximale abelo o sche Erweiterung K hilb von K, die an allen Stellen unverzweigt ist. Wir sehen insbesondere, daß diese Erweiterung endlich ist. Tats¨chlich gilt: a Satz: Sei ClK die Idealklassengruppe von K. F¨r die maximale abelsche unu verzweigte Erweiterung K hilb von K gibt es dann kanonische Isomorphismen
1 G(K hilb |K) ∼ CK /CK ∼ ClK . = =

Dabei korrespondiert die Idealklasse [p] eines Primideals p von K mit dem Frobeniuselement an der Stelle p in der Zerlegungsgruppe Gp (K hilb |K) ⊂ G(K hilb |K). Beweisskizze: Es ist nach Definition:
1 1 CK /CK ∼ IK /IK K × . =

Weiterhin haben wir die kanonische Surjektion IK ClK ; (ap ) → [ pvp (ap ) ].

1 ¨ Eine leichte Uberlegung zeigt, daß diese gerade den Kern IK K × hat.

7

Literaturhinweise:
[1] Artin, E., Tate, J. Class Field Theory. Benjamin, New York Amsterdam 1967 (Der Klassiker uber den cohomologischen Zugang zur Klassenk¨rpertheorie. ¨ o Eine immer noch sehr wertvolle Referenz, aber eher nicht als Einf¨hrung geeignet.) u [2] Cassels, J.W.S., Fr¨hlich, A. (Hrsg.) Algbraic Number Theory. Thompson, o Washington D.C. 1967 (Groartige Artikel von Serre und Tate, die eine hervorragende, recht knappe Einf¨hrung in die Galoiscohomologie und Klassenk¨rpertheorie enthalten.) u o [3] Neukirch, J. Klassenk¨rpertheorie. Bibliographisches Institut, Mannheim o 1968 (Eine besonders ubersichtliche, ausf¨hrliche und gut lesbare Einf¨hrung in Ga¨ u u loiscohomologie und Klassenk¨rpertheorie.) o [4] Serre, J.-P. Corps locaux. Hermann, Paris 1968 (Besch¨ftigt sich ausf¨hrlich und tiefsch¨rfend mit der Arithmetik lokaler K¨rper, a u u o inklusive lokaler Klassenk¨rpertheorie.) o [5] Lang, S. Algebraic Number Theory. Addison-Wesley 1970 (Enth¨lt moderne Darstellung des klassischen, analytischen Zugangs zur Klasa senk¨rpertheorie.) o [6] Neukirch, J. Algebraische Zahlentheorie. Springer, Berlin Heidelberg 1992 (Enth¨lt einen alternativen Zugang zur Klassenk¨rpertheorie, in der der cohoa o mologischen Formalismus auf die explizit zug¨nglichen niedrigdimensionalen Coa homologiegruppen ”heruntergekocht” ist.) [7] Lorenz, F. Einf¨hrung in die Algebra. 2Bde. Spektrum Akad. Verl. 1997 u (Der zweite Band enth¨lt eine Darstellung der lokalen Klassenk¨rpertheorie mita o tels der Brauergruppe eines lokalen K¨rpers.) o [8] Neukirch, J., Schmidt, A., Wingberg, K. Cohomology of Nunber Fields. Springer, Berlin Heidelberg 2000 (Geht ausf¨hlich auf die weiterf¨hrende cohomologische Theorie der lokalen und u u globalen K¨rper ein.) o

8