Bounded clustering property characterizes arithmetic nonuniform Kleinian groups

Yanlong Hao
2023-03-03
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})$.
Number Theory,Differential Geometry,Group Theory
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.