$p$-adic hypergeometric function related with $p$-adic multiple polylogarithms

TL;DR

This paper constructs a new $p$-adic analogue of Gauss's hypergeometric function, linking it with $p$-adic multiple polylogarithms and establishing a $p$-adic Gauss hypergeometric theorem.

Contribution

It introduces a novel $p$-adic hypergeometric function constructed via a different method from Dwork's, connecting it with $p$-adic polylogarithms and the KZ equation.

Findings

Developed a framework for residue-wise analytic prolongation of the $p$-adic hypergeometric function.

Established a $p$-adic version of Gauss's hypergeometric theorem.

Analyzed local behavior near point 1 of the $p$-adic hypergeometric function.

Abstract

This paper introduces a $p$-adic analogue of Gauss's hypergeometric function, constructed via a method that is distinct from distinct from Dwork's approach. The idea of our construction is motivated by the Ohno-Zagier formula, which is elucidated through the relationship between the hypergeometric differential equation and the Knizhnik-Zamolodchikov (KZ) equation. We develop a rigorous framework for the residue-wise analytic prolongation of our $p$-adic hypergeometric function by exploring its relationship with $p$-adic multiple polylogarithms. Through a detailed analysis of its local behavior near the point $1$, we show a $p$-adic version of Gauss hypergeometric theorem for the function.