Abstract:In this paper we study the set of rational solutions of equations defined by power sums symmetric polynomials with coefficients in a finite field. We do this by means of applying a methodology which relies on the study of the geometry of the set of common zeros of symmetric polynomials over the algebraic closure of a finite field. We provide improved estimates and existence results of rational solutions to the following equations: deformed diagonal equations, generalized Markoff Hurwitz type equations and Carlitz's equations. We extend these techniques to a more general variants of diagonal equations over finite fields.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study the problem of estimating the number of $\mathbb{F}_q$-rational solutions of certain equations over the finite field $\mathbb{F}_q$. Specifically, the author studies the solutions of the following types of equations:
1. **Deformed diagonal equation**:
\[
f := c_1 X_1^m+\cdots + c_n X_n^m+g = 0,
\]
where $c_i\in\mathbb{F}_q\setminus\{0\}$ and $\deg(g)<m$.
2. **Generalized Markov - Hurwitz - type equation**:
\[
(a_1 X_1^{m_1}+\cdots + a_n X_n^{m_n}+a)^k = b X_1^{k_1}\cdots X_n^{k_n},
\]
where $m, n, k_1,\ldots, k_n, k$ are positive integers, $a, b\in\mathbb{F}_q$, and $a_i\in\mathbb{F}_q\setminus\{0\}$.
3. **Carlitz equation**:
\[
h_1(X_1)+\cdots + h_n(X_n)=g,
\]
where $h_i = a_{d,i}T^d+\cdots + a_{0,i}\in\mathbb{F}_q[T]$, and $\deg(h_i)=d$, while $g\in\mathbb{F}_q[X_1,\ldots, X_n]$ satisfies $\deg(g)<d$.
### Research methods
The author provides a new method to estimate the number of $\mathbb{F}_q$-rational solutions of these equations by studying the geometric properties of the common zeros of these equations over the algebraic closure. The specific steps include:
1. **Study of geometric properties**: By studying the geometric properties of the common zeros of these equations over the algebraic closure, it is proved that these zero sets are a complete intersection and the dimension of their singular points is "controllable".
2. **Estimation method**: Using the existing explicit estimation method for the number of $\mathbb{F}_q$-rational solutions of projective complete intersections, draw conclusions.
3. **Generalization method**: Generalize the above method to more general polynomial equations evaluated by symmetric polynomials.
### Main results
1. **Deformed diagonal equation**: Provides improved existence results and gives an estimate of the number of $\mathbb{F}_q$-rational solutions $N_g = q^{n - 1}+O(q^{n/2})$.
2. **Generalized Markov - Hurwitz - type equation**: In the case of $a\neq0$ and $k = 1$, an estimate of the number of $\mathbb{F}_q$-rational solutions is obtained and Mordell's results are improved.
3. **Carlitz equation**: Provides an explicit estimate of the number of $\mathbb{F}_q$-rational solutions $N = q^{n - 1}+O(q^{n/2})$, and improves Carlitz's estimate.
### Conclusion
This paper studies the problem of estimating the number of $\mathbb{F}_q$-rational solutions of certain equations over a finite field by geometric methods, and provides new existence results and improved estimation methods. These results not only supplement the research in the existing literature, but also provide new ideas for further research in related fields.