The square mean Lindelöf hypothesis over the Picard orbifold

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,ujuj)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,

tjTtjsinhπtjL(12+iτ,ujuj)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.

Sources & referencesView supporting material

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.