Duke–Li valuation conjecture for CM coefficients

Let l>3l>3 be a prime with l3(mod4)l\equiv 3\pmod{4}, let k=Q(l){\mathsf{k}}=\mathbb{Q}(\sqrt{-l}), and let pp be a prime that is non-split in k{\mathsf{k}}. Let P0p\mathfrak{P}_0\mid p be the unique prime above pp fixed by complex conjugation, and choose a fractional ideal b\mathfrak{b} such that Pσb=P0\mathfrak{P}^{\sigma_{\mathfrak{b}}}=\mathfrak{P}_0. For the scalar-valued harmonic weak Maaß forms θ~a(τ){\widetilde{\theta}}_{\mathfrak{a}}(\tau), write ca2+(n)c^+_{\mathfrak{a}^2}(n) for the relevant coefficient and let ρ(m,C)\rho(m,\mathcal{C}) denote the number of integral ideals of Ok\mathcal{O}_{\mathsf{k}} of norm mm in the ideal class C\mathcal{C}. Duke–Li's valuation conjecture. The functions θ~a(τ){\widetilde{\theta}}_{\mathfrak{a}}(\tau) can be chosen so that, for nZ>0n\in\mathbb{Z}_{>0} with χp(n)1\chi_p(n)\ne1,

ca2+(n)=2rlogu(a2,n),c^+_{\mathfrak{a}^2}(n)=-\frac{2}{r}\log\left\lvert u(\mathfrak{a}^2,n)\right\rvert,

where u(a2,n)OHku(\mathfrak{a}^2,n)\in\mathcal{O}_{\mathsf{H}_{\mathsf{k}}} and, if Diff(nD)={p}\operatorname{Diff}\left(\frac{n}{\lvert D\rvert}\right)=\{p\}, then

ordP(u(a2,n))=2rm1ρ(npm,[ab]2),\operatorname{ord}_{\mathfrak{P}}(u(\mathfrak{a}^2,n))=2r\sum_{m\ge1}\rho\left(\frac{n}{p^m},[\mathfrak{a}\mathfrak{b}]^2\right),

with rZr\in\mathbb{Z} independent of nn and satisfying r24hkhHkr\mid24h_{\mathsf{k}}h_{\mathsf{H}_{\mathsf{k}}}. The condition involving Diff\operatorname{Diff} is part of the conjecture, and the stated normalization accounts for the factor 22 on the right-hand side. The source presents this as a conjecture motivated by numerical experiments; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Stephan Ehlen, “CM values of regularized theta lifts and harmonic weak Maaß forms of weight one”, arXiv:1701.03662 (2017).

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.