Normal basis and Greenberg's conjecture
type: Item
instance of: scholarly article
title: Normal basis and Greenberg's conjecture
zbMATH Open document ID: 0810.11063
DOI: 10.1007/BF01450481
author: Keiichi Komatsu
published in: Mathematische Annalen
publication date: 1994-11-09T00:00:00Z
full work available at URL: https://eudml.org/doc/165247
review text: Let \(p\) be an odd prime number, \(F\) an imaginary quadratic field, \(k_ n\) the ray class field of \(F\bmod p^ n\) \((n\geq 1)\). Using modular units in the style of Taylor, Schertz and others [see e.g. \textit{M. J. Taylor}, Ann. Math., II. Ser. 121, 519-535 (1985; Zbl 0594.12008)], the author shows that the ring of \(p\)-integers of \(k_ n\) has a normal basis over that of \(k_ 1\). An easy consequence is that, for any \(\mathbb{Z}_ p\)- extension \(K/F\), the \(\mathbb{Z}_ p\)-extension \(k_ 1 K/k_ 1\) has a normal basis (meaning that the ring of \(p\)-integers of any finite extension in the tower has a normal basis over \(k_ 1\)). By a previous result of T. Fukuda and the author, if \(p=3\), \(F= \mathbb{Q} (\sqrt {-d})\), \(E= \mathbb{Q}( \sqrt{3d})\), \(({{-d} \over 3}) =-1\), \(3\mid h_ E\) and every \(\mathbb{Z}_ 3\)-extension of \(F\) has a normal basis, then the \(\lambda\)-invariant of \(E\) does not vanish. According to the author, this gives a slightly negative data against Greenberg's conjecture on the vanishing of the \(\lambda\)-invariant of any totally real number field. But because of the additional conditions, this reviewer does not think the data is relevant. Roughly speaking, the existence of normal bases as above means that a certain capitulation kernel in the cyclotomic \(\mathbb{Z}_ 3\)-extension of \(E\) vanishes [\textit{V. Fleckinger} and the reviewer, Manuscr. Math. 71, 183-195 (1991; Zbl 0732.11063)]. Then, modulo certain conditions on ramification (probably ensured by \(({{-d} \over 3})=-1 \)), the Iwasawa module upstairs would ``go down'' precisely on the 3-class group downstairs, and Greenberg's conjecture would be equivalent to \(3\nmid h_ E\). The situation is exactly the same as in the study of Vandiver's conjecture related to normal bases [\textit{I. Kersten} and \textit{J. Michaliček}, J. Number Theory 32, 371-386 (1989; Zbl 0709.11058)].
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R23
zbMATH DE Number: 683138
zbMATH Keywords: modular units
zbMATH Keywords: normal basis
zbMATH Keywords: Greenberg's conjecture
zbMATH Keywords: \(\lambda\)-invariant
reviewed by: Thong Nguyen Quang Do
MaRDI profile type: Publication
Wikidata QID: Q123337913
cites work: Bases normales, unités et conjecture faible de Leopoldt. (Normal bases, units, and the weak Leopoldt conjecture)
cites work: Normal bases and \(\lambda\)-invariants of number fields
cites work: On the Iwasawa Invariants of Totally Real Number Fields
cites work: On normal integral bases
cites work: Normal bases and \(\mathbb{Z}_ p\)-extensions
cites work: Q3953865
cites work: \(\mathbb Z_p\)-extensions of complex multiplication fields
cites work: On Vandiver's conjecture and \({\mathbb{Z}}_ p\)-extensions of \({\mathbb{Q}}(\zeta_{p^ n})\)
cites work: Galoismodulstruktur und elliptische Funktionen. (Galois module structure and elliptic functions)
cites work: Q5625265
cites work: \(L\)-functions at \(s=1\). IV: First derivatives at \(s=0\)
cites work: Relative Galois module structure of rings of integers and elliptic functions. II
OpenAlex ID: W2070339707
Recommended article: Normal bases and \(\lambda\)-invariants of number fields
Recommended article: A construction of normal bases over the Hilbert \(p\)-class field of imaginary quadratic fields
Recommended article: Modular construction of normal basis
Recommended article: On quadratic subextensions of ray class fields of quadratic fields mod \({\mathfrak p}\)
Recommended article: On the Iwasawa invariants of certain real abelian fields. II
Recommended article: Structure galoisienne et corps de classes de rayon de conducteur 2
Recommended article: Note on the ring of integers of a Kummer extension of prime degree. III
Recommended article: Normal integral basis of an unramified quadratic extension over a cyclotomic \(\mathbb{Z}_2\)-extension
Recommended article: Remarks on normal bases
Recommended article: ON A THEOREM OF CHILDS ON NORMAL BASES OF RINGS OF INTEGERS
description: scientific article; zbMATH DE number 683138