English

Generalized twisted Edwards curves over finite fields and hypergeometric functions

Number Theory 2024-12-10 v1

Abstract

Let Fq\mathbb{F}_q be a finite field with qq elements. For a,b,c,d,e,fFq×a,b,c,d,e,f \in \mathbb{F}_q^{\times}, denote by Ca,b,c,d,e,fC_{a,b,c,d,e,f} the family of algebraic curves over Fq\mathbb{F}_q given by the affine equation \begin{align*} C_{a,b,c,d,e,f}:ay^2+bx^2+cxy=d+ex^2y^2+fx^3y. \end{align*} The family of generalized twisted Edwards curves is a subfamily of Ca,b,c,d,e,fC_{a,b,c,d,e,f}. Let #Ca,b,c,d,e,f(Fq)\#C_{a,b,c,d,e,f}(\mathbb{F}_q) denote the number of points on Ca,b,c,d,e,fC_{a,b,c,d,e,f} over Fq\mathbb{F}_q. In this article, we find certain expressions for #Ca,b,c,d,e,f(Fq)\#C_{a,b,c,d,e,f}(\mathbb{F}_q) when af=ceaf=ce. If c24ab0c^2-4ab\neq 0, we express #Ca,b,c,d,e,f(Fq)\#C_{a,b,c,d,e,f}(\mathbb{F}_q) in terms of a pp-adic hypergeometric function G(x)\mathbb{G}(x) whose values are explicitly known for all xFqx\in \mathbb{F}_q. Next, if c24ab=0c^2-4ab=0, we express #Ca,b,c,d,e,f(Fq)\#C_{a,b,c,d,e,f}(\mathbb{F}_q) in terms of another pp-adic hypergeometric function and then relate it to the traces of Frobenius endomorphisms of a family of elliptic curves. Furthermore, using the known values of the hypergeometric functions, we deduce some nice formulas for #Ca,b,c,d,e,f(Fq)\#C_{a,b,c,d,e,f}(\mathbb{F}_q).

Keywords

Cite

@article{arxiv.2412.06199,
  title  = {Generalized twisted Edwards curves over finite fields and hypergeometric functions},
  author = {Rupam Barman and Sipra Mairty and Sulakashna},
  journal= {arXiv preprint arXiv:2412.06199},
  year   = {2024}
}

Comments

27 pages

R2 v1 2026-06-28T20:27:25.935Z