On integrality properties of hypergeometric series (Q2075007)

Let \(R_p\) be a set of \(p\)-integral rational vectors (i.e., \((\mathbb{Q}\cap \mathbb{Z}_p)^N\)). Let \(A\) be a \(k\times N\) matrix and define \(R_p(\beta)\) as a space of vector \(v\in R_p\) such that \(Av=\beta\). For \(t\in \mathbb{N}\) one can write \(t=t_0+t_1p+\dots+t_{b-1}p^{b-1}\), \(1\leq t_j<p\) and put \(w_p(t):=t_0+\dots+t_{b-1}\). The main theorem says the following. If \(v\in R_p(\beta)\), then the \(p\)-adically normalized hypergeometric series defined by \(v\) (see definition in the paper) has \(p\)-integral coefficients if and only if \(w_p(v)=w_p(R_p(\beta))\). If \(w_p(v)>w_p(R_p(\beta))\), then the coefficients of the series are \(p\)-adically unbounded.