Motivic unipotent fundamental groupoid of G_m _N for N=2,3,4,6,8 and Galois descents

DOI10.1016/J.JNT.2015.08.003MaRDI QIDQ897548zbMATH OpenOpenAlexFDO

Authors Claire Glanois

Publication date 7 December 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1411.4947

zbMATH Keywords

coproductGalois descentGalois groupHopf algebramixed Tate motivesmultiple zeta values

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Motivic cohomology; motivic homotopy theory (14F42) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Abstract: We study Galois descents for categories of mixed Tate motives over $mathcal{O}_N[1/N]$, for $Ninleft2,3,4,8ight$ or $mathcal{O}_N$ for $N=6$, with $mathcal{O}_N$ the ring of integers of the $N^{extth}$ cyclotomic field, and construct families of motivic iterated integrals with prescribed properties. In particular this gives a basis of honorary multiple zeta values (linear combinations of iterated integrals at roots of unity $m{u}_N$ which are multiple zeta values). It also gives a new proof, via Goncharov's coproduct, of Deligne's results: the category of mixed Tate motives over $mathcal{O}_{k_N}[1/N]$, for $Ninleft2,3,4,8ight$ is spanned by the motivic fundamental groupoid of $mathbb{P}^{1}setminusleft0,m{u}_N,inftyight$ with an explicit basis. By applying the period map, we obtain a generating family for multiple zeta values relative to $m{u}_N$.

Review text

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.

Recommendations

• Cyclotomic \(p\)-adic multi-zeta values in depth two
• The dihedral Lie algebras and Galois symmetries of \(\pi_1^{(l)}(\mathbb P^1-(\{0,\infty\}\cup\mu-\{N\}))\).
• Single-valued motivic periods and multiple zeta values
• scientific article; zbMATH DE number 1944724
• On the decomposition of motivic multiple zeta values
• Cyclotomic \(p\)-adic multi-zeta values
• Multizeta in function field arithmetic
• Geometry of multiple zeta values
• Evaluation of the multiple zeta values (2,,2,3,2,,2)
• Euler complexes and geometry of modular varieties

Cites work

• Galois symmetries of fundamental groupoids and noncommutative geometry
• Groupes fondamentaux motiviques de Tate mixte
• scientific article; zbMATH DE number 6490749 (Why is no real title available?)
• scientific article; zbMATH DE number 2128361 (Why is no real title available?)
• scientific article; zbMATH DE number 1107660 (Why is no real title available?)
• scientific article; zbMATH DE number 1178981 (Why is no real title available?)
• scientific article; zbMATH DE number 3373095 (Why is no real title available?)
• Iterated path integrals
• Mixed Tate motives over \(\mathbb{Z}\)
• On the decomposition of motivic multiple zeta values
• The multiple zeta value data mine
• The unipotent motivic fundamental group of \(\mathbf G_m - \mu_N\), for \(N=2,3,4,6\) or \(8\)

Cited in

(19)

• Relationships between multiple zeta values of depths 2 and 3 and period polynomials
• Alternating multizeta values in positive characteristic
• On Hoffman's \(t\)-values of maximal height and generators of multiple zeta values
• Motivic multiple zeta values relative to _2
• Zeta elements in depth 3 and the fundamental Lie algebra of the infinitesimal Tate curve
• Some open problems on Feynman periods
• The parity theorem for multiple polylogarithms
• Mixed Tate motives over \(\mathbb{Z}\)
• Unit cyclotomic multiple zeta values for \(\mu_2, \mu_3\) and \(\mu_4\)
• The unipotent motivic fundamental group of \(\mathbf G_m - \mu_N\), for \(N=2,3,4,6\) or \(8\)
• On arithmetic properties of periods for some rational differential forms over \(\mathbb{Q}\) on the Fermat curve \(F_2\) of degree 2
• Proof of Xu conjecture on alternating double zeta values
• Sum formulas for various kinds of cyclotomic multiple zeta values
• Motivic interpretations for iterated integrals on some specific algebraic curves
• Symmetry results for multiple t-values
• On some unramified families of motivic Euler sums
• Colored multizeta values in positive characteristic
• Quasi-shuffle algebras and applications
• Finite and symmetric colored multiple zeta values and multiple harmonic q-series at roots of unity

This page was built for publication: Motivic unipotent fundamental groupoid of \(\mathbb{G}_m \setminus \mu_N\) for \(N=2,3,4,6,8\) and Galois descents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897548)