Abstract:Let $G_1,\dots, G_n\in \mathbb{F}_p[X_1,\dots,X_m]$ be $n$ polynomials in $m$ variables over the finite field $\mathbb{F}_p$ of $p$ elements. For any sufficiently large prime $p$ and non-trivial bounds for the Weyl sums associated to the non-trivial linear combinations of $G=(G_1,\dots, G_n)$, we study various properties regarding the distribution of the vectors by fractional parts \begin{equation*}
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution characteristics of solutions to polynomial congruence equations. Specifically, the author studied the polynomial system \(G=(G_1,\ldots,G_n)\) defined on the finite field \(\mathbb{F}_p\), where each \(G_j\) is a polynomial of \(m\) variables. For a sufficiently large prime number \(p\), the author explored the distribution properties of the vector \(\left(\left\{\frac{G_1(x)}{p}\right\},\ldots,\left\{\frac{G_n(x)}{p}\right\}\right)\in\mathbb{T}^n\), where \(x\in\mathbb{F}_p^m\) and \(\mathbb{T}^n\) represents the \(n\)-dimensional torus.
### Main problems
1. **Equidistribution**:
- Study whether the mapping \(A_G\) of the polynomial system \(G\) on the torus is uniformly distributed.
- Specifically, the author proved that as \(p\rightarrow\infty\), the measure \(\mu_G\) converges to the Lebesgue measure \(\mu\), that is, for any continuous function \(f:\mathbb{T}^n\rightarrow\mathbb{C}\), we have
\[
\lim_{p\rightarrow\infty}\int_{\mathbb{T}^n}f(x)\,d\mu_G(x)=\int_{\mathbb{T}^n}f(x)\,dx.
\]
2. **Ball Discrepancy**:
- The author studied the difference between the measure \(\mu_G\) and the Lebesgue measure \(\mu\) on the Euclidean ball.
- Define the ball discrepancy as
\[
D(\mu_G):=\sup_{y\in\mathbb{T}^n,0 < R <\frac{1}{2}}\left|\mu_G(B_R(y))-\mu(B_R)\right|,
\]
where \(B_R(y)\) is an \(n\)-dimensional ball with center \(y\) and radius \(R\).
- The author gave an upper bound estimate of the ball discrepancy. In particular, as \(p\rightarrow\infty\), the ball discrepancy satisfies
\[
D(\mu_G)\ll p^{-\frac{2\min(\eta,n)}{n + 1}}.
\]
3. **Variance**:
- The author also studied the variance of the measure \(\mu_G\) on the \(n\)-dimensional ball.
- The variance is defined as
\[
\text{Var}(\mu_G,B_R):=\int_{\mathbb{T}^n}\left(\mu_G(B_R(y))-\mu(B_R)\right)^2\,dy,
\]
where \(B_R\) is an \(n\)-dimensional ball with radius \(R\).
- The author gave an upper bound estimate of the variance. In particular, as \(p\rightarrow\infty\), the variance satisfies
\[
\text{Var}(\mu_G,B_R)\ll\frac{R^n}{p^{\min(2\eta,n)}}.
\]
### Summary
The main goal of this paper is to further understand this by studying the distribution characteristics of solutions to polynomial congruence equations, especially the uniform distribution on the torus, ball discrepancy, and variance.