General Bilinear Forms In The Jacobi Symbol Over Hyperbolic Regions

Cameron Wilson

DOI: https://doi.org/10.48550/arXiv.2208.14909

2023-02-27

Abstract:We study averages involving the Jacobi quadratic symbol $(\frac{n}{m})$ in regions where the product $mn$ is bounded by a large parameter. We show that these averages exhibit cancellation whenever the summation is restricted to square-free integers bounded away from the axes.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the average value problem of the bilinear form of the Jacobi quadratic symbol in the hyperbolic region. Specifically, the author is concerned with the behavior of these averages when the product \(mn\) is restricted by a large parameter \(T\).

### Main problems
1. **Bilinear form of the Jacobi quadratic symbol**: The paper explores the bilinear form of the Jacobi quadratic symbol \(\left(\frac{n}{m}\right)\) in the hyperbolic region, that is, the summation form is:
\[
\sum_{\substack{n,m \leq T \\ nm \leq T}} a_n b_m \left(\frac{n}{m}\right)
\]
where \(a_n\) and \(b_m\) are arbitrary complex number sequences, and satisfy \(|a_n|, |b_m| \leq 1\).

2. **Cancellation**: The author hopes to prove that under certain conditions, this summation will exhibit a significant cancellation phenomenon, that is, the result is much smaller than the trivial bound \(T (\log T)\). In particular, the author is concerned with the situation when the summation is restricted to square - free integer pairs \((n, m)\) that are far from the coordinate axes.

### Key contributions
- **Theorem 1.1**: For a given \(T\) and \(z\), if there exists \(\varepsilon> 0\) such that \(z \geq T^{1/3-\varepsilon}\), then:
\[
\sum_{\substack{z < n, m \leq T \\ nm \leq T}}^* a_n b_m \left(\frac{n}{m}\right) \ll_{\varepsilon} \frac{T^{1 +\varepsilon}}{z^{1/2}}
\]
If \(z \leq T^{1/3-\varepsilon}\), then:
\[
\sum_{\substack{z < n, m \leq T \\ nm \leq T}}^* a_n b_m \left(\frac{n}{m}\right) \ll_{\varepsilon} \frac{T (\log T)^3}{z^{1/2}}
\]

- **Theorem 1.2**: For all \(T, z\geq 2\) and any complex number sequences \(a_n, b_m\) satisfying \(|a_n|, |b_m| \leq 1\), we have:
\[
\sum_{\substack{z < n, m \leq T \\ nm \leq T}}^* a_n b_m \left(\frac{n}{m}\right) \ll \frac{T (\log T)}{z^{1/4}}
\]

### Application background
The research on these problems has important applications in arithmetic geometry, especially when considering the local solvability problem. For example, when considering the local solvability problem of quaternions on the surface parameterized by \(P^1\times P^1\), this type of summation form will appear.

Through these studies, the author hopes to better understand the behavior of the Jacobi quadratic symbol in different regions and provide new tools and methods for related mathematical problems.