Abstract:Let $r$ be a positive divisor of $q-1$ and $f(x,y)$ a rational function of degree sum $d$ over $\mathbb{F}_q$ with some restrictions, where the degree sum of a rational function $f(x,y) = f_1(x,y)/f_2(x,y)$ is the sum of the degrees of $f_1(x,y)$ and $f_2(x,y)$. In this article, we discuss the existence of triples $(\alpha, \beta, f(\alpha, \beta))$ over $\mathbb{F}_q$, where $\alpha, \beta$ are primitive and $f(\alpha, \beta)$ is an $r$-primitive element of $\mathbb{F}_q$. In particular, this implies the existence of $\mathbb{F}_q$-primitive points on the surfaces of the form $z^r = f(x,y)$. As an example, we apply our results on the unit sphere over $\mathbb{F}_q$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of certain types of points (called $\mathbb{F}_q$-primitive points) over finite fields. Specifically, the authors explore whether there exist triples $(\alpha, \beta, f(\alpha, \beta))$ over the finite field $\mathbb{F}_q$, where $\alpha$ and $\beta$ are primitive elements of $\mathbb{F}_q$, and $f(\alpha, \beta)$ is an $r$-primitive element. This is equivalent to finding $\mathbb{F}_q$-primitive points on the surface of the form $z^r = f(x, y)$.
### Main Problems
1. **Existence Problem**: Over the finite field $\mathbb{F}_q$, do there exist triples $(\alpha, \beta, f(\alpha, \beta))$ such that $\alpha$ and $\beta$ are primitive elements of $\mathbb{F}_q$, and $f(\alpha, \beta)$ is an $r$-primitive element?
2. **Condition Analysis**: For given $q$ and $r$, determine the sufficient conditions for the existence of these triples.
### Key Concepts
- **Primitive Element**: An element that generates $\mathbb{F}_q^*$ (the multiplicative group consisting of non - zero elements in $\mathbb{F}_q$).
- **$r$-Primitive Element**: An element whose order is $\frac{q - 1}{r}$, where $r$ is a positive divisor of $q - 1$.
- **Primarily Non - Exceptional Rational Function**: A bivariate rational function that satisfies certain conditions, ensuring that $f(\alpha, y)$ is not an exceptional function over $\mathbb{F}_q$.
### Formula Summary
- Order of Primitive Element: \[ \text{ord}(\alpha)=q - 1\]
- Order of $r$-Primitive Element: \[ \text{ord}(f(\alpha, \beta))=\frac{q - 1}{r}\]
### Main Results
One of the main results of the paper is to give sufficient conditions for the existence of $\mathbb{F}_q$-primitive points:
\[ q^{1/2}>rdW(q - 1)W\left(\frac{q - 1}{r}\right)\]
where $W(\ell)$ represents the number of square - free divisors of $\ell$.
### Application Example
As an application, the authors apply these results to the unit sphere $z^2 = 1 - x^2 - y^2$ and verify that in most cases, there exist $\mathbb{F}_q$-primitive points on the unit sphere.
### Conclusion
Through the above research, the authors not only extend the existing theory but also propose a conjecture about the existence of $\mathbb{F}_q$-primitive points on the unit sphere, providing a basis for further research.
Hope this summary can help you understand the core content and key problems of this paper. If you have more questions or need more detailed explanations, please feel free to let me know!