No label defined (Q4373606)

Let \(X\) be an arc-connected and locally arc-connected topological space and let \(I\) be the unit interval. Applying the connected component functor to each fibre of the fibration of the total space map \((I,X)\) over \(X\times X\), \(P(w)=(w(0),w(1))\), we get a local system of sets (Poincaré groupoid) over \(X\times X\). This construction does not have a straightforward generalization to algebraic varieties over any field. Using cosimplicial schemes we construct the analog of the bundle of fundamental groups in algebraic geometry and we equip it with an integrable connection. We recover in this way constructions given by \textit{R. M. Hain} and \textit{S. Zucker} [Invent. Math. 88, 83-124 (1987; Zbl 0622.14007)] over complex numbers. However our construction applies to smooth schemes defined over any field of characteristic zero. The cosimplicial schemes can be used to introduce mixed Hodge structures on homotopy groups as it was done by other methods by \textit{J. W. Morgan} [Publ. Math., Inst. Hautes Étud. Sci. 48, 137-204 (1978; Zbl 0401.14003)], \textit{R. M. Hain} [``Iterated integrals and homotopy periods'', Mem. Am. Math. Soc. 291 (1984; Zbl 0539.55002)] and \textit{V. Navarro Aznar} [Invent. Math. 90, 11-76 (1987; Zbl 0639.14002)]. They seem to be specially suited to treat motives associated to fundamental groups, higher homotopy groups and other topological invariants. For example we can define motivic \(\pi_1\) and also motivic fundamental groupoids for any smooth algebraic veriety \(X\), while \textit{P. Deligne} [in: Galois groups over \(\mathbb{Q}\), Proc. Workshop, Berkeley 1987, Publ., Math. Sci. Res. Inst. 16, 79-297 (1989; Zbl 0742.14022)] needs the restriction that \(H^1(\overline X,{\mathcal O})=0\) where \(\overline X\) is a smooth compactification of \(X\). We partly calculate the Betti lattice in the algebraic fundamental group for the projective line minus three points. For the entire collection see [Zbl 0880.00040].