Hypergeometric evaluations over finite fields and Hecke eigenforms

Author:
Ron Evans

Journal:
Proc. Amer. Math. Soc. **138** (2010), 517-531

MSC (2000):
Primary 11T24; Secondary 11F11, 11L05, 33C20

Published electronically:
September 16, 2009

MathSciNet review:
2557169

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let denote the hypergeometric function over whose three numerator parameters are quadratic characters and whose two denominator parameters are trivial characters. In 1992, Koike posed the problem of evaluating at the argument . This problem was solved by Ono in 1998. Ten years later, Evans and Greene extended Ono's result by evaluating an infinite family of over in terms of Jacobi sums. Here we present five new over (involving characters of orders 3, 4, 6, and 8) which are conjecturally evaluable in terms of eigenvalues for Hecke eigenforms of weights 2 and 3. There is ample numerical evidence for these evaluations. We motivate our conjectures by proving a connection between and twisted sums of traces of the third symmetric power of twisted Kloosterman sheaves.

**[1]**Scott Ahlgren and Ken Ono,*Modularity of a certain Calabi-Yau threefold*, Monatsh. Math.**129**(2000), no. 3, 177–190. MR**1746757**, 10.1007/s006050050069**[2]**Scott Ahlgren and Ken Ono,*A Gaussian hypergeometric series evaluation and Apéry number congruences*, J. Reine Angew. Math.**518**(2000), 187–212. MR**1739404**, 10.1515/crll.2000.004**[3]**Bruce C. Berndt, Ronald J. Evans, and Kenneth S. Williams,*Gauss and Jacobi sums*, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, Inc., New York, 1998. A Wiley-Interscience Publication. MR**1625181****[4]**Pierre Deligne,*La conjecture de Weil. II*, Inst. Hautes Études Sci. Publ. Math.**52**(1980), 137–252 (French). MR**601520****[5]**R. J. Evans, Seventh power moments of Kloosterman sums, Israel J. Math., to appear.**[6]**Ron Evans and John Greene,*Clausen’s theorem and hypergeometric functions over finite fields*, Finite Fields Appl.**15**(2009), no. 1, 97–109. MR**2468995**, 10.1016/j.ffa.2008.09.001**[7]**R. J. Evans, J. Greene, Evaluations of hypergeometric functions over finite fields, Hiroshima Math. J. 39 (2009), 217-235.**[8]**R. J. Evans, F. Lam, Special values of hypergeometric functions over finite fields, Ramanujan J. 19 (2009), 151-162.**[9]**Sharon Frechette, Ken Ono, and Matthew Papanikolas,*Gaussian hypergeometric functions and traces of Hecke operators*, Int. Math. Res. Not.**60**(2004), 3233–3262. MR**2096220**, 10.1155/S1073792804132522**[10]**Lei Fu and Daqing Wan,*𝐿-functions for symmetric products of Kloosterman sums*, J. Reine Angew. Math.**589**(2005), 79–103. MR**2194679**, 10.1515/crll.2005.2005.589.79**[11]**Lei Fu and Daqing Wan,*Trivial factors for 𝐿-functions of symmetric products of Kloosterman sheaves*, Finite Fields Appl.**14**(2008), no. 2, 549–570. MR**2401995**, 10.1016/j.ffa.2007.07.005**[12]**Lei Fu and Daqing Wan,*𝐿-functions of symmetric products of the Kloosterman sheaf over 𝑍*, Math. Ann.**342**(2008), no. 2, 387–404. MR**2425148**, 10.1007/s00208-008-0240-5**[13]**L. Fu, D. Wan, Functional equations of -functions for symmetric products of the Kloosterman sheaf, preprint.**[14]**J. Fuselier, Hypergeometric functions over finite fields and relations to modular forms and elliptic curves, Ph.D. thesis, Texas A&M University, 2007.**[15]**John Greene,*Hypergeometric functions over finite fields*, Trans. Amer. Math. Soc.**301**(1987), no. 1, 77–101. MR**879564**, 10.1090/S0002-9947-1987-0879564-8**[16]**K. Hulek, J. Spandaw, B. van Geemen, and D. van Straten,*The modularity of the Barth-Nieto quintic and its relatives*, Adv. Geom.**1**(2001), no. 3, 263–289. MR**1874236**, 10.1515/advg.2001.017**[17]**Henryk Iwaniec,*Topics in classical automorphic forms*, Graduate Studies in Mathematics, vol. 17, American Mathematical Society, Providence, RI, 1997. MR**1474964****[18]**Nicholas M. Katz,*Gauss sums, Kloosterman sums, and monodromy groups*, Annals of Mathematics Studies, vol. 116, Princeton University Press, Princeton, NJ, 1988. MR**955052****[19]**N. Katz, email communication, December 2005.**[20]**Masao Koike,*Hypergeometric series over finite fields and Apéry numbers*, Hiroshima Math. J.**22**(1992), no. 3, 461–467. MR**1194045****[21]**D. H. Lehmer and Emma Lehmer,*On the cubes of Kloosterman sums*, Acta Arith.**6**(1960), 15–22. MR**0115976****[22]**Chunlei Liu,*Twisted higher moments of Kloosterman sums*, Proc. Amer. Math. Soc.**130**(2002), no. 7, 1887–1892 (electronic). MR**1896019**, 10.1090/S0002-9939-02-06510-3**[23]**Ron Livné,*Motivic orthogonal two-dimensional representations of 𝐺𝑎𝑙(\overline{𝑄}/𝐐)*, Israel J. Math.**92**(1995), no. 1-3, 149–156. MR**1357749**, 10.1007/BF02762074**[24]**Eric Mortenson,*Supercongruences for truncated _{𝑛+1}𝐹_{𝑛} hypergeometric series with applications to certain weight three newforms*, Proc. Amer. Math. Soc.**133**(2005), no. 2, 321–330 (electronic). MR**2093051**, 10.1090/S0002-9939-04-07697-X**[25]**Ken Ono,*Values of Gaussian hypergeometric series*, Trans. Amer. Math. Soc.**350**(1998), no. 3, 1205–1223. MR**1407498**, 10.1090/S0002-9947-98-01887-X**[26]**Ken Ono,*The web of modularity: arithmetic of the coefficients of modular forms and 𝑞-series*, CBMS Regional Conference Series in Mathematics, vol. 102, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004. MR**2020489****[27]**Ken Ono and David Penniston,*Congruences for ₃𝐹₂ hypergeometric functions over finite fields*, Illinois J. Math.**46**(2002), no. 3, 679–684. MR**1951234****[28]**C. Peters, J. Top, and M. van der Vlugt,*The Hasse zeta function of a 𝐾3 surface related to the number of words of weight 5 in the Melas codes*, J. Reine Angew. Math.**432**(1992), 151–176. MR**1184764****[29]**SAGE Mathematical Software, http://www.sagemath.org**[30]**W. Stein, The Modular Forms Database, http://sage.math.washington.edu/

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
11T24,
11F11,
11L05,
33C20

Retrieve articles in all journals with MSC (2000): 11T24, 11F11, 11L05, 33C20

Additional Information

**Ron Evans**

Affiliation:
Department of Mathematics 0112, University of California at San Diego, La Jolla, California 92093-0112

Email:
revans@ucsd.edu

DOI:
https://doi.org/10.1090/S0002-9939-09-10091-6

Keywords:
Hypergeometric functions over finite fields,
Kloosterman sums,
Gauss and Jacobi sums,
Hecke eigenvalues,
Hecke eigenforms,
symmetric power,
Kloosterman sheaf,
Frobenius map

Received by editor(s):
June 22, 2009

Published electronically:
September 16, 2009

Communicated by:
Ken Ono

Article copyright:
© Copyright 2009
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.