Effective counting for discrete lattice orbits in the plane via Eisenstein series (Q2070047)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective counting for discrete lattice orbits in the plane via Eisenstein series |
scientific article |
Statements
Effective counting for discrete lattice orbits in the plane via Eisenstein series (English)
0 references
21 January 2022
0 references
Summary: In 1989 \textit{W. A. Veech} [Invent. Math. 97, No. 3, 553--583 (1989; Zbl 0676.32006)] 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: \|y\|\leq R\}| \sim c_YR^2 \), and computed the constant \(c_Y\). In [Geom. Funct. Anal. 2, No. 3, 341--379 (1992; Zbl 0760.58036)] he recorded an observation of Sarnak that gives an error estimate \(|\{y \in Y: \|y\|\leq R\}| = c_YR^2 + O\bigl(R^{\frac{4}{3}}\bigr)\) 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 \(\operatorname{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^{\frac43})\), 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 \leq \theta \leq \alpha+\beta\}\) we prove an error estimate \[ \big|\{y \in Y: y \in \mathcal{S}_{\alpha, \beta}, \|y\| \leq R\}\big| = c_Y\frac{\beta}{2\pi} \, R^2 + O_{\varepsilon} \bigl(R^{\frac{8}{5} } \bigr). \] For dilations of smooth star bodies \(R\cdot B_\psi =\{r e^{\mathbf{i} \theta}: 0 \leq r \leq R \psi(\theta)\} \), where \(R>0\) and \(\psi\) is smooth, we prove an estimate \[ |\{y \in Y: y \in R \cdot B_{\psi}\}|= c_{Y, \psi} R^2 + O_{\psi, \varepsilon}\bigl(R^{\frac{12}{7} }\bigr). \]
0 references
effective counting
0 references
discrete lattice orbits
0 references
Eisenstein series
0 references
Veech surfaces
0 references
0 references
0 references