A stabilizer interpretation of double shuffle Lie algebras

Abstract

According to Racinet's work, the scheme of double shuffle and regularization relations between cyclotomic analogues of multiple zeta values has the structure of a torsor over a pro-unipotent $\mathbb Q$-algebraic group $\sf{DMR}_0$, which is an algebraic subgroup of a pro-unipotent $\mathbb Q$-algebraic group of outer automorphisms of a free Lie algebra. We show that the harmonic (stuffle) coproduct of double shuffle theory may be viewed as an element of a module over the above group, and that $\sf{DMR}_0$ identifies with the stabilizer of this element. We identify the tangent space at origin of $\sf{DMR}_0$ with the stabilizer Lie algebra of the harmonic coproduct, thereby obtaining an alternative proof of Racinet's result stating that this space is a Lie algebra (the double shuffle Lie algebra).