Ein Analogon zur Fundamentalgruppe einer Riemann'schen Fläche im Zahlkörperfall (Q1057315)

Sei K ein Zahlkörper, \(K_{\infty}\) der Körper, der aus K durch Adjunktion aller Einheitswurzeln von p-Potenzordnung entsteht und L die maximale unverzweigte p-Erweiterung von \(K_{\infty}\). Die Galoisgruppe \({\mathcal G}\) von \(L| K_{\infty}\) kann man als Analogon des p-Anteils der Fundamentalgruppe \({\mathcal F}\) einer Kurve über einem algebraisch abgeschlossenen Körper der Charakteristik \(\ell \neq p\) ansehen, man könnte also erwarten, daß die Struktur von \({\mathcal G}\) der wohlbekannten Struktur von \({\mathcal F}\) entspricht. In der vorliegenden Arbeit wird gezeigt, daß das nicht der Fall ist, daß es aber unter geeigneten Voraussetzungen einen natürlichen Unterkörper \(\tilde L\) von L gibt, dessen Galoisgruppe \(\tilde {\mathcal G}\) über \(K_{\infty}\) dieselbe Struktur wie \({\mathcal F}\) besitzt: Falls K ein CM-Körper ist, der durch Adjunktion der p-ten Einheitswurzeln aus seinem maximalen totalreellen Teilkörper entsteht, und falls die Iwasawa \(\mu\)-Invariante von K gleich 0 ist, wird \(\tilde L\) als maximale, außerhalb von p unverzweigte und bei p ''positiv zerlegte'' p-Erweiterung von \(K_{\infty}\) (Def. s. S. 558) genommen. Dann ist \({\mathcal G}(\tilde L| K_{\infty})\) entweder trivial oder eine Demushkin-Gruppe vom Rang \(2\cdot \lambda^-_ 2\), wobei \(\lambda^- _ 2\) der Minus-Anteil der Iwasawaschen \(\lambda\)-Invariante von K ist. Der Beweis verwendet wesentlich Galoiskohomologie, insbes. den Dualitätssatz von Tate-Poitou; die Analogie zum Funktionenkörperfall wird in der Arbeit noch besonders dadurch deutlich, daß die entsprechenden Aussagen im Funktionenkörperfall mit ganz analogen kohomologischen Methoden (Dualitätssatz von Poincaré) rein algebraisch hergeleitet werden. Schließlich wird im zweiten Teil der Arbeit, wieder in Analogie der bekannten Ergebnisse im Funktionenkörperfall, die Galoisgruppe der maximalen, außerhalb einer Stellenmenge S unverzweigten p-Erweiterung von K sowohl über \(\tilde L \)(freies pro-p-Produkt von Trägheitsgruppen) bzw. über \(K_{\infty}\) (freies pro-p-Produkt, angegeben durch Erzeugende mit einer Relation) bestimmt.