On some properties of Galois groups of unramified extensions

MaRDI QIDQ294157zbMATH OpenFDO

Authors Mamoru Asada

Publication date 9 June 2016

Published in Osaka Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ojm/1461781790

zbMATH Keywords

maximal cyclotomic extensionmaximal unramified abelian extensionmaximal unramified Galois extension

Mathematics Subject Classification ID

Cyclotomic extensions (11R18) Iwasawa theory (11R23)

Review text

For \( k \) an algebraic number field of finite degree, let \( k_{\infty} \) be the maximal cyclotomic extension of \( k, \) that is, the field obtained by adjoining to \( k \) all \( \zeta_n,~n\geq 1. \) Let \( \tilde{L}_k \) and \( L_k \) be the maximal unramified Galois extension, respectively the maximal unramified abelian extension of \( k_{\infty}. \) The author studies the Galois groups \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}), \) \( \mathrm{Gal}(L_k/k_{\infty}) \) and \( \mathrm{Gal}(\tilde{L}_k/k). \)NEWLINENEWLINEMore precisely, the author proves that every subgroup of \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}) \) with finite index is centerfree.NEWLINENEWLINENote that the Galois group \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}) \) may be regarded as an analogue of the algebraic fundamental group of a proper smooth geometrically connected curve over the algebraic closure of a finite field. Indeed, with some exceptions (cf. e.g. \textit{A. Tamagawa} [Compos. Math. 109, No. 2, 135--194 (1997; Zbl 0899.14007)]), the same property is satisfied by the algebraic fundamental group of a smooth geometrically connected curve over an algebraically closed constant field.NEWLINENEWLINENext, the author considers the Galois groups \(\Gamma= \mathrm{Gal}(k_{\infty}/k) \) and \( X=\mathrm{Gal}(L_k/k_{\infty}). \) Then \( \Gamma \) acts naturally on \( X, \) which makes \( X \) a \( \Gamma \)-module. As a profinite abelian group, \( X \) is isomorphic to the direct product of a countable number of copies of \( \widehat{\mathbb{Z}}, \) the profinite completion of \( \mathbb Z. \) The structure of \( X \) as a \( \Gamma \)-module is, however, not so well understood. (Partial related results were obtained by the author [Tohoku Math. J. (2) 60, No. 1, 135--147 (2007; Zbl 1227.11115)]; also, the above result follows from \textit{K. Uchida} [Tohoku Math. J., II. Ser. 34, 311--317 (1982; Zbl 0502.12020)].) The author proves that \( X \) is a faithful \( \Gamma \)-module. It will follow from here also that every subgroup of \( \mathrm{Gal}(\tilde{L}_k/k) \) with finite index is centerfree.NEWLINENEWLINEFinally, the author investigates the inverse Galois problem on \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}). \) The maximal prosolvable quotient of \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}) \) was determined by \textit{K. Uchida} [Proc. Symp., Nagoya/Jap. 1981, Adv. Stud. Pure Math. 2, 99--102 (1983; Zbl 0524.12014)], but not too much seems to be known for its non-solvable quotients. In previous work [J. Fac. Sci., Univ. Tokyo, Sect. I A 32, 397--415 (1985; Zbl 0593.12004)]), when \( k=\mathbb Q, \) the author showed that there exist finitely many unramified Galois extensions of \( \mathbb{Q}_{\infty} \) having as Galois group the finite non-solvable group \( \mathrm{PSL}_2(\mathbb Z/p^r\mathbb{Z})=\mathrm{SL}_2(\mathbb Z/p^r\mathbb{Z})/\{\pm 1\}, \) where \(p \) is any prime greater than 3 and \( r \) a positive integer. In this paper, the result is strengthened to the following.NEWLINENEWLINETheorem. Let \( p\geq 5 \) be prime. Then there exists an unramified Galois extension \( F \) of \( \mathbb Q_{\infty} \) such that \( \mathrm{Gal}(F/\mathbb Q_{\infty}) \) is isomorphic to \( \prod_{N=1}^{\infty}\mathrm{SL}_2(\mathbb Z_p), \) the direct product of a countable number of copies of \( \mathrm{SL}_2 (\mathbb Z_p).\)NEWLINENEWLINEIt is worth mentioning that the proof of the above result consists in an arithmetical and a group-theoretical part. The arithmetical point is that the Galois group \( \mathrm{Gal}(\tilde{L}_k/k_{\infty}) \) is projective (also due to \textit{K. Uchida} [Tohoku Math. J., II. Ser. 34, 311--317 (1982; Zbl 0502.12020)]), while the group-theoretical part deals with some properties of the group \(\mathrm{SL}_2(\mathbb Z_p)\) due to \textit{J.-P. Serre} [Research Notes in Mathematics. 7. Wellesley, MA: A K Peters (1998; Zbl 0902.14016); Invent. Math. 15, 259--331 (1972; Zbl 0235.14012)].

Recommendations

• On unramified Galois $2$-groups over $\mathbb Z_2$-extensions of real quadratic fields
• Ein Analogon zur Fundamentalgruppe einer Riemann'schen Fläche im Zahlkörperfall
• scientific article; zbMATH DE number 4202403
• scientific article; zbMATH DE number 5382078
• scientific article; zbMATH DE number 5258118
• On Galois groups of abelian extensions over maximal cyclotomic fields
• On the structure of the Galois group of the maximal pro-\(p\) extension with restricted ramification over the cyclotomic \(\mathbb{Z}_p\)-extension
• Galois theory on the line in nonzero characteristic
• A refined version of Grothendieck's birational anabelian conjecture for curves over finite fields
• Class numbers of real quadratic fields

Cites work

• Galois groups of unramified solvable extensions
• Galois properties of points of finite order of elliptic curves
• scientific article; zbMATH DE number 3952892 (Why is no real title available?)
• scientific article; zbMATH DE number 1088540 (Why is no real title available?)
• scientific article; zbMATH DE number 1083041 (Why is no real title available?)
• On Galois groups of abelian extensions over maximal cyclotomic fields

Cited in

(17)

• Ein Analogon zur Fundamentalgruppe einer Riemann'schen Fläche im Zahlkörperfall
• The arithmetic structure of the Galois group of the maximal nilpotent extension of an algebraic number field
• Isomorphisms of Galois groups
• On unramified Galois extensions of certain algebraic number fields
• On unramified Galois extensions constructed using Galois representations
• The external fundamental group of an algebraic number field
• scientific article; zbMATH DE number 3879040 (Why is no real title available?)
• scientific article; zbMATH DE number 4210290 (Why is no real title available?)
• On the maximal unramified p-extension of an algebraic number field.
• scientific article; zbMATH DE number 1869662 (Why is no real title available?)
• A remark on the number of Frobenius classes generating the Galois group of the maximal unramified extension
• Construction of unramified extensions with a prescribed solvable Galois group
• Galois p-groups unramified at p -- a survey
• Isomorphisms of Galois groups of number fields with restricted ramification
• The commutativity of the Galois groups of the maximal unramified pro-\(p\)-extensions over the cyclotomic \(\mathbb Z_p\)-extensions
• Construction of unramified extensions with a prescribed Galois group
• On Galois groups of abelian extensions over maximal cyclotomic fields

This page was built for publication: On some properties of Galois groups of unramified extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294157)