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

preprint2018arXivOpen access

Abstract

A Huff curve over a field KK is an elliptic curve defined by the equation ax(y2−1)=by(x2−1)ax(y^2-1)=by(x^2-1) where a,b∈Ka,b\in K are such that a2≠b2a^2\ne b^2. In a similar fashion, a general Huff curve over KK is described by the equation x(ay2−1)=y(bx2−1)x(ay^2-1)=y(bx^2-1) where a,b∈Ka,b\in K are such that ab(a−b)≠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}(λ):={_2F_1}\left(\begin{matrix} ϕ&ϕ& ε\end{matrix}\Big| λ\right) where ϕϕ and εε 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}(λ). 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(λ) for different λλ's over a prime field Fp\mathbb{F}_p extending previous results of Greene and Ono.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.