The fundamental groupoid scheme and applications

Abstract

We define a linear structure on Grothendieck's arithmetic fundamental group $π_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$ to $π_1(X, x)$ with the existence of a neutral fiber functor on the category which linearizes it. When applied to Grothendieck section conjecture, it allows us to find a $k$-structure on the universal covering, and $k$-rational pro-points at finite and infinite distance which lift given $k$-rational points. Changes as compared to the first version: (some) typos corrected, english impoved (?), (2.6) better explained, Thm 3.2, 3) made more precise, correspondingly Cor. 4.6 made more precise as well. It equates conjugacy classes of sections with neutral fiber functors. Finally Thm 5.1 establishes a bijection between rational points and neutral fiber functors under the assumption that Grothendieck's conjecture is true.