Skip to main content
Log in

\({}_{4}F_{3}\)-Gaussian hypergeometric series and traces of Frobenius for elliptic curves

  • Research
  • Published:
Research in the Mathematical Sciences Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Data availability

All data generated or analyzed during this study are included in this article.

References

  1. Ahlgren, S.: Gaussian hypergeometric series and combinatorial congruences, Symbolic computation, number theory, special functions, physics and combinatorics, Dev. Math. 4, Kluwer, Dodrecht (2001)

  2. Ahlgren, S., Ono, K.: A Gaussian hypergeometric series evaluation and Apéry number congruences. J. Reine Angew. Math. 518, 187–212 (2000)

    MathSciNet  MATH  Google Scholar 

  3. Bailey, W.: Generalized Hypergeometric Series. Cambridge University Press, Cambridge (1935)

    MATH  Google Scholar 

  4. Bailey, W.: On the sum of terminating \({_{3}}F_2(1)\). Quart. J. Math. Oxford Ser. (2) 4, 237–240 (1953)

    MathSciNet  MATH  Google Scholar 

  5. 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)

    MathSciNet  MATH  Google Scholar 

  6. Barman, R., Kalita, G.: Elliptic curves and special values of Gaussian hypergeometric series. J. Number Theory 133(9), 3099–3111 (2013)

    MathSciNet  MATH  Google Scholar 

  7. 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)

    MATH  Google Scholar 

  8. Barman, R., Tripathi, M.: Certain transformations and special values of hypergeometric functions over finite fields. Ramanujan J. 57, 1277–1306 (2022)

    MathSciNet  MATH  Google Scholar 

  9. 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)

    Google Scholar 

  10. Cremona, J.E.: Algorithms for Modular Elliptic Curves. Cambridge Univ Press, UK (1992)

    MATH  Google Scholar 

  11. Diamond, F., Shurman, J.: A First Course in Modular Forms. Springer, New York (2005)

    MATH  Google Scholar 

  12. Evans, R.: Hypergeometric \({_3}F_2(1/4)\) evaluations over finite fields and Hecke eigenforms. Proc. Amer. Math. Soc. 138(2), 517–531 (2010)

    MathSciNet  MATH  Google Scholar 

  13. Evans, R.: Some mixed character sum identities of Katz. J. Number Theory 179, 17–32 (2017)

    MathSciNet  MATH  Google Scholar 

  14. Evans, R., Greene, J.: Clausen’s theorem and hypergeometric functions over finite fields. Finite Fields Appl. 15(1), 97–109 (2009)

    MathSciNet  MATH  Google Scholar 

  15. Evans, R., Greene, J.: Evaluations of hypergeometric functions over finite fields. Hiroshima Math. J. 39(2), 217–235 (2009)

    MathSciNet  MATH  Google Scholar 

  16. Evans, R., Greene, J.: A quadratic hypergeometric \({_2}F_1\) transformation over finite field. Proc. Am. Math. Soc. 145, 1071–1076 (2017)

    MATH  Google Scholar 

  17. Evans, R., Greene, J.: Some mixed character sum identities of Katz II. Res. Number Theory 3(8), 14 (2017)

    MathSciNet  MATH  Google Scholar 

  18. Frechette, S., Ono, K., Papanikolas, M.: Gaussian hypergeometric functions and traces of Hecke operators. Int. Math. Res. Not. 60, 3233–3262 (2004)

    MathSciNet  MATH  Google Scholar 

  19. 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)

    MathSciNet  MATH  Google Scholar 

  20. 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)

    MathSciNet  MATH  Google Scholar 

  21. Fuselier, J., Long, L., Ramakrishna, R., Swisher, H., Tu, F.: Hypergeometric functions over finite fields, Memoirs of the AMS, (2019)

  22. 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)

    MathSciNet  MATH  Google Scholar 

  23. Goodson, H.: Hypergeometric functions and relations to Dwork hypersurfaces. Int. J. Number Theory 13(2), 439–485 (2017)

    MathSciNet  MATH  Google Scholar 

  24. Goodson, H.: A complete hypergeometric point count formula for Dwork hypersurfaces. J. Number Theory 179, 142–171 (2017)

    MathSciNet  MATH  Google Scholar 

  25. Greene, J.: Hypergeometric functions over finite fields. Trans. Am. Math. Soc. 301(1), 77–101 (1987)

    MathSciNet  MATH  Google Scholar 

  26. Greene, J., Stanton, D.: A character sum evaluation and Gaussian hypergeometric series. J. Number Theory 23(1), 136–148 (1986)

    MathSciNet  MATH  Google Scholar 

  27. He, B.: A finite field analogue for Appell series \(F_3\), (2017). arXiv:1704.03509v1

  28. He, B., Li, L., Zhang, R.: An Appell series over finite fields. Finite Fields Appl. 48(11), 289–305 (2017)

    MathSciNet  MATH  Google Scholar 

  29. Ireland, K., Rosen, M.: A Classical Introduction to Modern Number Theory, Springer International Edition, Springer, (2005)

  30. Kalita, G.: Values of Gaussian hypergeometric series and their connections to algebraic curves. Int. J. Number Theory 14(1), 1–18 (2018)

    MathSciNet  MATH  Google Scholar 

  31. Katz, N.: Exponential Sums and Differential Equations, Ann. of Math. Stud., vol. 124, Princeton Univ. Press, Princeton, NJ, (1990)

  32. Kilbourn, T.: An extension of the Apéry number supercongruence. Acta Arith. 123, 335–348 (2006)

    MathSciNet  MATH  Google Scholar 

  33. Knapp, A.: Elliptic Curves. Princeton Univ Press, USA (1992)

    MATH  Google Scholar 

  34. Koike, M.: Hypergeometric series over finite fields and Apéry numbers. Hiroshima Math. J. 22(3), 461–467 (1992)

    MathSciNet  MATH  Google Scholar 

  35. Lennon, C.: Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold. J. Number Theory 131(12), 2320–2351 (2011)

    MathSciNet  MATH  Google Scholar 

  36. Lennon, C.: Gaussian hypergeometric evaluations of traces of Frobenius for elliptic curves. Proc. Am. Math. Soc. 139(6), 1931–1938 (2011)

    MathSciNet  MATH  Google Scholar 

  37. Li, L., Li, X., Mao, R.: Appell series \(F_1\) over finite fields. Int. J. Number Theory 14(3), 727–738 (2018)

    MathSciNet  MATH  Google Scholar 

  38. McCarthy, D.: Transformations of well-poised hypergeometric functions over finite fields. Finite Fields Appl. 18(6), 1133–1147 (2012)

    MathSciNet  MATH  Google Scholar 

  39. McCarthy, D., Osburn, R.: A \(p\)-adic analogue of a formula of Ramanujan. Arch. Math. (Basel) 91, 492–504 (2008)

    MathSciNet  MATH  Google Scholar 

  40. 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)

    MathSciNet  MATH  Google Scholar 

  41. Mortenson, E.: A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function. J. Number Theory 99, 139–147 (2003)

    MathSciNet  MATH  Google Scholar 

  42. 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)

    MathSciNet  MATH  Google Scholar 

  43. Ono, K.: Values of Gaussian hypergeometric series. Trans. Am. Math. Soc 350, 1205–1223 (1998)

    MathSciNet  MATH  Google Scholar 

  44. 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)

    MathSciNet  MATH  Google Scholar 

  45. Salerno, A.: Counting points over finite fields and hypergeometric functions. Funct. Approx. Comment. Math. 49(1), 137–157 (2013)

    MathSciNet  MATH  Google Scholar 

  46. Silverman, J.: The Arithmetic of Elliptic Curves. Springer- Verlag, Berlin (1982)

    Google Scholar 

  47. Tripathi, M., Barman, R.: A finite field analogoue of the Appell series \(F_4\). Res. Number Theory 4(35), 23 (2018)

    MATH  Google Scholar 

  48. Tripathi, M., Barman, R.: Certain product formulas and values of Gaussian hypergeometric series. Res. Number Theory 6(26), 29 (2020)

    MathSciNet  MATH  Google Scholar 

  49. Tripathi, M., Barman, R.: Appell series over finite fields and Gaussian hypergeometric series. Res. Math. Sci. 8, 28 (2021)

    MathSciNet  MATH  Google Scholar 

  50. Tripathi, M., Saikia, N., Barman, R.: Appell’s hypergeometric series over finite fields. Int. J. Number Theory 16(4), 673–692 (2020)

    MathSciNet  MATH  Google Scholar 

  51. Vega, M.V.: Hypergeometric functions over finite fields and their relations to algebraic curves. Int. J. Number Theory 7(8), 2171–2195 (2011)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Mohit Tripathi.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s40687-022-00358-8

Keywords

Mathematics Subject Classification

Navigation