Nuno Arala,Jayce R. Getz,Jiaqi Hou,Chun-Hsien Hsu,Huajie Li,Victor Y. Wang
Abstract:We count integral quaternion zeros of $\gamma_1^2 \pm \dots \pm \gamma_n^2$, giving an asymptotic when $n\ge 9$, and a likely near-optimal bound when $n=8$. To do so, we introduce a new, nonabelian delta symbol method, which is of independent interest. Our asymptotic at height $X$ takes the form $cX^{4n-8} + O(X^{3n+\varepsilon})$ for suitable $c \in \mathbb{C}$ and any $\varepsilon>0.$ We construct special subvarieties implying that, in general, $3n+\varepsilon$ can be at best improved to $3n-2.$
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the number of quaternion solutions under specific conditions, and to provide asymptotic estimates when the number of variables \(n \geq 9\), as well as near - optimal bounds when \(n = 8\). Specifically, the authors focus on the number of integer quaternion solutions to the following equation:
\[
\gamma_1^2 \pm \cdots \pm \gamma_n^2 = 0
\]
where \(\gamma_i\) are Hurwitz quaternions (i.e., quaternions of the form \(w + xi+ yj + zk\), and \(w, x, y, z\) satisfy certain integrality conditions). They study the behavior of these solutions at height \(X\) and give an asymptotic expression for the number of solutions as \(X \to \infty\).
To achieve this goal, the authors introduce a new non - abelian delta - symbol method, which can be used to deal with arithmetic problems on non - commutative rings. Specifically, they solve the problem through the following steps:
1. **Introducing the non - abelian delta - symbol method**: This is an analytically tractable way of expressing the delta function, used to estimate the frequency at which elements in certain arithmetic sets are zero.
2. **Applying the Poisson summation formula**: By using the Poisson summation formula, the original problem is transformed into an estimate of a dual sum, thereby further refining the analysis.
3. **Spectral estimation**: Spectral estimations are carried out for the split and non - split cases respectively to handle different types of error terms.
4. **Hessian estimation and exponential sums**: The Hessian matrix estimation and general exponential sums are used to control the error terms.
5. **Application of geometric number theory**: Through the methods of geometric number theory, especially the lattice point method, the error terms are further optimized.
Finally, the authors obtain the following asymptotic formula when \(n\geq9\):
\[
\Sigma(X)=cX^{4n - 8}+O_{f_\infty,\epsilon}(X^{3n+\epsilon})
\]
where \(c\) is a complex constant and \(\epsilon> 0\) is an arbitrarily small positive number. In addition, they also discuss the possible optimal bounds when \(n = 8\).
In summary, this paper solves the problem of the number of quaternion solutions and their asymptotic behavior by introducing a new non - abelian delta - symbol method, and provides detailed mathematical tools and estimation methods.