[Paper Review] Anatomy of an associator

Francis Brown|arXiv (Cornell University)|Sep 8, 2017

Advanced Mathematical Identities10 references3 citations

TL;DR

This paper constructs explicit solutions to the double shuffle equations with poles, introducing a Lie algebra framework that encodes algebraic relations between multiple zeta values. It proposes a universal 'anatomical' coordinate system—based on generators like ψ and χ—that compresses known relations in weights ≤13 by a factor of a thousand and provides a foundation for understanding zeta elements and rational associators in motivic Galois theory.

ABSTRACT

We study some Lie algebras defined by solutions to the double shuffle equations with poles and construct families of explicit solutions to these equations in all weights and depths. These provide universal coordinates in which to write down `zeta elements': the images of generators of the Lie algebra of the motivic Galois group of mixed Tate motives over the integers. We expect that a similar statement holds for associators. In particular, these coordinates encode algebraic relations between multiple zeta values, and enable one to compress the currently used tables for relations between multiple zeta values in, for example, weights $\leq 13$, already by a factor of a thousand. The Lie algebras and groups studied here form part of a large algebraic structure which is related to the work of Ecalle on the calculus of moulds, and also related to the theory of universal mixed elliptic motives, and modular forms for the full modular group.

Motivation & Objective

• To construct explicit families of solutions to the double shuffle equations with poles, forming a Lie algebra structure denoted 𝔪𝔭𝔡𝔪𝔯.
• To provide universal coordinates—via generators ψ and χ—for expressing zeta elements in the motivic Galois group of mixed Tate motives over ℤ.
• To compress known tables of multiple zeta value relations in weights ≤13 by a factor of approximately 1,000 using these algebraic coordinates.
• To explore the geometric and arithmetic structure of these solutions, particularly their connection to modular forms and the de Rham fundamental group of the infinitesimal Tate curve.
• To lay the foundation for an 'anatomical' decomposition of zeta elements and rational associators, encoding their internal algebraic and arithmetic structure.

Proposed method

• Introduces the Lie algebra 𝔪𝔭𝔡𝔪𝔯 as the space of solutions to the double shuffle equations with poles, using explicit generators ψ_{2n+1} and ψ_{-1} in odd weights.
• Constructs a second family of solutions χ_{2n+1} via a weight-zero element ψ_0, differing from the ψ family in pole structure and depth behavior.
• Applies the six-term relation and residue structure theorems to derive recursive relations for higher-depth residues, ensuring consistency across indices.
• Uses antipodal symmetry and shuffle relations to prove invariance properties of the functions f^{(d)} and A^{(d)} under variable permutations.
• Applies the residue equation (19.25) to generalize residue behavior across all index pairs with i−j≥2, proving inductive closure of the structure.
• Relates the algebraic framework to motivic Galois theory and the de Rham fundamental group of the infinitesimal Tate curve, suggesting deeper geometric meaning.

Experimental results

Research questions

• RQ1 Can explicit solutions to the full double shuffle equations with poles be constructed in all weights and depths?
• RQ2 Do the solutions ψ and χ generate a Lie subalgebra 𝒮 of 𝔪𝔭𝔡𝔪𝔯 that encodes the arithmetic of multiple zeta values?
• RQ3 Can zeta elements σ_{2n+1} in the motivic Galois group of mixed Tate motives over ℤ be expressed as Lie brackets of the ψ generators?
• RQ4 Is there a geometric interpretation of the Lie algebra 𝔪𝔭𝔡𝔪𝔯 in terms of fundamental groups of curves in genus 0 and 1?
• RQ5 Can rational associators be decomposed into an 'anatomical' expansion using the χ or ψ families, analogous to Taylor series?

Key findings

• The paper constructs explicit solutions ψ_{2n+1} and ψ_{-1} to the double shuffle equations with poles in all odd weights, forming a Lie subalgebra 𝒮 of 𝔪𝔭𝔡𝔪𝔯.
• A second family of solutions χ_{2n+1} is constructed from a weight-zero element ψ_0, differing from ψ_{2n+1} in pole structure and depth behavior, with χ_{-1} differing from ψ_{-1} starting at depth five.
• The residue structure of solutions satisfies a generalized residue equation (19.25), allowing inductive control over higher-depth residues across all index pairs.
• The functions f^{(d)} and A^{(d)} satisfy antipodal symmetry and antisymmetry, respectively, which are crucial for proving the residue structure theorems.
• The framework enables a compression of known tables of multiple zeta value relations in weights ≤13 by a factor of approximately 1,000 using the universal coordinates.
• The Lie algebra 𝔪𝔭𝔡𝔪𝔯 contains rich structure linking motivic Galois theory, modular forms, and the geometry of the infinitesimal Tate curve, though its full geometric interpretation remains open.