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

Asymptotics of extensions of simple $\mathbb Q$-algebras

Enumerating Galois extensions of number fields

On the asymptotics of elementary-abelian extensions of local and global function fields

Corestrictions of algebras and splitting fields

Sur le théorème de Brauer-Siegel généralisé

Involutions, odd-degree extensions and generic splitting

On the Distribution of Class Groups of Abelian Extensions

A number field analogue of Weil's theorem on congruent zeta functions

Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Kähler differentials of extensions of valuation rings and deeply ramified fields

Counting wildly ramified quartic extensions with prescribed discriminant and Galois closure group

Kummer theory for function fields

Descent of the Definition Field of a Tower of Function Fields and Applications

Computational data on ${\mathfrak S}_n$-extensions of $\mathbb Q$

Approximation of adelic divisors and equidistribution of small points

A predicted distribution for Galois groups of maximal unramified extensions

Lattices in function fields and applications

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Quantization of Poisson CGL extensions

Bilinear forms with Kloosterman and Gauss sums in function fields