On the distribution of class groups of number fields

Gunter Malle

DOI: https://doi.org/10.1063/1.3507135

2009-12-08

Abstract:We propose a modification of the predictions of the Cohen--Lenstra heuristic for class groups of number fields in the case where roots of unity are present in the base field. As evidence for this modified formula we provide a large set of computational data which show close agreement.

Number Theory

What problem does this paper attempt to address?

Conjectures for distributions of class groups of extensions of number fields containing roots of unity

Will Sawin,Melanie Matchett Wood

2024-02-21

Abstract:Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow $p$-subgroups of the class group when the base number field contains $p$th roots of unity. We give complete conjectures of the distribution of Sylow $p$-subgroups of class groups of extensions of a number field when $p$ does not divide the degree of the Galois closure of the extension. These conjectures are based on $q\rightarrow\infty$ theorems on these distributions in the function field analog and use recent work of the authors on explicitly giving a distribution of modules from its moments. Our conjecture matches many, but not all, of the previous conjectures that were made in special cases taking into account roots of unity.

Number Theory
Random matrices, the Cohen-Lenstra heuristics, and roots of unity

Derek Garton

DOI: https://doi.org/10.2140/ant.2015.9.149

2014-05-23

Abstract:The Cohen-Lenstra-Martinet heuristics predict the frequency with which a fixed finite abelian group appears as an ideal class group of an extension of number fields, for certain sets of extensions of a base field. Recently, Malle found numerical evidence suggesting that their proposed frequency is incorrect when there are unexpected roots of unity in the base field of these extensions. Moreover, Malle proposed a new frequency, which is a much better match for his data. We present a random matrix heuristic (coming from function fields) that leads to a function field version of Malle's conjecture (as well as generalizations of it).

Number Theory
Heuristics and Related Results on Class Groups of Real Quadratic Fields

Lawrence C. Washington,Xianke Zhang

DOI: https://doi.org/10.1007/bf02879027

1998-01-01

Science in China Series A Mathematics

Abstract:The fact is studied that the ideal class numbers h of types of real quadratic fields usually contain a fixed prime number p as a factor, and the reason is found to be existing there a kind of prime ideals whose p th powers are principal. A modification of the Cohen-Lenstra Heuristics for the probability that in this situation the class number h is actually a multiple of p then is presented: Prob ( p ¦ h )=1-(1- p -1 )(1- P -2 )⋯. This idea is also extended to predict the probability that the class P represented by the above prime ideal is actually of order p : Prob ( o ( P )= p ) =1/ p . Both of these predictions agree fairly well with the numerical data.
On the Distribution of Class Groups of Abelian Extensions

Yuan Liu

2024-11-29

Abstract:Given a finite abelian group $\Gamma$, we study the distribution of the $p$-part of the class group $\operatorname{Cl}(K)$ as $K$ varies over Galois extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$ with Galois group isomorphic to $\Gamma$. We first construct a discrete valuation ring $e\mathbb{Z}_p[\Gamma]$ for each primitive idempotent $e$ of $\mathbb{Q}_p[\Gamma]$, such that 1) $e\mathbb{Z}_p[\Gamma]$ is a lattice of the irreducible $\mathbb{Q}_p[\Gamma]$-module $e\mathbb{Q}_p[\Gamma]$, and 2) $e\mathbb{Z}_p[\Gamma]$ is naturally a quotient of $\mathbb{Z}_p[\Gamma]$. For every $e$, we study the distribution of $e\operatorname{Cl}(K):=e\mathbb{Z}_p[\Gamma] \otimes_{\mathbb{Z}_p[\Gamma]} \operatorname{Cl}(K)[p^{\infty}]$, and prove that there is an ideal $I_e$ of $e\mathbb{Z}_p[\Gamma]$ such that $e\operatorname{Cl}(K) \otimes (e\mathbb{Z}_p[\Gamma]/I_e)$ is too large to have finite moments, while $I_e \cdot e\operatorname{Cl}(K)$ should be equidistributed with respect to a Cohen--Lenstra type of probability measure. We give conjectures for the probability and moment of the distribution of $I_e\cdot e\operatorname{Cl}(k)$, and prove a weighted version of the moment conjecture in the function field case. Our weighted-moment technique is designed to deal with the situation when the function field moment, obtained by counting points of Hurwitz spaces, is infinite; and we expect that this technique can also be applied to study other bad prime cases. Our conjecture agrees with the Cohen--Lenstra--Martinet conjecture when $p\nmid |\Gamma|$, and agrees with the Gerth conjecture when $\Gamma=\mathbb{Z}/p\mathbb{Z}$. We also study the kernel of $\operatorname{Cl}(K) \to \bigoplus_e e\operatorname{Cl}(K)$, and show that the average size of this kernel is infinite when $p^2\mid |\Gamma|$.

