-torsion in class groups of certain families of D₄-quartic fields

DOI10.5802/JTNB.1109MaRDI QIDQ2199670zbMATH OpenOpenAlexFDO

Authors Chen An

Publication date 14 September 2020

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://arxiv.org/abs/1808.02148

zbMATH Keywords

class-group torsionquartic fields, dihedral fields

Mathematics Subject Classification ID

Cubic and quartic extensions (11R16) Class numbers, class groups, discriminants (11R29)

Abstract: We prove an upper bound for $ell$-torsion in class groups of almost all fields in certain families of $D_4$-quartic fields. Our key tools are a new Chebotarev density theorem for these families of $D_4$-quartic fields and a lower bound for the number of fields in the families.

Review text

For an algebraic number field \(K\) and \(1\le \ell\in \mathbb Z\) denote by \(Cl_K[\ell]\) the number of ideal classes \(I\) in \(K\) with \(I^\ell=\mathrm{Id}\). It has been conjectured by \textit{A. Brumer} and \textit{J. H. Silverman} [Manuscr. Math. 91, No. 1, 95--102 (1996; Zbl 0868.11029)] that one has \[\#Cl_K[\ell]\ll_{\ell,d}\frac{\log(D_K)}{\log\log(D_K)},\] where \(d\) is the degree of \(K\) and \(D_K\) is the absolute value of its discriminant. For quadratic fields this follows from Gauss's theorem on the genera. It has been shown by \textit{J. S. Ellenberg} and \textit{A. Venkatesh} [Int. Math. Res. Not. 2007, No. 1, Article ID rnm002, 18 p. (2007; Zbl 1130.11060)] that \(GRH\) implies \[ \#Cl_K[\ell]\ll_{\ell,d,\varepsilon} D_K^{1/2-1/2\ell(d-1)+\varepsilon},\tag{1} \] and later \textit{J. Ellenberg} et al. [Algebra Number Theory 11, No. 8, 1739--1778 (2017; Zbl 1398.11136)] proved that (1) holds for almost all fields of degree \(2\le d\le 5\) and \(\ell \ge \ell(d)\), where \(\ell(2)=\ell(3)=1\), \(\ell(4)=8\), \(\ell\ge25\), provided in the case \(d=4\) one excludes fields whose Galois closure has a dihedral Galois group. Now the authors consider the case of quartic fields with dihedral Galois closure and establish the following result (Theorems 1.1, 1.2): Let \(k=\mathbb Q(\sqrt a,\sqrt b)\) with \(a\ne b\) being square-free integers and let \(\mathcal F_4(k)\) be the family of all quartic fields whose Galois closure is dihedral and contains the field \(k\). If \(\mathcal F_4(k)\) is non-empty, then for all \(\ell\ge2\), \(\epsilon>0\) and almost all fields \(K\in\mathcal F_4(k)\) one has \[\#Cl_K[\ell]\ll_{\ell,\varepsilon} D_K^{1/2-1/5\ell+\varepsilon}.\]

Recommendations

• Genus theory and \(\varepsilon\)-conjectures on \(p\)-class groups
• Genus fields of real biquadratic fields
• Relations in the 2-class group of quadratic number fields
• Divisibility of class numbers of imaginary quadratic function fields by a fixed odd number
• Bounds for frequencies of class groups of real quadratic genus 1 function fields
• scientific article; zbMATH DE number 1788503
• The genus fields of Artin-Schreier extensions
• Some explicit upper bounds on the class number and regulator of a cubic field with negative discriminant
• scientific article; zbMATH DE number 799565
• Biquadratic fields having a non-principal Euclidean ideal class

Cites work

• A symplectic case of Artin's conjecture
• A unified and improved Chebotarev density theorem
• An effective Chebotarev density theorem for families of number fields, with an application to -torsion in class groups
• Average bounds for the \(\ell\)-torsion in class groups of cyclic extensions
• Averages and moments associated to class numbers of imaginary quadratic fields
• Bounds for the -torsion in class groups
• scientific article; zbMATH DE number 3693585 (Why is no real title available?)
• scientific article; zbMATH DE number 3563269 (Why is no real title available?)
• scientific article; zbMATH DE number 1788503 (Why is no real title available?)
• scientific article; zbMATH DE number 2121181 (Why is no real title available?)
• Integral bases for quartic fields with quadratic subfields
• On \(\ell\)-torsion in class groups of number fields
• Reflection Principles and Bounds for Class Group Torsion
• Zeros of families of automorphic \(L\)-functions close to 1.

Cited in

(11)

• On \(\ell\)-torsion in class groups of number fields
• An effective Chebotarev density theorem for families of number fields, with an application to -torsion in class groups
• Genus theory and \(\varepsilon\)-conjectures on \(p\)-class groups
• Pointwise bound for \(\ell \)-torsion in class groups: elementary abelian extensions
• Averages and higher moments for the \(\ell\)-torsion in class groups
• Bounds for the -torsion in class groups
• \(\ell\)-torsion bounds for the class group of number fields with an \(\ell\)-group as Galois group
• Counting problems: class groups, primes, and number fields
• An approximate form of Artin's holomorphy conjecture and non-vanishing of Artin L-functions
• The average size of 3-torsion in class groups of 2-extensions
• Inductive methods for counting number fields

This page was built for publication: \(\ell\)-torsion in class groups of certain families of \(D_4\)-quartic fields

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