On integrality properties of hypergeometric series

DOI10.7169/FACM/1843MaRDI QIDQ2075007zbMATH OpenOpenAlexFDO

Authors Alan Adolphson, Steven Sperber

Publication date 11 February 2022

Published in Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.03235

zbMATH Keywords

\(p\)-integralityEisenstein's theoremhypergeometric series

Mathematics Subject Classification ID

Miscellaneous applications of number theory (11Z05) Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Generalized hypergeometric series, ({}_pF_q) (33C20)

Abstract: Let $A$ be a set of $N$ vectors in ${mathbbZ}^n$ and let $v$ be a vector in ${mathbbC}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with parameter $$. If $v$ lies in ${mathbbQ}^n$, then this series has rational coefficients. Let $p$ be a prime number. We characterize those $v$ whose coordinates are rational, $p$-integral, and lie in the closed interval $[-1,0]$ for which the corresponding normalized series solution has $p$-integral coefficients. From this we deduce further integrality results for hypergeometric series.

Review text

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.

Recommendations

• Integrals of a new series of hypergeometrical series
• On the integrality of power expansions related to hypergeometric series.
• On the integrality of hypergeometric series whose coefficients are factorial ratios
• scientific article; zbMATH DE number 978250
• Hyperelliptic Integrals and Multiple Hypergeometric Series
• scientific article; zbMATH DE number 1405841
• scientific article; zbMATH DE number 3238779
• scientific article; zbMATH DE number 7742569

Cites work

• \(p\)-adic cycles
• A criterion for the integrality of the Taylor coefficients of mirror maps in several variables
• Distinguished-root formulas for generalized Calabi-Yau hypersurfaces
• Gröbner deformations of hypergeometric differential equations
• scientific article; zbMATH DE number 3819891 (Why is no real title available?)
• Monodromy for the hypergeometric function \(_ nF_{n-1}\)
• On p - adic differential equations IV generalized hypergeometric functions as p - adic analytic functions in one variable
• On Dwork’s 𝑝-adic formal congruences theorem and hypergeometric mirror maps
• On the integrality of factorial ratios and mirror maps
• On unbounded denominators and hypergeometric series

Cited in

(6)

• Integrality conditions of certain hypergeometric coefficients: Generalization of a theorem of Landau
• On unbounded denominators and hypergeometric series
• On the parametric behavior of A-hypergeometric series
• On the integrality of hypergeometric series whose coefficients are factorial ratios
• Differential-difference properties of hypergeometric series
• Criteria for the integrality of \(n\)th roots of power series

This page was built for publication: On integrality properties of hypergeometric series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075007)