Search arXivSearch

arXiv · 2403.16113

Local square mean in the hyperbolic circle problem

Abstract

Let $Γ\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 $Γ$-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 $Γ=PSL_2({\bf Z})$ taking $z=w$ and averaging over $z$ locally the error term can be improved to $e^{\left({7\over {12}}+ε\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}}+ε\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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

András Biró. 2025-07-01. Local square mean in the hyperbolic circle problem. https://doi.org/10.2140/ant.2026.20.1029

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT