Values of Gaussian hypergeometric series

Author:
Ken Ono

Journal:
Trans. Amer. Math. Soc. **350** (1998), 1205-1223

MSC (1991):
Primary 11T24

DOI:
https://doi.org/10.1090/S0002-9947-98-01887-X

MathSciNet review:
1407498

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be prime and let be the finite field with elements. In this note we investigate the arithmetic properties of the Gaussian hypergeometric functions

where and respectively are the quadratic and trivial characters of For all but finitely many rational numbers there exist two elliptic curves and for which these values are expressed in terms of the trace of the Frobenius endomorphism. We obtain bounds and congruence properties for these values. We also show, using a theorem of Elkies, that there are infinitely many primes for which is zero; however if or , then the set of such primes has density zero. In contrast, if or , then there are only finitely many primes for which Greene and Stanton proved a conjecture of Evans on the value of a certain character sum which from this point of view follows from the fact that is an elliptic curve with complex multiplication. We completely classify all such CM curves and give their corresponding character sums in the sense of Evans using special Jacobsthal sums. As a consequence of this classification, we obtain new proofs of congruences for generalized Apéry numbers, as well as a few new ones, and we answer a question of Koike by evaluating over every

**1.**Bruce C. Berndt and Ronald J. Evans,*Sums of Gauss, Eisenstein, Jacobi, Jacobsthal, and Brewer*, Illinois J. Math.**23**(1979), no. 3, 374–437. MR**537798****2.**B.C. Berndt, R.J. Evans, and K.S. Williams,*Gauss and Jacobi sums*, Wiley Publ., to appear.**3.**F. Beukers,*Some congruences for the Apéry numbers*, J. Number Theory**21**(1985), no. 2, 141–155. MR**808283**, https://doi.org/10.1016/0022-314X(85)90047-2**4.**F. Beukers,*Another congruence for the Apéry numbers*, J. Number Theory**25**(1987), no. 2, 201–210. MR**873877**, https://doi.org/10.1016/0022-314X(87)90025-4**5.**Jan Stienstra and Frits Beukers,*On the Picard-Fuchs equation and the formal Brauer group of certain elliptic 𝐾3-surfaces*, Math. Ann.**271**(1985), no. 2, 269–304. MR**783555**, https://doi.org/10.1007/BF01455990**6.**J. E. Cremona,*Algorithms for modular elliptic curves*, Cambridge University Press, Cambridge, 1992. MR**1201151****7.**Noam D. Elkies,*Distribution of supersingular primes*, Astérisque**198-200**(1991), 127–132 (1992). Journées Arithmétiques, 1989 (Luminy, 1989). MR**1144318****8.**A. Erdélyi et al.,*Higher transcendental functions, Vol.1*, McGraw-Hill, New York, 1953. MR**15:419i****9.**R. J. Evans,*Character sums over finite fields*, Finite fields, coding theory, and advances in communications and computing (Las Vegas, NV, 1991) Lecture Notes in Pure and Appl. Math., vol. 141, Dekker, New York, 1993, pp. 57–73. MR**1199822****10.**Ronald J. Evans,*Identities for products of Gauss sums over finite fields*, Enseign. Math. (2)**27**(1981), no. 3-4, 197–209 (1982). MR**659148****11.**R. J. Evans, J. R. Pulham, and J. Sheehan,*On the number of complete subgraphs contained in certain graphs*, J. Combin. Theory Ser. B**30**(1981), no. 3, 364–371. MR**624553**, https://doi.org/10.1016/0095-8956(81)90054-X**12.**John Greene,*Hypergeometric functions over finite fields*, Trans. Amer. Math. Soc.**301**(1987), no. 1, 77–101. MR**879564**, https://doi.org/10.1090/S0002-9947-1987-0879564-8**13.**J. Greene and D. Stanton,*A character sum evaluation and Gaussian hypergeometric series*, J. Number Theory**23**(1986), no. 1, 136–148. MR**840021**, https://doi.org/10.1016/0022-314X(86)90009-0**14.**A. V. Yagzhev,*Finiteness of the set of conservative polynomials of a given degree*, Mat. Zametki**41**(1987), no. 2, 148–151, 285 (Russian). MR**888954****15.**Anthony W. Knapp,*Elliptic curves*, Mathematical Notes, vol. 40, Princeton University Press, Princeton, NJ, 1992. MR**1193029****16.**Neal Koblitz,*Introduction to elliptic curves and modular forms*, Graduate Texts in Mathematics, vol. 97, Springer-Verlag, New York, 1984. MR**766911****17.**Masao Koike,*Hypergeometric series over finite fields and Apéry numbers*, Hiroshima Math. J.**22**(1992), no. 3, 461–467. MR**1194045****18.**Masao Koike,*Orthogonal matrices obtained from hypergeometric series over finite fields and elliptic curves over finite fields*, Hiroshima Math. J.**25**(1995), no. 1, 43–52. MR**1322601****19.**Y. Martin and K. Ono,*Eta-quotients and elliptic curves*, Proc. Amer. Math. Soc., to appear.**20.**K. Ono,*Euler's concordant forms*, Acta Arith.**78**(1996), 101-123. CMP**97:05****21.**A. R. Rajwade,*The Diophantine equation 𝑦²=𝑥(𝑥²+21𝐷𝑥+112𝐷²) and the conjectures of Birch and Swinnerton-Dyer*, J. Austral. Math. Soc. Ser. A**24**(1977), no. 3, 286–295. MR**0472828****22.**Joseph H. Silverman,*The arithmetic of elliptic curves*, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR**817210**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (1991):
11T24

Retrieve articles in all journals with MSC (1991): 11T24

Additional Information

**Ken Ono**

Affiliation:
School of Mathematics, Institute for Advanced Study, Princeton, New Jersey 08540;
Department of Mathematics, Penn State University, University Park, Pennsylvania 16802

Email:
ono@math.ias.edu, ono@math.psu.edu

DOI:
https://doi.org/10.1090/S0002-9947-98-01887-X

Keywords:
Gaussian hypergeometric series,
elliptic curves,
Ap\'{e}ry numbers,
character sums

Received by editor(s):
September 8, 1995

Received by editor(s) in revised form:
July 3, 1996

Additional Notes:
The author is supported by NSF grants DMS-9304580 and DMS-9508976.

Article copyright:
© Copyright 1998
American Mathematical Society