Standard relations of multiple polylogarithm values at roots of unity

  • Jianqiang Zhao

Standard relations of multiple polylogarithm values at roots of unity cover
Download PDF

This article is published open access.


Let NN be a positive integer. In this paper we shall study the special values of multiple polylogarithms at NNth roots of unity, called multiple polylogarithm values (MPVs) of level NN. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by using the regularized double shuffle relations, regularized distribution relations, lifted versions of such relations from lower weights, and weight one relations which are produced by relations of weight one MPVs. We call relations from the above four families standard. Let d(w,N)d(w,N) be the dimension of the \Q\Q-vector space generated by all MPVs of weight ww and level NN. Recently Deligne and Goncharov were able to obtain some lower bound of d(w,N)d(w,N) using the motivic mechanism. We call a level NN standard if N=1,2,3N=1,2,3 or N=pnN=p^n for prime p5p\ge 5. Our computation suggests the following dichotomy: If NN is standard then the standard relations should produce all the linear relations and if further N>3N>3 then the bound of d(w,N)d(w,N) by Deligne and Goncharov can be improved; otherwise there should be non-standard relations among MPVs for all sufficiently large weights (depending only on NN) and the bound by Deligne and Goncharov may be sharp. We write down some of the non-standard relations explicitly with good numerical verification. In two instances (N=4,w=3,4N=4, w=3,4) we can rigorously prove these relations by using the octahedral symmetry of 0,,±1,±1{0,\infty,\pm1,\pm\sqrt{-1}}. Throughout the paper we provide many conjectures which are strongly supported by computational evidence.

Cite this article

Jianqiang Zhao, Standard relations of multiple polylogarithm values at roots of unity. Doc. Math. 15 (2010), pp. 1–34

DOI 10.4171/DM/291