Conjectural mean-size asymptotic for primitive odd class-group components

Let k3k\geq 3 be odd, let Hk(d)H_k(-d)^* denote the relevant primitive component of the class group, and let ϕCc(R+)\phi\in C_c^\infty(\mathbb{R}^+). Write ϕ^\hat{\phi} for the Mellin transform of ϕ\phi, and let C1,kC_{1,k} be the constant from the paper's general asymptotic theorem. The smoothed aggregate size is

Mean-size conjecture.

dϕ(dD)Hk(d)=2π2ϕ^(1)D+C1,kϕ^(12+1k)D12+1k+o(D12+1k).\sum_d^* \phi\left(\frac{d}{D}\right)|H_k(-d)^*|=\frac{2}{\pi^2}\hat{\phi}(1)D+C_{1,k}\hat{\phi}\left(\frac{1}{2}+\frac{1}{k}\right)D^{\frac{1}{2}+\frac{1}{k}}+o\left(D^{\frac{1}{2}+\frac{1}{k}}\right).

This prediction is motivated by assuming sufficiently strong equidistribution for all odd k3k\geq 3, so that the absence of Heegner points above height D121kD^{\frac12-\frac1k} is detectable. It extends the known k=3k=3 situation connected with the Davenport--Heilbronn asymptotic; the source presents the general statement as conjectural.

Sources & referencesView supporting material

Primary source

Bob Hough, “Equidistribution of bounded torsion CM points”, arXiv:1005.1458 (2016).

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.