Shuffle relations for Hodge and motivic correlators
The Hodge correlators CorH(z0,z1,…,zn) 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 zi∈0∪μN, where μN are the N-th roots of unity, they are expected to give almost all relations. When zi run through a finite subset S of C, the Hodge correlators describe the real mixed Hodge-Tate structure on the pronilpotent completion of the fundamental group π1nil(CP1−(S∪∞),v∞), a Lie algebra in the category of mixed Q-Hodge-Tate structures. The Hodge correlators are lifted to canonical elements CorHod(z0,…,zn) in the Tannakian Lie coalgebra of this category. We prove that these elements satisfy the second shuffle relations. Let S⊂Q. The pronilpotent fundamental group is the Betti realization of the motivic fundamental group, a Lie algebra in the category of mixed Tate motives over Q. The Hodge correlators are lifted to elements CorMot(z0,…,zn) in its Tannakian Lie coalgebra LieMT∨. We prove the second shuffle relations for these motivic elements. The universal enveloping algebra of LieMT∨ was described by Goncharov via motivic multiple polylogarithms, which obey a similar yet different set of double shuffle relations. Motivic correlators have several advantages: they obey dihedral symmetry relations at all points, not only at roots of unity; they are defined for any curve, and the double shuffle relations admit a generalization to elliptic curves; and they describe elements of the motivic Lie coalgebra rather than its universal enveloping algebra.