Heuristic one-level density formula for logarithmic derivatives in cubic field families

Let 12θ<56\frac 12 \leq \theta<\frac 56 and ω0\omega\geq0 be such that the stated local estimate holds. Let F±(X)\mathcal F^\pm(X) be the family of cubic fields of discriminant of sign ±\pm and size at most XX, with cardinality N±(X)N^\pm(X). For the associated Artin representations fKf_K, let θe\theta_e, xpx_p, βe(p)\beta_e(p), C1±C_1^\pm, C2±C_2^\pm, A3A_3, A4A_4, Γ±\Gamma_\pm, and LL be the quantities defined in the paper. There exists 0<δ<160<\delta<\frac 16 such that, for every fixed ε>0\varepsilon>0 and rCr\in\mathbb C satisfying 1LRe(r)<δ\frac1L\ll\operatorname{Re}(r)<\delta and rXε/2|r|\leq X^{\varepsilon/2}, an asymptotic formula for the family average of L(12+r,fK)/L(12+r,fK)L'(\frac12+r,f_K)/L(\frac12+r,f_K) is given by

1N±(X)KF±(X)L(12+r,fK)L(12+r,fK)=p,e1(θe+1p)xplogppe(12+r)C2±C1±X16(1C2±C1±X16)p,e1(βe(p)pe/3)logppe(12+r)+C2±C1±X16(1C2±C1±X16)ζζ(56+r)XrΓ±(12r)Γ±(12+r)ζ(12r)A3(r,r)1rC2±C1±Xr16(1C2±C1±X16)Γ±(12r)Γ±(12+r)ζ(12r)×(ζ(56r)ζ(56+r)A4(r,r)16r5A3(r,r)1r)+Oε(Xθ1+ε).\begin{aligned} \frac1{N^\pm(X)}\sum_{K\in\mathcal F^\pm(X)}\frac{L'(\frac12+r,f_K)}{L(\frac12+r,f_K)}={}&-\sum_{p,e\geq1}\left(\theta_e+\frac1p\right)\frac{x_p\log p}{p^{e(\frac12+r)}}\\ &-\frac{C_2^\pm}{C_1^\pm}X^{-\frac16}\left(1-\frac{C_2^\pm}{C_1^\pm}X^{-\frac16}\right)\sum_{p,e\geq1}\frac{(\beta_e(p)-p^{-e/3})\log p}{p^{e(\frac12+r)}}\\ &+\frac{C_2^\pm}{C_1^\pm}X^{-\frac16}\left(1-\frac{C_2^\pm}{C_1^\pm}X^{-\frac16}\right)\frac{\zeta'}\zeta\left(\frac56+r\right)\\ &-X^{-r}\frac{\Gamma_\pm(\frac12-r)}{\Gamma_\pm(\frac12+r)}\zeta(1-2r)\frac{A_3(-r,r)}{1-r}\\ &-\frac{C_2^\pm}{C_1^\pm}X^{-r-\frac16}\left(1-\frac{C_2^\pm}{C_1^\pm}X^{-\frac16}\right)\frac{\Gamma_\pm(\frac12-r)}{\Gamma_\pm(\frac12+r)}\zeta(1-2r)\\ &\qquad\times\left(\frac{\zeta(\frac56-r)}{\zeta(\frac56+r)}\frac{A_4(-r,r)}{1-\frac{6r}{5}}-\frac{A_3(-r,r)}{1-r}\right)+O_\varepsilon(X^{\theta-1+\varepsilon}). \end{aligned}

The one-level density conjecture. The displayed asymptotic formula should hold, and the two sums on its right-hand side are absolutely convergent.

The formula is a conjectural refinement of the family average of logarithmic derivatives, incorporating the lower-order terms of size X1/6X^{-1/6} and the secondary zeta-factor contribution. Its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Peter J. Cho, Daniel Fiorilli, Yoonbok Lee and Anders Södergren, “Omega results for cubic field counts via lower-order terms in the one-level density”, arXiv:2102.08077 (2022).

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.