Blomer–Khan–Young fourth-moment conjecture for holomorphic cusp forms

About 14 years old · traced to

Let ff be a holomorphic Hecke cusp form of weight kk for SL⁡2(Z)\operatorname{SL}_2(\mathbb{Z}). For z=x+iyz=x+iy in the upper half-plane H\mathbb{H}, define

F(z)=yk/2f(z).F(z)=y^{k/2}f(z).

For 1≤p<∞1\le p<\infty, define

∥F∥p=(∫SL⁡2(Z)\H∣F(z)∣pdx dyy2)1/p.\lVert F\rVert_p=\left(\int_{\operatorname{SL}_2(\mathbb{Z})\backslash\mathbb{H}}|F(z)|^p\frac{dx\,dy}{y^2}\right)^{1/p}.

Blomer–Khan–Young's fourth-moment conjecture. Under the normalization

3π∥F∥22=1,\frac{3}{\pi}\lVert F\rVert_2^2=1,

we have

3π∥F∥44∼2\frac{3}{\pi}\lVert F\rVert_4^4\sim 2

as k→∞k\to\infty. This conjecture concerns the expected fourth moment of normalized holomorphic cusp forms and is motivated by the random wave model. The source presents it as an earlier conjecture and does not state that it has been proved or disproved.

References

Primary source

Jinghai Liu, “The fourth moment of holomorphic Hecke cusp forms in shorter intervals”, arXiv:2501.10971 (2025).

Additional references

2 papers in this index state this conjecture (2012–2025). The statement above is taken from the most recent of them; the others are arXiv:1210.0740.

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.