Multiple polylogarithm values at roots of unity

From MaRDI portal



Abstract: For any positive integer N let muN be the group of the Nth roots of unity. In this note we shall study the Q-linear relations among values of multiple polylogarithms evaluated at mmuN. We show that the standard relations considered by Racinet do not provide all the possible relations in the following cases: (i) level N=4, weight w=3 or 4, and (ii) w=2, 7<N<50, and N is a power of 2 or 3, or N has at least two prime factors. We further find some (presumably all) of the missing relations in (i) by using the octahedral symmetry of P1−(0,inftycupmu4). We also prove some other results when N=p or N=p2 (p prime ge5) by using the motivic fundamental group of P1−(0,inftycupmuN).


The author studies a \(\mathbb{Q}\)-vector space spanned by the values of \[ \text{Li}_{s_1,\dots,s_n}(\zeta_1,\dots,\zeta_n)=\sum_{k_1>\dots>k_n>0} \frac{\zeta_1^{k_1}\dots \zeta_n^{k_n}}{k_1^{s_1}\dots k_n^{s_n}}, \] where \(\zeta_j\)'s run through \(N\)th roots of unity. Let \(d(w,N)\) be the dimension of this vector space of weight \(w=s_1+\dots+s_n.\) In particular, the author proves that \(d(2,p) \leq (5p+7)(p+1)/24\) and that \(d(2,p^2)<p^2(p-1)^2/4\) for each prime number \(p \geq 5\). He also establishes several \(\mathbb{Q}\)-linear relations between these values which were earlier found numerically, for instance, \[ 5\, \text{Li}_{1,2}(-1,-i)=46\, \text{Li}_{1,1,1}(i,1,1)-7\, \text{Li}_{1,1,1}(-1,-1,i)-13 \, \text{Li}_{1,1,1}(i,i,i)+13 \, \text{Li}_{1,2}(-i,i) \] \[ - \text{Li}_{1,1,1}(-i,-1,1)+25 \, \text{Li}_{1,1,1}(-i,1,1)-8 \, \text{Li}_{1,1,1}(i,i,-1)+18 \, \text{Li}_{2,1}(-i,1). \]











This page was built for publication: Multiple polylogarithm values at roots of unity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q952114)