Gaussian hypergeometric series and supercongruences

Abstract

Let p be an odd prime. In 1984, Greene introduced the notion of hypergeometric functions over finite fields. Special values of these functions have been of interest as they are related to the number of F_p points on algebraic varieties and to Fourier coefficients of modular forms. In this paper, we explicitly determine these functions modulo higher powers of p and discuss an application to supercongruences. This application uses two non-trivial generalized Harmonic sum identities discovered using the computer summation package Sigma. We illustrate the usage of Sigma in the discovery and proof of these two identities.

completely rewritten version, 19 pages, accepted for publication in Mathematics of Computation

Cited by in corpus (10)

• A Refined Difference Field Theory for Symbolic Summation
• Super congruences and Euler numbers
• Iterated Binomial Sums and their Associated Iterated Integrals
• Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction
• Supercongruences for sporadic sequences
• A modular supercongruence for ${}_6{F}_5$: an Apéry-like story
• Proof of two supercongruences conjectured by Z.-W.Sun involving Catalan-Larcombe-French numbers
• Sequences, modular forms and cellular integrals
• On two congruences involving Apéry and Franel numbers
• Supercongruences on some binomial sums involving Lucas sequences