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

Characterization of probability distributions on some locally compact Abelian groups containing an element of order 2

Heyde theorem for locally compact Abelian groups containing no subgroups topologically isomorphic to the 2-dimensional torus

On a characterization of shifts of Haar distributions on compact open subgroups of a compact Abelian group

On a characterization theorem in the space $\mathbb{R}^n$

Identically distributed random vectors on locally compact Abelian groups

Arithmetic of a certain semigroup of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$

The 2-character theory for finite 2-groups

Strong asymptotic freeness for independent uniform variables on compact groups associated to nontrivial representations

An Analogue of the Klebanov Theorem for Locally Compact Abelian Groups

Characterizations of Two-Points and Other Related Distributions

Freely Independent Random Variables with Non-Atomic Distributions

On the Distribution of Class Groups of Abelian Extensions

Strictly subgaussian probability distributions

On the Wehrl entropy lower bound for a locally compact abelian group

Probabilistic Laws on Infinite Groups

Distribution of Random Variables on the Symmetric Group

Invariant random subgroups over non-Archimedean local fields

The character of the Weil representation of a finite abelian group of odd order

Limit theorems for the coefficients of random walks on the general linear group

Probabilistic Galois Theory in Function Fields