Bounds for the dimensions of \(p\)-adic multiple \(L\)-value spaces (Q613000)

In this paper the author studies a \(p\)-adic analogue of a result of \textit{T. Terasoma} [``Mixed Tate motives and multiple zeta values'', Invent. Math. 149, No. 2, 339--369 (2002; Zbl 1042.11043)] and \textit{P. Deligne} and \textit{A. B. Goncharov} [``Groupes fondamentaux motiviques de Tate mixte'', Ann. Sci. Éc. Norm. Supér. (4) 38, No. 1, 1--56 (2005; Zbl 1084.14024)] bounding the dimension of the space of multiple zeta values. More precisely, let \(k_1,\dots,k_{d-1}\geq 1, k_d\geq 2\) be integers: then the multiple zeta value is defined as \[ \zeta(k_1,\dots,k_d):=\sum_{n_1< \dots<n_d}\frac{1}{n_1^{k_1}\dots n_d^{k_d}}\;. \] They key to a \(p\)-adic definition of multiple zeta values comes from looking at \(\zeta(k_1,\dots,k_d)\) as the limit for \(\mathbb{C}\ni z\to 1\) of a polylogarithm function \(\mathrm{Li}_{k_1,\dots,k_d}(z)\). Then, following previous work by \textit{H. Furusho} [``\(p\)-adic multiple zeta values. I: \(p\)-adic multiple polylogarithms and the \(p\)-adic KZ equation'', Invent. Math. 155, No. 2, 253--286 (2004; Zbl 1061.11034)], the author defines a \(p\)-adic multiple zeta value \(\zeta_p(k_1,\dots,k_d)\) as the ``limit'' for \(\mathbb{C}_p\ni z\to 1\) of the \(p\)-adic polylogarithm \(\mathrm{Li}^a_{k_1,\dots,k_d}(z)\) defined using Coleman's integration theory (where \(a\) is a suitable branching parameter). Then, he defines the space of \(p\)-adic multiple zeta values (called \(p\)-adic MZV'S) as the \(\mathbb{Q}\)-linear span \[ Z_w^p:=\langle \zeta_p(k_1,\dots,k_d)\big| d\geq 1,k_1+\dots +k_d=w,k_1,\dots,k_d\geq 1, k_d\geq 2\rangle_\mathbb{Q}\subset\mathbb{Q}_p \] and the main theorem (Theorem 1.3) shows that \(\dim_\mathbb{Q}Z_w^p\leq d_w\) where \(d_n\) is the sequence defined by \[ \sum_{n=0}^\infty d_nt^n=\frac{1-t^2}{1-t^2-t^3}\,. \] Similar definitions can be given for \(p\)-adic multiple \(L\)-values defined in terms of \(\mathfrak{p}\)-adic \(L\) functions (for \(\mathfrak{p}\) a prime dividing \(p\) in \(\mathbb{Q}(\zeta_N))\) and a similar result holds: namely, Theorem 1.4 states that the dimension of the analogue space \(Z_w^{\mathfrak{p}}[N]\) is bounded by \(d[N]_w\), whose explicit definition we do not quote (see the statement of Theorem 1.4). The proof uses algebraic \(K\)-theory and, crucially, the crystalline realization of mixed Tate motives in order to prove a comparison isomorphism.