-
A categorical formulation of the Deligne-Terasoma approach to double shuffle theory
Authors:
Benjamin Enriquez,
Khalef Yaddaden
Abstract:
In this paper, we introduce the notion of a bimodule with a factorization structure (BFS) and show that such a structure gives rise to an algebra morphism. We then prove that this framework offers an interpretation of the geometric construction underlying both the Betti and de Rham harmonic coproducts of the double shuffle theory developed Enriquez-Furusho inspired by an unpublished preprint of De…
▽ More
In this paper, we introduce the notion of a bimodule with a factorization structure (BFS) and show that such a structure gives rise to an algebra morphism. We then prove that this framework offers an interpretation of the geometric construction underlying both the Betti and de Rham harmonic coproducts of the double shuffle theory developed Enriquez-Furusho inspired by an unpublished preprint of Deligne-Terasoma.
△ Less
Submitted 30 June, 2025; v1 submitted 18 June, 2025;
originally announced June 2025.
-
An alternative $\mathbb{Q}$-form of the cyclotomic double shuffle Lie algebra
Authors:
Hidekazu Furusho,
Khalef Yaddaden
Abstract:
We present an alternative $\mathbb{Q}$-form for Racinet's cyclotomic double shuffle Lie algebra, inspired by the double shuffle relations among congruent multiple zeta values studied by Yuan and Zhao. Our main result establishes an invariance characterization theorem, demonstrating how these two $\mathbb{Q}$-forms can be reconstructed from each other under Galois action.
We present an alternative $\mathbb{Q}$-form for Racinet's cyclotomic double shuffle Lie algebra, inspired by the double shuffle relations among congruent multiple zeta values studied by Yuan and Zhao. Our main result establishes an invariance characterization theorem, demonstrating how these two $\mathbb{Q}$-forms can be reconstructed from each other under Galois action.
△ Less
Submitted 2 February, 2025;
originally announced February 2025.
-
On a conjecture of Zhao related to standard relations among cyclotomic multiple zeta values
Authors:
Henrik Bachmann,
Khalef Yaddaden
Abstract:
We provide a proof of a conjecture by Zhao concerning the structure of certain relations among cyclotomic multiple zeta values in weight two. We formulate this conjecture in a broader algebraic setting in which we give a natural equivalence between two schemes attached to a finite abelian group $G$. In particular, when $G$ is the group of roots of unity, these schemes describe the standard relatio…
▽ More
We provide a proof of a conjecture by Zhao concerning the structure of certain relations among cyclotomic multiple zeta values in weight two. We formulate this conjecture in a broader algebraic setting in which we give a natural equivalence between two schemes attached to a finite abelian group $G$. In particular, when $G$ is the group of roots of unity, these schemes describe the standard relations among cyclotomic multiple zeta values.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
The cyclotomic double shuffle torsor in terms of Betti and de Rham coproducts
Authors:
Khalef Yaddaden
Abstract:
To describe the double shuffle relations between multiple polylogarithm values at $N$th roots of unity, Racinet attached to each finite cyclic group $G$ of order $N$ and each group embedding $ι: G \to \mathbb{C}^{\times}$, a $\mathbb{Q}$-scheme $\mathsf{DMR}^ι$ which associates to each commutative $\mathbb{Q}$-algebra $\mathbf{k}$, a set $\mathsf{DMR}^ι(\mathbf{k})$ that can be decomposed as a dis…
▽ More
To describe the double shuffle relations between multiple polylogarithm values at $N$th roots of unity, Racinet attached to each finite cyclic group $G$ of order $N$ and each group embedding $ι: G \to \mathbb{C}^{\times}$, a $\mathbb{Q}$-scheme $\mathsf{DMR}^ι$ which associates to each commutative $\mathbb{Q}$-algebra $\mathbf{k}$, a set $\mathsf{DMR}^ι(\mathbf{k})$ that can be decomposed as a disjoint union of sets $\mathsf{DMR}^ι_λ(\mathbf{k})$ with $λ\in \mathbf{k}$. He also exhibited a $\mathbb{Q}$-group scheme $\mathsf{DMR}_0^G$ and showed that $\mathsf{DMR}^ι_λ(\mathbf{k})$ is a torsor for the action of $\mathsf{DMR}_0^G(\mathbf{k})$. Then, Enriquez and Furusho showed for $N=1$ that a subscheme $\mathsf{DMR}^ι_{\times}$ of $\mathsf{DMR}^ι$ is a torsor of isomorphisms relating de Rham and Betti objects. In previous work, we reformulated Racinet's construction in terms of crossed products and identified his coproduct with a coproduct $\widehatΔ^{\mathcal{M}, \mathrm{DR}}_G$ defined on a module $\widehat{\mathcal{M}}_G^{\mathrm{DR}}$ over an algebra $\widehat{\mathcal{W}}_G^{\mathrm{DR}}$ equipped with its own coproduct $\widehatΔ^{\mathcal{W}, \mathrm{DR}}_G$. In this paper, we provide a generalization of Enriquez and Furusho's result to any $N \geq 1$: we exhibit a module $\widehat{\mathcal{M}}_N^{\mathrm{B}}$ over an algebra $\widehat{\mathcal{W}}_N^{\mathrm{B}}$ and show the existence of compatible coproducts $\widehatΔ^{\mathcal{W}, \mathrm{B}}_N$ and $\widehatΔ^{\mathcal{M}, \mathrm{B}}_N$ such that $\mathsf{DMR}^ι_{\times}$ is contained in the torsor of isomorphisms relating $\widehatΔ^{\mathcal{W}, \mathrm{B}}_N$ (resp. $\widehatΔ^{\mathcal{M}, \mathrm{B}}_N$) to $\widehatΔ^{\mathcal{W}, \mathrm{DR}}_G$ (resp. $\widehatΔ^{\mathcal{M}, \mathrm{DR}}_G$).
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
Crossed product interpretation of the Double Shuffle Lie algebra attached to a finite Abelian group
Authors:
Khalef Yaddaden
Abstract:
Racinet studied the scheme associated with the double shuffle and regularization relations between multiple polylogarithm values at $N^{th}$ roots of unity and constructed a group scheme attached to the situation; he also showed it to be the specialization for $G=μ_N$ of a group scheme $\mathsf{DMR}_0^G$ attached to a finite abelian group $G$. Then, Enriquez and Furusho proved that…
▽ More
Racinet studied the scheme associated with the double shuffle and regularization relations between multiple polylogarithm values at $N^{th}$ roots of unity and constructed a group scheme attached to the situation; he also showed it to be the specialization for $G=μ_N$ of a group scheme $\mathsf{DMR}_0^G$ attached to a finite abelian group $G$. Then, Enriquez and Furusho proved that $\mathsf{DMR}_0^G$ can be essentially identified with the stabilizer of a coproduct element arising in Racinet's theory with respect to the action of a group of automorphisms of a free Lie algebra attached to $G$. We reformulate Racinet's construction in terms of crossed products. Racinet's coproduct can then be identified with a coproduct $\hatΔ^{\mathcal{M}}_G$ defined on a module $\hat{\mathcal{M}}_G$ over an algebra $\hat{\mathcal{W}}_G$, which is equipped with its own coproduct $\hatΔ^{\mathcal{W}}_G$, and the group action on $\hat{\mathcal{M}}_G$ extends to a compatible action of $\hat{\mathcal{W}}_G$. We then show that the stabilizer of $\hatΔ^{\mathcal{M}}_G$, hence $\mathsf{DMR}_0^G$, is contained in the stabilizer of $\hatΔ^{\mathcal{W}}_G$. This yields an explicit group scheme containing $\mathsf{DMR}_0^G$, which we also express in the Racinet formalism.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
