2009/05/08 by Preda Mihailescu, Mihailescu, Preda
Mathematics · #11R23 #11R27 #FOS: Mathematics #Number Theory (math.NT) #Rings and Algebras (math.RA) #math.NT #math.RA #msc:11R23 #msc:11R27
paper · pdf · doi:10.48550/arxiv.0905.1274
Withdrawn - the material was expanded in individual papers on the Conjectures of Leopoldt, Iwasawa and Gross, all on arxive after 2014
arxiv created 2015/02/17 · arxiv updated 2015/02/18
The conjecture of Leopoldt states that the p - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using Baker theory. A conjecture, due to Gross and Kuz'min will be shown here to be in a deeper sense a dual of Leopoldt's conjecture with respect to the Iwasawa involution. We prove both conjectures for arbitrary number fields \K. The main ingredients of the proof are the Leopoldt reflection, the structure of quasi - cyclic \Zp[ \Gal(\K/\Q) ] - modules of some of the most important Λ[ \Gal(\K/\Q) ] - modules occurring (T acts on them like a constant in \Zp), and the Iwasawa skew symmetric pairing. There a simplified presentation of the Iwasawa linear space and the proofs of the Conjectures of Leopoldt and Gross-Kuz'min can be found, together with a proof of lambda+ = 0 for CM fields. The present paper is at present the only one which presents the approach for non CM extensions. This will be in time incorporated in the exposition of Snoqit, allowing the proofs of all mentioned conjectures for general number fields. Only then will the present paper become obsolete.