Distribution of rational points of an algebraic surface over finite fields

Sudhir Pujahari,Neelam Saikia
2024-10-23
Abstract:The number of points on a certain one parameter family of algebraic surface over a finite field $\F_p$ can be expressed as $p^2+A_p(\lambda),$ where $A_p(\lambda)$ is a character sum and $\lambda$ is an element of the finite field $\F_p.$ In this paper, we study the distribution of the term $A_p(\lambda)$ as the surface varies over a large family of algebraic surfaces of fixed genus and growing $p.$ The power moments of $A_p$'s are weighted sums of Catalan numbers. As a consequence of these results, we obtain limiting distributions of certain families of hypergeometric functions over large finite fields.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution of rational points on algebraic surfaces over finite fields. Specifically, the author studied the statistical distribution characteristics of the number of rational points \(|X_{\lambda}(\mathbb{F}_{p})|\) of a certain class of one - parameter algebraic surfaces \(X_{\lambda}\) over the finite field \(\mathbb{F}_{p}\). According to the content of the paper, for a given \(\lambda\in\mathbb{F}_{p}\setminus\{0\}\), the surface \(X_{\lambda}\) is defined as: \[X_{\lambda}:z^{2} = xy(1 + x + y)\left(xy+\frac{1-\lambda}{\lambda^{2}}\right)\] The number of rational points of this surface over \(\mathbb{F}_{p}\) can be expressed as: \[|X_{\lambda}(\mathbb{F}_{p})|=p^{2}+A_{p}(\lambda)\] where \(A_{p}(\lambda)\) is a character sum related to the quadratic character \(\varphi\), defined as: \[A_{p}(\lambda):=p^{2}-|X_{\lambda}(\mathbb{F}_{p})|=-\sum_{x,y\in\mathbb{F}_{p}}\varphi\left(xy(1 + x + y)\left(xy+\frac{1-\lambda}{\lambda^{2}}\right)\right)\] The main objective of the paper is to study the distribution of \(A_{p}(\lambda)\) when \(\lambda\) varies in \(\mathbb{F}_{p}\setminus\{0\}\), and to explore the behavior of these distributions as \(p\) increases. By studying the moments of \(A_{p}(\lambda)\), the author discovered a weighted sum related to the Catalan numbers, and finally obtained the limit distributions of certain families of hypergeometric functions over large finite fields. In addition, the author also studied the conditional moments of two classes of \(p\)-adic hypergeometric functions \(3G_{3}(\lambda)_{p}\) and \(9G_{9}(\lambda)_{p}\), and obtained their limit distribution results. The study of these problems not only helps to understand the arithmetic properties of algebraic surfaces over finite fields, but also provides a new perspective for exploring the distribution of a wider family of hypergeometric functions.