Local square mean in the hyperbolic circle problem

András Biró
2024-03-24
Abstract:Let $\Gamma\subseteq PSL_2({\bf R})$ be a finite volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the $\Gamma$-orbit of $z$ in a hyperbolic circle around $w$ of radius $R$, where $z$ and $w$ are given points of the upper half plane and $R$ is a large number. An estimate with error term $e^{{2\over 3}R}$ is known, and this has not been improved for any group. Petridis and Risager proved that in the special case $\Gamma =PSL_2({\bf Z})$ taking $z=w$ and averaging over $z$ locally the error term can be improved to $e^{\left({7\over {12}}+\epsilon\right)R}$. Here we show such an improvement for the local $L^2$-norm of the error term. Our estimate is $e^{\left({9\over {14}}+\epsilon\right)R}$, which is better than the pointwise bound $e^{{2\over 3}R}$ but weaker than the bound of Petridis and Risager for the local average.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the error term estimate in the hyperbolic circle problem. Specifically, the author tries to improve the estimate of the error term under the local \(L^2\) norm and presents new results for the modular group \(\Gamma = PSL_2(\mathbb{Z})\). ### Problem Background The hyperbolic circle problem refers to estimating the number of elements in the Γ - orbit within a hyperbolic circle of a given radius \(R\). Let \(z, w\) be two points in the upper half - plane \(\mathbb{H}\), and \(\Gamma\subseteq PSL_2(\mathbb{R})\) be a Fuchsian group of finite volume. What we need to estimate is: \[ N(z, w, X) := \left| \left\{ \gamma \in \Gamma : 4u(\gamma z, w)+2\leq X \right\} \right| \] where \(u(z, w)=\frac{|z - w|^2}{4\operatorname{Im}(z)\operatorname{Im}(w)}\), and it satisfies the relation \(1 + 2u=\cosh\rho\) with the hyperbolic distance \(\rho(z, w)\). ### Known Results - For any Fuchsian group \(\Gamma\) of finite volume, the known error term estimate is \(O_{z, w, \Gamma}(X^{2/3})\). - Petridis and Risager, in the special case where \(\Gamma = PSL_2(\mathbb{Z})\) and taking \(z = w\), can improve the error term to \(O(X^{7/12+\epsilon})\) through local diagonal averaging. ### Main Contributions of the Paper The author proves in this paper that for the modular group \(\Gamma = PSL_2(\mathbb{Z})\), the error term can be improved to \(O(X^{9/14+\epsilon})\) under the local \(L^2\) norm. Specifically, the author proves the following theorem: **Theorem 1.2**: Let \(\Gamma = PSL_2(\mathbb{Z})\), \(\Omega\subseteq F\) be a compact set, then \[ \left( \int_{\Omega}(N(z, z, X)-3X)^2d\mu_z \right)^{1/2}=O_{\Omega, \epsilon}(X^{9/14+\epsilon}) \] for any \(\epsilon > 0\). ### Conclusion This paper improves the error term estimate of the hyperbolic circle problem under the local \(L^2\) norm by introducing new methods and techniques. This result is better than the existing point - wise bound \(X^{2/3}\), but slightly inferior to the local average result \(X^{7/12}\) of Petridis and Risager. Future research may further extend these results to other Fuchsian groups of finite volume and explore whether explicit formulas can be used to improve the current estimates.