Local average in hyperbolic lattice point counting, with an Appendix by Niko Laaksonen

The hyperbolic lattice point problem asks to estimate the size of the orbit Γz inside a hyperbolic disk of radius cosh−1(X/2) for Γ a discrete subgroup of PSL2(R). Selberg proved the estimate O(X2/3) for the error term for cofinite or cocompact groups. This has not been improved for any group and any center. In this paper local averaging over the center is investigated for PSL2(Z). The result is that the error term can be improved to O(X7/12+ε). The proof uses surprisingly strong input e.g. results on the quantum ergodicity of Maaß cusp forms and estimates on spectral exponential sums. We also prove omega results for this averaging, consistent with the conjectural best error bound O(X1/2+ε). In the appendix the relevant exponential sum over the spectral parameters is investigated