Algebraic cycles and motivic generic iterated integrals (Q2474599)

For \(s_0,\dots,s_{n+1}\in\mathbb{C}\) and a topological path \(\gamma (t)(0\leq t\leq 1)\) with \(\gamma(0)=s_0\), \(\gamma(1)=s_{n+1}\), and \(\{\gamma(t)\}\cap\{s_1,\dots, s_n\}=\varphi\), the iterated integral is defined to be \(\int_{0\leq t_1\leq \cdots\leq 1_n\leq 1}\frac{d\gamma(t_1)} {\gamma(t_1)-s_1}\wedge\cdots\wedge\frac {d\gamma(t_n)}{\gamma (t_n)-s_n}\). In this paper the authors construct an element \(I(s_0;s_1, \dots,s_n;s_{n+1})\) in the motivic Hopf algebra \(\chi_F(n)\) for any field \(F\). Here \(\chi_F(n)\) denotes a fundamental object in [\textit{S. Bloch} and \textit{I. Kriz}, Ann. Math. 140, 557--605 (1994; Zbl 0935.14014)], which is used to construct the category MTM\((F)\) of mixed Tate motives over \(F\). Actually MTM\((F)\) is defined to be the category of finite dimensional graded comodules over the Hopf algebra \(\chi_F(n)\), which is the 0-th cohomology of a certain commutative differential Hopf algebra constructed through cubical cycle complex. The main theorem of this paper shows that if \(F\) is a subfield of \(C\), the Hodge realization of the motivic integral \((-1)^nI(s_0;s_1,\dots,s_n;s_{n+1})\) agrees with the framed mixed Hodge Tate structure corresponding to the iterated integral above.