Elliptic double shuffle, Grothendieck-Teichmüller and mould theory (Q2210347)

In this paper, the author gives a construction of the \textit{elliptic double shuffle Lie algebra} \({{\mathfrak{ds}_\mathrm{ell}}}\) that generalizes the double shuffle Lie algebra \({{\mathfrak{ds}}}\) constructed by G.Racinet to the elliptic situation. The double shuffle, or dimorphic, relations satisfied by elements of the Lie algebra \({{\mathfrak{ds}}}\) express two families of algebraic relations between multiple zeta values that conjecturally generate all relations. In analogy with this, elements of the elliptic double shuffle Lie algebra \({{\mathfrak{ds}_\mathrm{ell}}}\) are Lie polynomials whose behaviors conjecturally describe the (dual of the) set of algebraic relations between elliptic multiple zeta values (constructed explicitly in [\textit{P. Lochak} et al., Int. Math. Res. Not. 2021, No. 1, 698--756 (2021; Zbl 1486.11107)]). The major construction relies on the notion of \textit{moulds} due to J.Écalle whose basic properties are concisely summarized in Appendix of this article, where one finds that various combinatorial behaviors of Lie polynomials can be controlled in terms of certain symmetric properties of associated (sequence of) rational functions in \(\prod_r\mathbb{Q}(u_1,\dots,u_r)\). The counterparts of \({{\mathfrak{ds}}}\), \({{\mathfrak{ds}_\mathrm{ell}}}\) in the Grothendieck-Teichmüller theory are the Lie algebra \({{\mathfrak{grt}}}\) of Drinfeld and its elliptic version \({{\mathfrak{grt}_\mathrm{ell}}}\) by \textit{B. Enriquez} [Sel. Math., New Ser. 20, No. 2, 491--584 (2014; Zbl 1294.17012)] respectively, and a conjecturally isomorphic injection from \({{\mathfrak{grt}}}\) to \({{\mathfrak{ds}}}\) is established by \textit{H. Furusho} [Ann. Math. (2) 174, No. 1, 341--360 (2011; Zbl 1321.11088)]. It is shown that the tangential sections \({{\mathfrak{grt}}}\hookrightarrow{{\mathfrak{grt}_\mathrm{ell}}}\) (Enriquez) and \({{\mathfrak{ds}}}\hookrightarrow{{\mathfrak{ds}_\mathrm{ell}}}\) (Écalle) arising from the Tate elliptic curve compatibly terminate into the common target derivation algebra \(\mathrm{Der}\mathrm{Lie}[a,b]\), while constructing a compatible morphism between \({{\mathfrak{grt}_\mathrm{ell}}}\) and \({{\mathfrak{ds}_\mathrm{ell}}}\) is posed as an important open problem.