English

Zeros of hypergeometric functions in the $p$-adic setting

Number Theory 2021-03-29 v2

Abstract

Let pp be an odd prime and Fp\mathbb{F}_p be the finite field with pp elements. McCarthy \cite{mccarthy-pacific} initiated a study of hypergeometric functions in the pp-adic setting. This function can be understood as pp-adic analogue of Gauss' hypergeometric function, and also some kind of extension of Greene's hypergeometric function over Fp\mathbb{F}_p. In this paper we investigate values of two generic families of McCarthy's hypergeometric functions denoted by nGn(t){_nG_n}(t), and nG~n(t){_n\widetilde{G}_n}(t) for n3n\geq3, and tFpt\in\mathbb{F}_p. The values of the function nGn(t){_nG_n}(t) certainly depend on whether tt is nn-th power residue modulo pp or not. Similarly, the values of the function nG~n(t){_n\widetilde{G}_n}(t) rely on the incongruent modulo pp solutions of ynyn1+(n1)n1tnn0(modp)y^n-y^{n-1}+\frac{(n-1)^{n-1}t}{n^n}\equiv0\pmod{p}. These results generalize special cases of pp-adic analogues of Whipple's theorem and Dixon's theorem of classical hypergeometric series. We examine zeros of the functions nGn(t){_nG_n}(t), and nG~n(t){_n\widetilde{G}_n}(t) over Fp\mathbb{F}_p. Moreover, we look into the values of tt for which nGn(t)=0{_nG_n}(t)=0 for infinitely many primes. For example, we show that there are infinitely many primes for which 2kG2k(1)=0{_{2k}G_{2k}}(-1)=0. In contrast, for t0t\neq0 there is no prime for which 2kG~2k(t)=0{_{2k}\widetilde{G}_{2k}}(t)=0.

Keywords

Cite

@article{arxiv.2012.11173,
  title  = {Zeros of hypergeometric functions in the $p$-adic setting},
  author = {Neelam Saikia},
  journal= {arXiv preprint arXiv:2012.11173},
  year   = {2021}
}
R2 v1 2026-06-23T21:07:08.091Z