×

Duality theorems for \(\Gamma\)-extensions of algebraic number fields. (English) Zbl 0608.12012

Ein interessantes Problem in der Theorie der \({\mathbb{Z}}_ p\)-Erweiterungen algebraischer Zahlkörper ist die Existenz von Funktionalgleichungen für die charakteristischen Polynome gewisser Iwasawa-Moduln. Sei K ein total reeller Zahlkörper. Sie \({\mathcal K}=K(\mu_ p)\) und \({\mathcal K}_{\infty}\) die zyklotomische \({\mathbb{Z}}_ p\)-Erweiterung von \({\mathcal K}\) mit der Galoisgruppe \(\Gamma\). Sei A die p-primäre Komponente der Klassengruppe von \({\mathcal K}_{\infty}\) und \(A^-\) der (-1)-Eigenraum von A unter der komplexen Konjugation. Das Pontryagin-Dual \((A^-)^*\) von \(A^-\) ist ein endlich-erzeugter Torsionsmodul über \({\mathbb{Z}}_ p[[ \Gamma ]]\). Für eine topologische Erzeugende \(\gamma_ 0\) von \(\Gamma\) betrachtet man das charakteristische Polynom von \(\gamma_ 0\) auf dem endlich-dimensionalen \({\mathbb{Q}}_ p\)-Vektorraum \((A^-)^*\otimes {\mathbb{Q}}_ p\). Dieses ist von großem Interesse; durch die sog. Hauptvermutung wird es in Beziehung zur p-adischen Zetafunktion von \({\mathcal K}^+\) gesetzt.
Das Ziel der vorliegenden Arbeit ist es, eine Funktionalgleichung für das um gewisse lokale Faktoren erweiterte charakteristische Polynom von \((A^-)^*\otimes {\mathbb{Q}}_ p\) zu beweisen. Dazu definiert und untersucht der Autor einen Iwasawa-Modul \({\mathcal L}_-\) (ebenso einen Iwasawa-Modul \({\mathcal L}_+\), der aber vermutungsweise verschwindet); im Spezialfall, daß keine über p liegende Primstelle von \({\mathcal K}^+\) in \({\mathcal K}\) zerfällt, ist \({\mathcal L}_-\) die Galoisgruppe der Erweiterung M’/ \({\mathcal K}_{\infty}\), wobei M’ das Kompositum der maximalen außerhalb p unverzweigten abelschen p-Erweiterung von \({\mathcal K}^+\) und des Hilbertschen p-Klassenkörpers von \({\mathcal K}_{\infty}\) ist. Das erste Hauptresultat über \({\mathcal L}_-\) besteht in der Konstruktion einer nicht-ausgearteten schiefsymmetrischen und \(\Gamma\)-invarianten Paarung auf dem Vektorraum \({\mathcal L}_-\otimes {\mathbb{Q}}_ p\); diese impliziert eine Funktionalgleichung für das charakteristische Polynom von \(\gamma_ 0\) auf \({\mathcal L}_-\otimes {\mathbb{Q}}_ p.\)
Als zweites Hauptresultat wird bewiesen, daß das betrachtete charakteristische Polynom das Produkt der charakteristischen Polynome von \((A^-)^*\) und gewisser lokaler Galoisgruppen ist. Diese Ergebnisse beruhen auf einer systematischen Verwendung des globalen Dualitätssatzes von Tate-Poitou und auf einer genauen Untersuchung der \({\mathbb{Z}}_ p[[ \Delta \otimes \Gamma ]]\)- Struktur gewisser lokaler Galoisgruppen. Über den Modul \({\mathcal L}_-\) beweist der Autor noch eine Reihe weiterer interessanter Ergebnisse, so u.a. eine Riemann-Hurwitz-Formel bezüglich endlicher p-Erweiterungen.
Reviewer: G.Tamme

MSC:

