A relative basis for mixed Tate motives over the projective line minus three points (Q305097)

\textit{M. Levine} [Tate motives and the fundamental group. Studies in Mathematics. Tata Institute of Fundamental Research 21, 265--392 (2010; Zbl 1227.14014)] constructed a Tannakian category \(MTM(\mathbb{P}^1-\{0,1,\infty\})\) of mixed Tate motives over \(X= \mathbb{P}^1 -\{0,1,\infty\}\) as the category of comodules over \(H^0({\mathcal N}^{qf, \bullet}_X)\), where \({\mathcal N}^{qf,\bullet}_X\) is the complex of quasi-finite cycles over \(X\). The \(H^0\) of the bar construction \(B({\mathcal N}^{gf,\bullet}_X)\) is a Hopf algebra. Then there is a split exact sequence NEWLINE\[NEWLINE1\to \pi^{\text{mot}}_1(\mathbb{P}^1-\{0,1,\infty\})\to G_{\mathbb{P}^1-\{0,1,\infty\}}\to G_{\mathbb{Q}}\to 1NEWLINE\]NEWLINE where \(p: \mathbb{P}^1-\{0,1,\infty\}\to\text{Spec\,}\mathbb{Q}\) is the structural morphism and \(\pi^{\text{mot}}_1(\mathbb{P}^1-\{0,1,\infty\})\) denotes Deligne and Goncharov fundamental group. Here \(G_{\mathbb{P}^1-\{0,1,\infty\}}\), \(G_{\mathbb{Q}}\) denote the spectrum of \(H^0(B({\mathcal N}^{qf, \bullet}_{\mathbb{P}^1-\{0,1,\infty\}}))\) and \(H^0(B({\mathcal N}^{qf, \bullet}_\mathbb{Q}))\), respectively. However Levine [loc. cit.] did not produce any specific element in \(H^0(B({\mathcal N}^{qf,\bullet}_{\mathbb{P}^1-\{0,1,\infty\}}))\).NEWLINENEWLINE The aim of this paper is to use two families of distinguished algebraic cycles in the cubical cycle complex over \(\mathbb{P}^1-\{0,1,\infty\}\) to show that these cycles induce well defined elements \(H^0(B({\mathcal N}^{pf,\bullet}_{\mathbb{P}^1-\{0,1,\infty\}}))\).