\(p\)-adic polylogarithms and \(p\)-adic Hecke \(L\)-functions for totally real fields (Q2082102)

Let \(k\) be a nonnegative integer. Let \(\mathrm{Li}_k(t) := \sum_{n=1}^{\infty} \frac{t^n}{n^k}\) (\(|t| < 1\)) denote the classical polylogarithm function. The functions \(\mathrm{Li}_k(t)\) are holomorphic and may analytically be continued to multivalued functions on \(\mathbb P^1 \setminus \{0,1,\infty \}\). Special values of Dirichlet \(L\)-functions may explicitly be described in terms of the values of the values of the polylogarithm functions at the roots of unity (Beilinson). For Hecke \(L\)-functions associated to imaginary quadratic fields, analogoues of the polylogarithm functions studied by Beilinson and Levin are given by the Kronecker-Lerch functions, which play an important role in the proof by Deninger of the Beilinson conjecture for the associated motives. Let \(p\) be a rational prime. The purpose of this article is to newly construct natural \(p\)-adic analogues of the polylogarithm functions (\(p\)-adic polylogarithms), corresponding to the case of Hecke \(L\)-functions associated to totally real fields. Such functions are defined as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field \(F\). The main result (Theorem 1.2) expresses the special values of \(p\)-adic \(L\)-functions interpolating nonpositive values of Hecke \(L\)-functions of \(F\) in terms of special values of \(p\)-adic polylogarithms. ``The \( p\)-adic interpolation of critical values of Hecke \(L\)-functions of totally real fields was previously studied by \textit{A. Beilinson} et al. [Math. Ann. 371, No. 3--4, 1449--1495 (2018; Zbl 1448.11122)] via the topological polylogarithm on a torus. Our construction of the \(p\)-adic polylogarithm arose from our effort to understand the syntomic realization of the motivic polylogarithm class for \(\mathbb T\), in order to also capture the noncritical values of the \(p\)-adic Hecke \(L\)-functions.''