Effective counting for discrete lattice orbits in the plane via Eisenstein series

Abstract

In 1989 Veech showed that for the flat surface formed by gluing opposite sides of two regular $n$-gons, the set $Y\subset {\mathbb{R}}^2$ of saddle connection holonomy vectors satisfies a quadratic growth estimate $|\{y\in Y:\Vert y\Vert \le R\}|\sim c_Y{R}^2$ , and computed the constant $c_Y$. In 1992 he recorded an observation of Sarnak that gives an error estimate $|\{y\in Y:\Vert y\Vert \le R\}|=c_Y{R}^2+O\left(R^{\frac{4}{3}}\right)$ in the asymptotics. Both Veech's proof of quadratic growth, and Sarnak's error estimate, rely on the theory of Eisenstein series, and are valid in the wider context of counting points in discrete orbits for the linear action of a lattice in $\mathrm{SL}(\mathbb{R})$ on the plane. In this paper we expose this technique and use it to obtain the following results. For lattices $\Gamma$ with trivial residual spectrum, we recover the error estimate $O(R^{\frac{4}{3}})$, with a simpler proof. Extending this argument to more general shapes, and using twisted Eisenstein series, for sectors ${\mathcal{S}}_{\alpha ,\beta }=\{r{e}^{\mathbf{i}\theta }:r>0,\alpha \le \theta \le \alpha +\beta \}$ we prove an error estimate

For dilations of smooth star bodies $R\cdot B_{\psi }=\{r{e}^{\mathbf{i}\theta }:0\le r\le R\psi (\theta )\}$, where $R>0$ and $\psi$ is smooth, we prove an estimate