Number Theory
Abelian Bm$p$-Ramification Groups and New Cohen-Lenstra Heuristics

Jianing Li,Yi Ouyang,Yue Xu

DOI: https://doi.org/10.1360/ssm-2020-0294

2021-01-01

Scientia Sinica Mathematica

Abstract:In this paper, we first review the $\\T_p$-groups in the abelian $p$-ramification theory of general number fields.We also review a general setting of the Cohen-Lenstra heuristic. Then we propose various new Cohen-Lenstra heuristics for distributions of$\\T_p$-groups of quadratic fields, which in particular explains the speculation of Shanks et al. (1999) on the distributions of zeros of $2$-adic $L$-functions and also reveals the distribution of fundamental units in certain real quadratic fields. Theoretical and numerical evidence of our conjectures is also presented.
A predicted distribution for Galois groups of maximal unramified extensions

Yuan Liu,Melanie Matchett Wood,David Zureick-Brown

DOI: https://doi.org/10.1007/s00222-024-01257-1

IF: 3.128

2024-04-12

Inventiones mathematicae

Abstract:We consider the distribution of the Galois groups of maximal unramified extensions as ranges over -extensions of Q or . We prove two properties of coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on -generated profinite groups. In Part II, we prove as , agreement of as varies over totally real -extensions of with our distribution from Part I, in the moments that are relatively prime to . In particular, we prove for every finite group , in the limit, the prime-to- -moments of the distribution of class groups of totally real -extensions of agree with the prediction of the Cohen–Lenstra–Martinet heuristics.

mathematics
Arakelov class groups of random number fields

DOI: https://doi.org/10.1007/s00208-024-02862-4

2024-04-16

Mathematische Annalen

Abstract:The main purpose of the paper is to formulate a probabilistic model for Arakelov class groups in families of number fields, offering a correction to the Cohen–Lenstra–Martinet heuristic on ideal class groups. To that end, we show that Chinburg's conjecture implies tight restrictions on the Galois module structure of oriented Arakelov class groups. As a consequence, we construct a new infinite series of counterexamples to the Cohen–Lenstra–Martinet heuristic, which have the novel feature that their Galois groups are non-abelian.

mathematics
Invariant part of class group and distribution of relative class group

Weitong Wang

2024-08-13

Abstract:We generalize the work of Roquette and Zassenhaus on the invariant part of the class groups to the relative class groups. Thereby, we can show some statistical results as follows. For abelian extensions over a fixed number field K, we show infinite Cp-moments for the Sylow p-subgroup of the relative class group when p divides the degree of the extension. For sextic number fields with A4-closure, we can show infinite C2-moments for the Sylow 2-subgroup of the relative class group when the extensions run over a fixed Galois cubic field.

Number Theory
Gerth's heuristics for a family of quadratic extensions of certain Galois number fields

C. G. K. Babu,R. Bera,J. Sivaraman,B. Sury

2024-08-22

Abstract:Gerth generalised Cohen-Lenstra heuristics to the prime $p=2$. He conjectured that for any positive integer $m$, the limit $$ \lim_{x \to \infty} \frac{\sum_{0 < D \le X, \atop{ \text{squarefree} }} |{\rm Cl}^2_{\Q(\sqrt{D})}/{\rm Cl}^4_{\Q(\sqrt{D})}|^m}{\sum_{0 < D \le X, \atop{ \text{squarefree} }} 1} $$ exists and proposed a value for the limit. Gerth's conjecture was proved by Fouvry and Kluners in 2007. In this paper, we generalize their result by obtaining lower bounds for the average value of $|{\rm Cl}^2_Ł/{\rm Cl}^4_Ł|^m$, where $Ł$ varies over an infinite family of quadratic extensions of certain Galois number fields. As a special case of our theorem, we obtain lower bounds for the average value when the base field is any Galois number field with class number $1$ in which $2\Z$ splits.

Number Theory
The Cohen--Lenstra moments over function fields via the stable homology of non-splitting Hurwitz spaces

Aaron Landesman,Ishan Levy

2024-10-30

Abstract:We compute the average number of surjections from class groups of quadratic function fields over $\mathbb F_q(t)$ onto finite odd order groups $H$, once $q$ is sufficiently large. These yield the first known moments of these class groups, as predicted by the Cohen--Lenstra heuristics, apart from the case $H = \mathbb Z/3\mathbb Z$. The key input to this result is a topological one, where we compute the stable rational homology groups of Hurwitz spaces associated to non-splitting conjugacy classes.

Number Theory,Algebraic Geometry,Algebraic Topology
The distribution of the multiplicative index of algebraic numbers over residue classes

Pieter Moree,Antonella Perucca,Pietro Sgobba

DOI: https://doi.org/10.1007/s12188-024-00276-2

2024-04-11

