Criterion for the integrality of hypergeometric series with parameters from quadratic fields

TL;DR

This paper extends Christol's criterion for N-integrality of hypergeometric series from rational parameters to quadratic fields, using p-adic analysis and number theory tools.

Contribution

It develops a systematic theory and establishes a criterion for N-integrality of hypergeometric series with parameters from quadratic fields, generalizing previous rational parameter results.

Findings

Established a p-adic integrality criterion for hypergeometric series with rational parameters.

Derived equivalent conditions for N-integrality over algebraic number fields.

Introduced a new extended Christol's function and proved a criterion for quadratic field parameters.

Abstract

For the hypergeometric series with parameters from the rational fields, there is an effective criterion due to Christol to decide whether the hypergeometric series is N-integral or not. Christol criterion is a basic and vital tool in the recent striking work of Delaygue, Rivoal and Roques on the N-integrality of the hypergeometric mirror maps with rational parameters. In this paper, we develop a systematic theory on the N-integrality of the hypergeometric series with parameters from quadratic fields. We first present a detailed $p$-adic analysis to set up a criterion of the $p$-adic integrality of the hypergeometric series with parameters from rational fields. Consequently, we present two equivalent statements for the hypergeometric series with parameters from algebraic number fields to be N-integral. Finally, by using these results, introducing a new function that extends the Christol's function and developing a further $p$-adic analysis, we establish a criterion for the N-integrality of the hypergeometric series with parameters from the quadratic fields. In the process, there are two important ingredients. One is the uniform distribution result of roots of a quadratic congruence which is due to Duke, Friedlander and Iwaniec together with Toth. Another one is an upper bound on the number of solutions of polynomial congruences given by Stewart in 1991.