Genus theory and -conjectures on p-class groups

DOI10.1016/J.JNT.2019.07.008zbMATH Open1436.11134arXiv1903.02922OpenAlexW2920982518WikidataQ122937747 ScholiaQ122937747MaRDI QIDQ2329282FDOQ2329282

Authors: Georges Gras 

Publication date: 17 October 2019

Published in: Journal of Number Theory (Search for Journal in Brave)

Abstract: We suspect that the ``genus part of the class number of a number field K may be an obstruction for an ``easy proof of the classical p-rank epsilon-conjecture for p-class groups and, a fortiori, for a proof of the ``strong epsilon-conjecture: # (Cl_K otimes �_p) <<_(d,p,epsilon) ($sqrt$D_K)^epsilon for all K of degree d. We analyze the weight of genus theory in this inequality by means of an infinite family of degree p cyclic fields with many ramified primes, then we prove the p-rank epsilon-conjecture: # (Cl_K otimes F_p) <<_(d,p,epsilon) ($sqrt$D_K)^epsilon, for d=p and the family of degree p cyclic extensions (Theorem 2.5) then sketch the case of arbitrary base fields. The possible obstruction for the strong form, in the degree p cyclic case, is the order of magnitude of the set of ``exceptional p-classes given by a well-known non-predictible algorithm, but controled thanks to recent density results due to Koymans--Pagano. Then we compare the epsilon-conjectures with some p-adic conjectures, of Brauer- Siegel type, about the torsion group T_K of the Galois group of the maximal abelian p-ramified pro-p-extension of totally real number fields K. We give numerical computations with the corresponding PARI/GP programs.

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

Recommendations

• \(\ell\)-torsion in class groups of certain families of \(D_4\)-quartic fields
• The least prime which does not split completely
• A note on generators of number fields
• Pointwise bound for \(\ell \)-torsion in class groups: elementary abelian extensions
• Points of low heights on \(\mathbb P^1\) over number fields and bounds for torsion in class groups
• Explicit bounds for primes in residue classes
• Growth results and Euclidean ideals
• Conditional upper bound for the \(k\)-th prime ideal with given Artin symbol
• A note on the least prime that splits completely in a nonabelian Galois number field
• scientific article; zbMATH DE number 5166900

zbMATH Keywords

genus theoryclass groups\(p\)-ramificationclass-field theory\(\varepsilon\)-conjectures

Mathematics Subject Classification ID

Class field theory (11R37) Other abelian and metabelian extensions (11R20) Class numbers, class groups, discriminants (11R29)

Cites Work

• Global \(\ell\)-adique clean field theory
• On the distribution of class groups of number fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Genus Field and Genus Number in Algebraic Number Fields
• Computing Arakelov class groups
• A class group heuristic based on the distribution of 1-eigenspaces in matrix groups
• Title not available (Why is that?)
• The Cohen-Lenstra heuristics, moments and \(p^j\)-ranks of some groups
• Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounds for the \(\ell\)-torsion in class groups
• Non-abelian number fields with very large class numbers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reflection Principles and Bounds for Class Group Torsion
• Class numbers of real cyclotomic fields of prime conductor
• Title not available (Why is that?)
• Minus class groups of the fields of the 𝑙-th roots of unity
• The Brauer-Siegel and Tsfasman-Vlăduţ theorems for almost normal extensions of number fields
• The genus field and genus group in finite number fields
• Reflexion theorems
• Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). II
• Rédei-matrices and applications
• Maximal class numbers of CM number fields
• Title not available (Why is that?)
• THE GENERALIZATION OF A THEOREM OF L. RÉDEI'S
• Unités et classes dans les extensions metabéliennes de degrè \(n\ell^s\) sur un corps de nombres algébriques
• Genus theory and governing fields
• Invariant generalized ideal classes -- structure theorems for \(p\)-class groups in \(p\)-extensions
• The local \(\theta\)-regulators of an algebraic number: \(p\)-adic conjectures
• The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
• On the Brun-Titchmarsh theorem
• Heuristics and conjectures in the direction of a \(p\)-adic Brauer-Siegel theorem
• Average bounds for the \(\ell\)-torsion in class groups of cyclic extensions
• Extreme Values of Class Numbers of Real Quadratic Fields

Cited In (15)

• On infinite unramified Galois extensions of algebraic number fields with many primes decomposing almost completely
• On Hurwitz generation and genus actions of sporadic groups
• Genus distribution of \(P_3 \mathop\square P_n\)
• Title not available (Why is that?)
• \(\ell\)-torsion bounds for the class group of number fields with an \(\ell\)-group as Galois group
• A note on the least prime that splits completely in a nonabelian Galois number field
• Pointwise bound for \(\ell \)-torsion in class groups: elementary abelian extensions
• Heuristics and conjectures in the direction of a \(p\)-adic Brauer-Siegel theorem
• Conjugacy Classes of the Hyperelliptic Mapping Class Group of Genus 2 and 3
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\ell\)-torsion in class groups of certain families of \(D_4\)-quartic fields
• New Eliahou semigroups and verification of the Wilf conjecture for genus up to 65
• Title not available (Why is that?)
• The Chevalley-Herbrand formula and the real abelian Main Conjecture (new criterion using capitulation of the class group)

This page was built for publication: Genus theory and \(\varepsilon\)-conjectures on \(p\)-class groups

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