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

At least 1 year old · documented by

Let C,D≥1C,D\geq 1, let 0≠n∈Z[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(D∣c∣)≪ε(∣n∣CD)ε.\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.

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.