A motivic Grothendieck-Teichmüller group (Q1743500)

From the article (section 6): ``the main goal of this article is the proof of Theorem 3.8, which, thanks to Levine's results in [\textit{M. Levine}, in: Cycles, motives and Shimura varieties. Proceedings of the international colloquium. New Delhi: Narosa Publishing House/Published for the Tata Institute of Fundamental Research. 265--392 (2011; Zbl 1227.14014)], yields a Tannakian category of mixed Tate motives over \(\mathcal{M}_{0,n}\) whose Tannakian group is given by the spectrum \(H_{/S,\mathbb{Q},n}\). This now makes it possible to describe \(H_{/S,\mathbb{Q},n}\) by explicit algebraic cycles, hence generalizing the construction in [\textit{I. Soudères}, J. Pure Appl. Algebra 220, No. 7, 2590--2647 (2016; Zbl 1408.11067)].''' This explicit description is not undertaken in the present article. The author shows (in Theorems 3.5 and 3.8) that the Deligne-Mumford moduli spaces of stable curves of genus \(0\) with \(n\) marked points \(\overline{\mathcal{M}}_{0,n}\) as well as the moduli spaces of smooth curves of genus \(0\) with \(n\) marked points \(\mathcal{M}_{0,n}\) have the mixed Tate property and the Beilinson-Soulé vanishing property in Spitzweck's category of mixed motives over \(\mathrm{Spec}(\mathbb{Z})\) [\textit{M. Spitzweck}, ``A commutative \(\mathbb{P}^1\)-spectrum representing motivic cohomology over Dedekind domains'', Preprint, \url{arXiv:1207.4078}]. This then implies these properties over other bases, in the triangulated categories of mixed motives introduced by Cisinski and Déglise as well as Voevodsky's over a field. Theorem 3.8 is proved with a Gysin triangle argument from Theorem 3.5, which itself is proved by induction over \(n\) and (for \(n \geq 5\)) an induction along Keel's description of a morphism \(\overline{\mathcal{M}}_{0,n} \to \overline{\mathcal{M}}_{0,n-1} \times \overline{\mathcal{M}}_{0,4}\) as a sequence of blow-ups [\textit{S. Keel}, Trans. Am. Math. Soc. 330, No. 2, 545--574 (1992; Zbl 0768.14002)]. Remark 4.11 introduces the ``motivic short exact sequence'' \(SES_n\) \[ 1 \to K^\bullet_{/S,\mathbb{Z},n} \to G^\bullet_{/S,\mathbb{Z},n} \to G^\bullet_{/S,\mathbb{Z}} \to 1 \] where \(G^\bullet_{/S,\mathbb{Z},n}\) is the affine derived group scheme over \(\mathbb{Z}\) whose perfect representations are equivalent to the category of mixed Tate objects \(DMT_{/S,\mathbb{Z}}(\mathcal{M}_{0,n})\) (see Theorem 4.9) and the map to \(G^\bullet_{/S,\mathbb{Z}} := G^\bullet_{/S,\mathbb{Z},3}\) is explained in Proposition 4.10. In section 4 compatibility of this short exact sequence with the geometry of the tower \(\mathcal{M}_{0,n}\) is shown and exploited for a definition of a Grothendieck-Teichmüller space over \(\mathbb{Z}\) with \(\mathbb{Z}\) coefficients in Definition 4.16, built out of homotopy automorphism spaces of the ``geometric part'' \(K^\bullet_{/S,\mathbb{Z},n}\). It is also explained how tangential base points fit into the picture. In section 5, the integral constructions of the article are compared to the rational constructions done previously by a number of authors. Definition 5.1 introduces the motivic Grothendieck-Teichmüller group over \(S = \mathrm{Spec}(\mathbb{Z})\) with rational coefficients \(GT^{mot}_{/S}(\mathbb{Q})\) in terms of the groups \(K_{/S,\mathbb{Q},n}\). The article closes with conjectures (while conjecture 1 appears already in section 4): Conjecture 2 describe an operadic structure of the ``geometric part'' \(K^\bullet_{/S,\mathbb{Z},n}\). Conjecture 3 is that the geometric part is in fact a non-derived affine group scheme, the spectrum of a commutative non-cocommutative Hopf algebra. Conjecture 4 is that the Betti and de Rham realizations induce isomorphisms of \(\mathbb{Q}\)-rational points of the motivic Grothendieck-Teichmüller group \(GT^{mot}\) with the pro-unipotent Grothendieck-Teichmüller group \(GT\).