11R37 Class field theory
11R34 Galois cohomology
11R18 Cyclotomic extensions
11S40 Zeta functions and \(L\)-functions
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] N. Bourbaki : Algebre commutative . Paris: Herman (1969). · Zbl 0205.06001
[2] J. Coates : On K2 and some classical conjectures in algebraic number theory . Ann. of math. 95 (1972) 99-116. · Zbl 0245.12005 · doi:10.2307/1970857
[3] J. Coates : K - theory and Iwasawa’s analogue of the Jacobian. Algebraic K-Theory, II (Seattle 1972). Springer Lecture notes in maths. 342 (1973) 502-520. · Zbl 0284.12006
[4] J. Coates , S. Lichtenbaum , S. On l-adic zeta functions . Ann. of Math. 98 (1973) 498-550. · Zbl 0279.12005 · doi:10.2307/1970916
[5] R. Greenberg , On the Iwasawa invariants of totally real number fields . Amer. J. math. 98 (1976) 263-284. · Zbl 0334.12013 · doi:10.2307/2373625
[6] R. Greenberg , On the structure of certain Galois groups . Invent math. 47 (1978) 85-99. · Zbl 0403.12004 · doi:10.1007/BF01609481
[7] K. Grunberg , Cohomological topics in group theory . Springer Lecture notes in maths. 143 (1970). · Zbl 0205.32701 · doi:10.1007/BFb0059162
[8] K. Haberland , Galois cohomology of algebraic number fields . Berlin: Deutscher Verlag der Wissenschaften (1978). · Zbl 0418.12004
[9] K. Iwasawa , On Z l-extensions of algebraic number fields . Ann. of math. 98 (1973) 246-326. · Zbl 0285.12008 · doi:10.2307/1970784
[10] K. Iwasawa , On the \mu -invariants of Z l-extensions . Number theory, algebraic geometry and commutative algebra (in honor of Y. Akizuki) . Kinokuniya. Tokyo (1973) 1-11. · Zbl 0281.12005
[11] K. Iwasawa , Riemann-Hurwitz formula and p-adic Galois representations for number fields . Tôhoku Math. J. 33 (1981) 263-288. · Zbl 0468.12004 · doi:10.2748/tmj/1178229453
[12] A.V. Jakovlev , The Galois group of the algebraic closure of a local field . Math. USSR - Izv. 2 (1968) 1231-1269. · Zbl 0194.35401 · doi:10.1070/IM1968v002n06ABEH000728
[13] U. Jannsen , Über die Galoismodulstruktur und die absolute Galoisgruppe p-adischer Zahlkörper . Dissertation. Hamburg (1980). · Zbl 0535.12012
[14] [14 U. Jannsen , Über Galoisgruppen lokaler Körper . Invent. math. 70 (1982) 53-69. · Zbl 0534.12009 · doi:10.1007/BF01393198
[15] U. Jannsen ; K. Wingberg , Die p-Vervollständigung der multiplikativen Gruppe einer p-Erweiterung eines irregulären p-adischen Zahlkörpers . J. für reine angew. Math. 307/308, (1979) 399-410. · Zbl 0396.12015 · doi:10.1515/crll.1979.307-308.399
[16] Y. Kida , l-extensions of CM-fields and cyclotomic invariants . J. Number theory 12 (1980) 519-528. · Zbl 0455.12007 · doi:10.1016/0022-314X(80)90042-6
[17] L. Kuz’Min , Some duality theorems for cyclotomic \Gamma -extensions over algebraic number fields of CM-type Math. USSR-Izv. 14 (1980) 441-498. · Zbl 0448.12007 · doi:10.1070/IM1980v014n03ABEH001142
[18] S. Lang. Cyclotomic fields . Graduate texts in maths . New York-Heidelberg- Berlin: Springer (1978). · Zbl 0395.12005
[19] T. Nakayama , On modules of trivial cohomology over a finite group . Illinois J. Math. 1 (1957) 36-43. · Zbl 0207.33601
[20] O. Neumann , On p-closed number fields and an analogue of Riemann’s existence theorem . In: A. Pröhlich (ed.) ” Algebraic number fields ”. London: Acad. press (1977) 625-647. · Zbl 0393.12015
[21] P. Schneider , Über gewisse Galoiscohomologiegruppen . Math. Zeitschrift 168 (1979) 181-205. · Zbl 0421.12024 · doi:10.1007/BF01214195
[22] P. Schneider , Die Galoiscohomologie p-adischer Darstellungen über Zahlkörpern . Dissertation. Regensburg (1980).
[23] J-P. Serre , Cohomologie galoisienne . Lecture notes in maths. 5 (1964). · Zbl 0136.02801
[24] R.G. Swan , Induced representaions and projectives modules . Ann. of Math. 71 (1960) 552-579. · Zbl 0104.25102 · doi:10.2307/1969944
[25] K. Wingberg , Freie Produktzerlegungen von Galoisgruppen und Iwasawa-Invarianten für p-Erweiterungen von Q . J. für reine und angewandte Math. 341 (1983) 111-129. · Zbl 0501.12014 · doi:10.1515/crll.1983.341.111
[26] J.P. Wintenberger , Structure galoisienne de limites projectives d’unités loales . Compos. Math. 42 (1980) 89-104. · Zbl 0414.12008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.