On 2-adic Lie iterated extensions of number fields arising from a Joukowski map
type: Item
instance of: scholarly article
title: On 2-adic Lie iterated extensions of number fields arising from a Joukowski map
zbMATH Open document ID: 1485.11156
author: Yasushi Mizusawa
author: Kota Yamamoto
published in: Tokyo Journal of Mathematics
publication date: 2021-09-13T00:00:00Z
review text: The article provides some technical developments in Iwasawa theory, which could have important consequences, particularly in the study of ideal class numbers. The main objects of study in the paper are dyadic (2-adic) Lie extensions of an algebraic number field, and their associated Iwasawa modules. These modules are of great consequence within number theory, since the dyadic growth of the class number of such a Lie extension is controlled by the structure of Iwasawa modules and their associated Galois action. The authors are particularly interested in the notion of ``pseudo-nullity'' of Iwasawa modules, which in this context simply means finiteness, and they take steps towards advancing a conjecture of Ralph Greenberg that the Iwasawa module is pseudo-null if the underlying field is totally real, and the extension is cyclotomic. The main results of the article establish conditions on a base field \(k\) and an extension \(K_{\infty}\) that result in the Iwasawa module being pseudo-null. The extensions in question are constructed using a ``Joukowski map'', i.e., a complex map of the form \(J(x)=\frac{x+x^{-1}}{2}\). Taking \(\phi\) to be a specific conjugate of \(J\), the main theorems in the paper consider a 2-adic extension \(K_{\infty}\) of \(k\) arising from a union of fields \(K_n\) of the form \(K_n=k(\phi^{-n}(b_0))\), where \(b_0\) is a canonically chosen element of \(k\). The first result of the paper, Theorem 1, states that the Iwasawa module \(X(K_{\infty})\) is pseudo-null under certain appropriate conditions which would follow from Greenberg's theorem, and Theorem 2 then states a simple number theoretic criterion for \(b_0\) which also ensures that \(X(K_{\infty})\) is pseudo-null. The structure of the paper is very straightforward. After outlining some motivation and stating the main results in section 1, it goes on in section 2 to outline some preliminary definitions and concepts used throughout the paper, mainly concerning constructions of extension f…
reviewed by: Adam Jones
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R32
zbMATH DE Number: 7394481
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: iterated extension
zbMATH Keywords: \(p\)-adic Lie extension
describes a project that uses: PARI/GP
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1502179321
OpenAlex ID: W3093049552
cites work: Q5461867
cites work: Arboreal Galois representations
cites work: Q5258117
cites work: MODULES OVER IWASAWA ALGEBRAS
cites work: Ramification in iterated towers for rational functions
cites work: Class numbers in \(\mathbb{Z}_p^d\)-extensions
cites work: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields
cites work: QUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS
cites work: On the Iwasawa Invariants of Totally Real Number Fields
cites work: On the failure of pseudo-nullity of Iwasawa modules
cites work: Local torsion primes and the class numbers associated to an elliptic curve over \(\mathbb{Q}\)
cites work: On the \(\mathbb Z_{p}\)-ranks of tamely ramified Iwasawa modules
cites work: A note on class numbers of algebraic number fields
cites work: Galois theory of quadratic rational functions
cites work: Arithmetic of Rikuna's generic cyclic polynomial and generalization of Kummer theory
cites work: On the class number and unit index of simplest quartic fields
cites work: Estimating class numbers over metabelian extensions
cites work: Q4956108
cites work: Tame pro-2 Galois groups and the basic ℤ₂-extension
cites work: Q4254917
cites work: Asymptotic lower bound of class numbers along a Galois representation
cites work: On Iwasawa invariants in \(p\)-adic Lie extensions
cites work: On simple families of cyclic polynomials
cites work: On the class numbers of the fields of the \(p^n\)-torsion points of certain elliptic curves over \(\mathbb{Q}\)
cites work: A Family of Real 2 n -Tic Fields
cites work: Q5690489
cites work: On iterated extensions of number fields arising from quadratic polynomial maps
cites work: Divisibility by 16 of class number of quadratic fields whose 2-class groups are cyclic
DOI: 10.3836/TJM/1502179321
description: scientific article; zbMATH DE number 7394481