Search

Hypergeometric functions over finite fields were introduced by Greene in the 1980s as a finite field analogue of classical hypergeometric series. These functions, and their generalizations, naturally lend themselves to, and have been widely used in, character sum evaluations and counting points on algebraic varieties. More interestingly, perhaps, are their links to Fourier coefficients of modular forms. In this paper, we outline the main results in this area and also conjecture 13 new relations.

Using Hecke characters, we construct two infinite families of newforms with complex multiplication, one by $\mathbb{Q}(\sqrt{-3})$ and the other by $\mathbb{Q}(\sqrt{-2})$. The values of the $p$-th Fourier coefficients of all the forms in each family can be described by a single formula, which we provide explicitly. This allows us to establish a formula relating the $p$-th Fourier coefficients of forms of different weights, within each family. We then prove congruence relations between the $p$-th Fourier coefficients of these newforms at all odd weights and values coming from two of Zagier's sporadic Ap��ry-like sequences.

We provide a formula for the number of $\mathbb{F}_{p}$-points on the Dwork hypersurface $$x_1^n + x_2^n \dots + x_n^n - n \lambda \, x_1 x_2 \dots x_n=0$$ in terms of a $p$-adic hypergeometric function previously defined by the author. This formula holds in the general case, i.e for any $n, \lambda \in \mathbb{F}_p^{*}$ and for all odd primes $p$, thus extending results of Goodson and Barman et al which hold in certain special cases.

We establish two binomial coefficient--generalized harmonic sum identities using the partial fraction decomposition method. These identities are a key ingredient in the proofs of numerous supercongruences. In particular, in other works of the author, they are used to establish modulo $p^k$ ($k>1$) congruences between truncated generalized hypergeometric series, and a function which extends Greene's hypergeometric function over finite fields to the $p$-adic setting. A specialization of one of these congruences is used to prove an outstanding conjecture of Rodriguez-Villegas which relates a truncated generalized hypergeometric series to the $p$-th Fourier coefficient of a particular modular form.

We express the real period of a family of elliptic curves in terms of classical hypergeometric series. This expression is analogous to a result of Ono which relates the trace of Frobenius of the same family of elliptic curves to a Gaussian hypergeometric series. This analogy provides further evidence of the interplay between classical and Gaussian hypergeometric series., Comment: 9 pages, to appear in the International Journal of Number Theory

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., Comment: 63 pages