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

About 5 years old · traced to

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 r∈Cr\in\mathbb C satisfying 1L≪Re⁡(r)<δ\frac1L\ll\operatorname{Re}(r)<\delta and ∣r∣≤Xε/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)∑K∈F±(X)L′(12+r,fK)L(12+r,fK)=−∑p,e≥1(θe+1p)xplog⁡ppe(12+r)−C2±C1±X−16(1−C2±C1±X−16)∑p,e≥1(βe(p)−p−e/3)log⁡ppe(12+r)+C2±C1±X−16(1−C2±C1±X−16)ζ′ζ(56+r)−X−rΓ±(12−r)Γ±(12+r)ζ(1−2r)A3(−r,r)1−r−C2±C1±X−r−16(1−C2±C1±X−16)Γ±(12−r)Γ±(12+r)ζ(1−2r)×(ζ(56−r)ζ(56+r)A4(−r,r)1−6r5−A3(−r,r)1−r)+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 X−1/6X^{-1/6} and the secondary zeta-factor contribution. Its status is not resolved in the supplied text.

References

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.