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|$.

Moments of ideal class counting functions

Complex moments of class numbers with fundamental unit restrictions

Bounds of ideal class numbers of real quadratic function fields

Moments of the cot function, central factorial numbers and their links with the Dirichlet eta function at odd integers

Moments of non-normal number fields -- II

Counting cusp forms by analytic conductor

On Fourier coefficients associated to automorphic L-functions over a binary quadratic form and its applications

On the Moments of the Number of Representations as Sums of Two Prime Squares

On the Distribution of Class Groups of Abelian Extensions

Some Congruences Connecting Quadratic Class Numbers with Continued Fractions

Hypergeometric Moments and Hecke Trace Formulas

First moment of central values of Hecke $L$-functions with Fixed Order Characters

Deterministic comparison of cusp form coefficients over certain sequences

Odd moments and adding fractions

Binary quadratic forms of odd class number

Mixed moments of $\rm GL(2)$ and symmetric square $L$-functions

On the number of prime divisors and radicals of non-zero Fourier coefficients of Hilbert cusp forms

Congruence Formulae Modulo Powers of 2 for Class Numbers of Cyclic Quartic Fields

Moments of random multiplicative functions over function fields

Factorization of Hilbert class polynomials over prime fields

Ordinary primes in Hilbert modular varieties