# Mould Theory and the Double Shuffle Lie Algebra Structure

Conference paper
Part of the Springer Proceedings in Mathematics & Statistics book series (PROMS, volume 314)

## Abstract

The real multiple zeta values $$\zeta (k_1,\dots ,k_r)$$ are known to form a $$\mathbb {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 $$\mathbb {Q}$$, and quotienting this algebra by products, one obtains a vector space. A complicated theorem due to G. Racinet proves that this vector space carries the structure of a Lie coalgebra; in fact Racinet proved that the dual of this space is a Lie algebra, known as the double shuffle Lie algebra $$\mathfrak {ds}$$. J. Ecalle developed a new theory to explore combinatorial and algebraic properties of the formal multiple zeta values. His theory is sketched out in some publications. However, because of the depth and complexity of the theory, Ecalle did not include proofs of many of the most important assertions, and indeed, even some interesting results are not always stated explicitly. The purpose of the present paper is to show how Racinet’s theorem follows in a simple and natural way from Ecalle’s theory. This necessitates an introduction to the theory itself, which we have pared down to only the strictly necessary notions and results.

## Keywords

Mould Double shuffle Multiple zeta values Lie algebra Dimorphy Flexions

## References

1. 1.
Baumard, S.: Aspects modulaires et elliptiques des relations entre multizêtas. Ph.D. dissertation. Paris, France (2014)Google Scholar
2. 2.
Bourbaki, N.: Éléments de Mathématique. Groupes et Algèbres de Lie, Chapitres 2 et 3, 2nd ed. Springer (2006)Google Scholar
3. 3.
Brown, F.: Depth-graded motivic multiple zeta values (2013) arXiv:1301.3053
4. 4.
Carr, S.: Multizeta Values: lie algebras and periods on $$M_{0,n}$$. Ph.D. dissertation. Paris, France. http://math.unice.fr/~brunov/GdT/Carr.pdf (2008)
5. 5.
Cresson, J.: Calcul Moulien. Ann. Fac. Sci. Toulouse Math XVIII(2), 307–395 (2009)Google Scholar
6. 6.
Ecalle, J.: The flexion structure and dimorphy: flexion units, singulators, generators, and the enumeration of multizeta irreducibles. In: Costin, O., Fauvet, F., Menous, F., Sauzin, D. (eds.) Asymptotics in Dynamics, Geometry and PDEs; Generalized Borel Summation, vol. II, pp. 27–211. Edizioni della Normale, Pisa (2011)Google Scholar
7. 7.
Ecalle, J.: Eupolars and their bialternality grid. Acta Math. Vietnam. 40, 545 (2015). https://doi.org/10.1007/s40306-015-0152-x
8. 8.
Furusho, H.: Double shuffle relation for associators. Ann. Math. 174(1), 341–360 (2011)Google Scholar
9. 9.
Ihara, K., Kaneko, M., Zagier, D.: Derivation and double shuffle relations for multiple zeta values. Comp. Math. 142(2), 307–338 (2006)
10. 10.
Racinet, G.: Séries génératrices non-commutatives de polyzêtas et associateurs de Drinfel’d. Ph.D. dissertation. Paris, France (2000)Google Scholar
11. 11.
Racinet, G.: Doubles mélanges des polylogarithmes multiples aux racines de l’unité. Publ. Math. Inst. Hautes Etudes Sci. 95, 185–231 (2002)Google Scholar
12. 12.
Schneps, L.: ARI, GARI, Zig and Zag: an introduction to Ecalle’s theory of multizeta values (2014). arXiv:1507.01534
13. 13.
Serre, J.P.: Lie Algebras and Lie Groups. Springer Lecture Notes, vol. 1500. Springer, Heidelberg (1965)Google Scholar