A Whipple $_7F_6$ formula revisited

Wen-Ching Winnie Li,Ling Long,Fang-Ting Tu

DOI: https://doi.org/10.48550/arXiv.2103.08858

2021-11-16

Abstract:A well-known formula of Whipple relates certain hypergeometric values $_7F_6(1)$ and $_4F_3(1)$. In this paper we revisit this relation from the viewpoint of the underlying hypergeometric data $HD$, to which there are also associated hypergeometric character sums and Galois representations. We explain a special structure behind Whipple's formula when the hypergeometric data $HD$ are primitive and self-dual. If the data are also defined over $\mathbb Q$, by the work of Katz, Beukers, Cohen, and Mellit, there are compatible families of $\ell$-adic representations of the absolute Galois group of $\mathbb Q$ attached to $HD$. For specialized choices of $HD$, these Galois representations are shown to be decomposable and automorphic. As a consequence, the values of the corresponding hypergeometric character sums can be explicitly expressed in terms of Fourier coefficients of certain modular forms. We further relate the hypergeometric values $_7F_6(1)$ in Whipple's formula to the periods of these modular forms.

Number Theory

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

The main purpose of this paper is to re - examine Whipple's 7F6 formula, especially from the perspective of the associated hypergeometric data (HD). Specifically, the paper focuses on the special structure of the Whipple formula when HD is primitive and self - dual. Moreover, if these data are defined over the field of rational numbers Q, through the work of Katz, Beukers, Cohen and Mellit, they can be associated with ℓ -adic Galois representations related to HD.

#### Specific problems include:

1. **Explain the special structure of the Whipple formula**:
- When the hypergeometric data HD is primitive and self - dual, the Whipple formula exhibits a special structure. The author attempts to explain the mathematical principles behind this phenomenon.

2. **Study the decomposability and automorphy of Galois representations**:
- For some specific choices of HD, these Galois representations are proven to be decomposable and automorphic. This means that they can be explicitly expressed in terms of the Fourier coefficients of certain modular forms.

3. **Relate hypergeometric values to modular form periods**:
- The author further explores how to relate the value of 7F6(1) in the Whipple formula to the periods of modular forms. This involves using the Fourier coefficients of modular forms to express hypergeometric characteristics and values.

4. **Explore modular properties, congruence relations and periods**:
- Study the modular properties of Galois representations associated with seven specific (c,f) pairs, as well as the congruence relations between truncated hypergeometric series and modular form coefficients. In addition, the relationship between untruncated hypergeometric values and modular form periods is also explored.

5. **Provide specific examples and calculations**:
- The paper illustrates Katz's representation ρHD,ℓ through specific examples and discusses different aspects of the above three natural problems (modularity, p -adic periods and complex periods).

### Summary

In general, this paper aims to reveal the deeper mathematical structure behind Whipple's 7F6 formula by re - examining it, and to relate it to Galois representations, modular forms, and the periodicity of hypergeometric characteristics and values. In this way, the author not only deepens the understanding of the classical hypergeometric formula, but also provides new perspectives and tools for research in related fields.