A local-global theorem for \(p\)-adic supercongruences (Q2170257)

The paper under review proves a local-glogal theorem for \(p\)-adic supercongruences, which asserts that if a congruence modulo \(p^r\) holds over some \(r\) hyperplanes of \({\mathbb{Z}}_p\) then it holds over the whole set \({\mathbb{Z}}_p\). More precisely, let \(n, r\geq 1\) and \(p\) is a prime with \(p>\binom{r+1}{2}\). Let \({\mathcal{U}}=\{\,(x_1,\cdots, x_n)\,|\, a_1x_1+\cdots+a_nx_n+b=0\,\}\) be a hyperplane over \({\mathbb{Z}}_p^n\), where at least one of \(a_1,\cdots, a_n\) is not divisible by \(p\). If a sufficiently regular \(n\)-variable function is zero modulo \(p^r\) over some suitable collection of \(r\) hyperplanes, then it is zero modulo \(p^r\) over the whole \({\mathbb{Z}}_p^n\) (a local-global theorem). Several applications of the main result are obtained. For instance, \(p\)-adic analogues of hypergeometric identities are obtained, e.g., a proof of the conjecture of [\textit{A. Deines} et al., Assoc. Women Math. Ser. 3, 125--159 (2016; Zbl 1376.33005)] for each \(p\equiv 1\pmod 5\). The \(p\)-adic supercongruences are also obtained for certain truncated hypergeometric series \(_3F_2\) modulo \(p^3\) and \(_7F_6\) modulo \(p^5\) among others.