A local-global theorem for p-adic supercongruences

Abstract: Let

{m a t h b b Z}_{p}

denote the ring of all

p

-adic integers and call

{mathcal U}={(x_1,ldots,x_n):,a_1x_1+ldots+a_nx_n+b=0}

a hyperplane over

{m a t h b b Z}_{p}^{n}

, where at least one of

a_{1}, l d o t s, a_{n}

is not divisible by

p

. We prove that 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

{m a t h b b Z}_{p}^{n}

. We provide various applications of this general criterion by establishing several

p

-adic analogues of hypergeometric identities.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: A local-global theorem for \(p\)-adic supercongruences