CFKRS–DGH twisted moment conjecture for quadratic Dirichlet L-functions

Let XX be large, let Φ\Phi be the smooth test function used in the moment, and let α\alpha be complex. For an odd squarefree integer ll, define

M(α,l)=\sideset(d,2)=1χ8d(l)L(12+α,χ8d)Φ(dX).M(\alpha,l)=\sideset{}{^*}\sum_{(d,2)=1}\chi_{8d}(l)L\left(\tfrac12+\alpha,\chi_{8d}\right)\Phi\left(\frac dX\right).

Let Φ~\widetilde{\Phi} be the Mellin transform of Φ\Phi, let ζ2(s)=(12s)ζ(s)\zeta_2(s)=(1-2^{-s})\zeta(s), and define Bα(l)B_\alpha(l) by

ζ2(1+2α)Bα(l)=(n,2)=11n1+2αpnl(1+p1)1.\zeta_2(1+2\alpha)B_\alpha(l)=\sum_{(n,2)=1}\frac{1}{n^{1+2\alpha}}\prod_{p\mid nl}(1+p^{-1})^{-1}.

CFKRS–DGH twisted moment conjecture. Uniformly for Re(α)(logX)1|\operatorname{Re}(\alpha)|\ll(\log X)^{-1} and Im(α)(logX)2|\operatorname{Im}(\alpha)|\ll(\log X)^2, one has

M(α,l)=XΦ~(1)2ζ2(2)l1/2αζ2(1+2α)Bα(l)+X1αΦ~(1α)γα2ζ2(2)l1/2+αζ2(12α)Bα(l)+O((lX)1/2+ε).M(\alpha,l)=\frac{X\widetilde{\Phi}(1)}{2\zeta_2(2)}l^{-1/2-\alpha}\zeta_2(1+2\alpha)B_\alpha(l)+\frac{X^{1-\alpha}\widetilde{\Phi}(1-\alpha)\gamma_\alpha}{2\zeta_2(2)}l^{-1/2+\alpha}\zeta_2(1-2\alpha)B_{-\alpha}(l)+O\left((lX)^{1/2+\varepsilon}\right).

This twisted asymptotic is the form needed for mollification and amplification; the source presents it after the untwisted conjecture and attributes the related moment recipe to CFKRS and the twisted formulation to HY. Its resolution is not specified in the paper.

Sources & referencesView supporting material

Primary source

Matthew P. Young, “The first moment of quadratic Dirichlet L-functions”, arXiv:0804.4141 (2008).

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.