Abstract:We use circle method prove an asymptotic local-global theorem on the heights of point orbits of thin subgroups of Bianchi groups in $\mathbb H^3$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the asymptotic local - global theorem for a specific orbital altitude. Specifically, the author studied the height distribution problem of the orbital points of sparse subgroups of certain Bianchi groups in hyperbolic three - space \(H^3\).
### Background and Motivation
1. **The work of Bourgain, Gamburd and Sarnak**: They proposed a general problem, that is, for a given \(\Gamma < GL_n(\mathbb{Z})\), a vector \(v\in\mathbb{Z}^n\) and a polynomial \(f\in\mathbb{Z}[x_1,\ldots,x_n]\), which integers can be represented as \(f(\gamma\cdot v)\)? This framework covers special cases such as the Apollonian circle packing curvature problem and the Zaremba conjecture.
2. **The application of sieve methods**: Salehi - Golsefidy and Sarnak used sieve methods to prove a general theorem, indicating that under some weaker assumptions, the orbit of \(\Gamma\) can contain infinitely many pseudoprimes.
3. **The application of the circle method**: Bourgain - Kontorovich used the circle method to prove a theorem with a density of 1 regarding the Apollonian circle packing curvature problem and the Zaremba conjecture.
### Specific Problems in the Paper
This paper focuses on the following new situations in particular:
- **Orbits in hyperbolic three - space**: Consider the standard upper half - space model \(H^3=\{x + yi+zj:x,y\in\mathbb{R},z\in\mathbb{R}^+\}\) and a sparse subgroup \(\Gamma\) of the Bianchi group \(SL_2(\mathbb{Z}[\sqrt{- D}])\).
- **Orbital altitude**: Define the altitude \(H(\gamma)\) as the reciprocal of the distance from the orbital point to the boundary of the complex plane, and these altitude values are all integers. The specific formula is:
\[
H(\gamma)=|c|^2 + |d|^2\quad\text{where}\quad\gamma=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in SL_2(\mathbb{Z}[\sqrt{- D}])
\]
- **Asymptotic local - global conjecture**: If \(\Gamma\) is geometrically finite and the critical exponent \(\delta(\Gamma)> 1\), then the altitude set \(H(\Gamma)\) and its admissible set \(A(\Gamma)\) differ by only a finite number of elements.
### Main Results
The author's main theorems are as follows:
- **Theorem 1**: Let \(\Gamma\) be a geometrically finite subgroup of \(SL_2(\mathbb{Z}[\sqrt{- D}])\) and contain a rank - 2 hyperbolic subgroup. There exist absolute constants \(1 <\delta_0 < 2\) such that when the critical exponent \(\delta(\Gamma)>\delta_0\) of \(\Gamma\),
\[
\frac{\#(H(\Gamma)\cap[0,N])}{\#(A(\Gamma)\cap[0,N])}=1 + O(N^{-\eta})
\]
where \(\eta>0\) depends only on the group \(\Gamma\).
Through the above research, the author aims to gain an in - depth understanding of the distribution characteristics of the orbital altitudes of sparse subgroups and verify the validity of the local - global principle in this specific situation.