English

Evaluation of Gaussian hypergeometric series using Huff's models of elliptic curves

Number Theory 2020-03-23 v1

Abstract

A Huff curve over a field KK is an elliptic curve defined by the equation ax(y21)=by(x21)ax(y^2-1)=by(x^2-1) where a,bKa,b\in K are such that a2b2a^2\ne b^2. In a similar fashion, a general Huff curve over KK is described by the equation x(ay21)=y(bx21)x(ay^2-1)=y(bx^2-1) where a,bKa,b\in K are such that ab(ab)0ab(a-b)\ne 0. In this note we express the number of rational points on these curves over a finite field Fq\mathbb{F}_q of odd characteristic in terms of Gaussian hypergeometric series 2F1(λ):=2F1(ϕϕϵλ)\displaystyle {_2F_1}(\lambda):={_2F_1}\left(\begin{matrix} \phi&\phi & \epsilon \end{matrix}\Big| \lambda \right) where ϕ\phi and ϵ\epsilon are the quadratic and trivial characters over Fq\mathbb{F}_q, respectively. Consequently, we exhibit the number of rational points on the elliptic curves y2=x(x+a)(x+b)y^2=x(x+a)(x+b) over Fq\mathbb{F}_q in terms of 2F1(λ){_2F_1}(\lambda). This generalizes earlier known formulas for Legendre, Clausen and Edwards curves. Furthermore, using these expressions we display several transformations of 2F1{_2F_1}. Finally, we present the exact value of 2F1(λ)_2F_1(\lambda) for different λ\lambda's over a prime field Fp\mathbb{F}_p extending previous results of Greene and Ono.

Keywords

Cite

@article{arxiv.1805.08475,
  title  = {Evaluation of Gaussian hypergeometric series using Huff's models of elliptic curves},
  author = {Mohammad Sadek and Nermine El-Sissi and Arman Shamsi Zargar and Naser Zamani},
  journal= {arXiv preprint arXiv:1805.08475},
  year   = {2020}
}