Abstract
In this article, we find finite field analogues of certain identities satisfied by the classical \({_4}F_3\)-hypergeometric series and Appell series. As an application, we find new summation and product formulas satisfied by the Gaussian hypergeometric series. For example, we express a \({_4}F_3\)-Gaussian hypergeometric series as a sum of two \({_2}F_1\)-Gaussian hypergeometric series. We also find two identities expressing \({_4}F_3\)-Gaussian hypergeometric series as a product of two \({_2}F_1\)-Gaussian hypergeometric series. As another application, we find a special value of a \({_4}F_3\)-Gaussian hypergeometric series using the summation formula.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
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. https://doi.org/10.1007/s11139-021-00410-1
Berndt, B., Evans, R., Williams, K.: Gauss and Jacobi Sums, Canadian Mathematical Society Series of Monographs and Advanced Texts. Wiley, New York (1998)
Burchnall, J.L., Chaundy, T.W.: Expansions of Appell’s double hypergeometric functions. Quart. J. Math. Oxford Ser. 11, 249–270 (1940)
Evans, R.: Hypergeometric \({_3}F_2(1/4)\) evaluations over finite fields and Hecke eigenforms. Proc. Am. 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, Paper no. 8, 14 pp (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, Article no. 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. Mem. Am. Math. Soc. (2019, accepted)
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\). arXiv:1704.03509v1 (2017)
He, B., Li, L., Zhang, R.: An Appell series over finite fields. Finite Fields Appl. 48(11), 289–305 (2017)
Helversen-Pasotto, A.: L’identité de Barnes pour les corps finis. C. R. Acad. Sci. Paris Sér. A 286(6), 297–300 (1978)
Ireland, K., Rosen, M.: A Classical Introduction to Modern Number Theory. Springer, Springer International Edition (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, Annals of Mathematics Studies, vol. 124. Princeton University Press, Princeton (1990)
Kilbourn, T.: An extension of the Apéry number supercongruence. Acta Arith. 123, 335–348 (2006)
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)
Tripathi, M., Barman, R.: A finite field analogoue of the Appell series \(F_4\). Res. Number Theory 4, Paper No. 35, 23 pp (2018)
Tripathi, M., Barman, R.: Certain product formulas and values of Gaussian hypergeometric series. Res. Number Theory 6, Paper No. 26, 29 pp (2020)
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)
Vidūnas, R.: Specialization of Appell’s functions to univariate hypergeometric functions. J. Math. Anal. Appl. 355(1), 145–163 (2009)
Acknowledgements
We thank the anonymous referees for their comments and suggestions. The second author is partially supported by a research grant MTR/2017/000067 under the MATRICS scheme of SERB, Department of Science and Technology, Government of India.
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
About this article
Cite this article
Tripathi, M., Barman, R. Appell series over finite fields and Gaussian hypergeometric series. Res Math Sci 8, 28 (2021). https://doi.org/10.1007/s40687-021-00266-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-021-00266-3