February 15, 2002
The values at positive integers of the polyzeta functions are solutions of the polynomial equations arising from Drinfeld's associators, which have numerous applications in quantum algebra. Considered as iterated integrals they become periods of the motivic fundamental groupoid of $\mathbb{P}^1\setminus\{0,1,\infty\}$. From there comes a fundamental, yet no more explicit, system of algebraic relations; it implies the system of associators. We focus here on the combinatorics properties of another system of relations, the ``double shuffles'', which comes from elementary series and integrals manipulations. We show that it shares a torsor property with associators and ``motivic'' relations, is implied by the latter and defines a polynomial algebra over $\mathbb{Q}$ (a result first due to J. Ecalle). We obtain these results for more general numbers: values of Goncharov's multiple polylogarithms at roots of unity. These results were previously announced in math.QA:0012024. Here is the detailed proof.
Similar papers 1
December 4, 2000
We describe in this note a torsor structure arising on the affine scheme defined by a system of rationnal algebraic relations between polyzetas at roots of unity (values of hyperlogarithmic functions on a fixed finite group of complex roots of unity). When this group is reduced to 1, we call these numbers the polyzetas. They generalize the values of the Riemann zeta function at odd positive integers and are also called MZVs, multizetas, multiple harmonic series or Euler/Zag...
August 19, 2008
We give an explicit formula for the shuffle relation in a general double shuffle framework that specializes to double shuffle relations of multiple zeta values and multiple polylogarithms. As an application, we generalize the well-known decomposition formula of Euler that expresses the product of two Riemann zeta values as a sum of double zeta values to a formula that expresses the product of two multiple polylogarithm values as a sum of other multiple polylogarithm values.
October 5, 2003
We survey various results and conjectures concerning multiple polylogarithms and the multiple zeta function. Among the results, we announce our resolution of several conjectures on multiple zeta values. We also provide a new integral representation for the general multiple polylogarithm, and develop a q-analogue of the shuffle product.
October 13, 2003
We give a proof of double shuffle relations for $p$-adic multiple zeta values by developing higher dimensional version of tangential base points and discussing a relationship with two (and one) variable $p$-adic multiple polylogarithms.
March 14, 2020
The Hodge correlators ${\rm Cor}_{\mathcal H}(z_0,z_1,\dots,z_n)$ are functions of several complex variables, defined by Goncharov (arXiv:0803.0297) by an explicit integral formula. They satisfy some linear relations: dihedral symmetry relations, distribution relations, and shuffle relations. We found new second shuffle relations. When $z_i\in0\cup\mu_N$, where $\mu_N$ are the $N$-th roots of unity, they are expected to give almost all relations. When $z_i$ run through a fini...
September 29, 2016
We study a certain class of q-analogues of multiple zeta values, which appear in the Fourier expansion of multiple Eisenstein series. Studying their algebraic structure and their derivatives we propose conjectured explicit formulas for the derivatives of double and triple Eisenstein series.
July 10, 2007
Let $N$ be a positive integer. In this paper we shall study the special values of multiple polylogarithms at $N$th roots of unity, called multiple polylogarithm values (MPVs) of level $N$. These objects are generalizations of multiple zeta values and alternating Euler sums, which was studied by Euler, and more recently, many mathematicians and theoretical physicists.. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by...
October 5, 2012
We show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle rel...
March 28, 2017
We define an elliptic generating series whose coefficients, the elliptic multizetas, are related to the elliptic analogues of multiple zeta values introduced by Enriquez as the coefficients of his elliptic associator; both sets of coefficients lie in $\mathcal{O}(\mathfrak{H})$, the ring of functions on the Poincar\'e upper half-plane $\mathfrak H$. The elliptic multizetas generate a $\mathbb Q$-algebra $\mathcal{E}$ which is an elliptic analogue of the algebra of multiple ze...
October 17, 2016
Quasi-shuffle products, introduced by the first author, have been useful in studying multiple zeta values and some of their analogues and generalizations. The second author, together with Kajikawa, Ohno, and Okuda, significantly extended the definition of quasi-shuffle algebras so it could be applied to multiple zeta q-values. This article extends some of the algebraic machinery of the first author's original paper to the more general definition, and uses this extension to ob...