Abstract:Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative group of the residue field at $\mathfrak p$. Under the Generalized Riemann Hypothesis we determine the natural density of primes of $K$ for which this index is in a prescribed set $S$ and has prescribed Frobenius in a finite Galois extension $F$ of $K$. We study in detail the natural density in case $S$ is an arithmetic progression, in particular its positivity.

Number Theory
The relative class number one problem for function fields, II

Kiran S. Kedlaya

2024-05-30

Abstract:We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil polynomials for both fields. Given this list, we analyze most cases by computing options for the splittings of low-degree places in the extension, then consider the effect of these options on the Weil polynomials of certain isogeny factors of the Jacobian of the Galois closure. In one case, we use instead an analysis based on principal polarizations, modeled on an argument of Howe.

Number Theory,Algebraic Geometry
A Random Group with Local Data Realizing Heuristics for Number Field Counting

Brandon Alberts

2023-04-04

Abstract:We define a group with local data over a number field $K$ as a group $G$ together with homomorphisms from decomposition groups ${\rm Gal}(\overline{K}_p/K_p)\to G$. Such groups resemble Galois groups, just without global information. Motivated by the use of random groups in the study of class group statistics, we use the tools given by Sawin-Wood to construct a random group with local data over $K$ as a model for the absolute Galois group ${\rm Gal}(\overline{K}/K)$ for which representatives of Frobenius are distributed Haar randomly as suggested by Chebotarev density. We utilize Law of Large Numbers results for categories proven by the author to show that this is a random group version of the Malle-Bhargava principle. In particular, it satisfies number field counting conjectures such as Malle's Conjecture under certain notions of probabilistic convergence including convergence in expectation, convergence in probability, and almost sure convergence. These results produce new heuristic justifications for number field counting conjectures, and begin bridging the theoretical gap between heuristics for number field counting and class group statistics.

Number Theory
Class Number Formulas for Certain Biquadratic Fields

Elizabeth Athaide,Emma Cardwell,Christina Thompson

2023-09-08

Abstract:We consider the class numbers of imaginary quadratic extensions $F(\sqrt{-p})$, for certain primes $p$, of totally real quadratic fields $F$ which have class number one. Using seminal work of Shintani, we obtain two elementary class number formulas for many such fields. The first expresses the class number as an alternating sum of terms that we generate from the coefficients of the power series expansions of two simple rational functions that depend on the arithmetic of $F$ and $p$. The second makes use of expansions of $1/p$, where $p$ is a prime such that $p \equiv 3 \pmod{4}$ and $p$ remains inert in $F$. More precisely, for a generator $\varepsilon_F$ of the totally positive unit group of $\mathcal{O}_F$, the base-$\varepsilon_{F}$ expansion of $1/p$ has period length $\ell_{F,p}$, and our second class number formula expresses the class number as a finite sum over disjoint cosets of size $\ell_{F,p}$.

Number Theory
Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

Felix Fontein,Eric Landquist,Renate Scheidler

DOI: https://doi.org/10.48550/arXiv.1001.4095

2010-01-23

Abstract:We describe and give computational results of a procedure to compute the divisor class number and regulator of most purely cubic function fields of unit rank 2. Our implementation is an improvement to Pollard's Kangaroo method in infrastructures, using distribution results of class numbers as well as information on the congruence class of the divisor class number, and an adaptation that efficiently navigates these torus-shaped infrastructures. Moreover, this is the first time that an efficient "square-root" algorithm has been applied to the infrastructure of a global field of unit rank 2. With the exception of certain function fields defined by Picard curves, our examples are the largest known divisor class numbers and regulators ever computed for a function field of genus 3.

Number Theory
The Kummer ratio of the relative class number for prime cyclotomic fields

Neelam Kandhil,Alessandro Languasco,Pieter Moree,Sumaia Saad Eddin,Alisa Sedunova

2024-02-21

Abstract:Kummer's conjecture predicts the asymptotic growth of the relative class number of prime cyclotomic fields. We substantially improve the known bounds of Kummer's ratio under three scenarios: no Siegel zero, presence of Siegel zero and assuming the Riemann Hypothesis for the Dirichlet $L$-series attached to odd characters only. The numerical work in this paper extends and improves on our earlier preprint (arXiv:1908.01152) and demonstrates our theoretical results.

Number Theory
The distribution of $a$-numbers of hyperelliptic curves in characteristic three

Derek Garton,Jeffrey Lin Thunder,Colin Weir

2024-03-01

