Koyama's mean Lindelöf hypothesis for Rankin–Selberg LL-functions

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. Then 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)ε(1+τ)KT3+ε.\sum_{t_j\leq T}\frac{t_j}{\sinh\pi t_j}\left|L\left(\frac12+i\tau,u_j\otimes u_j\right)\right|\ll_{\varepsilon}(1+|\tau|)^K T^{3+\varepsilon}.

Koyama's mean Lindelöf hypothesis. The displayed bound should hold.

The source explains that this hypothesis concerns the first spectral moment and that the corresponding result is needed in its arguments. It attributes the formulation to Koyama; the status of the stated bound as a conjecture is not resolved by the supplied text.

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.