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

At least 5 years old · documented by

Let s≥1s\geq 1 be an integer and let a∈Zpa\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,⋯ ,p−1}\{0,1,\cdots,p-1\} such that a+l≡0(modp)a+l\equiv 0\pmod p. Then the inversion transformation formula is

Fa,⋯ ,aDw(t)=((−1)st)lFa,⋯ ,aDw(t−1).\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.

References

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.