Unramified subextensions of ray class towers
type: Item
instance of: scholarly article
title: Unramified subextensions of ray class towers
zbMATH Open document ID: 1018.11058
author: Farshid Hajir
author: Christian Maire
published in: Journal of Algebra
publication date: 2003-09-14T00:00:00Z
review text: Let \(\ell\) be a prime number, \(k\) be a number field and \(T\) be a finite set of places of \(k\). Let \(k_T\) be the maximal \(\ell\)-extension of \(k\) unramified outside \(T\) and set \(G_{k,T}= \text{Gal}(k_T/k)\). If all finite places of \(T\) have absolute norm congruent to 1 modulo \(\ell\), we write \((T,\ell)=1\). An extension \(L/F\) is said to be a subextension of \(k_T/k\) provided \(k\subseteq F\subset L\subseteq k_T\) with \([F:k]< \infty\). The primary focus of the article is the following question: Suppose that \((T,\ell)=1\) and \(k_T/k\) is infinite. Does \(k_T/k\) admit an infinite unramified subextension? In Theorem 4.1 the authors show that the answer is yes provided that \(|T|\geq 2u+ 4+ 2\sqrt{\ell u+2}+ 2\sqrt{u+1}\) where \(u= r_1+r_2\). Here \(r_1\) and \(2r_2\) denote the number of real and imaginary embeddings of \(k\) into the field of complex numbers. Also, when \(k=Q\), several infinite families of examples are given where \(T= \{p,q,\infty\}\) where \(p\) and \(q\) are odd primes and the question has a positive answer. A specific example is \(T= \{17,101,\infty\}\) with \(\ell=2\). In the final section of the article, the authors formulate a hypothesis regarding subgroup growth of \(G_{k,T}\). A positive answer to this question would not only give a positive answer to the above question, but also positive answers to conjectures of \textit{J.-M. Fontaine} and \textit{B. Mazur} [Proceedings of Conference in Hong Kong, International Press, Ser. Number Theory 1, 41-78 (1995; Zbl 0839.14011)] and \textit{N. Boston} [J. Number Theory 42, 285-291 (1992; Zbl 0768.11044) and 75, 161-169 (1999; Zbl 0928.11050)].
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11R32
zbMATH DE Number: 1750367
zbMATH Keywords: infinite unramified subextension
zbMATH Keywords: subgroup growth
reviewed by: Charles J. Parry
MaRDI profile type: Publication
full work available at URL: jabr.2001.9079
OpenAlex ID: W2038168826
cites work: Some cases of the Fontaine-Mazur conjecture
cites work: Some cases of the Fontaine-Mazur conjecture. II
cites work: Explicit deformation of Galois representations
cites work: Maximal 2-extensions with restricted ramification
cites work: Explicit computation of Galois \(p\)-groups unramified at \(p\)
cites work: On Class Field Towers and the Rank of Ideal Class Groups
cites work: Q5509036
cites work: On the growth of \(p\)-class groups in \(p\)-class field towers
cites work: Tamely ramified towers and discriminant bounds for number fields
cites work: Q4407980
cites work: Tamely ramified towers and discriminant bounds for number fields. II.
cites work: Q4534494
cites work: Number fields with class number congruent to 4 mod 8 and Hilbert's Theorem 94
cites work: Linear pro-\(p\)-groups of finite width
cites work: Q3208765
cites work: Q5619167
cites work: Q3639889
cites work: Unramified quaternion extensions of quadratic number fields
cites work: A group theoretic characterization of linear groups
cites work: On the \(\mathbb Z_l\)-rank of Abelian extensions with restricted ramification
cites work: Tours de corps de classes et estimations de discriminants
cites work: Q4935965
cites work: Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions : a survey of recent results
cites work: New horizons in pro-\(p\) groups
cites work: Konstruktion imaginärquadratischer Körper mit unendlichem Klassenkörperturm
cites work: Infinite class field towers of quadratic fields.
cites work: Galois Cohomology
cites work: Q4856490
DOI: 10.1006/JABR.2001.9079
Recommended article: Extensions of homomorphisms and the structure of ray class groups
Recommended article: Unramified classes over a classifying space
Recommended article: Nonfinite unramified extensions
Recommended article: Q5164940
Recommended article: Q3735825
Recommended article: Q4857928
Recommended article: An optimal unramified tower of function fields
Recommended article: Ramification and class towers of number fields
Recommended article: Q5200983
Recommended article: On ramification and genus of recursive towers
description: scientific article; zbMATH DE number 1750367