Abstract:In this paper we present a new approach to counting the proportion of hyperelliptic curves of genus $g$ defined over a finite field $\mathbb{F}_q$ with a given $a$-number. In characteristic three this method gives exact probabilities for curves of the form $Y^2=f(X)$ with $f(X)\in\mathbb{F}_q[X]$ monic and cubefree, probabilities that match the data presented by Cais et al. in previous work. These results are sufficient to derive precise estimates (in terms of $q$) for these probabilities when restricting to squarefree $f$. As a consequence, for positive integers $a$ and $g$ we show that the nonempty strata of the moduli space of hyperelliptic curves of genus $g$ consisting of those curves with $a$-number $a$ are of codimension $2a-1$. This contrasts with the analogous result for the moduli space of abelian varieties in which the codimensions of the strata are $a(a+1)/2$. Finally, our results allow for an alternative heuristic conjecture to that of Cais et al.; one that matches the available data.

Number Theory,Algebraic Geometry
An analogue of Girstmair's formula in function fields

Daisuke Shiomi

2024-06-03

Abstract:Suppose that $p$ is an odd prime and $g>1$ is a primitive root modulo $p$. Let $M$ be a number field contained in the $p$-th cyclotomic field. Girstmair found a surprising relation between the relative class number of $M$ and the digits of $1/p$ in base $g$. In this paper, we consider an analogue of Girstmair's formula in function fields. Suppose that $P \in \mathbb{F}_q[T]$ is monic irreducible and $G \in \mathbb{F}_q[T]$ is a primitive root modulo $P$. Let $L$ be an extension field of $\mathbb{F}_q(T)$ contained in the $P$-th cyclotomic function field. The goal of this paper is to give relations between the plus and minus parts of the divisor class number of $L$ and the digits of $1/P$ in base $G$.

Number Theory
Joint distribution in residue classes of families of polynomially-defined multiplicative functions

Akash Singha Roy

2024-02-24

Abstract:We study the distribution of families of multiplicative functions among the coprime residue classes to moduli varying uniformly in a wide range, obtaining analogues of the Siegel--Walfisz Theorem for large classes of multiplicative functions. We extend a criterion of Narkiewicz for families of multiplicative functions that can be controlled by values of polynomials at the first few prime powers, and establish results that are completely uniform in the modulus as well as optimal in most parameters and hypotheses. This also significantly generalizes and improves upon previous work done for a single such function in specialized settings. Our results have applications for most interesting multiplicative functions, such as the Euler totient function $\phi(n)$, the sum-of-divisors function $\sigma(n)$, the coefficients of the Eisenstein series, etc., and families of these functions. For instance, an application of our results shows that for any fixed $\epsilon>0$, the functions $\phi(n)$ and $\sigma(n)$ are jointly asymptotically equidistributed among the reduced residue classes to moduli $q$ coprime to $6$ varying uniformly up to $(\log x)^{(1-\epsilon)\alpha(q)}$, where $\alpha(q) = \prod_{\ell \mid q} (\ell-3)/(\ell-1)$; furthermore, the coprimality restriction is necessary and the range of $q$ is essentially optimal. One of the primary themes behind our arguments is the quantitative detection of a certain mixing (or ergodicity) phenomenon in multiplicative groups via methods belonging to the `anatomy of integers', but we also rely heavily on more pure analytic arguments (such as a suitable modification of the Landau-Selberg-Delange method), -- whilst using several tools from arithmetic and algebraic geometry, and from linear algebra over rings as well.

Number Theory
Applying A.G. Postnikov's Formula in Algebraic Number Fields

Hafez Al-Assad

DOI: https://doi.org/10.1134/s1064562424601185

2024-06-21

Doklady Mathematics

Abstract:We present a new result on the generalisation of A.G. Postnikov's formula to the case of powers of 2. This, together with the original work of A.G. Postnikov and some structural theorems on reduced residue systems modulo prime-power ideals, is used to obtain estimates for certain character sums in algebraic number fields.

mathematics

On the distribution of class groups of number fields

Conjectures for distributions of class groups of extensions of number fields containing roots of unity

Random matrices, the Cohen-Lenstra heuristics, and roots of unity

Heuristics and Related Results on Class Groups of Real Quadratic Fields

On the Distribution of Class Groups of Abelian Extensions

Abelian Bm$p$-Ramification Groups and New Cohen-Lenstra Heuristics

A predicted distribution for Galois groups of maximal unramified extensions

Arakelov class groups of random number fields

Invariant part of class group and distribution of relative class group

Gerth's heuristics for a family of quadratic extensions of certain Galois number fields

The Cohen--Lenstra moments over function fields via the stable homology of non-splitting Hurwitz spaces

The distribution of the multiplicative index of algebraic numbers over residue classes

The relative class number one problem for function fields, II

A Random Group with Local Data Realizing Heuristics for Number Field Counting

Class Number Formulas for Certain Biquadratic Fields

Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

The Kummer ratio of the relative class number for prime cyclotomic fields

The distribution of $a$-numbers of hyperelliptic curves in characteristic three

An analogue of Girstmair's formula in function fields

Joint distribution in residue classes of families of polynomially-defined multiplicative functions

Applying A.G. Postnikov's Formula in Algebraic Number Fields