[Paper Review] Gaussian hypergeometric series and extensions of supercongruences

Robert Osburn, Carsten Schneider|arXiv (Cornell University)|Oct 9, 2006

Advanced Mathematical Identities16 references9 citations

TL;DR

This paper establishes a general mod p³ congruence for Gaussian hypergeometric series $_nF_{n-1}(λ)$ when n is odd, refining techniques from Ahlgren, Ono, and Kilbourn. It extends three recent supercongruences—on Apéry numbers, Calabi-Yau manifolds, and modular forms—while using the Sigma computer algebra system to evaluate two unusual combinatorial identities involving generalized harmonic sums.

ABSTRACT

Let p be an odd prime. The purpose of this paper is to refine methods of Ahlgren and Ono [2] and Kilbourn [13] in order to prove a general mod p 3 congruence for the Gaussian hypergeometric series n+1Fn(λ) where n is an odd positive integer. As a result, we extend three recent supercongruences. The first is a result of Ono and Ahlgren [2] on a supercongruence for Apéry numbers which was conjectured by Beukers in 1987. The second is one of Mortenson [18] which relates truncated hypergeometric series to the number of Fp points of some family of Calabi-Yau manifolds. Finally, the third is a result of Loh and Rhodes [16] on congruences between coefficients of modular forms corresponding to a particular class of elliptic curves and combinatorial objects. Additionally, we discuss the non-trivial methods of the computer summation package Sigma which were used to find explicit evaluations of two strange combinatorial identities involving generalized Harmonic sums.

Motivation & Objective

• To refine existing methods in hypergeometric supercongruences to achieve a stronger mod p³ congruence for Gaussian hypergeometric series.
• To extend three recent supercongruence results: one on Apéry numbers, one on Calabi-Yau manifolds, and one on modular forms and combinatorial coefficients.
• To apply advanced computer algebra techniques, particularly from the Sigma package, to evaluate non-trivial combinatorial identities involving generalized harmonic sums.
• To provide a unified framework that generalizes and strengthens prior results in the context of p-adic and modular arithmetic properties of hypergeometric series.

Proposed method

• Adapts and refines the methods of Ahlgren and Ono and Kilbourn to handle higher-order congruences modulo p³.
• Applies the theory of Gaussian hypergeometric series over finite fields to derive congruences for odd n in $_nF_{n-1}(λ)$.
• Uses the Sigma computer algebra system to discover and verify explicit evaluations of two strange combinatorial identities involving generalized harmonic sums.
• Employs p-adic analysis and properties of truncated hypergeometric series to link arithmetic properties to geometric and modular objects.
• Establishes connections between hypergeometric series, point counts on Calabi-Yau varieties, and coefficients of modular forms via congruences.
• Leverages known supercongruence structures to generalize them to higher moduli, specifically p³.

Experimental results

Research questions

• RQ1 Can the mod p² congruences of Ahlgren and Ono and Kilbourn be extended to mod p³ for Gaussian hypergeometric series with odd n?
• RQ2 How can the supercongruence for Apéry numbers be generalized beyond the original conjecture of Beukers?
• RQ3 To what extent do the connections between truncated hypergeometric series and Fp-rational points on Calabi-Yau manifolds extend to higher p-power moduli?
• RQ4 What role do generalized harmonic sums play in evaluating otherwise intractable combinatorial identities arising in hypergeometric congruences?
• RQ5 Can computer algebra systems like Sigma be systematically applied to discover and prove identities critical to hypergeometric supercongruence theory?

Key findings

• A general mod p³ congruence is established for the Gaussian hypergeometric series $_nF_{n-1}(λ)$ when n is an odd positive integer.
• The Apéry number supercongruence conjectured by Beukers is extended to the higher modulus p³.
• The supercongruence relating truncated hypergeometric series to the number of Fp-points on certain Calabi-Yau manifolds is generalized to mod p³.
• A congruence between coefficients of modular forms and combinatorial objects, as in Loh and Rhodes, is extended to the same higher modulus.
• The Sigma computer algebra system enabled the explicit evaluation of two non-trivial combinatorial identities involving generalized harmonic sums.
• The results demonstrate a deeper arithmetic structure underlying hypergeometric series, linking p-adic analysis, algebraic geometry, and modular forms.