Abstract:For any prime $p>3$ and rational $p$-integers $b,c$ with $c(b^3-27c)\not\equiv 0\pmod p$ let $V_p(x^2+bx+\frac cx)$ be the residue-counts of $x^2+bx+\frac cx$ modulo $p$ as $x$ runs over $1,2,\ldots,p-1$. In this paper, we reveal the connection between $V_p(x^2+bx+\frac cx)$ and the number of points on certain elliptic curve over the field $\Bbb F_p$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore and reveal the connection between the residue - counts of a specific polynomial \( V_p\left(\frac{x^2 + bx + c}{x}\right) \) and the number of points on certain elliptic curves over the finite field \( \mathbb{F}_p \). Specifically, for any prime \( p>3 \) and rational \( p \)-integers \( b, c \) where \( c(b^3 - 27c)\not\equiv 0\pmod{p} \), the author defines \( V_p\left(\frac{x^2 + bx + c}{x}\right) \) as the residue - count of \( \frac{x^2 + bx + c}{x}\mod p \) when \( x \) takes all values from \( 1, 2,\ldots, p - 1 \).
Through this research, the author reveals the relationship between \( V_p\left(\frac{x^2 + bx + c}{x}\right) \) and the number of points on a specific elliptic curve \( E_p:y^2=x^3+mx + n \). For example, for \( t\in\mathbb{R}_p \) and \( t\not\equiv 0,\frac{4}{9}\pmod{p} \), the author obtains the following formula:
\[
\#E_p(x^3+(6t - 3)x+3t^2-6t + 2)=\left(2\left(\frac{3}{p}\right)+1\right)p + 1-\left(\frac{3}{p}\right)-3\left(\frac{3}{p}\right)V_p\left(\frac{x^2+6x + 18t}{x}\right)
\]
In addition, the author also uses these results to derive some specific formulas, such as:
\[
V_p\left(\frac{x^2+6x + 9}{x}\right)=\begin{cases}
\frac{2p-1}{3}&\text{if }p\equiv 2\pmod{3},\\
\frac{2p-1 - L}{3}&\text{if }3\mid p - 1\text{ and so }4p = L^2+27M^2\text{ with }3\mid L - 1.
\end{cases}
\]
And
\[
V_p\left(\frac{x^2+x-1}{x}\right)=\frac{2p-1+a_{14}(p)}{3}=\frac{p-1}{2}+\frac{1}{8}N(1,1,7,7;p)=p - T(1,1,7,7;p - 2).
\]
The study of these problems not only deepens the understanding of residue - counts, but also provides new perspectives and tools for the theory of elliptic curves.