Doubles melanges des polylogarithmes multiples aux racines de l'unit'e

We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059

The real multiple zeta values $\zeta(k_1,\ldots,k_r)$ are known to form a ${\bf Q}$-algebra; they satisfy a pair of well-known families of algebraic relations called the double shuffle relations. In order to study the algebraic properties of multiple zeta values, one can replace them by formal symbols $Z(k_1,\ldots,k_r)$ subject only to the double shuffle relations. These form a graded Hopf algebra over ${\bf Q}$, and quotienting this algebra by products, one obtains a vector...

Colored multiple zeta values are special values of multiple polylogarithms evaluated at Nth roots of unity. In this paper, we define both the finite and the symmetrized versions of these values and show that they both satisfy the double shuffle relations. Further, we provide strong evidence for an isomorphism connecting the two spaces generated by these two kinds of values. This is a generalization of a recent work of Kaneko and Zagier on finite and symmetrized multiple zeta ...

Extending Eulerian polynomials and Faulhaber's formula 1, we study several combi-natorial aspects of harmonic sums and polylogarithms at non-positive multi-indices as well as their structure. Our techniques are based on the combinatorics of non-commutative generating series in the shuffle Hopf algebras giving a global process to renormalize the divergent polyzetas at non-positive multi-indices.

Quasi-shuffle algebras have been a useful tool in studying multiple zeta values and related quantities, including multiple polylogarithms, finite multiple harmonic sums, and q-multiple zeta values. Here we show that two ideas previously considered only for multiple zeta values, the interpolated product of S. Yamamoto and the symmetric sum theorem, can be generalized to any quasi-shuffle algebra.

We study the multiple Eisenstein series introduced by Gangl, Kaneko and Zagier. We give a proof of (restricted) finite double shuffle relations for multiple Eisenstein series by developing an explicit connection between the Fourier expansion of multiple Eisenstein series and the Goncharov coproduct on Hopf algebras of iterated integrals.

For any positive integer $N$ let $\mu_N$ be the group of the $N$th roots of unity. In this note we shall study the $\Q$-linear relations among values of multiple polylogarithms evaluated at $\mmu_N$. 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 (presu...

In this paper, we define a finite sum analogue of multiple polylogarithms inspired by the work of Kaneko and Zaiger and prove that they satisfy a certain analogue of the shuffle relation. Our result is obtained by using a certain partial fraction decomposition due to Komori-Matsumoto-Tsumura. As a corollary, we give an algebraic interpretation of our shuffle product.

The algebraic and combinatorial theory of shuffles, introduced by Chen and Ree, is further developed and applied to the study of multiple zeta values. In particular, we establish evaluations for certain sums of cyclically generated multiple zeta values. The boundary case of our result reduces to a former conjecture of Zagier.

In this paper we prove a conjecture due to Goncharov and Manin which states that the periods of the moduli spaces $\mathfrak{M}_{0,n}$ of Riemann spheres with $n$ marked points are multiple zeta values. In order to do this, we introduce a differential algebra of multiple polylogarithms on $\mathfrak{M}_{0,n}$, and prove that it is closed under the operation of taking primitives. The main idea is to apply a version of Stokes' formula iteratively, and to exploit the geometry of...