The square mean Lindelöf hypothesis over the Picard orbifold

At least 1 year old · documented by

Let Γ=PSL2(Z[i])\Gamma=\mathrm{PSL}_{2}(\mathbb{Z}[i]), let uju_j be the relevant Maaß cusp forms with spectral parameters tjt_j, and let L(s,uj⊗uj)L(s,u_j\otimes u_j) be their Rankin–Selberg LL-functions. Define η∈[0,1]\eta\in[0,1] by requiring that there exists an absolute and effectively computable constant K>0K>0 such that, for every τ∈R\tau\in\mathbb{R} and ε>0\varepsilon>0,

∑tj≤T∣tjsinh⁡πtjL(12+iτ,uj⊗uj)∣2≪ε(1+∣τ∣)KT3+η+ε.\sum_{t_j\leq T}\left|\frac{t_j}{\sinh\pi t_j}L\left(\frac12+i\tau,u_j\otimes u_j\right)\right|^2\ll_{\varepsilon}(1+|\tau|)^K T^{3+\eta+\varepsilon}.

Square mean Lindelöf hypothesis. The value η=0\eta=0 is admissible.

This is a second-moment strengthening of the mean Lindelöf framework and is related through the Watson–Ichino formula to Lindelöf-on-average bounds in the quantum variance problem. The supplied text gives no resolution of the assertion, so it is open.

References

Primary source

Ikuya Kaneko, “The Prime Geodesic Theorem for the Picard Orbifold”, arXiv:2403.06626 (2025).

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.