Abstract
In this article, we obtain finite field analogues of classical summation identities connecting \(F_3\)-Appell series and \({_4} F_3\)-classical hypergeometric series. As an application, we establish a new summation formula satisfied by the \({_4} F_3\)-Gaussian hypergeometric series. We further express certain special values of \({_4} F_3\)-Gaussian hypergeometric series in terms of traces of the Frobenius endomorphisms of certain families of elliptic curves. We also explicitly find some special values of \({{}_4} F_3\)-Gaussian hypergeometric series.
Similar content being viewed by others
Data availability
All data generated or analyzed during this study are included in this article.
References
Ahlgren, S.: Gaussian hypergeometric series and combinatorial congruences, Symbolic computation, number theory, special functions, physics and combinatorics, Dev. Math. 4, Kluwer, Dodrecht (2001)
Ahlgren, S., Ono, K.: A Gaussian hypergeometric series evaluation and Apéry number congruences. J. Reine Angew. Math. 518, 187–212 (2000)
Bailey, W.: Generalized Hypergeometric Series. Cambridge University Press, Cambridge (1935)
Bailey, W.: On the sum of terminating \({_{3}}F_2(1)\). Quart. J. Math. Oxford Ser. (2) 4, 237–240 (1953)
Barman, R., Kalita, G.: Certain values of Gaussian hypergeometric series and a family of algebraic curves. Int. J. Number Theory 8(4), 945–961 (2012)
Barman, R., Kalita, G.: Elliptic curves and special values of Gaussian hypergeometric series. J. Number Theory 133(9), 3099–3111 (2013)
Barman, R., Kalita, G.: Hypergeometric functions over \(F_q\) and traces of Frobenius for elliptic curves. Proc. Am. Math. Soc. 141(10), 3403–3410 (2013)
Barman, R., Tripathi, M.: Certain transformations and special values of hypergeometric functions over finite fields. Ramanujan J. 57, 1277–1306 (2022)
Berndt, B., Evans, R., Williams, K.: Gauss and Jacobi Sums, Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, New York (1998)
Cremona, J.E.: Algorithms for Modular Elliptic Curves. Cambridge Univ Press, UK (1992)
Diamond, F., Shurman, J.: A First Course in Modular Forms. Springer, New York (2005)
Evans, R.: Hypergeometric \({_3}F_2(1/4)\) evaluations over finite fields and Hecke eigenforms. Proc. Amer. Math. Soc. 138(2), 517–531 (2010)
Evans, R.: Some mixed character sum identities of Katz. J. Number Theory 179, 17–32 (2017)
Evans, R., Greene, J.: Clausen’s theorem and hypergeometric functions over finite fields. Finite Fields Appl. 15(1), 97–109 (2009)
Evans, R., Greene, J.: Evaluations of hypergeometric functions over finite fields. Hiroshima Math. J. 39(2), 217–235 (2009)
Evans, R., Greene, J.: A quadratic hypergeometric \({_2}F_1\) transformation over finite field. Proc. Am. Math. Soc. 145, 1071–1076 (2017)
Evans, R., Greene, J.: Some mixed character sum identities of Katz II. Res. Number Theory 3(8), 14 (2017)
Frechette, S., Ono, K., Papanikolas, M.: Gaussian hypergeometric functions and traces of Hecke operators. Int. Math. Res. Not. 60, 3233–3262 (2004)
Frechette, S., Swisher, H., Tu, F.-T.: A cubic transformation formula for Appell-Lauricella hypergeometric functions over finite fields. Res. Number Theory 4(27), 27 (2018)
Fuselier, J.G.: Hypergeometric functions over \(F_p\) and relations to elliptic curves and modular forms. Proc. Am. Math. Soc. 138(1), 109–123 (2010)
Fuselier, J., Long, L., Ramakrishna, R., Swisher, H., Tu, F.: Hypergeometric functions over finite fields, Memoirs of the AMS, (2019)
Fuselier, J.G., McCarthy, D.: Hypergeometric type identities in the \(p\)-adic setting and modular forms. Proc. Am. Math. Soc. 144(4), 1493–1508 (2016)
Goodson, H.: Hypergeometric functions and relations to Dwork hypersurfaces. Int. J. Number Theory 13(2), 439–485 (2017)
Goodson, H.: A complete hypergeometric point count formula for Dwork hypersurfaces. J. Number Theory 179, 142–171 (2017)
Greene, J.: Hypergeometric functions over finite fields. Trans. Am. Math. Soc. 301(1), 77–101 (1987)
Greene, J., Stanton, D.: A character sum evaluation and Gaussian hypergeometric series. J. Number Theory 23(1), 136–148 (1986)
He, B.: A finite field analogue for Appell series \(F_3\), (2017). arXiv:1704.03509v1
He, B., Li, L., Zhang, R.: An Appell series over finite fields. Finite Fields Appl. 48(11), 289–305 (2017)
Ireland, K., Rosen, M.: A Classical Introduction to Modern Number Theory, Springer International Edition, Springer, (2005)
Kalita, G.: Values of Gaussian hypergeometric series and their connections to algebraic curves. Int. J. Number Theory 14(1), 1–18 (2018)
Katz, N.: Exponential Sums and Differential Equations, Ann. of Math. Stud., vol. 124, Princeton Univ. Press, Princeton, NJ, (1990)
Kilbourn, T.: An extension of the Apéry number supercongruence. Acta Arith. 123, 335–348 (2006)
Knapp, A.: Elliptic Curves. Princeton Univ Press, USA (1992)
Koike, M.: Hypergeometric series over finite fields and Apéry numbers. Hiroshima Math. J. 22(3), 461–467 (1992)
Lennon, C.: Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold. J. Number Theory 131(12), 2320–2351 (2011)
Lennon, C.: Gaussian hypergeometric evaluations of traces of Frobenius for elliptic curves. Proc. Am. Math. Soc. 139(6), 1931–1938 (2011)
Li, L., Li, X., Mao, R.: Appell series \(F_1\) over finite fields. Int. J. Number Theory 14(3), 727–738 (2018)
McCarthy, D.: Transformations of well-poised hypergeometric functions over finite fields. Finite Fields Appl. 18(6), 1133–1147 (2012)
McCarthy, D., Osburn, R.: A \(p\)-adic analogue of a formula of Ramanujan. Arch. Math. (Basel) 91, 492–504 (2008)
McCarthy, D., Papanicolas, M.A.: A finite field hypergeometric function associated to eigenvalues of a Siegel eigenform. Int. J. Number Theory 11(8), 2431–2450 (2015)
Mortenson, E.: A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function. J. Number Theory 99, 139–147 (2003)
Mortenson, E.: Supercongruences for truncated \({_{n+1}}F_n\)-hypergeometric series with applications to certain weight three newforms. Proc. Am. Math. Soc. 133(2), 321–330 (2005)
Ono, K.: Values of Gaussian hypergeometric series. Trans. Am. Math. Soc 350, 1205–1223 (1998)
Sadek, M., El-Sissi, N., Shamsi, A., Zamani, N.: Evaluation of Gaussian hypergeometric series using Huff’s models of elliptic curves. Ramanujan J. 48(2), 357–368 (2019)
Salerno, A.: Counting points over finite fields and hypergeometric functions. Funct. Approx. Comment. Math. 49(1), 137–157 (2013)
Silverman, J.: The Arithmetic of Elliptic Curves. Springer- Verlag, Berlin (1982)
Tripathi, M., Barman, R.: A finite field analogoue of the Appell series \(F_4\). Res. Number Theory 4(35), 23 (2018)
Tripathi, M., Barman, R.: Certain product formulas and values of Gaussian hypergeometric series. Res. Number Theory 6(26), 29 (2020)
Tripathi, M., Barman, R.: Appell series over finite fields and Gaussian hypergeometric series. Res. Math. Sci. 8, 28 (2021)
Tripathi, M., Saikia, N., Barman, R.: Appell’s hypergeometric series over finite fields. Int. J. Number Theory 16(4), 673–692 (2020)
Vega, M.V.: Hypergeometric functions over finite fields and their relations to algebraic curves. Int. J. Number Theory 7(8), 2171–2195 (2011)
Acknowledgements
The research was partially supported by the DST-SERB grant CRG/2020/004147. We would like to thank Prof. Ling Long for her useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Tripathi, M., Meher, J. \({}_{4}F_{3}\)-Gaussian hypergeometric series and traces of Frobenius for elliptic curves. Res Math Sci 9, 63 (2022). https://doi.org/10.1007/s40687-022-00358-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-022-00358-8
Keywords
- Hypergeometric series over finite fields
- Appell series
- Elliptic curves
- Fourier coefficients of modular forms