On unbounded denominators and hypergeometric series

We study the question of when the coefficients of a hypergeometric series are p-adically unbounded for a given rational prime p. Our first result is a necessary and sufficient criterion, applicable to all but finitely many primes, for determining when the coefficients of a hypergeometric series with...

Full description

Saved in:
Bibliographic Details
Published in:Journal of number theory 2018-11, Vol.192, p.197-220
Main Authors: Franc, Cameron, Gannon, Terry, Mason, Geoffrey
Format: Article
Language:English
Subjects:
Hypergeometric series
Modular forms
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We study the question of when the coefficients of a hypergeometric series are p-adically unbounded for a given rational prime p. Our first result is a necessary and sufficient criterion, applicable to all but finitely many primes, for determining when the coefficients of a hypergeometric series with rational parameters are p-adically unbounded (equivalent but different conditions were found earlier by Dwork in [12] and Christol in [9]). We then show that the set of unbounded primes for a given series is, up to a finite discrepancy, a finite union of the set of primes in certain arithmetic progressions and we explain how this set can be computed. We characterize when the density of the set of unbounded primes is 0 (a similar result is found in [9]), and when it is 1. Finally, we discuss the connection between this work and the unbounded denominators conjecture for Fourier coefficients of modular forms.
ISSN:0022-314X
1096-1658
DOI:10.1016/j.jnt.2018.04.009