Supercongruences arising from Ramanujan-Sato Series

Angelica Babei,Manami Roy,Holly Swisher,Bella Tobin,Fang-Ting Tu

2024-09-26

Abstract:Recently, the authors with Lea Beneish established a recipe for constructing Ramanujan-Sato series for $1/\pi$, and used this to construct 11 explicit examples of Ramanujan-Sato series arising from modular forms for arithmetic triangle groups of non-compact type. Here, we use work of Chisholm, Deines, Long, Nebe and the third author to prove a general $p$-adic supercongruence theorem through an explicit connection to CM hypergeometric elliptic curves that provides $p$-adic analogues of these Ramanujan-Sato series. We further use this theorem to construct explicit examples related to each of our explicit Ramanujan-Sato series examples.

Number Theory

What problem does this paper attempt to address?

The problem this paper attempts to address is to provide new methods for approximating 1/π by constructing supercongruences related to Ramanujan-Sato series. Specifically, the authors utilize the work of Chisholm et al. to prove a general theorem on p-adic supercongruences and provide p-adic analogs of these Ramanujan-Sato series by explicitly connecting them to hypergeometric elliptic curves with complex multiplication (CM). Additionally, they construct specific instances related to the 11 explicit examples of Ramanujan-Sato series previously given using this theorem.

### Background of the Paper
- **Ramanujan-Sato Series**: This is a series formula used for rapidly approximating 1/π, in the form:
\[
\sum_{k=0}^{\infty} \frac{(1/2)_k (1/d)_k ((d-1)/d)_k}{k!^3} (a_k + 1) (\lambda_d)^k = \frac{\delta}{\pi}
\]
where \( d \in \{2, 3, 4, 6\} \), \(\lambda_d\) is the singular value corresponding to an elliptic curve with complex multiplication (CM), and \(a\) and \(\delta\) are specific algebraic numbers.
- **Supercongruences**: These are p-adic analogs of Ramanujan-type series, linking truncated hypergeometric series to the values of p-adic gamma functions.

### Main Contributions
1. **General p-adic Supercongruence Theorem**: The authors prove a general p-adic supercongruence theorem that provides p-adic analogs of Ramanujan-Sato series by explicitly connecting them to hypergeometric elliptic curves with complex multiplication (CM).
2. **Specific Instances**: Using the above theorem, the authors construct specific instances related to the 11 explicit examples of Ramanujan-Sato series previously given.
3. **Connection to Modular Forms and Special L-values**: The paper also explores the connection between hypergeometric functions and weight 3 modular forms, modular Galois representations, and special L-values of weight 3 modular forms.

### Methods
- **Hypergeometric Functions and Elliptic Curves**: By studying hypergeometric elliptic curves and modular forms of specific triangle groups, the authors establish a connection between hypergeometric functions and the approximation of 1/π.
- **p-adic Analysis**: Utilizing p-adic methods, particularly p-adic gamma functions and truncated hypergeometric series, to prove supercongruences.

### Conclusion
- **New Supercongruences**: The paper provides new p-adic supercongruences, offering new methods for approximating 1/π.
- **Theoretical Significance**: These results have applications in numerical computation and significant theoretical implications in number theory and algebraic geometry.

In summary, this paper provides new methods for approximating 1/π by constructing supercongruences related to Ramanujan-Sato series and establishes a profound theoretical connection between hypergeometric functions and modular forms.