English

On the Symmetric Square Large Sieve for $\mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) $ and the Prime Geodesic Theorem for $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $

Number Theory 2024-07-30 v2

Abstract

In this paper, we improve the error term in the prime geodesic theorem for the Picard manifold PSL2(Z[i])\H3 \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 . Instead of PSL2(Z[i])\H3 \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 , we establish a spectral large sieve inequality for symmetric squares over PSL2(Z[i])\PSL2(C)\mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) . This enables us to improve the bound O(T3+2/3+ε) O (T^{3+2/3+\varepsilon}) of Balkanova and Frolenkov into O(T3+1/2+ε) O (T^{3+1/2+\varepsilon}) for the second moment of symmetric square LL-functions over PSL2(Z[i])\H3 \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 . The basic idea is to enlarge the spherical family Πc0(T)\Pi_c^{0} (T) of Maass cusp forms on PSL2(Z[i])\H3 \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 into the family Πc(T,T) \Pi_c (T, \sqrt{T}) of cuspidal representations on PSL2(Z[i])\PSL2(C) \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) .

Keywords

Cite

@article{arxiv.2407.17959,
  title  = {On the Symmetric Square Large Sieve for $\mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) $ and the Prime Geodesic Theorem for $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $},
  author = {Zhi Qi},
  journal= {arXiv preprint arXiv:2407.17959},
  year   = {2024}
}

Comments

18 pages; further refinement and remarks added