Abstract:In this article we define an elliptic double shuffle Lie algebra $ds_{ell}$ that generalizes the well-known double shuffle Lie algebra $ds$ to the elliptic situation. The double shuffle, or dimorphic, relations satisfied by elements of the Lie algebra $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 $ds_{ell}$ are Lie polynomials having a dimorphic property called $\Delta$-bialternality that conjecturally describes the (dual of the) set of algebraic relations between elliptic multiple zeta values, periods of objects of the category $MEM$ of mixed elliptic motives defined by Hain and Matsumoto. We show that one of Ecalle's major results in mould theory can be reinterpreted as yielding the existence of an injective Lie algebra morphism $ds\rightarrow ds_{ell}$. Our main result is the compatibility of this map with the tangential-base-point section ${\rm Lie}\,\pi_1(MTM)\rightarrow {\rm Lie}\,\pi_1(MEM)$ constructed by Hain and Matsumoto and with the section $grt\rightarrow grt_{ell}$ mapping the Grothendieck-Teichmüller Lie algebra $grt$ into the elliptic Grothendieck-Teichmüller Lie algebra $grt_{ell}$ constructed by Enriquez.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the algebraic relations of elliptic multiple zeta values (emzv) and the analogy between them and the existing double shuffle relations. Specifically, the article aims to define an elliptic double - shuffle Lie algebra \( \text{ds}_{\text{ell}} \), which generalizes the classical double - shuffle Lie algebra \( \text{ds} \) to the elliptic case, and explore its applications in the moduli space and Grothendieck - Teichmüller theory.
### Core of the problem
1. **Definition of the elliptic double - shuffle Lie algebra**:
- The article defines a new Lie algebra \( \text{ds}_{\text{ell}} \), which generalizes the classical double - shuffle Lie algebra \( \text{ds} \) to the elliptic case.
- The property of the element \( \text{ds}_{\text{ell}} \) is called \( \Delta \)-bialternality, and this property describes the algebraic relations between elliptic multiple zeta values.
2. **Algebraic relations of elliptic multiple zeta values**:
- Elliptic multiple zeta values are the coefficients of certain elliptic generating series, and these coefficients satisfy specific symmetries (dimorphic or double - shuffle type).
- These symmetries are used to define \( \text{ds}_{\text{ell}} \) and it is conjectured that they generate all the algebraic relations between elliptic multiple zeta values.
3. **Connection with existing theories**:
- The article shows how to apply Ecalle's mould theory to define \( \text{ds}_{\text{ell}} \), and links the elliptic Grothendieck - Teichmüller Lie algebra \( \text{grt}_{\text{ell}} \) constructed by Enriquez and the fundamental Lie algebra \( \text{Lie}\pi_1(\text{MEM}) \) constructed by Hain - Matsumoto.
- The main result is to prove the compatibility between these Lie algebras, especially by expressing this compatibility through a commutative diagram.
4. **Derived representations and mappings**:
- The article also studies the injective mapping from \( \text{ds}_{\text{ell}} \) to \( \text{Der}^0\text{Lie}[a,b] \) and explores the possible mapping from \( \text{grt}_{\text{ell}} \) to \( \text{ds}_{\text{ell}} \).
### Formula examples
To ensure the correctness and readability of the formulas, here are several key formulas:
- The property of elements in the elliptic double - shuffle Lie algebra \( \text{ds}_{\text{ell}} \):
\[
\Delta^{-1}(P) \in \text{ARI}_{\text{al}^* \text{al}}
\]
where \( \Delta \) is a specific operator such that \( P \) becomes \( \Delta \)-bialternating.
- Recursive definition of the mould \( \text{pal} \):
\[
\text{dur}(\text{pal})=\text{pal} \cdot \text{dupal}
\]
where \( \text{dupal} \) is an auxiliary mould, defined as:
\[
\text{dupal}(u_1,\ldots,u_r)=\frac{B_r}{r!} \cdot \frac{1}{u_1\cdots u_r}
\]