Motivic unipotent fundamental groupoid of \(\mathbb{G}_m \setminus \mu_N\) for \(N=2,3,4,6,8\) and Galois descents (Q897548)

This interesting paper presents the revised and expanded version of the doctoral thesis of the author [Periods of the motivic fundamental groupoid of \( \mathbb{P}^1 \{0,\mu_N, \infty \}\). Paris: Université Pierre et Marie Curie (PhD Thesis) (2016)], written under the supervision of F. Brown. Let \(k_N = \mathbb{Q}(\xi_N)\) be the cyclotomic field, \(\xi_N \in \mu_N\) be a primitive \(N\)th root of unity and \({\mathcal O}_N\) be the ring of integers of \(k_N\). The corresponding multiple zeta values at arguments \(x_i \in \mathbb{N}, \epsilon_i \in \mu_N\) can be expressed in terms of the coefficients of a version of \textit{V. G. Drinfel'd}'s associators [Leningr. Math. J. 2, No. 4, 829--860 (1991; Zbl 0728.16021)], which in turn, can be expressed in terms of periods of the corresponding motivic multiple zeta values (MMZV). These MMZV \(\zeta^{\mathfrak m}(\overset{x_1, \ldots x_p}{ \epsilon_1, \ldots, \epsilon_p } ) , \; \epsilon_i \in \mu_N, \; (x_p, \epsilon_p) \neq (1,1)\) relative to \( \mu_N\) (of the weight \(w = \sum x_i \) and the depth \(p\)), are elements of an algebra \(\mathcal H^N\) over \(\mathbb{Q}\) and span the algebra. The algebra \(\mathcal H^N\) carries an action of the motivic Galois group of the category of mixed Tate motives over \({\mathcal O}_N[1/N]\). The author studies the Galois action on the motivic unipotent fundamental groupoid of \( \mathbb{P}^1 \backslash \{0,\mu_N, \infty \}\) (or of \(\mathbb{G}_m \backslash \mu_N\)) for next values of \(N: N \in \{ 2^a3^b, a + 2b \leq 3\} = \{1, 2, 3, 4, 6, 8 \} \). His results include: bases of multiple zeta values via multiple zeta values at roots of unity \(\mu_N\) for the above \(N\); more generally, constructing of families of motivic iterated integrals with prescribed properties; the new proof, via the coproduct by \textit{A. B. Goncharov} [Duke Math. J. 128, No. 2, 209--284 (2005; Zbl 1095.11036)] and its extension by \textit{F. Brown} [Ann. Math. (2) 175, No. 2, 949--976 (2012; Zbl 1278.19008)], of the results by \textit{P. Deligne} [Publ. Math., Inst. Hautes Étud. Sci. 112, 101--141 (2010; Zbl 1218.14016)] that the Tannakian category of mixed Tate motives over \({\mathcal O}_N[1/N]\) `for \(N = \{2, 3, 4, 8\}\) is spanned by the motivic fundumental groupoid of \(\mathbb{P}^1 \backslash \{0, \mu_N, \infty \}\) with an explicit basis'. The organization of the paper under review is as follows: 1. Introduction. 2. Motivic multiple zeta values at roots of unity. 3. Overview. 4. Galois descents for \(N = 2, 3, 4, 6, 8\). The appendix contains interesting examples of Galois descant in small depths, of motivic multiple zeta values and of Euler sums.