Inversion transformation formula for Dwork's pp-adic hypergeometric functions

Let s1s\geq 1 be an integer and let aZpa\in\mathbb{Z}_p. Dwork's pp-adic hypergeometric function is

Fa1,,asDw(t):=Fa1,,as(t)Fa1,,as(tp),\mathscr{F}^{{\rm Dw}}_{a_1,\cdots,a_s}(t):=\frac{F_{a_1,\cdots,a_s}(t)}{F_{a_1^\prime,\cdots,a_s^\prime}(t^p)},

where the numerator and denominator are hypergeometric power series. Suppose a1==as=aa_1=\cdots=a_s=a, and let ll be the unique integer in {0,1,,p1}\{0,1,\cdots,p-1\} such that a+l0(modp)a+l\equiv 0\pmod p. Then the inversion transformation formula is

Fa,,aDw(t)=((1)st)lFa,,aDw(t1).\mathscr{F}^{{\rm Dw}}_{a,\cdots,a}(t)=((-1)^st)^l\mathscr{F}^{{\rm Dw}}_{a,\cdots,a}(t^{-1}).

This gives the inversion symmetry of Dwork's pp-adic hypergeometric function when all parameters coincide; the supplied excerpt states the formula but does not provide a resolution status beyond its presentation as a conjectural candidate.

Sources & referencesView supporting material

Primary source

Wang Chung-Hsuan, “Congruence relations for p-adic hypergeometric functions F_a,...,a^(σ)(t) and its transformation formula”, arXiv:2001.08117 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.