Canonicalizing zeta generators: genus zero and genus one

Daniele Dorigoni,Mehregan Doroudiani,Joshua Drewitt,Martijn Hidding,Axel Kleinschmidt,Oliver Schlotterer,Leila Schneps,Bram Verbeek
2024-07-04
Abstract:Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.
Quantum Algebra,High Energy Physics - Phenomenology,High Energy Physics - Theory,Algebraic Geometry,Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the canonical representations of motivic multizeta values in different genera and their relationships with geometric derivatives. Specifically, the paper mainly focuses on the following points: 1. **The case of normalized zeta - generators in genus zero**: - The paper defines a set of normalized polynomials \( g_w(x, y) \), which satisfy three natural conditions and are related to the internal structure of motivic multizeta values. - For odd \( w \), these polynomials are Lie polynomials, providing a set of normalized generators for generating the motivic Lie algebra in genus zero. 2. **The canonical isomorphism from motivic multizeta values to the f - alphabet**: - The paper proposes a normalized isomorphism mapping that maps motivic multizeta values onto the f - alphabet. This isomorphism mapping depends on the canonical decomposition of motivic multizeta values. 3. **The case of normalized zeta - generators in genus one**: - Based on the genus - zero polynomials \( g_w \), the paper defines the genus - one zeta - generators \( \sigma_w \). - These generators have a specific expansion form under Tsungai's geometric derivatives and resolve the previous ambiguity in defining the non - geometric part. 4. **Motivation and outlook**: - The main motivation for studying zeta - generators lies in their importance in the periods of configuration spaces of Riemann surfaces. - The genus - zero and genus - one zeta - generators play a crucial role in the iterative Eisenstein integral representations of single - valued polylogarithm functions and modular graph forms. Through these studies, the paper aims to establish a unified framework, connecting the genus - zero and genus - one zeta - generators, and paving the way for further research on zeta - generators on Riemann surfaces of arbitrary genus.