Yiannis N. Petridis,Morten S. Risager
Abstract:We consider equidistribution of angles for certain hyperbolic lattice points in the upper half-plane. Extending work of Friedlander and Iwaniec we show that for the full modular group equidistribution persists for matrices with $a^2+b^2+c^2+d^2=p$ with $p$ prime; at least if we assume sufficiently good lower bounds in the hyperbolic prime number theorem by Friedlander and Iwaniec. We also investigate related questions for a specific arithmetic co-compact group and its double cosets by hyperbolic subgroups. The general equidistribution problem was studied by Good, and in this case, we show, that equidistribution holds unconditionally when restricting to primes.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the angular distribution problem of elements in specific arithmetic subgroups in hyperbolic groups when restricted to prime numbers. Specifically, the authors studied the uniform distribution of hyperbolic lattice point angles in the upper half - plane and extended the work of Friedlander and Iwaniec, proving that for the full modular group, when the matrix satisfies \(a^2 + b^2 + c^2 + d^2=p\) and \(p\) is a prime number, the uniform distribution of angles still holds, provided that there is a sufficiently good lower bound in the hyperbolic prime number theorem.
In addition, they also explored problems related to double cosets of specific arithmetic cocompact groups and their hyperbolic subgroups, and showed that the uniform distribution of angles holds unconditionally when restricted to prime numbers.
### Specific problem summary:
1. **Uniform distribution of hyperbolic lattice point angles**:
- Studied the uniform distribution of angles of certain hyperbolic lattice points in the upper half - plane under prime number conditions.
- Extended the work of Friedlander and Iwaniec, proving that for the full modular group, when the matrix satisfies \(a^2 + b^2 + c^2 + d^2 = p\) and \(p\) is a prime number, the uniform distribution of angles still holds.
2. **Double cosets of specific arithmetic cocompact groups**:
- Explored problems related to double cosets of specific arithmetic cocompact groups and their hyperbolic subgroups.
- Showed that the uniform distribution of angles holds unconditionally when restricted to prime numbers.
3. **Parametrization of Gaussian integers**:
- Used Gaussian integers to parametrize elements of the modular group \(\Gamma = SL_2(\mathbb{Z})\), transforming the problem into Weyl sum analysis on Gaussian integers.
4. **Boundary estimation of Kloosterman - type sums**:
- For Kloosterman - type sums \(S_e(m_1, m_2, n)\), gave boundary estimations, especially when \(m_1\) or \(m_2\) is odd, these sums are zero.
5. **Application of the hyperbolic prime number theorem**:
- Utilized the hyperbolic prime number theorem to prove that under specific conditions, the uniform distribution of angles still holds.
### Main conclusions:
- For the full modular group, when the matrix satisfies \(a^2 + b^2 + c^2 + d^2 = p\) and \(p\) is a prime number, the uniform distribution of angles still holds.
- In the double cosets of specific arithmetic cocompact groups and their hyperbolic subgroups, the uniform distribution of angles holds unconditionally when restricted to prime numbers.
- Using the parametrization method of Gaussian integers, the problem is transformed into a more tractable form, and relevant boundary estimations of Weyl sums are given.
Through these studies, the authors provided new insights and methods for understanding the angular distribution under prime number conditions in hyperbolic groups.