English

An effective bound for the Huber constant for cofinite Fuchsian groups

Number Theory 2016-03-25 v1 Spectral Theory

Abstract

Let Γ\Gamma be a cofinite Fuchsian group acting on hyperbolic two-space \HH.\HH. Let M=Γ\HHM=\Gamma \setminus \HH be the corresponding quotient space. For γ,\gamma, a closed geodesic of MM, let l(γ)l(\gamma) denote its length. The prime geodesic counting function πM(u)\pi_{M}(u) is defined as the number of Γ\Gamma-inconjugate, primitive, closed geodesics γ\gamma such that el(γ)u.e^{l(\gamma)} \leq u. The \emph{prime geodesic theorem} implies: πM(u)=0λM,j1/4li(usM,j)+OM(u3/4logu),\pi_{M}(u)=\sum_{0 \leq \lambda_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}}) + O_{M}(\frac{u^{3/4}}{\log{u}}), where 0=λM,0<λM,1<...0=\lambda_{M,0} < \lambda_{M,1} <... are the eigenvalues of the hyperbolic Laplacian acting on the space of smooth functions on MM and sM,j=12+14λM,j.s_{M,j} = \frac{1}{2}+\sqrt{\frac{1}{4} - \lambda_{M,j}}. Let CMC_{M} be smallest implied constant so that πM(u)0λM,j1/4li(usM,j)CMu3/4logufor all u>1.|\pi_{M}(u)-\sum_{0 \leq \lambda_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}})|\leq C_{M}\frac{u^{3/4}}{\log{u}} \quad \text{\text{for all} $u > 1.$} We call the (absolute) constant CMC_{M} the Huber constant. The objective of this paper is to give an effectively computable upper bound of CMC_{M} for an arbitrary cofinite Fuchsian group. As a corollary we estimate the Huber constant for \PSL(2,\ZZ),\PSL(2,\ZZ), we obtain CM16,607,349,020,658exp(30.44086643)C_{M} \leq 16,607,349,020,658 \approx \exp(30.44086643).

Keywords

Cite

@article{arxiv.1003.1652,
  title  = {An effective bound for the Huber constant for cofinite Fuchsian groups},
  author = {Joshua S. Friedman and Jay Jorgenson and Jurg Kramer},
  journal= {arXiv preprint arXiv:1003.1652},
  year   = {2016}
}

Comments

To appear in Mathematics of Computation