The cyclotomic double shuffle torsor in terms of Betti and de Rham coproducts (Q6146467)

The purpose of this paper under review is to further study the structure of the double shuffle and regularization (DSR) system of relations. In [Sel. Math., New Ser. 29, No. 1, Paper No. 3, 28 p. (2023; Zbl 1523.11153)], \textit{B. Enriquez} and \textit{H. Furusho} proved that \(\mathsf{DMR}_\times^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=\mu_N\), where \(\mu_N\) is the group of \(N^{th}\) root of unity for \(N\geq 1\). More precisely, they showed for \(N=1\), that \(\mathsf{DMR}_\times^l (\mathrm{k})\) fits in an inclusion of torsors for any commutative \(\mathbb{Q}\)-algebra \(\mathrm{k}\). In this paper, the author generalizes this torsor inclusion to any \(N\geq 1\). More precisely, it is shown that \(\mathsf{DMR}_\times(\mathrm{k})\) is a subtorsor of stabilizer schemes relating ``Betti'' and ``de Rham'' coproducts.