Prefer a chat interface with context about you and your work?
Hypergeometric type identities in the $p$-adic setting and modular forms
We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$ hypergeometric series and the Fourier coefficients of a certain weight four modular form.