The additively twisted Linnik–Selberg conjecture over Q(i)\mathbb{Q}(i)

Let C,D1C,D\geq 1, let 0nZ[i]0\ne n\in\mathbb{Z}[i], and let S(n,n,c)S(n,n,c) denote the Gaussian Kloosterman sum. Write N(c)\mathrm{N}(c) for the norm and c|c| for the complex absolute value. For ε>0\varepsilon>0, use the notation AεBA\ll_{\varepsilon}B to mean that AA is bounded by a constant depending on ε\varepsilon times BB.

Additively twisted Linnik–Selberg conjecture. One should have

N(c)CS(n,n,c)N(c)e(Dc)ε(nCD)ε.\sum_{\mathrm{N}(c)\leq C}\frac{S(n,n,c)}{\mathrm{N}(c)}e\left(\frac{D}{|c|}\right)\ll_{\varepsilon}(|n|CD)^{\varepsilon}.

This would be a Gaussian analogue of the conjectural estimates over Q\mathbb{Q} used in the Linnik–Selberg method. The source proposes it for future work, and its status over Q(i)\mathbb{Q}(i) 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.