Sum-product phenomenon in quotients of rings of algebraic integers

Jincheng Tang,Xin Zhang
2023-09-11
Abstract:We obtain a bounded generation theorem over $\mathcal O/\mathfrak a$, where $\mathcal O$ is the ring of integers of a number field and $\mathfrak a$ a general ideal of $\mathcal O$. This addresses a conjecture of Salehi-Golsefidy. Along the way, we obtain nontrivial bounds for additive character sums over $\mathcal O/\mathcal P^n$ for a prime ideal $\mathcal P$ with the aid of certain sum-product estimates.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the sum - product phenomenon in the quotient of the ring of algebraic integers. Specifically, it is to prove the bounded generation conjecture (Conjecture 1.1) proposed by Salehi - Golsefidy. This conjecture involves that, under specific conditions, given a set \(A \subset O\) (where \(O\) is the ring of integers of the number field \(K\)), when \(|π_a(A)|\) is not too small, the sum - product set of \(A\) contains a dense arithmetic progression modulo the ideal \(a'\). In addition, this research also aims to further solve the super - approximation conjecture (Conjecture 1.2) by proving this conjecture, that is, for a finitely generated subgroup \(\Gamma < SL_n(\mathbb{Z})\), it has the super - approximation property with respect to all positive integers if and only if the identity component of the Zariski closure of \(\Gamma\) is complete. The following are some key points in the paper: 1. **Main problems**: - Prove Salehi - Golsefidy's bounded generation conjecture (Conjecture 1.1). - Use the above results to further solve the super - approximation conjecture (Conjecture 1.2). 2. **Background and motivation**: - The sum - product phenomenon has wide applications in mathematics and computer science, especially when dealing with sets over finite fields. - Salehi - Golsefidy's previous work provided an important basis for solving these problems, but it needs to be further generalized to more general rings and ideals. 3. **Main contributions**: - Propose a new bounded generation theorem (Theorem 1.3) and prove Salehi - Golsefidy's conjecture. - Use this result to further prove a new case of the super - approximation conjecture (Theorem 1.4). 4. **Technical means**: - Use tools such as Fourier analysis, combinatorics, and algebraic geometry. - Combine Bourgain et al.'s work on prime fields and generalize it to more complex ring structures. 5. **Applications and significance**: - These results are not only of great theoretical significance, but also have potential application values in fields such as cryptography and coding theory. In summary, this paper solves an important problem in the fields of number theory and algebraic combinatorics by proving the bounded generation conjecture and lays the foundation for further research on the super - approximation property.