Abstract:In this short note, we show that the B-C property characterizes arithmetic lattices along all nonuniform lattices in ${\mathrm{PSL}}(2,\mathbb{C})$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the characterization problem of the arithmetic properties of non - uniform Klein groups (a kind of discrete subgroup). Specifically, the author aims to prove that the bounded clustering property (B - C property) can characterize arithmetic non - uniform Klein groups.
### Core of the problem
1. **Background and motivation**:
- **B - C property**: A set \(A\) of complex numbers satisfies the bounded clustering property (B - C property) if there exists a constant \(K_A\) such that for all integers \(m\), \(n\), the number of elements in the set \(A\cap S(m,n)\) does not exceed \(K_A\), where \(S(m,n)=\{z\in\mathbb{C}\mid m\leqslant\mathrm{Re}(z)\leqslant m + 1,n\leqslant\mathrm{Im}(z)\leqslant n+1\}\).
- **Trace set**: Given a Klein group \(\Gamma\), its trace set \(\mathrm{Tr}(\Gamma)\) is defined as the set of traces of elements in \(\Gamma\) (ignoring sign differences).
2. **Existing results**:
- Luo and Sarnak proved in [5] that the trace sets of arithmetic Fuchsian groups satisfy the B - C property, and this conclusion also applies to Klein groups.
- Sarnak proposed a conjecture: if the trace set of a co - finite Fuchsian group \(\Gamma\) satisfies the B - C property, then \(\Gamma\) is arithmetic; if the Gap of the trace set is greater than 0, then \(\Gamma\) comes from a quaternion algebra.
3. **Main contributions of this paper**:
- The author generalizes the work of Geninska and Leuzinger, extends the results of Fuchsian groups to Klein groups, and gives a pure algebraic proof of Conjecture 1.1 in the non - uniform case.
- Main conclusion (Theorem A):
- If the trace set of a non - uniform lattice \(\Gamma\) satisfies the B - C property, then \(\Gamma\) is arithmetic.
- If the Gap of the trace set is greater than 0, then \(\Gamma\) comes from a quaternion algebra.
### Solution
The author proves the main conclusion through the following steps:
1. **Rationality proof**: First, prove that \(\Gamma^{(2)}\) is rational, that is, \(\Gamma^{(2)}<\mathrm{PSL}(2,\mathbb{Q})\).
2. **Trace set in integers**: Using the B - C property of the trace set, prove that \(\mathrm{Tr}(\bar{\Gamma})\) is in integers.
3. **Derive arithmeticity**: Combining existing theorems, finally prove that \(\Gamma\) is arithmetic.
Through these steps, the author successfully proves that the arithmetic properties of non - uniform Klein groups can be characterized by the B - C property of their trace sets.