CM-points and lattice counting on arithmetic compact Riemann surfaces (Q2307460)

Let ${\mathbb H}$ be the hyperbolic plane, $\Gamma$ a cocompact or a cofinite Fuchsian group and $\rho(\cdot,\cdot)$ be the hyperbolic distance of ${\mathbb H}$. For fixed $z,w$ in ${\mathbb H}$ and $X>0$ consider the number $$N(X;z,w):=\sharp\big\{\gamma\in\Gamma:\rho(z,\gamma w)\leq\cosh^{-1}\big(\frac{X}{2}\big)\big\}.$$ Let $\Delta$ be the Laplacian of the hyperbolic surface $\Gamma\backslash {\mathbb H}$ and $\{u_j\}_{j=0}^\infty$ the $L^2$-normalized eigenfunctions of $-\Delta$ with eigenvalues $\{\lambda_j:=s_j(1-s_j)\}_{j=0}^\infty$. As for the asymptotic behaviour of $N(X;z,w)$ as $X\rightarrow +\infty$, it is known that: $$N(X;z,w)\sim M(X;z,w):=\sum_{1/2<s_j\leq 1}\sqrt{\pi}\frac{\Gamma(s_j-1/2)}{\Gamma(s_j+1)}u_j(z)\overline{u_j(w)}X^{s_j}$$ with an error term $$E(X;z,w):=N(X;z,w)-M(X;z,w)=O(X^{2/3}).$$ Let $a>0$ and $b$ two square-free integers, denote by $H=\Big(\frac{a,\; b}{\mathbb Q}\Big)$ be the indefinite quaternion algebra over ${\mathbb Q}$ linearly generated by $1$, $\omega$, $\Omega$ and $\omega\Omega$ with $\omega^2=a$, $\Omega^2=b$ and $\omega\Omega+\Omega\omega=0$. Let $R$ be a maximal order of $H$, and write $R(n)$ for the set of elements $x\in R$ of norm $n$. Consider the map $$ \xi+\eta\Omega=x_0+x_1\omega+x_2\Omega+x_3\omega\Omega=x\mapsto\phi(x)=\begin{pmatrix} \overline{\xi} &\eta\cr b\overline{\eta}&\xi\end{pmatrix}.$$ One gets the Fuchsian group $\Gamma_H:=\phi(R(1))\subset SL_2({\mathbb R})$ so that $\Gamma_H\backslash{\mathbb H}$ is a Riemann surface. If $D$ denotes the discriminant of $H$ and ${\mathcal O}(D,1)$ an Eischer order of level $1$$. A$, associated with $\Gamma_H$ and $\phi$ is an arithmetic cocompact Fuchsian group $\Gamma(D,1)$ of level $1$ and a Shimura curve $\chi(D,1):=\Gamma(D,1)\backslash{\mathbb H}$. Let $\Lambda_{D,d}$ be the set of CM points on $\chi(D,1)$ and $h(D,d):=\sharp\Lambda(D,d)$ the class number counting the number of CM points on $\chi(D,1)$. The main result in the paper under review is the following asymptotics as $X\rightarrow\infty$: $$\frac{1}{h(D,d)}\sum_{z\in\Lambda_{D,d}}f(z)E(X;z,z)=O_{f,D,\varepsilon}\big(X^{5/8+\varepsilon}+X^{4/5+\varepsilon}\mid d\mid^{-2/85+\varepsilon}\big)$$ where $f$ is a non-negative smooth function on the Shimura curve $\chi(D,1)$.