[Paper Review] Supercongruence conjectures of Rodriguez-Villegas

Dermot McCarthy|ArXiv.org|Jul 29, 2009

Advanced Mathematical Identities14 references3 citations

TL;DR

This paper establishes a unified framework for 22 supercongruence conjectures of Rodriguez-Villegas relating truncated hypergeometric series over finite fields to Fourier coefficients of modular forms. Using $p$-adic analysis and Gauss sum identities, it proves one outstanding conjecture involving a weight-four modular form on $̿_0(25)$, confirming a $p^3$-supercongruence for a $_4F_3$ hypergeometric series at $z=1$, and derives two new binomial-harmonic sum identities in the process.

ABSTRACT

In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible supercongruences. We provide a framework of congruences covering all 22 cases. Using this framework we prove one of the outstanding supercongruence conjectures between a special value of a truncated ordinary hypergeometric series and the $p$-th Fourier coefficient of a modular form. In the course of this work we also establish two new binomial coefficient-harmonic sum identities.

Motivation & Objective

• To provide a unified framework for all 22 supercongruence conjectures of Rodriguez-Villegas relating hypergeometric series over $\mathbb{F}_p$ to modular forms.
• To prove one outstanding supercongruence conjecture involving a weight-four modular form on $\Gamma_0(25)$, specifically for the $_4F_3$ hypergeometric series at $z=1$.
• To establish two new binomial coefficient-harmonic sum identities as intermediate results.
• To extend the theory of supercongruences beyond the classical Apéry-type cases to Calabi-Yau threefolds.

Proposed method

• Develops a general framework using $p$-adic hypergeometric functions and Gauss sums to analyze truncated hypergeometric series modulo $p^3$.
• Applies $p$-adic Gamma functions $\Gamma_p$ and their properties to transform hypergeometric sums into expressions involving Gauss sums $G(\omega^j)$.
• Uses the Gross-Koblitz formula to relate $p$-adic Gamma functions to Gauss sums, enabling evaluation of sums modulo $p^3$.
• Classifies triples $(i,j,k)$ modulo 5 to compute symmetric sums of Gauss products, leveraging group action and symmetry.
• Employs the identity $\sum_{k=1}^4 J(T^{kt}, T^{kt}, T^{kt}) = \sum_{k=1}^4 J(T^{kt}, T^{2kt}, T^{2kt})$ to simplify higher-order Jacobi sum expressions.
• Applies Theorem 5.1 and Proposition 2.13 to convert the $_4G$-function into a sum over Gauss products, leading to the final congruence.

Experimental results

Research questions

• RQ1 Can a unified framework be constructed to cover all 22 supercongruence conjectures of Rodriguez-Villegas?
• RQ2 Is the $p^3$-supercongruence for the $_4F_3$ hypergeometric series at $z=1$ with parameters $\left(\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5};1,1,1\right)$ true modulo $p^3$?
• RQ3 Can the connection between truncated hypergeometric series and Fourier coefficients of weight-four modular forms on $\Gamma_0(25)$ be rigorously established?
• RQ4 What new binomial-harmonic sum identities emerge from the $p$-adic analysis of these supercongruences?

Key findings

• The paper proves the supercongruence $\,_{4}F_{3}\left[\begin{smallmatrix}\frac{1}{5},\frac{2}{5},\frac{3}{5},\frac{4}{5}\\1,1,1\end{smallmatrix}\Big|\,1\right]_{p-1} \equiv c(p) \pmod{p^3}$, where $c(p)$ is the $p$-th Fourier coefficient of a weight-four newform on $\Gamma_0(25)$.
• The proof relies on transforming the hypergeometric sum into a combination of Gauss sums and Jacobi sums, ultimately reducing to $24p^2 - 100p$ modulo $p^3$.
• Two new binomial-harmonic sum identities are derived as byproducts of the $p$-adic analysis, particularly involving sums over $j$ modulo $p-1$.
• The framework successfully handles the three cases of triple $(i,j,k)$ modulo 5, with distinct contributions from sets $\{1,2,3,4\}$, $\{k,k,k,2k\}$, and $\{k,k,-k,-k\}$.
• The result confirms a long-standing conjecture for the case $d_1 = d_2 = 5$, extending the Apéry supercongruence to higher dimensions and higher moduli.
• The final congruence is verified via a detailed computation of symmetric Gauss sum products and their reduction using the Gross-Koblitz formula.