scientific article; zbMATH DE number 1107668
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].
- Koszul cohomology and algebraic geometry
- Cohomologies of algebraic varieties
- scientific article; zbMATH DE number 7922
- On the cohomology of algebraic varieties
- Cohen-Macaulay varieties, geometric complexes, and combinatorics
- Cohomology theory in birational geometry
- scientific article; zbMATH DE number 5852907
- scientific article; zbMATH DE number 1058015
- Cohomology operations and algebraic geometry
- Geometric invariant theory via Cox rings
- The unipotent Albanese map and Selmer varieties for curves
- Tower techniques for cosimplicial resolutions
- Computation of the unipotent Albanese map on elliptic and hyperelliptic curves
- Algebraic cycles and the mixed Hodge structure on the fundamental group of a punctured curve
- Rational motivic path spaces and Kim's relative unipotent Section conjecture
- Groupes fondamentaux motiviques de Tate mixte
- Massey products for elliptic curves of rank 1
- Cosimplical objects and little n -cubes, I
- Quadratic periods of meromorphic forms on punctured Riemann surfaces
- Quadratic Chabauty and Rational Points II: Generalised Height Functions on Selmer Varieties
- On \(\ell\)-adic iterated integrals V: Linear independence, properties of \(\ell\)-adic polylogarithms, \(\ell\)-adic sheaves
- Algebraic de Rham theory for the relative completion of 𝑆𝐿₂(ℤ)
- Weight filtrations on Selmer schemes and the effective Chabauty–Kim method
- Selmer varieties for curves with CM Jacobians
- The motivic fundamental groupoid at tangential basepoints
- Regulators and derivatives of Vologodsky functions with respect to (p)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373606)
