Lokaler Körper

Ein lokaler Körper ist ein Körper, der ein vollständiger metrischer Raum ist. Lokale Körper treten in der algebraischen Zahlentheorie als Vervollständigungen von globalen Körpern auf.

Hauptteil

Je nachdem ob die Metrik archimedisch oder nicht-archimedisch ist (siehe Betragsfunktion), spricht man von archimedischen oder nicht-archimedischen lokalen Körpern.

Nach einem Satz von Alexander Markowitsch Ostrowski sind die einzigen bezüglich einer archimedischen Metrik vollständigen Körper die Körper der reellen Zahlen $\mathbb {R}$ oder der komplexen Zahlen $\mathbb {C}$ mit der üblichen Betragsfunktion. Diese bilden die archimedischen lokalen Körper.

Ein nichtarchimedischer lokaler Körper ist ein Körper, der vollständig bezüglich einer nicht-trivialen diskreten Bewertung ist und der einen endlichen Restklassenkörper besitzt. Eine äquivalente Definition ist, dass der Körper als topologischer Raum lokalkompakt ist. Häufig wird in der Literatur auch nur dieser Fall betrachtet, da lokale Körper meist im Rahmen der Zahlentheorie als Vervollständigungen globaler Körper betrachtet werden (endliche Erweiterungen der rationalen Zahlen $\mathbb {Q}$ oder des Körpers der Laurentreihen bzw. rationalen Funktionen über endlichen Körpern $\mathbb {F} _{p}(T)$, ersterer Fall ist der Zahlkörper-Fall, letzteres ist der Fall eines Funktionenkörpers).

Ein lokaler Körper der Charakteristik $0$ ist für archimedische Körper nach obigem Satz von Ostrowski isomorph zu $\mathbb {R}$ oder $\mathbb {C}$. Im nichtarchimedischen Fall sind die lokalen Körper der Charakteristik 0 die p-adischen Zahlen $\mathbb {Q} _{p}$ (p prim) oder endliche algebraische Erweiterungen der p-adischen Zahlen.

Für endliche Charakteristik $p>0$ ist die Betragsfunktion (Metrik) notwendig nichtarchimedisch, die zugehörigen lokalen Körper also alle nichtarchimedisch. Die lokalen Körper der Charakteristik $p$ sind isomorph zum Körper der formalen Laurentreihen $k(T)$ über einem endlichen Körper $k$ der Charakteristik $p$ ($\mathbb {F} _{q}$ mit $q=p^{r}$) und deren algebraischen Erweiterungen.

In der Zahlentheorie ist man an Lösungen von Gleichungen über dem Körper der rationalen Zahlen $\mathbb {Q}$ interessiert, einem globalen Körper, der die Charakteristik $0$ hat. Nach dem Satz von Ostrowski gibt es hier zwei Arten von Betragsfunktionen, einmal archimedisch (bezüglich der sich die rationalen Zahlen zu den reellen Zahlen vervollständigen lassen) und eine Familie nicht-archimedischer Bewertungen (bezüglich der sie sich zu den p-adischen Zahlen vervollständigen lassen). Die zugehörigen lokalen Körper sind die reellen und p-adischen Zahlen Nach dem Hasse-Prinzip (Lokal-Global-Prinzip nach Helmut Hasse) kann man manchmal von der Lösbarkeit über lokalen Körpern auf die Lösbarkeit im globalen Körper der rationalen Zahlen schließen, etwa für nicht-ausgeartete quadratische Formen. Mit Hilfe lokaler Körper wird die lokale Klassenkörpertheorie formuliert, ebenfalls begründet durch Hasse und von Claude Chevalley zum Aufbau der globalen Klassenkörpertheorie ohne Rückgriff auf Methoden der analytischen Zahlentheorie benutzt. Die Darstellung der lokalen Klassenkörpertheorie mit Hilfe der Gruppenkohomologie ist seit dem Seminar von Emil Artin und John T. Tate ein Standardzugang und zum Beispiel in dem Buch von Serre Local Fields dargestellt.

Wie bei Lokaler Ring und Lokalisierung in der Algebra hat die Bezeichnung lokal ihren Ursprüng in der Analogie des Zahlkörper-Falls mit dem Fall eines Funktionenkörpers über einer komplexen algebraischen Kurve (Riemannsche Fläche), wo „lokal“ das Verhalten der Funktionen in der Umgebung eines Punktes beschreibt und „global“ die Möglichkeit, die in einer lokalen Umgebung von Punkten etwa über eine Potenzreihe definierte Funktion auf der ganzen Riemannschen Fläche zu einer globalen Funktion zusammenzufügen.

Verallgemeinerungen

Es gibt eine Verallgemeinerung der lokalen Körper durch die sogenannten höheren lokalen Körper. Für $n\in \mathbb {N}$ ist ein n-lokaler Körper ein Körper, der vollständig bezüglich einer diskreten Bewertung ist, und dessen Restklassenkörper ein (n-1)-lokaler Körper ist. Die 1-lokalen Körper sind dabei die gewöhnlichen lokalen Körper. Zum Beispiel sind $\mathbb {Q} _{p}((t))$ oder $\mathbb {F} _{p}((t_{1}))((t_{2}))$ 2-lokale Körper.

Literatur

• Jean-Pierre Serre: Local Fields (= Graduate Texts in Mathematics. Bd. 67). Springer, New York, NY u. a. 1979, ISBN 0-387-90424-7.
• Jürgen Neukirch: Algebraische Zahlentheorie. Springer, Berlin u. a. 1992, ISBN 3-540-54273-6.

Weblinks

• Tim Browning, Local Fields, Vorlesungsskript Univ. Warwick, pdf
• Danilov, Local field, Encyclopedia of Mathematics (in der Definition dort sind nur Körper mit diskreter Bewertungsfunktion berücksichtigt)