Conjecture on uniform distribution of split-place differences in class groups

Let pp be an odd rational prime and let QQ be either Q\mathbb{Q} or Fq(t)\mathbb{F}_q(t), with pq(q1)p\nmid q(q-1). For K/QK/Q, define

ClK={Cl(OK)p,Q=Q,Pic0(CK)p,Q=Fq(t),\operatorname{Cl}_K= \begin{cases} \operatorname{Cl}(\mathcal{O}_K)_p,& Q=\mathbb{Q},\\ \operatorname{Pic}^0(C_K)_p,& Q=\mathbb{F}_q(t), \end{cases}

and write the group law additively. If a finite place vv of QQ splits completely in a quadratic extension KK as v1,v2v_1,v_2, consider the class-group element v1v2v_1-v_2.

Uniform-distribution conjecture. As such quadratic extensions are ordered by discriminant, v1v2v_1-v_2 is distributed uniformly in ClK\operatorname{Cl}_K. More precisely, in the number-field case restricted to imaginary quadratic fields, or in the function-field case, the isomorphism classes of pairs (ClK,v1v2)(\operatorname{Cl}_K,v_1-v_2) are distributed according to μ\mu.

This refines Cohen–Lenstra-type distributional predictions by tracking distinguished elements arising from split places. The supplied text gives no resolution status for this assertion.

Sources & referencesView supporting material

Primary source

Melanie Matchett Wood, “Cohen-Lenstra heuristics and local conditions”, arXiv:1710.01350 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.