Multiple polylogarithms: an introduction.

From MaRDI portal





This paper surveys the recent progresses that have been made toward the complete description of all algebraic relations over \({\mathbb Q}\) between the Multiple Zeta Values (MZV) defined by \(\zeta(s_1,\dots,s_k)=\sum_{n_1>\cdots>n_k\geq 1} n_1^{-s_1}\cdots n_k^{-s_k}\) where \(k,s_1,\dots,s_k\) are positive integers with \(s_1\geq 2\). It explains clearly how such relations arise from the shuffle and stuffle products of multiple polylogarithms, with the consideration of divergent series as well. The main conjecture (Zagier, Goncharov,\dots) is that these relations generate all algebraic relations between MZV over \({\mathbb Q}\), then reducing the problem to that of finding all linear relations between MZV of a given weight (the sum \(s_1+\cdots+s_k\)). More precisely, a conjecture of Zagier asserts that the dimension of the vector space over \({\mathbb Q}\) generated by all MZV of weight \(p\) is given by the recurrence relation \(d_p=d_{p-2}+d_{p-3}\) with initial conditions \(d_0=1\), \(d_1=0\) and \(d_2=1\). That the actual dimension of this space is bounded above by \(d_p\) has been proved by \textit{T. Terasoma} in [Invent.\ Math. 149, 339--369 (2002; Zbl 1042.11043)], who expresses multiple zeta values as periods of relative cohomologies and uses mixed Tate Hodge structures (see also the work of \textit{A. G. Goncharov} [European Congress of Mathematics, Vol. I, 361--392 (2001; Zbl 1042.11042)] referred to in the same paper). It is hoped that this stream of research will eventually lead to a proof of the long standing conjecture to the effect that the values \(\zeta(2)\) and \(\zeta(3), \zeta(5), \zeta(7), \dots\) of the usual Riemann zeta function \(\zeta(s) = \sum_{n\geq 1} n^{-s}\) are algebraically independent over \({\mathbb Q}\). At present, little is known about the later except that \(\zeta(2) = \pi^2/6\) is transcendental, that \(\zeta(3)\) is irrational, and, thanks to recent work of K.~Ball and T.~Rivoal, that these numbers generate over \({\mathbb Q}\) a vector space of infinite dimension. For the entire collection see [Zbl 0997.00018].




Cited in
(48)








This page was built for publication: Multiple polylogarithms: an introduction.

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