---
author:
- 'Christopher Deninger[^1]'
title: 'A pro-algebraic fundamental group for topological spaces'
---

Introduction
============

In [@KS] Kucharczyk and Scholze define the “étale fundamental group” $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ of a pointed connected topological space $(X,x)$ using the method of Galois categories in [@SGA1]. This is a pro-finite group which classifies covering spaces of $X$ with finite fibres. For path-connected, locally path-connected and semi-locally simply connected spaces, $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ is the pro-finite completion of the ordinary fundamental group of $X$ i.e. $$\label{eq:1}
\pi^{{\mathrm{\acute{e}t}}}_1 (X,x) = \widehat{\pi_1 (X,x)} \; .$$ For more general spaces, $\pi_1 (X,x)$ carries natural topologies and the relation of $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ to the (quasi-)topological group $\pi_1 (X,x)$ is also studied in [@KS]. Kucharczyk and Scholze make the following use of their étale fundamental group. For any field $F$ of characteristic zero containing all roots of unity, they construct a functorial compact connected Hausdorff space $X_F$ whose étale fundamental group $\pi^{{\mathrm{\acute{e}t}}}_1 (X_F ,x)$ is isomorphic to the absolute Galois group $G_F$ of $F$. The image of the usual fundamental group $\pi_1 (X_F , x)$ in $\pi_1^{{\mathrm{\acute{e}t}}} (X_F, x) \cong G_F$ is then an interesting extra structure of $G_F$.

For the well behaved topological spaces $X$ in the representations of $\pi_1 (X,x)$ correspond to local systems. This is not at all true in general. In the present note, we therefore study another type of fundamental group for pointed connected topological spaces $(X,x)$. Given a ground field $K$ it is an affine group scheme over $K$ which classifies the local systems of finite dimensional $K$-vector spaces on $X$. More precisely, the $\otimes$-category of such local systems together with the fibre functor $\omega_x$ in $x$ forms a neutralized Tannakian category over $K$. Define $\pi_K (X,x)$ to be its Tannakian dual i.e. $$\pi_K (X,x) = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega_x) \; .$$ The group scheme $\pi_0 (\pi_K (X,x))$ of connected components of $\pi_K (X,x)$ is the maximal pro-étale quotient $\pi_K (X,x)^{{\mathrm{\acute{e}t}}}$ of $\pi_K (X,x)$ and in section \[sec:3\] we show that it is canonically isomorphic to $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ viewed as a pro-étale group scheme over $K$, $$\label{eq:2}
\pi_K (X,x)^{{\mathrm{\acute{e}t}}} = \pi^{{\mathrm{\acute{e}t}}}_1 (X,x) /_K \; .$$

For path-connected, locally path-connected and semi-locally simply connected spaces $\pi_K (X,x)$ is isomorphic to the pro-algebraic completion over $K$ of the ordinary fundamental group $$\label{eq:3}
\pi_K (X,x) = \pi_1 (X,x)^{{\mathrm{alg}}} \; .$$ There are very interesting structural results about $\pi_K (X,x)$ for Kähler manifolds in [@P], [@S], Section 6. In the present note we focus on those properties of $\pi_K (X,x)$ that hold for very general, not even locally connected spaces $X$.

Section \[sec:2\] is devoted to structural results about $\pi_K (X,x)$ and its algebraic quotients – the monodromy group schemes of local systems. We also construct a certain pseudo-torsor $P_X$ for the pro-discrete group $\pi_K (X,x) (K)$ which can serve as a replacement for the universal covering of $X$. Pullback to $P_X$ trivializes all local systems of finite dimensional $K$-vector spaces on $X$.

It turns out that $\pi_K (X,x)$ is the projective limit of the Zariski closures of discrete subgroups of ${\mathrm{GL}}_r (K)$ for $r \ge 1$. In particular $\pi_K (X,x)$ is reduced even if the characteristic of $K$ is positive. This is easy to show if the connected topological space $X$ is also locally connected, mainly because for such spaces the connected components of a covering are again coverings. For the proof in the general case, we adapt a basic construction in algebraic geometry due to Nori [@N] to our situation.

Kucharczyk and Scholze show that $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ commutes with projective limits of connected compact Hausdorff spaces. In section \[sec:4\] we prove a corresponding result for $\pi_K (X,x)$. This allows to calculate $\pi_K (X,x)$ for certain solenoidal spaces. These examples show that $\pi_K (X,x)$ can be non-trivial in cases where the Čech fundamental group is trivial. We also give some relations of $\pi_K (X,x)$ to cohomology, and end with some open questions.

Our ultimate motivation for introducing $\pi_K (X,x)$ is the hope to relate the motivic Galois group $G_{{{\mathcal M}}_F}$ over ${{\mathbb{C}}}$ to the pro-algebraic group $\pi_{{{\mathbb{C}}}} (X,x)$ of a suitable topological space $X$, generalizing the basic idea of [@KS]. This will not work with the space $X_F$ of [@KS] because as pointed out in the introduction of [@KS] the Steinberg relations do not hold in the rational cohomology of $X_F$.

Generalizing Grothendieck’s pro-finite fundamental group of a pointed topos which classifies finite coverings, Kennison has introduced an internal fundamental group of an (unpointed) topos using torsors which generalizes the functor ${\mathrm{Hom}}(\pi_1 (X) , -)$ [@K]. He does not use the Tannakian formalism but the respective fundamental groups should be related.

I am grateful to the Newton Institute where part of this note was written and to Peter Scholze for explaining an argument in [@KS].

The pro-algebraic fundamental group {#sec:2}
===================================

Given a field $K$ with the discrete topology, a flat $K$-vector bundle on a topological space $X$ is a continuous map $\pi : E \to X$ whose fibres are finite dimensional $K$-vector spaces and such that locally on $X$ the map $\pi$ is isomorphic to the projection $X \times K^r \to X$ for some $r \ge 0$. Note that the transition functions between local trivializations are locally constant since $K$ has the discrete topology. The suffix “flat” is not really necessary. However, for fields $K$ like ${{\mathbb{R}}}$ or ${{\mathbb{C}}}$ which usually carry a different topology, “flat” serves as a reminder to view $K$ with the discrete topology. We write $\Gamma (X,E)$ for the $K$-vector space of continuous sections of $E$. Let ${\mathbf{Fl}}(X) = {\mathbf{Fl}}_K (X)$ denote the category of flat $K$-vector bundles with the obvious morphisms. We will often use the fact that a locally constant map from a connected topological space to a set is constant. The sheaf of continuous sections of a flat $K$-vector bundle is a local system ${{\mathcal E}}$ of finite-dimensional $K$-vector spaces on $X$ i.e. a sheaf of $K$-vector spaces on $X$ which is locally isomorphic to the constant sheaf ${\underline{K}}^r$ for some integer $r \ge 0$. Let ${\mathbf{Loc}}(X) = {\mathbf{Loc}}_K (X)$ be the category of local systems of finite dimensional $K$-vector spaces. The functor from ${\mathbf{Fl}}(X)$ to ${\mathbf{Loc}}(X)$ sending $E$ to ${{\mathcal E}}$ and correspondingly on morphisms is a equivalence of categories. A quasi-inverse is given by sending ${{\mathcal E}}$ to its espace étalé $E$ over $X$, c.f. [@B] Ch. I, 1.5. If $X$ is connected both categories are abelian. Note here that for a morphism of flat $K$-vector bundles $\varphi : E \to E'$ over $X$ the rank of the kernel $\ker \varphi_x$ is locally constant as a function of $x \in X$ and hence constant. If a group $G$ acts on a topological space $Y$ by homeomorphisms, we write ${\mathbf{Loc}}^G_K (Y)$ for the category of $G$-locally constant sheaves of finite dimensional $K$-vector spaces. It is equivalent to the category ${\mathbf{Fl}}^G_K (Y)$ of flat finite rank $K$-vector bundles $E$ with a continuous $G$-action on the total space over the $G$-action on $Y$.

For the definition of a rigid abelian tensor category ${{\mathcal T}}$ over $K$ we refer to [@DM] 2.1. It is an abelian category with a functor $\otimes : {{\mathcal T}}\times {{\mathcal T}}\to {{\mathcal T}}$, a unit object $1$ and a dual object $E^{\vee}$ for any object $E$ together with morphisms ${\mathrm{ev}}: E \otimes E^{\vee} \to 1$ and $\delta : 1 \to E \otimes E^{\vee}$. All these data have to satisfy several compatibility conditions and all objects are reflexive $E {\stackrel{\sim}{\rightarrow}}E^{\vee\vee}$. Moreover an isomorphism $K {\stackrel{\sim}{\rightarrow}}{\mathrm{End}}(1)$ is part of the structure. For a connected topological space $X$, the categories ${\mathbf{Fl}}_K (X)$ and ${\mathbf{Loc}}_K (X)$ are naturally rigid abelian tensor categories over $K$, and $E \mapsto {{\mathcal E}}$ is a tensor equivalence. The unit object is given by the trivial line bundle ${\underline{K}}$ resp. the constant sheaf ${\underline{K}}$.

A neutral Tannakian category over $K$ is a rigid abelian tensor category ${{\mathcal T}}$ over $K$ which admits a faithful $K$-linear exact $\otimes$-functor $\omega$ into the category ${\mathbf{Vec}}_K$ of finite dimensional vector spaces over $K$. Given such a “fibre-functor” $\omega$, the $\otimes$-functor ${{\mathcal T}}$ is tensor-equivalent to the tensor category ${\mathbf{Rep}}_K (G)$ of finite dimensional $K$-representations of the affine $K$-group scheme $G = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega)$, the Tannakian dual of $({{\mathcal T}}, \omega)$. Under the equivalence the fibre functor $\omega$ on ${{\mathcal T}}$ becomes the forgetful functor on ${\mathbf{Rep}}_K (G)$. Here, by definition we have for any $K$-algebra $R$ $$G (R) = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega) (R) = {\mathrm{Aut}}^{\otimes} (\phi_R {\mbox{\scriptsize $\,\circ\,$}}\omega) \; ,$$ where $\phi_R = R \otimes_- : {\mathbf{Vec}}_K \to {\mathbf{Mod}}_R$. See [@DM] Theorem 2.11 for more details. For an object $E$ of ${{\mathcal T}}$ the full $\otimes$-subcategory $\langle E \rangle^{\otimes}$ generated by $E$ is defined as the full subcategory of ${{\mathcal T}}$ of objects isomorphic to a subquotient of $Q (E , E^{\vee})$ for some $Q \in {\mathbb{N}}[t,s]$ where ${\mathbb{N}}= \{ 0 , 1 , 2 , \ldots \}$. For a point $x$ of a topological space $X$ we have the usual fibre functor $$\omega_x : {\mathbf{Fl}}_K (X) \longrightarrow {\mathbf{Vec}}_K$$ sending $E$ to $E_x$ and $\varphi : E \to E'$ to $\varphi_x : E_x \to E'_x$. It is a $K$-linear exact tensor functor.

\[t21\] For any pointed connected topological space $(X,x)$ and any field $K$, the category ${\mathbf{Fl}}_K (X)$ is neutral Tannakian with fibre functor $\omega_x$.

We have to show that $\omega_x$ is faithful. Let $\varphi : E \to E'$ be a morphism in ${\mathbf{Fl}}_K (X)$. The function $X \to {{\mathbb{Z}}}$ sending $y \in X$ to the rank of $\varphi_y$ is locally constant, hence constant on $X$. If $\omega_x (\varphi) = 0$ i.e. ${\mathrm{rk}\,}\varphi_x = 0$ we therefore have ${\mathrm{rk}\,}\varphi_y = 0$ for all $y \in X$ and hence $\varphi = 0$.

\[t23\] Let $X$ be a connected topological space and let $E$ be a trivial bundle in ${\mathbf{Fl}}_K (X)$. Then any subquotient $F$ of $E$ in ${\mathbf{Fl}}_K (X)$ is a trivial flat bundle.

Fix a point $x \in X$. The bundle $E$ corresponds to a trivial representation $\rho_E$ of $\pi_K (X,x)$ on $E_x$. All subquotients of $\rho_E$ are trivial as well and hence $F$ is a trivial flat vector bundle.

For a connected space $X$ and a point $x \in X$, we denote the Tannakian dual of $({\mathbf{Fl}}_K (X) , \omega_x)$ by $\pi_K (X,x)$. It is an affine group scheme over $K$ whose finite dimensional $K$-representations classify the flat bundles on $X$. For $E$ in ${\mathbf{Fl}}_K (X)$ the Tannakian dual of $(\langle E \rangle^{\otimes} , \omega_x)$ is a closed (algebraic) subgroup scheme of ${\mathrm{GL}}_{E_x}$ over $K$, the [*monodromy group scheme*]{} of $E$, $$G_E = G_{E,x} = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega_x \mid \langle E \rangle^{\otimes}) \subset {\mathrm{GL}}_{E_x} \;.$$ The induced morphism $\pi_K (X,x) \to G_E$ is faithfully flat by [@DM], Proposition 2.21. Hence $G_E$ is the image of the representation $\pi_K (X,x) \to {\mathrm{GL}}_{E_x}$ corresponding to $E$.

We now fix some notations. Let $G$ be a topological group and $P$ a topological space on which $G$ acts continuously from the right. Let $G$ act trivially on a topological space $X$ and let $\pi : P \to X$ be a continuous $G$-equivariant map. We call $P$ a [*(surjective) pseudo $G$-torsor*]{} over $X$ if the continuous map $$P \times G \longrightarrow P \times_X P \, , \, (p , \sigma) \mapsto (p , p^{\sigma})$$ is a homeomorphism (and $\pi$ is surjective). If in addition $\pi$ has continuous sections locally, then $P$ is a [*$G$-torsor*]{}, or [*principal homogenous $G$-bundle*]{}. Equivalently, $P$ is a trivial $G$-torsor locally. If $G$ has the discrete topology then any $G$-torsor is in particular a covering. Connected $G$-torsors for a discrete group $G$ are the same as Galois coverings with group $G$.

We need the following fact which follows from [@G] 5.3 by restricting to the subcategories of locally constant sheaves and noting that the inverse image of sheaves commutes with tensor products. Let $G$ be a discrete group and let $\pi : P  \to X$ be a $G$-torsor. In particular, $\pi$ is a covering, hence a local homeomorphism and $G$ acts without fixed points and properly discontinously such that $P / G {\stackrel{\sim}{\rightarrow}}X$. There is an equivalence of $\otimes$-categories between ${\mathbf{Loc}}_K (X)$ and ${\mathbf{Loc}}^G_K (P)$. The functors $$\label{eq:4}
{\mathbf{Loc}}_K (X) \overset{\displaystyle\xrightarrow{\;\pi^{-1}}}{\xleftarrow[\; \pi^G_*\;]{}} {\mathbf{Loc}}^G_K (P)$$ are quasi-inverses of each other. Here $\pi^G_*$ is defined by setting $$(\pi^G_* {\mathcal{F}}) (U) = {\mathcal{F}}(\pi^{-1} (U))^G \quad \text{for} \; U \subset X \; \text{open} \; .$$ There are corresponding quasi-inverse functors $\pi^*$ and $\pi^G_*$ between ${\mathbf{Fl}}_K (X)$ and ${\mathbf{Fl}}^G_K (P)$. For a representation of $G$ on a finite dimensional $K$-vector space $V$, the bundle $P \times V$ with the diagonal $G$-action is in ${\mathbf{Fl}}^G_K (P)$ and we have $$\pi^G_* (P \times V) = P \times^G V \; .$$ Let $G$ be a subgroup of ${\mathrm{GL}}_r (K)$ with the discrete topology and assume that the bundle $E$ in ${\mathbf{Fl}}_K (X)$ has a reduction of structure group to $G$. This means that there is a $G$-torsor $\pi : P \to X$ such that $E \cong P \times^G K^r$. Let $ {\overline{G}}$ be the Zariski closure of $G$ in the group scheme ${\mathrm{GL}}_r$ over $K$. In this situation we have the following information:

\[t22\] a) For a suitable isomorphism $E_x = K^r$ of $K$-vector spaces, $G_{E,x}$ is a closed subgroup scheme of ${\overline{G}}$ in ${\mathrm{GL}}_{E_x} = {\mathrm{GL}}_r$. If $P$ is connected we even have $G_{E,x} = {\overline{G}}$.\
b) If the connected topological space $X$ is also locally connected, then the structure group of $E$ can be reduced to a subgroup $G$ of ${\mathrm{GL}}_r (K)$ such that $P$ is connected, and hence $G_{E,x} = {\overline{G}}$.\
c) In the situation of b), the affine group scheme $\pi_K (X,x)$ is a projective limit of algebraic groups of the form ${\overline{G}}$ where the $G$’s are discrete subgroups of ${\mathrm{GL}}_r (K)$ for varying $r$. In particular $\pi_K (X,x)$ is reduced.

a\) We are given a bundle $E$ in ${\mathbf{Fl}}_K (X)$ and a $G$-torsor $\pi : P \to X$ for a subgroup $G \subset {\mathrm{GL}}_r (K)$ such that $E \cong P \times^G K^r$ and hence $\pi^* E \cong P \times K^r$ in ${\mathbf{Fl}}^G_K (P)$. Hence we have an equivalence of tensor categories $$\langle E \rangle^{\otimes} \cong \langle P \times K^r  \rangle^{\otimes} \; .$$ Here on the right we mean the full $\otimes$-subcategory of ${\mathbf{Fl}}^G_K (P)$ generated by the $G$-bundle $P \times K^r$ over $P$. Choosing a point $p \in P$ with $\pi (p) = x$ we get an isomorphism of affine group schemes over $K$ $$G_{E,x} = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega_x \mid \langle E \rangle^{\otimes}) \cong {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega_p \mid \langle P \times K^r \rangle)^{\otimes}) =: {\tilde{G}}\; .$$ The point $p$ and the isomorphism $E \cong P  \times^G K^r$ determine an isomorphism $$E_x \cong \pi^{-1} (x) \times^G K^r \cong \{ p \} \times K^r \cong K^r \; .$$ Viewing this isomorphism as an identification, the isomorphism $G_{E,x } \cong {\tilde{G}}$ becomes an equality $G_{E,x} = {\tilde{G}}$ of closed subgroup schemes of ${\mathrm{GL}}_r$.

Let $\rho : G  \hookrightarrow {\mathrm{GL}}_r (K)$ denote the inclusion and consider the Tannakian subcategory $\langle \rho \rangle^{\otimes}$ of ${\mathbf{Rep}}_K (G)$ generated by $\rho$. It follows from the proof of [@DM] Proposition 2.8 that we have $${\overline{G}}= {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega \mid \langle \rho\rangle^{\otimes}) \; .$$ Here $\omega$ is the fibre functor forgetting the $G$-module structure. The natural $\otimes$-functor $$\alpha : {\mathbf{Rep}}_K (G) \longrightarrow {\mathbf{Fl}}^G_K (P) \; , \; V \longmapsto P \times V \quad \text{(diagonal $G$-action)}$$ sends $\rho$ to $P \times K^r$ and therefore restricts to a $\otimes$-functor $$\alpha_{\rho} : \langle \rho \rangle^{\otimes} \longrightarrow \langle P \times K^r\rangle^{\otimes} \; .$$ The functor $\alpha$ is faithful and if $P$ is connected even fully faithful. Namely for representations $\rho_i : G \to {\mathrm{GL}}(V_i)$ in ${\mathbf{Rep}}_K (G)$ for $i = 1,2$, a morphism $$\varphi : \alpha (\rho_1) = P \times V_1 \longrightarrow P \times V_2 = \alpha (\rho_2)$$ is a continuous map of the form $\varphi (p , v) = (p , \varphi_p (v))$ for $p \in P , v \in V_1$. Here $\varphi_p \in {\mathrm{Hom}}_K (V_1 , V_2)$ for each $p \in P$. The continuous map $p \mapsto \varphi_p$ is locally constant hence constant on the connected components of $P$, since ${\mathrm{Hom}}_K (V_1, V_2)$ carries the discrete topology. Moreover we have $$\rho_2 (\sigma) (\varphi_p (v)) = \varphi_{p^{\sigma^{-1}}} (\rho_1 (\sigma) v) \quad \text{for} \; v \in V_1 , p \in P , \sigma \in G \; .$$ The morphisms $\varphi$ in the image of $\alpha$ are those where $\varphi_p$ is independent of $p$. If $P$ is connected, it follows that $\alpha$ and hence $\alpha_{\rho}$ are fully faithful. Applying Corollary \[t23\] to $X = P$ it also follows that $\alpha_{\rho}$ is essentially surjective, and hence an equivalence of $\otimes$-categories. It follows that ${\overline{G}}= {\tilde{G}}$ as closed subgroup schemes of ${\mathrm{GL}}_r$ over $K$, and hence ${\overline{G}}= G_{E , x}$. If $P$ is not necessarily connected we only obtain a morphism ${\tilde{G}}\to {\overline{G}}$ of affine group schemes, which is compatible with the closed immersions of ${\tilde{G}}$ and ${\overline{G}}$ into ${\mathrm{GL}}_r$. Hence $G_{E,x} = {\tilde{G}}\to {\overline{G}}$ is a closed immersion as well.\
b) Choose a connected component $P_0$ of $P$ and let $G_0$ be the stabilizer of $P_0$ for the $G$-action on the set of connected components of $P$. Then the map $$\label{eq:5}
P_0 \times G_0 {\stackrel{\sim}{\rightarrow}}P_0 \times_X P_0 \; , \; ( p , \sigma) \mapsto (p , p^{\sigma})$$ is a homeomorphism. This follows from the corresponding property of the $G$-action on $P$, because $p' = p^{\sigma}$ for $p , p' \in P_0$ and $\sigma \in G$ implies that $\sigma \in G_0$. The component $P_0$ is open in $P$. Namely, for $p_0 \in P_0$ choose a connected open neighborhood $x_0 \in U \subset X$ where $x_0 = \pi (p_0)$ such that $P \, |_U := \pi^{-1} (U) \to U$ is $G$-equivariantly homeomorphic to $U \times G$ over $U$. Viewing this as an identification we have $p_0 = (x_0 , g)$ for some $g \in G$. Since $U \times \{ g \}$ is connected and $P_0$ is the connected component of $p_0$, it follows that $U \times \{ g \} \subset P_0$. But $U \times \{ g \}$ is open in $P$ since $G$ carries the discrete topology and hence $P_0$ is open. By the action of $G_0$ on the fibres of $P_0 \to X$ is simply transitive and hence the inclusion $U \times \{ g \} \subset P_0$ implies that there is a $G_0$-equivariant homeomorphism $P_0 \, |_U = U \times g G_0$. Thus $P_0$ is a $G_0$-torsor if $\pi (P_0) = X$. Since $\pi$ and $P_0$ are open $\pi (P_0)$ is open. We show that $\pi (P_0)$ is closed. Assume $y \in X \setminus \pi (P_0)$. Choose an open connected neighborhood $y \in U \subset X$ such that $P \, |_U = U \times G$ as above. If $\pi (P_0) \cap U \neq \emptyset$, then $(x,g) \in P_0$ for some $x \in U , g \in G$, and hence $U \times  \{ g \} \subset P_0$ which implies $y \in \pi (P_0)$ a contradiction. Thus $\pi (P_0) \cap U = \emptyset$ and therefore $X \setminus \pi (P_0)$ is open. Since $\pi (P_0) \neq \emptyset$ is open and closed and $X$ is connected, it follows that $\pi (P_0) = X$. Since $(\pi \, |_{P_0})^* E$ is trivial the structure group of $E$ can be reduced to $G_0$ and using a) we have $G_{E,x} = {\overline{G}}_0$ after an appropriate identification $E_x = K^r$.\
The assertions in c) are a formal consequence of b) since ${\mathbf{Fl}}_K (X)$ is the filtered inductive limit of the Tannakian subcategories $\langle E \rangle^{\otimes}$. Note that given $E_1 , E_2$, we have $\langle E_i\rangle^{\otimes} \subset \langle E\rangle^{\otimes}$ where $E = E_1 \oplus E_2$.

Over non-locally connected topological spaces $X$ the connected components $P_0$ of a $G$-torsor $P$ need not map surjectively to $X$. Consider the connected solenoid $$X = \varprojlim (\ldots  \xrightarrow{p} {{\mathbb{R}}}/ {{\mathbb{Z}}}\xrightarrow{p} {{\mathbb{R}}}/ {{\mathbb{Z}}}) = {{\mathbb{R}}}\times^{{{\mathbb{Z}}}} {{\mathbb{Z}}}_p \; .$$ The covering $P = {{\mathbb{R}}}\times {{\mathbb{Z}}}_p \to X$ is a ${{\mathbb{Z}}}$-torsor with connected components $P_a = {{\mathbb{R}}}\times \{ a \} $ for $a \in {{\mathbb{Z}}}_p$ all of which have trivial stabilizer groups in ${{\mathbb{Z}}}$. The images of the $P_a$’s are the path-connected components of $X$, of which there are uncountably many. No $P_a$ maps surjectively to $X$. I learned about this example in a post by Taras Banakh on MathOverflow.

Using ideas of Nori from another context [@N], we will now construct pseudo-torsors trivializing flat bundles. In particular, for arbitrary connected topological spaces and algebraically closed $K$, we get a surjective pseudo-torsor for a pro-discrete topological group which can serve as a replacement for the universal covering space, the latter existing only for well behaved spaces. In the examples that we are aware of, our pseudo-torsors are actually torsors. We do not know if this is true in general.

The construction goes as follows. Let $(X , x)$ be a pointed connected topological space and $E$ a flat bundle in ${\mathbf{Fl}}_K (X)$. Consider a composition of morphisms of group schemes over the field $K$ $$\label{eq:6n}
\pi_K (X,x) \overset{\alpha}{\twoheadrightarrow} G_K \overset{\beta}{\twoheadrightarrow} G_E \subset {\mathrm{GL}}_{E_x} \; ,$$ where $\alpha$ and $\beta$ are faithfully flat. The cases $G_K = \pi_K (X,x)$ and $G_K = G_E$ are especially relevant. Consider the full embeddings and the equivalence of $\otimes$-categories $${\mathbf{Rep}}_K (G_E) \overset{\beta^*}{\hookrightarrow} {\mathbf{Rep}}_K (G_K) \overset{\alpha^*}{\hookrightarrow} {\mathbf{Rep}}_K (\pi_K (X,x)) \simeq {\mathbf{Fl}}_K (X) \; .$$ They extend to the ${\mathrm{ind}}$-categories, which are again abelian tensor categories $$\label{eq:7n}
{\mathbf{IRep}}_K (G_E) \overset{\beta^*}{\hookrightarrow} {\mathbf{IRep}}_K (G_K) \overset{\alpha^*}{\hookrightarrow} {\mathbf{IRep}}_K (\pi_K (X,x)) \simeq {\mathbf{IFl}}_K (X) \; .$$ Let $H$ be a commutative Hopf algebra over a field. By [@W] 3.3 Theorem, every comodule $V$ for $H$ is the directed union of finite-dimensional subcomodules. It follows that for any affine group scheme $\pi_K$ over $K$, the category ${\mathbf{IRep}}_K (\pi_K)$ can be identified with the category of comodules for $H = \Gamma (\pi_K , {{\mathcal O}})$.

Let $G^{\delta}_K$ be the group scheme $G_K$ together with the trivial (left-)action of $G_K$. Then the multiplication morphism $$\label{eq:8n}
m : G_K \times G^{\delta}_K \longrightarrow G_K \; , \; (\sigma , \tau) \longmapsto \sigma \tau \quad \text{(on $S$-valued points)}$$ is $G_K$-equivariant under the natural left $G_K$-actions. Similarly, let ${{\mathbb{A}}}^{\delta}_{E_x}$ be the affine space over $E_x$ with the trivial (left-) action by $G_K$. The left action of $G_K$ via $\beta$ on ${{\mathbb{A}}}_{E_x}$ gives a $G_K$-equivariant morphism $$\label{eq:9n} 
m_E : G_K \times {{\mathbb{A}}}^{\delta}_{E_x} \longrightarrow {{\mathbb{A}}}_{E_x} \; , \; (\sigma , v) \longmapsto \sigma v \quad \text{(on $S$-valued points).}$$ The resulting $G_K$-equivariant morphisms $$\label{eq:10n}
G_K \times G^{\delta}_K {\stackrel{\sim}{\rightarrow}}G_K \times G_K \; , \; (\sigma , \tau) \mapsto (\sigma , \sigma \tau)$$ and $$\label{eq:11n}
G_K \times {{\mathbb{A}}}^{\delta}_{E_x} {\stackrel{\sim}{\rightarrow}}G_K \times {{\mathbb{A}}}_{E_x} \; , \; (\sigma , v) \mapsto (\sigma , \sigma v)$$ are isomorphisms. Passing to global sections with the induced left $G_K$-action (or $\Gamma (G_K)$-comodule structure), we obtain morphisms of commutative unital $K$-algebra objects in ${\mathbf{IRep}}_K (G_K) \overset{\alpha^*}{\hookrightarrow} {\mathbf{IRep}}_K (\pi_K (X,x))$ $$\label{eq:12n} 
\Delta = m^* : \Gamma (G_K) \longrightarrow \Gamma (G_K) \otimes \Gamma (G_K)^{\delta}$$ and $$\label{eq:13n}
\Delta_E = m^*_E : \Gamma ({{\mathbb{A}}}_{E_x}) \longrightarrow \Gamma (G_K) \otimes \Gamma ({{\mathbb{A}}}_{E_x})^{\delta} \; ,$$ and isomorphisms $$\label{eq:14n}
\Gamma (G_K) \otimes \Gamma (G_K) {\stackrel{\sim}{\rightarrow}}\Gamma (G_K) \otimes \Gamma (G_K)^{\delta} \; , \; a \otimes b \mapsto (a \otimes 1) \Delta (b)$$ and $$\label{eq:15n}
\Gamma (G_K) \otimes \Gamma ({{\mathbb{A}}}_{E_x}) {\stackrel{\sim}{\rightarrow}}\Gamma (G_K) \otimes \Gamma ({{\mathbb{A}}}_{E_x})^{\delta} \; , \; a \otimes v \mapsto (a \otimes 1) \Delta_E (v) \; .$$

Under the tensor equivalence of ${\mathbf{IRep}}_K (\pi_K (X,x))$ with ${\mathbf{IFl}}_K (X)$ let $A = A (G_K) = A (\alpha)$ and $A_E$ be the commutative $K$-algebra objects in ${\mathbf{IFl}}_K (X)$ corresponding to $\Gamma (G_K)$ resp. $\Gamma ({{\mathbb{A}}}_{E_x})$. The objects corresponding to $\Gamma (G_K)^{\delta}$ and $\Gamma ({{\mathbb{A}}}_{E_x})^{\delta}$ are the trivial bundles of $K$-algebras $$\underline{\Gamma (G_K)} = X \times \Gamma (G_K) \quad \text{and} \quad \underline{\Gamma ({{\mathbb{A}}}_{E_x})} = X \times \Gamma ({{\mathbb{A}}}_{E_x}) \; .$$ We get morphisms of unital $K$-algebra objects in ${\mathbf{IFl}}_K (X)$, $$\label{eq:16n}
\Delta : A \longrightarrow A \otimes \underline{\Gamma (G_K)}$$ and $$\label{eq:17n}
\Delta_E : A_E \longrightarrow  A\otimes \underline{\Gamma ({{\mathbb{A}}}_{E_x})}$$ and isomorphisms $$\label{eq:18n}
A \otimes A {\stackrel{\sim}{\rightarrow}}A \otimes \underline{\Gamma (G_K)} \; , \; a \otimes b \longmapsto (a \otimes 1) \Delta (b)$$ and $$\label{eq:19n}
A \otimes A_E {\stackrel{\sim}{\rightarrow}}A \otimes \underline{\Gamma ({{\mathbb{A}}}_{E_x})} \; , \; a \otimes v \longmapsto (a \otimes 1) \Delta (v) \; .$$ For an object $B = \varinjlim_i B_i$ in ${\mathbf{IFl}}_K (X)$, filtered inductive limit of flat bundles $B_i$ in ${\mathbf{Fl}}_K (X)$, let $${\underline{{\mathrm{Hom}}}}(B, {\underline{K}}) = \varprojlim_i {\underline{{\mathrm{Hom}}}}(B_i , {\underline{K}}) = \coprod_{x \in X} \varprojlim_i {\mathrm{Hom}}(B_{ix} , K)$$ be the projective limit of the total spaces of the ${\mathrm{Hom}}$-bundles ${\underline{{\mathrm{Hom}}}}(B_i , {\underline{K}})$. Then ${\underline{{\mathrm{Hom}}}}(B, {\underline{K}})$ is a topological space with a continuous surjective map $\pi$ to $X$. If $B$ is a $K$-algebra object in ${\mathbf{IFl}}_K (X)$, let ${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (B,{\underline{K}})$ be the subspace of ${\underline{{\mathrm{Hom}}}}(B,K)$ consisting of fibrewise algebra homomorphisms. Thus its fibre over the point $z \in X$ is $${\underline{{\mathrm{Hom}}}}(B, {\underline{K}})_z = {\mathrm{Hom}}_{{\mathrm{alg}}} (B_z , K) \; ,$$ where $B_z$ is the $K$-algebra $B_z = \varinjlim_i B_{iz}$. Already for $X$ a point we see that $B_z$ may be empty. For $B = \underline{\Gamma (G_K)}$ we have $${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (\underline{\Gamma (G_K)} , {\underline{K}}) = X \times {\mathrm{Hom}}_{{\mathrm{alg}}} (\Gamma (G_K) , K) = X \times G_K (K) = \underline{G_K (K)} \; .$$ Here $G_K (K)$ carries the pro-discrete topology. For $B = A$ set $$\label{eq:20n}
P = P (G_K) = P (\pi_K (X,x) \to G_K) := {\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (A , {\underline{K}}) \; .$$ Its fibre over the fixed base point $x \in X$ is $$\label{eq:21n}
P_x = {\mathrm{Hom}}_{{\mathrm{alg}}} (\Gamma (G_K) , K) = G_K (K) \; .$$

For path-connected spaces using the map below it is easy to see that $P_z \neq \emptyset$ for all $z \in Z$. If $X$ is connected and $G_K$ is algebraic, we still have $P_z \neq \emptyset$ for $z \in X$, c.f. Theorem \[t25n\] below. For arbitrary quotients $G_K$, if $K$ is algebraically closed we can use a result of Deligne in [@D]. He proved that for a Tannakian category over an algebraically closed field $K$, any two fibre functors over $K$ are $\otimes$-isomorphic. In particular there is a $\otimes$-isomorphism $\gamma : \omega_x {\stackrel{\sim}{\rightarrow}}\omega_z$ on ${\mathbf{Fl}}_K (X)$. It extends naturally to ${\mathbf{IFl}}_K (X)$ where $\omega_x , \omega_z$ now take values in arbitrary $K$-vector spaces. It follows that $\gamma (A)$ gives an isomorphism of $K$-algebras (!) $A_x {\stackrel{\sim}{\rightarrow}}A_z$, and therefore a homeomorphism of pro-discrete spaces $$G_K (K) = P_x {\stackrel{\sim}{\rightarrow}}P_z \; .$$ In particular, for algebraically closed $K$, the continuous map $\pi : P \to X$ is always surjective. For any field $K$, applying the functor ${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (\_ ,{\underline{K}})$ to we obtain a continuous map $$\label{eq:22n}
P \times G_K (K) = P \times_X \underline{G_K (K)} \longrightarrow P$$ which by construction is a continuous $G_K (K)$-operation on $P$. Similarly the isomorphism gives a homeomorphism $$\label{eq:23n}
P \times G_K (K) {\stackrel{\sim}{\rightarrow}}P \times_X P \; .$$ Thus $P$ is a pseudo-torsor for $G_K (K)$. It is surjective if $K = {\overline{K}}$. There are (fibrewise $K$-linear) homeomorphisms $${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (\underline{\Gamma ({{\mathbb{A}}}_{E_x}}) , {\underline{K}}) = X \times {\mathrm{Hom}}_{{\mathrm{alg}}} (\Gamma ({{\mathbb{A}}}_{E_x}) , K) = X \times {{\mathbb{A}}}_{E_x} (K) = X \times E_x \, .$$ In ${\mathbf{IRep}}_K (\pi_K (X,x))$ we have $$\Gamma ({{\mathbb{A}}}_{E_x}) = {\mathrm{Sym}}(\check{E}_x) \; .$$ Under the $\otimes$-equivalence with ${\mathbf{IFl}}_K (X)$ we find $$A_E = {\mathrm{Sym}}\, \check{E} \; ,$$ and therefore $${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (A_E , {\underline{K}}) = {\underline{{\mathrm{Hom}}}}(\check{E} , {\underline{K}}) = E \; .$$ Applying ${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (\_ , {\underline{K}})$ to we get an isomorphism of vector bundles $$\label{eq:24n}
\pi^* E = P \times_X E {\stackrel{\sim}{\rightarrow}}P \times E_x \; .$$ Thus the flat vector bundle $E$ is trivialized by pullback to $P$. One checks that the natural right $G_K (K)$-action on $\pi^* E$ over the one on $P$ corresponds to the diagonal right action on $P \times E_x$ given by $$(p , v) \sigma = (p \sigma , \rho (\sigma^{-1}) v) \quad \text{for} \; p \in P , v \in E_x , \sigma \in G_K (K) \; .$$ Here $\rho : G_K (K) \to {\mathrm{GL}}(E_x)$ is induced from the given morphism $G_K \to {\mathrm{GL}}_{E_x}$.

For $G_K = \pi_K (X,x)$ consider the continuous map $$\label{eq:25n}
\pi : P_X := P (\pi_K (X,x)) \longrightarrow X \; .$$ Then $P_X$ is a pseudo-torsor for the pro-discrete group $\pi_K (X,x) (K)$. If $K = {\overline{K}}$ then $\pi$ is surjective. Pullback via $\pi$ trivializes every flat bundle in ${\mathbf{Fl}}_K (X)$. In this regard $P_X$ may be viewed as a replacement for the universal covering. See Theorem \[t41\] for a description of $P_X$ in the classical case. For $G_K = G_E$, we set $$\label{eq:26n}
P_E = P (G_E) \xrightarrow{\pi} X \; .$$ The pullback $\pi^* E$ is trivial by . Thus we have proved the following result.

\[t24n\] Let $(X,x)$ be a pointed connected topological space and $K$ a field.\
1) Given a faithfully flat quotient $\pi_K (X,x) \xrightarrow{\alpha} G_K$ over $K$, consider the space $P = P (G_K) \xrightarrow{\pi} X$ defined in . Pullback along $\pi$ trivializes every bundle $E$ in ${\mathbf{Fl}}_K (X)$ canonically, whose monodromy representation $\pi_K (X,x) \to G_E \subset {\mathrm{GL}}_{E_x}$ factors over $\alpha$, c.f. . In particular pullback to $P_X = P (\pi_K (X,x))$ trivializes every bundle in ${\mathbf{Fl}}_K (X)$ and pullback to $P_E = P (G_E)$ trivializes $E$.\
2) The pro-discrete group $G_K (K)$ acts continuously and simply transitively on the non-empty fibres of $\pi : P \to X$ and $P$ is a pseudo-torsor. If $X$ is path connected or if $K$ is algebraically closed, then $\pi : P \to X$ is surjective.\

We will now show that for any algebraic quotient $G_K$ of $\pi_K (X,x)$ the $G_K (K)$-pseudo-torsor $P = P (G_K)$ is a torsor. To do this we first recall that finitely generated $K$-algebras can be written as reflexive coequalizers of finitely generated polynomial rings over $K$. Namely for such a $K$-algebra $\Gamma$ choose a presentation $$0 \longrightarrow {{\mathcal A}}\longrightarrow K [x_1 , \ldots , x_n] \longrightarrow \Gamma \longrightarrow 0 \; .$$ Then ${{\mathcal A}}$ is generated by finitely many polynomials ${{\mathcal A}}= \langle P_1 , \ldots , P_m \rangle$. Consider the diagram $$\label{eq:27n}
\xymatrix{
K [x_1 , \ldots , x_n , t_1 , \ldots , t_m] &
\ar[l]_-{\overset{\xrightarrow{\; f \; }}{s}}^{\overset{{\displaystyle}\longrightarrow}{g}} K [x_1 , \ldots , x_n] \longrightarrow \Gamma
}$$ where the $K$-algebra homomorphisms $f,g$ and $s$ are defined as follows: $f (x_i) = g (x_i) = x_i$ and $s (x_i) = x_i$ for $1 \le i \le n$. Moreover $f (t_j) = P_j$ and $g (t_j) = 0$ for $1 \le j \le m$. Then we have $f {\mbox{\scriptsize $\,\circ\,$}}s = {\mathrm{id}}= g {\mbox{\scriptsize $\,\circ\,$}}s$ and a short calculation shows that the ideal ${\mathrm{im}\,}(f-g) = {{\mathcal A}}$. We now use an invariant version of this construction to write $\Gamma (G_K)$ as a reflexive coequalizer in the category of commutative $K$-algebra objects in ${\mathbf{IRep}}_K (\pi_K (X,x))$. Since $G_K$ is algebraic, the $K$-algebra $\Gamma (G_K)$ is finitely generated. Let $S$ be a finite set of generators. By [@W] 3.3 Theorem, there is a finite dimensional $\pi_K (X,x)$-subrepresentation ${\check{V}}_x \subset \Gamma (G_K)$ with $S \subset {\check{V}}_x$. Let ${\check{V}}$ be the corresponding bundle in ${\mathbf{Fl}}_K (X)$ and let $V$ be its dual. Define ${{\mathcal A}}$ by the exact sequence in ${\mathbf{IRep}}_K (\pi_K (X,x))$ $$0 \longrightarrow {{\mathcal A}}\longrightarrow {\mathrm{Sym}}{\check{V}}_x \longrightarrow \Gamma (G_K) \longrightarrow 0 \; .$$ Again using [@W] 3.3 Theorem, we can choose a finite dimensional $\pi_K (X,x)$-subrepresentation $H \subset {{\mathcal A}}$ containing a finite set of generators of the finitely generated ideal ${{\mathcal A}}$. Then ${\check{W}}_x = {\check{V}}_x \oplus H$ is a finite dimensional representation of $\pi_K (X,x)$. Let ${\check{W}}$ be the corresponding bundle in ${\mathbf{Fl}}_K (X)$ and $W$ its dual. Consider the following diagram $$\label{eq:28n}
\xymatrix{
{\mathrm{Sym}}{\check{W}}_x & \ar[l]_-{\overset{\xrightarrow{f_x}}{s_x}}^-{\overset{{\displaystyle}\longrightarrow}{g_x}} {\mathrm{Sym}}{\check{V}}_x \longrightarrow \Gamma (G_K) \; .
}$$ Here the $\pi_K (X,x)$-equivariant algebra homomorphisms $f_x , g_x , s_x$ are defined as follows: $$\begin{aligned}
f_x \, |_{{\check{V}}_x} & = g_x \, |_{{\check{V}}_x} = {\mathrm{id}}\quad \text{and} \quad s_x \, |_{{\check{V}}_x} = \, \text{inclusion}\, {\check{V}}_x \hookrightarrow {\check{V}}_x \oplus H = {\check{W}}_x\\
f_x \, |_H & = \text{inclusion} \, H \hookrightarrow {\mathrm{Sym}}{\check{V}}_x \; \text{and} \; g_x |_H = 0 \; .\end{aligned}$$ Since this is just an invariant way of writing the diagram exhibits $\Gamma (G_K)$ as a reflexive coequalizer in the category of commutative $K$-algebras. Since everything is $\pi_K (X,x)$-equivariant, also describes $\Gamma (G_K)$ as a reflexive coequalizer in the category of commutative $K$-algebra objects of ${\mathbf{IRep}}_K (\pi_K (X,x))$.

Recall that $A$ was the commutative $K$-algebra object in ${\mathbf{IFl}}_K (X)$ corresponding to $G_K$. Under the equivalence of Tannakian categories ${\mathbf{IRep}}_K (\pi_K (X,x)) = {\mathbf{IFl}}_K (X)$ we obtain a diagram in ${\mathbf{IFl}}_K (X)$ whose fibre in $x$ is $$\label{eq:29n}
\xymatrix{{\mathrm{Sym}}{\check{W}}& \ar[l]^-{\overset{{\displaystyle}\longrightarrow}{g}}_-{\overset{\xrightarrow{\; f \;}}{s}} {\mathrm{Sym}}{\check{V}}\longrightarrow A \; .
}$$ The diagram describes $A$ as a reflexive coequalizer in the category of commutative $K$-algebra objects in ${\mathbf{IFl}}_K (X)$. Applying the functor ${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (\_ , {\underline{K}})$, recalling definition and noting that $${\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} ({\mathrm{Sym}}{\check{V}}, {\underline{K}}) = {\underline{{\mathrm{Hom}}}}({\check{V}}, K) = V \; ,$$ we get a diagram of spaces over $X$ making $P$ a reflexive equalizer $$\label{eq:30n}
\xymatrix{
P \longrightarrow V & \ar[l]_-{\overset{\xrightarrow{\; F \;}}{S}}^-{\overset{{\displaystyle}\longrightarrow}{G}}  W \quad \text{where} \; S {\mbox{\scriptsize $\,\circ\,$}}F = S {\mbox{\scriptsize $\,\circ\,$}}G = {\mathrm{id}}\; .
}$$ Thus we get homeomorphisms of spaces over $X$ $$P = \{ v \in V \mid F (v) = G (v) \} \overset{{\mathrm{diag}}}{{\stackrel{\sim}{\rightarrow}}} \{ (v_1 , v_2) \in V \times V \mid F (v_1) = G (v_2) \} \; .$$ For each point $z \in X$ the fibre $f_z$ of the map $f$ in is a homomorphism of $K$-algebras $$f_z : {\mathrm{Sym}}{\check{W}}_z \longrightarrow {\mathrm{Sym}}{\check{V}}_z \; .$$ Applying the functor ${\mathrm{spec}\,}$ we get a morphism of affine $K$-spaces over the fibres $V_z$ and $W_z$ of the bundles $V$ and $W$ $${\mathrm{spec}\,}f_z : {{\mathbb{A}}}_{V_z} \longrightarrow {{\mathbb{A}}}_{W_z} \; .$$ The fibre $F_z$ of the map $F$ in is obtained by passing to the $K$-valued points of ${\mathrm{spec}\,}f_z$ $$F = ({\mathrm{spec}\,}f_z) (K) : {{\mathbb{A}}}_{V_z} (K) = V_z \longrightarrow W_z = {{\mathbb{A}}}_{W_z} (K) \; .$$ For any choice of isomorphisms $V_z \cong K^n$ and $W_z \cong K^m$ the $m$ components of the map $F$ are given by polynomial functions in $n$ variables. Their maximal degree $d$ is the maximum of $1$ and the maximal degree of an element of $H_x$ in ${\mathrm{Sym}}{\check{V}}_x$. In particular $d$ is independent of $z \in X$. Choose an open neighborhood $z \in U \subset X$ such that there are trivializations $V \, |_U \cong {\underline{K}}^n$ and $W \, |_U \cong {\underline{K}}^m$. The induced continuous map $$F_U : U \times K^n \cong V \, |_U \xrightarrow{F \, |_U} W \, |_U \cong U \times K^m$$ has the form $$F_U (y , \xi) = (y , \varphi_U (y , \xi)) \quad \text{for} \; y \in U \; , \; \xi \in K^n$$ where $$\varphi_U (y , \xi)_j = \sum_{|\nu| \le d} a_{\nu , j} (y) \xi^{\nu} \quad \text{for} \; 1 \le j \le m \; .$$ The coefficient functions $a_{\nu , j} : U \to K$ are continuous and hence locally constant. Since there are only finitely many of them, we may assume that they are constant by shrinking $U$. Thus we have $$F_U (y , \xi) = (y , \varphi (\xi)) \quad \text{for} \; y \in U \, , \, \xi \in K^n$$ where $$\varphi (\xi)_j = \sum_{|\nu| \le d} a_{\nu , j} \xi^{\nu} \quad \text{with} \; a_{\nu , j} \in K \; \text{for} \; 1 \le j \le m \; .$$ The map $G$ is a linear map of flat vector bundles and by shrinking $U$ we may assume that the corresponding map $G_U$ has the form $$G_U (y , \xi) = (y , \psi (\xi)) \quad \text{for} \; y \in U \; , \; \xi \in K^n \; ,$$ where $\psi : K^n \to K^m$ is a linear map.

Set $$Z_U = \{ \xi \in K^n \mid \varphi (\xi) = \psi (\xi) \} \; .$$ There are the $K$-points of an algebraic variety in ${{\mathbb{A}}}^n_K$ and by the equalizer description of $P$ we have a homeomorphism $$P \, |_U \cong U \times Z_U \quad \text{over} \; U \; .$$ It follows in particular that the function $$X \longrightarrow \{ 0 , 1 , \ldots , \infty \} \; , \; z \longmapsto |P_z|$$ is locally constant and hence constant on $X$. Since $P_x = G_K (K)$ by we conclude that $|P_z| \ge 1$ for all $z \in X$ i.e. that the projection $\pi : P \to X$ is surjective and that $Z_U \neq \emptyset$. Hence $P \, |_U$ has a section. Thus $P$ is a surjective $G_K (K)$-pseudo-torsor with local sections i.e. a $G_K (K)$-torsor.

\[t25n\] Let $(X,x)$ be a pointed connected topological space and $K$ a field.\
1) For every algebraic quotient $\pi_K (X,x) \to G_K$ the corresponding $G_K (K)$-pseudo-torsor $P = P (G_K)$ over $X$ defined in is a torsor. The algebraic group $G_K$ is reduced and we have $G_K = \overline{G_K (K)}$ in the Zariski topology.\
2) For every flat vector bundle $E$ in ${\mathbf{Fl}}_K (X)$ the monodromy group $G_E$ is the Zariski closure with the reduced scheme structure in ${\mathrm{GL}}_{E_x}$ of the discrete group $G_E (K)$. The structure group of $E$ can be reduced to $G_E (K)$.\
3) If the monodromy group scheme $G_E$ is finite, then $G_E$ is the constant group scheme over $K$ attached to the finite group $G_E (K)$.

The algebraic quotients $G_K$ of $\pi_K (X,x)$ are the quotients $\pi_K (X,x) \to G_E$ coming from the representations $\pi_K (X,x) \to {\mathrm{GL}}_{E_x}$ attached to flat vector bundles $E$ in ${\mathbf{Fl}}_K (X)$. This holds because every algebraic group scheme over $K$ admits a closed embedding into ${\mathrm{GL}}_H$ for a finite dimensional $K$-vector space $H$.

1), 2) By the remark we may assume that $G_K = G_E$ for some $E$ in ${\mathbf{Fl}}_K (X)$. We have seen above that $P_E = P (G_E)$ is a $G_E (K)$-torsor. Using the $G_E (K)$-equivariant isomorphism for $P = P (G_E)$ and the considerations after we obtain an isomorphism in ${\mathbf{Fl}}_K (X)$ $$E = \pi^{G_E (K)}_* \pi^* E = P_E \times^{G_E (K)} E_x \; .$$ Thus $E$ has a reduction of structure group to $G_E (K)$. Proposition \[t22\] a) now implies that $G_E \subset \overline{G_E (K)}$ in ${\mathrm{GL}}_{E_x}$. Since $G_E$ is a closed subgroup scheme of ${\mathrm{GL}}_{E_x}$, we also have $\overline{G_E (K)} \subset G_E$ and therefore $G_E = \overline{G_E (K)}$. Such a group scheme is reduced.\
Assertion 3) follows from 2).

It follows from 2) that $\pi_K (X,x)$ is a projective limit of Zariski closures of discrete subgroups of ${\mathrm{GL}}_r (K)$ for varying $r$. In particular $\pi_K (X,x)$ is reduced. For locally connected spaces $X$ this was previously shown in Proposition \[t22\] c) with a simpler proof.

In the next section we will study the finite quotients of $\pi_K (X,x)$. For them the torsor $P$ is connected.

\[t26n\] Let $(X,x)$ be a pointed connected topological space and $K$ a field. Let $G_K$ be a finite group scheme quotient of $\pi_K (X,x)$. Then $P = P (G_K)$ is a connected torsor for the finite group $G_K (K)$ and $G_K = G_K (K) /_K$.

We know from Theorem \[t25n\], that $P$ is a torsor. The following argument also gives another proof for this fact. Note that $A = A (G_K)$ defined after is an algebra object in ${\mathbf{Fl}}_K (X)$ since $\Gamma (G_K)$ is a finite-dimensional $K$-vector space because $G_K$ is finite over $K$. Hence every point of $X$ has an open neighborhood such that in local coordinates for the flat bundle $A$ the multiplication map and the unit section are constant. Note here that for $r \ge 0$ the topology on $K^r$ is discrete. Consider the $G_K (K)$-pseudo-torsor $$\pi : P = P (G_K) = {\underline{{\mathrm{Hom}}}}_{{\mathrm{alg}}} (A , {\underline{K}}) \longrightarrow X \; .$$ It follows that the function $z \mapsto |P_z|$ is locally constant and hence constant since $X$ is connected. We have $$P_x = {\mathrm{Hom}}_{{\mathrm{alg}}} (\Gamma (G_K ) , K) = G_K (K)$$ and therefore $|P_z| = |G_K (K)| \ge 1$. Thus the map $\pi : P \to X$ is surjective. The above argument about local constancy also shows that $P$ is locally trivial. Thus $P$ is a $G_K (K)$-torsor. As in the proof of Theorem \[t25n\] it follows that $G_K = \overline{G_K (K)}$. Since $G_K (K)$ is finite this implies that $G_K$ is the constant group scheme attached to the finite group $G_K (K)$. Writing $G = G_K (K)$ we therefore have $\Gamma (G_K) = K^G$. We claim that $A \cong \pi_* {\underline{K}}$ for the projection $\pi : P \to X$. By ff it suffices to show that $\pi^* A$ and $\pi^* \pi_* {\underline{K}}$ are isomorphic as $G$-bundles on the $G$-space $P$. The representation of $\pi_K (X,x)$ on $\Gamma (G_K)$ defining the bundle $A$ factors over the quotient $G_K$. Hence we may take $E = A$ in and obtain a right $G$-equivariant isomorphism $$\varphi : \pi^* A {\stackrel{\sim}{\rightarrow}}P \times A_x = P \times \Gamma (G_K) = P \times K^G \;.$$ Here $\tau \in G$ acts on $P \times K^G$ via $(p,f)^{\tau} = (p^{\tau} , \tau^{-1} f)$ where $(\tau f) (\sigma) = f (\tau^{-1} \sigma)$. On the other hand we have a $G$-equivariant isomorphism $$P \times K^G {\stackrel{\sim}{\rightarrow}}\coprod_{p \in P} K^{p^G} = \coprod_{p \in P} K^{\pi^{-1} \pi (p)} = \pi^* \pi_* {\underline{K}}\; .$$ Here the element $(p,f)$ is sent to $(p^{\sigma} \mapsto f (\sigma))$. Thus $\pi^* A$ is isomorphic to $\pi^* \pi_* {\underline{K}}$ as a $G$-bundle and hence we have $A = \pi_* {\underline{K}}$ in ${\mathbf{Fl}}_K (X)$. We can now show that $P$ is connected. Namely $$\begin{aligned}
H^0 (P , {\underline{K}}) & = H^0 (X , \pi_* {\underline{K}}) = H^0 (X,A) = {\mathrm{Hom}}_{{\mathrm{Fl}}_K (X)} ({\underline{K}}, A) \\
& \cong {\mathrm{Hom}}_{{\mathbf{Rep}}_K (\pi_K (X,x))} (K , K^G) \\
& = {\mathrm{Hom}}_{{\mathbf{Rep}}_K (G)} (K , K^G) = K \; .\end{aligned}$$ Here we have used that $G_K = G /_K$ is a quotient of $\pi_K (X,x)$ so that ${\mathbf{Rep}}_K (G)$ is a full subcategory of ${\mathbf{Rep}}_K (\pi_K (X,x))$.

For any two points $x_0 , x_1 \in X$ we define $$\pi_K (X , x_0 , x_1) = {\underline{\mathrm{Iso}}}^{\otimes} (\omega_{x_0} , \omega_{x_1}) \; .$$ By a general result on Tannakian categories [@DM], Theorem 3.2, this is both a left $\pi_K (X , x_0)$- and a right $\pi_K (X, x_1)$-torsor for the $f\!pqc$-topology.

We define the fundamental pro-algebraic groupoid $\Pi_K (X)$ of a topological space $X$ to be the following category enriched over the category of $K$-schemes. The objects of $\Pi_K (X)$ are the points of $x$. The morphism schemes are ${\mathrm{Mor}}(x_1 , x_2) = \emptyset$ if $x_1$ and $x_2$ lie in different connected components and $${\mathrm{Mor}}(x_1 , x_2) = \pi_K (Y , x_1 , x_2)$$ if $x_1$ and $x_2$ lie in the same connected component $Y$ of $X$.

For a continuous map $f : X \to Y$ of topological spaces the pullback functor $f^* : {\mathbf{Fl}}_K (Y) \to {\mathbf{Fl}}_K (X)$ is a tensor functor and for any point $x \in X$, the diagram $$\xymatrix{
{\mathbf{Fl}}_K (Y) \ar[rr]^{f^*} \ar[dr]_{\omega_{f (x)}} & & {\mathbf{Fl}}_K (X) \ar[dl]^{\omega_x} \\
 & {\mathbf{Vec}}_K
}$$ commutes. Hence we get an induced homomorphism of affine group schemes over $K$, $$f_* : \pi_K (X,x) \longrightarrow \pi_K (Y , f(y)) \; .$$ More generally, for any two points $x_1 , x_2$ in $X$ we obtain a morphism (of bi-torsors) $$f_* : \pi_K (X , x_0 , x_1) \longrightarrow \pi_K (Y , f (x_0) , f (x_1)) \; .$$ Let $\pi_1 (X , x)$ resp. $\pi_1 (X , x_1 , x_2)$ be the usual topological fundamental group resp. the (bi-torsor) of homotopy classes of continuous paths from $x_1$ to $x_2$. There is a natural homomorphism of groups $$\label{eq:6}
\pi_1 (X,x) \longrightarrow \pi_K (X,x) (K)$$ and more generally a morphism compatible with the bi-torsor structures $$\label{eq:7}
\pi_1 (X , x_0 , x_1) \longrightarrow \pi_K (X , x_0 , x_1) (K)  \; .$$ Namely, for a continuous path $\alpha : [0,1] \to X$ with $\alpha (0) = x_0$ and $\alpha (1) = x_1$ we obtain a $\otimes$-isomorphism $\omega_{\alpha} : \omega_{x_1} {\stackrel{\sim}{\rightarrow}}\omega_{x_2}$ as follows: For $E$ in ${\mathbf{Fl}}_K (X)$ the locally constant sheaf $\alpha^{-1} {{\mathcal E}}$ is constant on $[0,1]$. Hence the evaluation maps ${\mathrm{ev}}_0$ and ${\mathrm{ev}}_1$ in the points $x_0$ and $x_1$ provide isomorphisms $$\omega_{x_0} (E) = E_{x_0} \xleftarrow{\overset{{\mathrm{ev}}_0}{\sim}} \Gamma ([0,1] , \alpha^* E) \xrightarrow{\overset{{\mathrm{ev}}_1}{\sim}} E_{x_1} = \omega_{x_1} (E) \; .$$ The natural transformation $\omega_{\alpha}$ is defined by the family of isomorphisms $$\omega_{\alpha} (E) = {\mathrm{ev}}_1 {\mbox{\scriptsize $\,\circ\,$}}{\mathrm{ev}}^{-1}_0 : \omega_{x_0} (E) \longrightarrow \omega_{x_1} (E) \; .$$ All local systems are constant on $[0,1] \times [0,1]$. Using this one sees that the isomorphisms $\omega_{\alpha} (E)$ and hence $\omega_{\alpha}$ depend only on the homotopy class of $\alpha$.

It follows that any continuous path $\alpha$ from $x_0$ to $x_1$ defines an isomorphism of group schemes over $K$ $$\label{eq:8}
\alpha_K = R^{-1}_{\omega_{\alpha}} {\mbox{\scriptsize $\,\circ\,$}}L_{\omega_{\alpha}} : \pi_K (X , x_0) {\stackrel{\sim}{\rightarrow}}\pi_K (X , x_1) \; .$$ Here $$L_{\omega_{\alpha}} : \pi_K (X , x_0) {\stackrel{\sim}{\rightarrow}}\pi_K (X , x_0 , x_1)$$ and $$R_{\omega_{\alpha}} : \pi_K (X , x_1) {\stackrel{\sim}{\rightarrow}}\pi_K (X , x_0 , x_1)$$ are left- and right translation of $\omega_{\alpha} \in \pi_K (X , x_0 , x_1) (K)$.

If $X$ is not path-connected, I do not know if the group schemes $\pi_K (X , x_0)$ and $\pi_K (X ,x_1)$ are isomorphic over $K$ in general. For algebraically closed fields $K$ all fibre functors over $K$ of a Tannakian category over $K$ are isomorphic by a result of Deligne [@D]. Hence we have $\pi_K (X , x_0 , x_1) (K) \neq \emptyset$ if $K = {\overline{K}}$ and for any element $\xi \in \pi_K (X , x_0 , x_1) (K)$ we get an isomorphism as above with $\omega_{\alpha}$ replaced by $\xi$.

We end this section with the following remark on flat vector bundles over a compact (= quasicompact + Hausdorff) space.

\[t24\] Let $X$ be a compact connected topological space and let $E$ be in ${\mathbf{Fl}}_K (X)$. Then the following assertions hold:\
a) There is a finite atlas of local trivializations of $E$ such that the finitely many transition functions $$g_{\nu \mu} : U_{\nu} \cap U_{\mu} \longrightarrow {\mathrm{GL}}_r (K) \; , \; r = {\mathrm{rank}}E$$ take only finitely many different values.\
b) There is a finitely generated field $K_0 \subset K$ and a flat vector bundle $E_0$ in ${\mathbf{Fl}}_{K_0} (X)$ such that $E \cong E \otimes_K K_0$ in ${\mathbf{Fl}}_K (X)$.

a\) Choose a trivializing cover of $E$ with open sets $\{ V_i \}$ and let ${\tilde{g}}_{ij} : V_i \cap V_j \to {\mathrm{GL}}_r (K)$ be the corresponding locally constant transition functions. Choose a refining cover ${\mathfrak{U}}= \{ U_{\alpha} \}$ such that under the refining map $\iota$ we have ${\overline{U}}_{\alpha} \subset V_{\iota (\alpha)}$. Then the induced transition maps $$g_{\alpha \beta} = {\tilde{g}}_{\iota (\alpha) \iota (\beta)} \; |_{U_{\alpha} \cap U_{\beta}}$$ each take only finitely many values since ${\overline{U}}_{\alpha} \cap {\overline{U}}_{\beta} \subset V_{\iota (\alpha)} \cap V_{\iota (\beta)}$ is compact and $g_{\iota (\alpha) \iota (\beta)}$ is locally constant. By compactness of $X$ we may pass to a finite subcover $\{ U_{\nu} \}$ of $\{ U_{\alpha} \}$ and a) follows.\
b) The entries of the finitely many matrices in ${\mathrm{GL}}_r (K)$ that occur as values of the $g_{\nu\mu}$ in a) generate a finitely generated subfield $K_0$ of $K$. Viewing $(g_{\nu\mu})$ as a cocycle with values in ${\mathrm{GL}}_r (K_0)$ we get a flat bundle $E_0$ such that $E_0 \otimes_{K_0} K$ is isomorphic to $E$.

\[t25\] The proof of a) shows that the finitely many transition functions $g_{\nu\mu}$ take values in ${\mathrm{GL}}_r (A_0)$ for a finitely generated ${{\mathbb{Z}}}$-algebra. Reducing modulo a maximal ideal ${{\mathfrak{m}}}_0$ of $A_0$ one obtains a cocycle with values in ${\mathrm{GL}}_r (k)$ where $k = A_0 / {{\mathfrak{m}}}_0$ is a finite field. The associated principal bundle is a finite covering of $X$. Its connected components are finite Galois coverings, c.f. [@KS], Proposition 2.7.

Behaviour of $\pi_K (X,x)$ under finite coverings and relation with $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ {#sec:3}
=========================================================================================================

Let $\pi : Y \to X$ be a finite covering of the topological space $X$. The map $X \to {{\mathbb{Z}}}, x \mapsto |\pi^{-1} (x)|$ is locally constant and hence constant on each connected component of $X$. If $X$ is connected its value is called the degree $\deg (\pi)$ of the covering. In [@KS] Proposition 2.7 it is shown that for a connected topological space $X$ the total space of every finite covering $\pi : Y \to X$ has only finitely many connected components $Y = Y_1  \amalg \ldots \amalg Y_r$. Moreover, the restrictions $\pi_i = \pi \, |_{Y_i}$ are finite coverings and we have $\deg \pi = \deg \pi_1 + \ldots + \deg \pi_r$. A finite Galois covering with group $G$ is a finite connected covering $\pi : Y \to X$ together with a (right-) $G$-action on $Y$ over $X$ such that $G$ permutes the fibres of $\pi$ simply transitively. Equivalently it is a connected $G$-torsor over $X$. Every bundle $F$ in ${\mathbf{Fl}}_K (Y)$ is a subbundle of $\pi^* E$ for some $E$ in ${\mathbf{Fl}}_K (X)$. Namely, for the flat bundle (!) $E = \pi_* F$ we have $$\pi^* E = \pi^* \pi_* F = \bigoplus_{\sigma \in G} \sigma^* F \; .$$ Thus $F$ is even a direct summand of $\pi^* E$. By [@DM], Proposition 2.21 (b), for any chosen $y \in Y$ with $\pi (y) = x$ the morphism $$i = \pi_* : \pi_K (Y, y) \longrightarrow \pi_K (X,x)$$ is therefore a closed immersion.

Assume that $F$ in ${\mathbf{Fl}}^G_K (Y)$ is a trivial bundle in ${\mathbf{Fl}}_K (Y)$. Then there is an isomorphism of flat bundles, where $V$ is a finite dimensional $K$-vector space with the discrete topology $$\varphi : F {\stackrel{\sim}{\rightarrow}}Y \times V \; .$$ The right $G$-action on $F$ over the $G$-space $Y$ gives a right $G$-action on $Y \times V$ over the $G$-space $Y$. Since $Y$ is connected being a Galois covering, there is a representation $\rho : G \to {\mathrm{GL}}(V)$ such that we have: $$\label{eq:34n}
(y , v)^{\sigma} = (y^{\sigma} , \rho (\sigma^{-1}) v) \quad \text{for} \; \sigma \in G \; , \; y \in Y \; , \; v \in V \; .$$ Let ${\mathbf{Fl}}_K (X) (\pi)$ be the full subcategory of bundles $E$ in ${\mathbf{Fl}}_K (X)$ for which $\pi^* E$ is a trivial bundle in ${\mathbf{Fl}}_K (Y)$. Using , and the discussion of morphisms between trivial bundles on a connected covering space in the proof of Proposition \[t22\], we obtain the following fact.

\[t31\] 1) The functor $${\mathbf{Rep}}_K (G) \longrightarrow {\mathbf{Fl}}_K (X) (\pi) \; , \; V \longmapsto \pi^G_* (Y \times V) = Y \times^G V$$ is an equivalence of categories.\
2) We have $$\pi^G_* (Y \times V)_x = \pi^{-1} (x) \times^G V \; .$$ Fixing a point $y \in Y$ over $x$ this is canonically isomorphic to $V$. Using 1) we get an isomorphism (depending on $y$) between $G /_K$ and the Tannakian dual $\pi_K (X,x) (\pi)$ of $({\mathbf{Fl}}_K (X) (\pi), \omega_x)$.

Since $\pi^*$ is exact and because of Corollary \[t23\] any subobject in ${\mathbf{Fl}}_K (X)$ of an object in ${\mathbf{Fl}}_K (X) (\pi)$ lies in ${\mathbf{Fl}}_K (X) (\pi)$. It follows from [@DM] Proposition 2.21 that the induced morphism $$p  : \pi_K (X, x) \longrightarrow \pi_K (X, x) (\pi)$$ is faithfully flat.

\[t32\] Let $\pi : Y \to X$ be a finite covering with group $G$. Choose a point $y \in Y$ and set $x = \pi (y)$. The following sequence of group schemes over $K$ is exact: $$1 \longrightarrow \pi_K (Y, y) \xrightarrow{i} \pi_K (X,x) \xrightarrow{p} \pi_K (X,x) (\pi) \longrightarrow 1 \, .$$ The choice of $y$ over $x$ determines a canonical isomorphism $\pi_K (X,x) (\pi) = G /_K$ by Proposition \[t31\].

It remains to show that $i$ is an isomorphism of $\pi_K (Y,y)$ onto $\ker i$. In [@EHS] Theorem A1 (iii), a Tannakian criterion is given for this. Translated to our context the following three conditions need to be verified:\
a) For a bundle $E$ in ${\mathbf{Fl}}_K (X)$ the bundle $\pi^* E$ is trivial if and only if $E$ is in ${\mathbf{Fl}}_K (X) (\pi)$.\
b) Let $F_0$ be the maximal trivial subbundle of $\pi^* E$ in ${\mathbf{Fl}}_K (Y)$. Then there is a subbundle $E_0 \subset E$ in ${\mathbf{Fl}}_K (X)$ such that $F_0 \cong \pi^* E_0$.\
c) Every bundle $F$ in ${\mathbf{Fl}}_K (Y)$ is a subbundle of $\pi^* E$ for some $E$ in ${\mathbf{Fl}}_K (X)$.\
Condition a) is true by the definition of ${\mathbf{Fl}}_K (X) (\pi)$. Condition c) has already been verified. The maximal trivial subbundle $F_0$ of $\pi^* E$ exists. It is the subbundle generated by the global sections $\Gamma (Y , \pi^* E)$. This description also shows that it is a $G$-subbundle of the $G$-bundle $\pi^* E$ on the $G$-space $Y$. Using the equivalence of categories and setting $$E_0 := \pi^G_* F_0 \subset \pi^G_* \pi^* E \cong E \; ,$$ we find $$F_0 \cong \pi^* \pi^G_* F_0 = \pi^* E_0$$ as desired.

The finite coverings with the obvious morphisms form a category ${\mathbf{FCov}}(X)$. According to [@KS] Proposition 2.9, ${\mathbf{FCov}}(X)$ is a Galois category in the sense of [@SGA1] Exposé V.4 if $X$ is connected. For any point $x \in X$ there is a natural fibre functor $$\Phi_x : {\mathbf{FCov}}(X) \longrightarrow {\mathbf{FSet}}$$ into the category of finite sets which on objects is given by $$\Phi_x (\pi : Y \to X) = \pi^{-1} (x) \; .$$ For a connected topological space $X$ and a point $x \in X$, Kucharczyk and Scholze define the étale fundamental group $\pi^{{\mathrm{\acute{e}t}}}_1 (X,x)$ to be the automorphism group of $\Phi_x$. More generally, for points $x_1 , x_2 \in X$ we set $$\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2) = {\mathrm{Iso}\,}(\Phi_{x_1} , \Phi_{x_2}) \; .$$ It is a non-empty profinite set by [@SGA1] Exposé V, Corollaire 5.7. Moroever, $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2)$ is a left- resp. right torsor under the profinite groups $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1)$ resp. $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_2)$. The étale fundamental groupoid $\Pi^{{\mathrm{\acute{e}t}}}_1 (X)$ of a topological space $X$ is defined as the small topological category whose objects are the points of $X$ and for which ${\mathrm{Mor}}(x_1 , x_2) = \emptyset$ if $x_1$ and $x_2$ lie in different connected components of $X$ and $${\mathrm{Mor}}(x_1 , x_2) = \pi^{{\mathrm{\acute{e}t}}}_1 (Z , x_1 , x_2)$$ if $x_1$ and $x_2$ lie in the same connected component $Z$ of $X$.

We will now relate $\pi_K (X , x_1 , x_2)$ to $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2)$. Namely let ${\mathbf{FFl}}_K (X)$ be the full subcategory of ${\mathbf{Fl}}_K (X)$ whose objects are the bundles $E$ for which there exists a finite covering $\pi : Y \to X$ such that $\pi^* E$ is a trivial flat bundle i.e. isomorphic in ${\mathbf{Fl}}_K (Y)$ to a bundle of the form $Y \times K^r , r \ge 0$. Given two finite coverings $\pi_1 : Y_1 \to X$ and $\pi_2 : Y_2 \to X$ the fibre product $\pi : Y = Y_1 \times_X Y_2 \to X$ is a finite covering which factors over $\pi_1$ and $\pi_2$. It follows that if $E_1 , E_2$ are in ${\mathbf{FFl}}_K (X)$ then $E_1 \oplus E_2 , E_1 \otimes E_2$ and the ${\mathrm{Hom}}$ bundle ${\underline{{\mathrm{Hom}}}}(E_1 , E_2)$ are in ${\mathbf{FFl}}_K (X)$ as well. Hence for connected $X$ the category ${\mathbf{FFl}}_K (X)$ is neutral Tannakian with fibre functor $\omega^F_x$ defined as the restriction of $\omega_x$ to ${\mathbf{FFl}}_K (X)$. Let $\pi^{{\mathrm{\acute{e}t}}}_K (X,x)$ be the Tannakian dual group of $({\mathbf{FFl}}_K (X) , \omega^F_x)$ $$\pi^{{\mathrm{\acute{e}t}}}_K (X , x) = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega^F_x) \; .$$ More generally, for points $x_1 , x_2 \in X$ we set $$\pi^{{\mathrm{\acute{e}t}}}_K (X , x_1 , x_2) = {\underline{\mathrm{Iso}}}(\omega^F_{x_1} , \omega^F_{x_2}) \; .$$ We define $\Pi^{{\mathrm{\acute{e}t}}}_K (X)$ similarly as $\Pi_K (X)$. Passing to the $K$-valued points of the morphism schemes we obtain a topological category $\Pi^{{\mathrm{\acute{e}t}}}_K (X) (K)$.

We will now define a parallel transport along (“homotopy classes” of) étale paths $\gamma$ i.e. elements of $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1, x_2)$ for bundles $E$ in ${\mathbf{FFl}}_K (X)$. Choose a finite connected covering $\pi : Y \to X$ such that $\pi^* E$ is trivial. Let $y_1 \in Y$ be a point with $\pi (y_1) = x_1$. Then $\gamma (y_1) \in Y$ is a point with $\pi (\gamma (y_1)) = x_2$. Since $\pi^* E$ is trivial and $Y$ is connected the evaluation maps ${\mathrm{ev}}_{y_1}$ and ${\mathrm{ev}}_{\gamma (y_1)}$ are isomorphisms: $$\label{eq:10}
E_{x_1} = (\pi^* E)_{y_1} \xleftarrow{\overset{{\mathrm{ev}}_{y_1}}{\sim}} \Gamma (Y , \pi^* E) \xrightarrow{\overset{{\mathrm{ev}}_{\gamma (y_1)}}{\sim}} (\pi^* E)_{\gamma (y_1)} = E_{x_2} \; .$$ Let $$\rho_{\gamma} (E) : E_{x_1} {\stackrel{\sim}{\rightarrow}}E_{x_2}$$ be the resulting isomorphism.

\[t33\] 1) For a connected topological space $X$ and points $x_1 , x_2 \in X$ the isomorphisms $\rho_{\gamma} (E)$ for $E$ in ${\mathbf{FFl}}_K (X)$ are well defined and give rise to an isomorphism of the fibre functors $\omega^F_{x_1}$ and $\omega^F_{x_2}$ over $K$, i.e. to an element $\rho_{\gamma}$ of $\pi^{{\mathrm{\acute{e}t}}}_K (X , x_1 , x_2) (K)$.\
2) The resulting functor $$\rho : \Pi^{{\mathrm{\acute{e}t}}}_1 (X) \longrightarrow \Pi^{{\mathrm{\acute{e}t}}}_K (X) (K)$$ is an isomorphism of topological categories. In particular the maps $$\rho : \pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2) {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X , x_1 , x_2) (K) \; , \; \gamma \mapsto \rho_{\gamma}$$ are homeomorphisms of pro-finite spaces, and for $x \in X$ the maps $$\rho : \pi^{{\mathrm{\acute{e}t}}}_1 (X, x) {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X,x) (K) \; , \; \gamma \mapsto \rho_{\gamma}$$ are topological group isomorphisms.

1\) We first prove that $\rho_{\gamma} (E)$ is independent of the choice of the point $y_1$ over $x_1$. There is a finite Galois covering ${\tilde{Y}}\xrightarrow{{\tilde{\pi}}} X$ which factors over $\pi$. Pulling back to ${\tilde{Y}}$ and writing down obvious commutative diagrams one sees that to prove independence of $y_1$ over $x_1$ we may pass to ${\tilde{Y}}$ and thus assume that $Y$ is Galois with group $G$. Let $y'_1 \in Y$ be another point over $x$. Choose an element $\sigma \in G$ with $y^{\sigma}_1 = y'_1$. Noting that $(\gamma y_1)^{\sigma} = \gamma (y^{\sigma}_1) = \gamma y'_1$, we obtain the commutative diagram $$\xymatrix{
E_{x_1} \ar@{=}[r] & (\pi^* E)_{y'_1} \ar[d]^{\wr}_{\sigma^*} & \Gamma (Y , \pi^* E) \ar[l]_{\overset{{\mathrm{ev}}_{y'_1}}{\sim}} \ar[d]^{\wr}_{\sigma^*} \ar[r]^{\overset{{\mathrm{ev}}_{\gamma y'_1}}{\sim}} & (\pi^* E)_{\gamma  y'_1} \ar[d]^{\wr}_{\sigma^*} \ar@{=}[r] & E_{x_2} \\
& (\sigma^* \pi^* E)_{y_1} \ar@{=}[d] & \Gamma (Y , \sigma^* \pi^* E) \ar[l]_{\overset{{\mathrm{ev}}_{y_1}}{\sim}} \ar[r]^{\overset{{\mathrm{ev}}_{\gamma_{y_1}}}{\sim}} \ar@{=}[d] & (\sigma^* \pi^* E)_{\gamma y_1} \ar@{=}[d] & \\
E_{x_1} \ar@{=}[r] & (\pi^* E)_{y_1} & \Gamma (Y , \pi^* E) \ar[l]_{\overset{{\mathrm{ev}}_{y_1}}{\sim}} \ar[r]^{\overset{{\mathrm{ev}}_{\gamma y_1}}{\sim}} & (\pi^* E)_{\gamma  y_1} \ar@{=}[r] & E_{x_2}
}$$ It follows that $$\rho_{\gamma} (E) = {\mathrm{ev}}_{\gamma y_1} {\mbox{\scriptsize $\,\circ\,$}}{\mathrm{ev}}^{-1}_{y_1} = {\mathrm{ev}}_{\gamma y'_1} {\mbox{\scriptsize $\,\circ\,$}}{\mathrm{ev}}^{-1}_{y'_1}$$ is independent of the choice of $y_1$ over $x_1$. Independence of the connected finite covering trivializing $E$ follows by dominating two such coverings $Y_1 \to X$ and $Y_2 \to X$ by a third one e.g. by a connected component of $Y_1 \times_X Y_2$. Thus the isomorphism $\rho_{\gamma} (E)$ is well defined. Elementary arguments show that the family $(\rho_{\gamma} (E))$ for $E$ in ${\mathbf{FFl}}_K (X)$ defines an isomorphism from the $\otimes$-functor $\omega^F_{x_1}$ to the $\otimes$-functor $\omega^F_{x_2}$. Thus one obtains an element $$\rho_{\gamma} \in {\underline{\mathrm{Iso}}}^{\otimes} (\omega^F_{x_1} , \omega^F_{x_2}) (K) \; .$$ By the construction of the parallel transport $\rho_{\gamma} (E)$ it is clear that for $\gamma \in \pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1, x_2)$ and $\gamma' \in \pi^{{\mathrm{\acute{e}t}}}_1 (X , x_2 , x_3)$ we have $$\rho_{\gamma' {\mbox{\scriptsize $\,\circ\,$}}\gamma} (E) = \rho_{\gamma'} (E) {\mbox{\scriptsize $\,\circ\,$}}\rho_{\gamma} (E)$$ and hence $$\rho_{\gamma' {\mbox{\scriptsize $\,\circ\,$}}\gamma} = \rho_{\gamma'} {\mbox{\scriptsize $\,\circ\,$}}\rho_{\gamma} \; .$$ It follows that $$\rho : \Pi^{{\mathrm{\acute{e}t}}}_1 (X) \to \Pi^{{\mathrm{\acute{e}t}}}_K (X) (K)$$ is a functor. In particular the map $$\rho : \pi^{{\mathrm{\acute{e}t}}}_1 (X, x) \longrightarrow \pi^{{\mathrm{\acute{e}t}}}_K (X , x) (K)$$ is a homomorphism of groups for all $x \in X$.\
2) Given a finite Galois covering $\pi : Y \to X$ with group $G$, by construction the parallel transport on bundles in ${\mathbf{Fl}}_K (X) (\pi)$ along $\gamma \in \pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2)$ depends only on the bijection $$\gamma (Y) : F_{x_1} (Y) = \pi^{-1} (x_1) \longrightarrow \pi^{-1} (x_2) = F_{x_2} (Y) \; .$$ Hence we get a map $$\label{eq:11}
{\mathrm{Im}\,}(\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2) \longrightarrow {\mathrm{Bij}}(\pi^{-1} (x_1) , \pi^{-1} (x_2)) \longrightarrow (\pi_K (X , x_1 , x_2) (\pi)) (K) \; .$$ Here $$\pi_K (X , x_1 , x_2) (\pi) = {\underline{\mathrm{Iso}}}^{\otimes} (\omega^{\pi}_{x_1} , \omega^{\pi}_{x_2})$$ where $\omega^{\pi}_x$ is the restriction of $\omega_x$ to ${\mathbf{Fl}}_K (X) (\pi)$.

We claim that is a bijection. In order to show that is injective we need to show that for each $\gamma$ the bijection $\gamma (Y)$ is uniquely determined by the parallel transport $\rho_{\gamma}$ on bundles $E$ in ${\mathbf{Fl}}_K (X) (\pi)$. Consider $A = \pi_* {\underline{K}}$ in ${\mathbf{Fl}}_K (X) (\pi)$ and choose a point $y_1 \in Y$ over $x_1$. By construction $$\rho_{\gamma} (A) : A_{x_1} = K^{\pi^{-1} (x_1)} {\stackrel{\sim}{\rightarrow}}K^{\pi^{-1} (x_2)} = A_{x_2}$$ sends $\delta^1_y$ to $\delta^2_{\gamma_y}$. Here $\delta^1_y : \pi^{-1} (x_1) \to K$ is $= 1$ on $y$ and $ = 0$ on all other points, and $\delta^2_{\gamma y} : \pi^{-1} (x_2) \to K$ is $= 1$ on $\gamma y$ and $= 0$ on the other points. Hence we recover $\gamma (Y)$, the image of $\gamma$ in ${\mathrm{Bij}}(\pi^{-1} (x_1) , \pi^{-1} (x_2))$ uniquely from $\rho_{\gamma} (A)$ and hence from the image of $\rho_{\gamma}$ in $\pi_K (X , x_1 , x_2) (\pi) (K)$. Since $X$ is connected, $\pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2)$ is not empty, [@SGA1] V, Corollaire 5.7. Hence both the source and the target of are non-empty sets. Since they are principal homogenous spaces, for bijectivity of it suffices to show that the group homomorphism $$\label{eq:12}
{\mathrm{Im}\,}(\pi^{{\mathrm{\acute{e}t}}}_1 (X , x) \longrightarrow {\mathrm{Bij}}(\pi^{-1} (x))) \longrightarrow (\pi_K (X,x) (\pi)) (K)$$ is an isomorphism for any $x \in X$. We have seen that it is injective. Since $\pi : Y \to X$ is a Galois covering with group $G$ the source is isomorphic to $G$. By Proposition \[t31\] the affine group $\pi_K (X,x) (\pi)$ is isomorphic to $G /_K$. Hence the target is isomorphic to $G$ as well. It follows that is an isomorphism. One can see surjectivity of also directly by studying $\alpha \in (\pi_K (X , x) (\pi)) (K) = {\mathrm{Aut}}^{\otimes} (\omega^{\pi}_x)$ on the $\otimes$-generator $A = \pi_* {\underline{K}}$ of ${\mathbf{Fl}}_K (X) (\pi)$ and noting that $A$ is a bundle of $K$-algebras with a $G$-operation. Compatibility of $\alpha$ with the multiplication $A \otimes A \to A$ and the $G$-action show that $\alpha (A)$ and hence $\alpha$ come from the source of .

Taking the projective limit over all finite Galois coverings $\pi : Y \to X$ of the bijections we obtain a homeomorphism of pro-finite spaces $$\rho : \pi^{{\mathrm{\acute{e}t}}}_1 (X , x_1 , x_2) {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X , x_1 , x_2) (K) \; .$$ The remaining assertions follow immediately.

\[t34\] Let $X$ be a connected topological space, $x \in X$ and $G$ a finite group. A vector bundle $E$ in ${\mathbf{Fl}}_K (X)$ is trivialized by a finite Galois covering $\pi : Y \to X$ with group $G$ if and only if there is a faithfully flat morphism $\pi_K (X,x) \twoheadrightarrow G /_K$ such that the monodromy representation of $E$ factors $$\label{eq:13nn}
\pi_K (X,x) \twoheadrightarrow G/_K \twoheadrightarrow G_E \subset {\mathrm{GL}}_{E_x} \; .$$ In this case we have $E \cong Y \times^G E_x$ in ${\mathbf{Fl}}_K (X)$ and the monodromy group $G_E$ of $E$ is a constant group scheme $G_E = G_E (K) /_K$ where $G_E (K)$ is a quotient of $G$.

If $E$ is trivialized by $\pi : Y \to X$ all claims follow from Propositions \[t31\] and \[t32\]. Now assume that we have a factorization . Applying Theorem \[t26n\] to the quotient $G_K = G /_K$ of $\pi_K (X,x)$ we get a connected torsor $\pi: P \to X$ for the group $G_K (K) = G$, in other words a finite Galois covering with group $G$. According to Theorem \[t24n\], 1) the bundle $\pi^* E$ is trivial in ${\mathbf{Fl}}_K (P)$.

\[t35\] Let $X$ be a connected topological space, $x \in X$, $K$ a field and $E$ a vector bundle in ${\mathbf{Fl}}_K (X)$ of rank $r$. Then $E$ has a reduction of structure group to a finite subgroup $G$ of ${\mathrm{GL}}_r (K)$ if and only if the monodromy group $G_E$ is a constant finite group scheme. In this case the following is true:\
a) $G_E$ is a subquotient of $G /_K$.\
b) Choosing a basis of $E_x$ and viewing $G_E (K)$ as a subgroup of ${\mathrm{GL}}_r (K)$, the structure group of $E$ can be reduced to $G_E (K)$, and up to conjugacy in ${\mathrm{GL}}_r (K)$ this is the smallest subgroup of ${\mathrm{GL}}_r (K)$ for which this is possible.

In Theorem \[t25n\], 3) or Theorem \[t26n\] it was shown that if $G_E$ is a finite group scheme over $K$, then it is constant.

If the structure group of $E$ can be reduced to a finite group $G$ in ${\mathrm{GL}}_r (K)$, there is a principal $G$-bundle $P \xrightarrow{\pi} X$ such that $E \cong P \times^G K^r$ and hence $\pi^* E$ is a trivial bundle in ${\mathbf{Fl}}_K (P)$. Let $P_0$ be a connected component of the finite covering $P$ and let $G_0 \subset G$ consist of $\sigma \in G$ with $\sigma (P_0) = P_0$. Then $\pi \, |_{P_0} : P_0 \to X$ is a Galois covering which trivializes $E$. Proposition \[t34\] implies that $G_E$ is a constant finite group scheme over $K$ and that $G_E (K)$ is a quotient of $G_0$ and hence a subquotient of $G$. If on the other hand, $E$ has a constant monodromy group $G_E$, then by Proposition \[t34\], taking $G = G_E (K)$ there is a Galois covering $\pi : Y \to X$ with $E \cong Y \times^G E_x$. This description of $E$ shows that viewing $G_E (K)$ as a subgroup of ${\mathrm{GL}}_r (K)$ (unique up to conjugation) via an isomorphism $E_x \cong K^r$, the structure group of $E$ can be reduced to $G_E (K)$. The remaining assertions follow.

In Remark \[t25\] we have seen that on a compact connected space $X$ any flat vector bundle $E$ in ${\mathbf{Fl}}_K (X)$ of rank $r$ has a reduction of structure group to ${\mathrm{GL}}_r (A_0)$ where $A_0$ is a finitely generated ${{\mathbb{Z}}}$-algebra in $K$. Reducing modulo a maximal ideal ${{\mathfrak{m}}}_0$ of $A_0$ we obtain a vector bundle $E_{{{\mathfrak{m}}}_0}$ in ${\mathbf{Fl}}_{k_0} (X)$ where $k_0 = A_0 / k_0$ is a finite field. The monodromy group of $E_{{{\mathfrak{m}}}_0}$ is contained in ${\mathrm{GL}}_r (k_0)$ and is therefore finite. The construction in the proof of Proposition \[t34\] attaches a Galois covering $\pi : P \to X$ to $E_{{{\mathfrak{m}}}_0}$ with Galois group the monodromy group of $E_{{{\mathfrak{m}}}_0}$ in ${\mathrm{GL}}_r (k_0)$.

Let $H = {\mathrm{spec}\,}B$ be an affine group scheme over a field $K$. The largest separable subalgebra $B^{{\mathrm{\acute{e}t}}}$ of $B$ is a Hopf algebra and $H^{{\mathrm{\acute{e}t}}} = {\mathrm{spec}\,}B^{{\mathrm{\acute{e}t}}}$ is a pro-étale group scheme over $K$. It is the maximal pro-étale quotient of $H$, any morphism of $H$ to an étale group factors uniquely over the faithfully flat projection $H \to H^{{\mathrm{\acute{e}t}}}$. There is a natural exact sequence $$1 \longrightarrow H^0 \longrightarrow H \longrightarrow H^{{\mathrm{\acute{e}t}}} \longrightarrow 1 \; ,$$ where $H^0$ is the connected component of the identity. Thus $H^{{\mathrm{\acute{e}t}}}$ may also be viewed as the group scheme of connected components of $H$ and there is the alternative notation $H^{{\mathrm{\acute{e}t}}} = \pi_0 (H)$. A pointed finite (Galois) covering $(Y, y) \to (X,x)$ is a finite (Galois) covering $\pi_Y : Y \to X$ with $\pi_Y (y) = x$. Morphisms of such pointed coverings are defined in the evident way. They are unique if they exist, in case the coverings are connected. The set of isomorphism classes of finite pointed Galois coverings of $(X,x)$ is a directed set ${{\mathcal G}}= {{\mathcal G}}(X,x)$ if $(Y_1 , y_1) \ge (Y_2 , y_2)$ means that there is a morphism $(Y_1 , y_1) \to (Y_2 , y_2)$, c.f. [@KS] section 2.

We have $${\mathbf{FFl}}_K (X) = \varinjlim_{(Y,y) \in {{\mathcal G}}} {\mathbf{Fl}}_K (X) (\pi_Y)$$ in ${\mathbf{Fl}}_K (X)$ and therefore $$\label{eq:26}
\pi^{{\mathrm{\acute{e}t}}}_K (X , x) = \varprojlim_{(Y,y) \in {{\mathcal G}}} \pi_K (X,x) (\pi_Y) \; .$$ This is a projective limit of finite constant group schemes over $K$, since $\pi_K (X , x) (\pi)$ is finite constant by Proposition \[t31\]. In particular the natural isomorphism of “parallel transport along closed loops” of Theorem \[t33\] $$\rho : \pi^{{\mathrm{\acute{e}t}}}_1 (X,x) {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X,x) (K)$$ can be viewed as an isomorphism of pro-finite-constant group schemes over $K$ $$\label{eq:27}
\pi^{{\mathrm{\acute{e}t}}}_1 (X,x) /_K {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X,x) \; .$$ Since ${\mathbf{FFl}}_K (X)$ is a full subcategory of ${\mathbf{Fl}}_K (X)$ which is closed under taking subobjects in ${\mathbf{Fl}}_K (X)$ by Corollary \[t23\], the induced morphism $$\pi_K (X,x) \longrightarrow \pi^{{\mathrm{\acute{e}t}}}_K (X,x)$$ is faithfully flat. It factors over the maximal pro-étale quotient $$\pi_K (X,x)^{{\mathrm{\acute{e}t}}} = \pi_0 (\pi_K (X,x))$$ of $\pi_K (X,x)$. Thus we obtain a faithfully flat morphism of group schemes over $K$ $$\label{eq:28}
\pi_K (X,x)^{{\mathrm{\acute{e}t}}} \longrightarrow \pi^{{\mathrm{\acute{e}t}}}_K (X,x) \; .$$

\[t36\] Let $(X,x)$ be a pointed connected topological space and $K$ a field. Then is an isomorphism $$\label{eq:29}
\pi_K (X,x)^{{\mathrm{\acute{e}t}}} {\stackrel{\sim}{\rightarrow}}\pi^{{\mathrm{\acute{e}t}}}_K (X,x) \; .$$ Using the isomorphisms and we have an exact sequence $$\label{eq:30}
1 \longrightarrow \pi_K (X,x)^0 \longrightarrow \pi_K (X,x) \longrightarrow \pi^{{\mathrm{\acute{e}t}}}_1 (X,x) /_K \longrightarrow 1 \; .$$ Moreover, there is a natural isomorphism $$\label{eq:31}
\pi_K (X,x)^0 = \varprojlim_{(Y,y) \in {{\mathcal G}}(X,x)} \pi_K (Y,y) \; .$$

Any finite étale quotient of $\pi_K (X,x)$ is a constant group scheme by Theorem \[t25n\], 3) or Theorem \[t26n\]. Using and Proposition \[t34\] it follows that is an isomorphism since both sides have the same algebraic representations. Hence we obtain and the exact sequence . Passing to the limit in the exact sequence of Proposition \[t32\] and using and we obtain an exact sequence $$\label{eq:34}
1 \longrightarrow \varprojlim_{(Y,y) \in {{\mathcal G}}} \pi_K (Y,y) \longrightarrow \pi_K (X,x) \longrightarrow \pi^{{\mathrm{\acute{e}t}}}_1 (X,x) /_K \; .$$ Comparing and the isomorphism follows.

The proof of Theorem \[t36\] only needed the special case of Theorem \[t25n\], 3) or Theorem \[t26n\] that all finite [*étale*]{} quotients of $\pi_K (X,x)$ are constant. This can also be shown using the following proposition which is of indepenent interest.

\[t37\] Let $X$ be a connected topological space and $L / K$ a field extension. Let $E$ be a flat vector bundle in ${\mathbf{Fl}}_K (X)$ such that $E \otimes_K L$ is a trivial bundle in ${\mathbf{Fl}}_L (X)$. Then $E$ is a trivial bundle in ${\mathbf{Fl}}_K (X)$.

By assumption there exists an open cover ${\mathfrak{U}}= (U_i)_{i \in I}$, a representing cocycle $g = (g_{ij})$ of locally constant maps $g_{ij} : U_i \cap U_j \to {\mathrm{GL}}_r (K)$ for the isomorphism class of $E$ and locally constant maps $$l_i : U_i \longrightarrow {\mathrm{GL}}_r (L) \quad \text{for} \; i \in I$$ such that $$g_{ij} = l^{-1}_i l_j \quad \text{on} \; U_i \cap U_j \; \text{for} \; i , j \in I \; .$$ Consider the composition $${\overline{l}ſ}_i : U_i \xrightarrow{l_i} {\mathrm{GL}}_r (L) \xrightarrow{\text{---}} {\mathrm{GL}}_r (L) / {\mathrm{GL}}_r (K) \; .$$ We have $${\overline{l}ſ}_i = \overline{l_i g_{ij}} = {\overline{l}ſ}_j \quad \text{on} \; U_i \cap U_j \; .$$ Thus the maps ${\overline{l}ſ}_i$ glue to a locally constant map $${\overline{l}ſ}: X \longrightarrow {\mathrm{GL}}_r (L) / {\mathrm{GL}}_r (K) \; .$$ Since $X$ is connected, ${\overline{l}ſ}$ is constant, ${\overline{l}ſ}= a {\mathrm{GL}}_r (K)$ for a matrix $a \in {\mathrm{GL}}_r (L)$. Thus we have $l_i = ag_i$ on $U_i$ for $i \in I$ with locally constant maps $$g_i : U_i \longrightarrow {\mathrm{GL}}_r (K) \; .$$ This implies that $$g_{ij} = (ag_i)^{-1} (ag_j) = g^{-1}_i g_j \; .$$ Hence $E$ is isomorphic to a trivial bundle in ${\mathbf{Fl}}_K (X)$.

The required special case of Theorem \[t25n\], 3) or Theorem \[t26n\] needed for the proof of Theorem \[t36\] is the following assertion for which we give a direct proof.

\[t38\] Let $(X,x)$ be a pointed connected topological space and $K$ a field. Let $E$ in ${\mathbf{Fl}}_K (X)$ be a flat vector bundle whose monodromy group scheme $G_E = G_{E,x}$ is finite étale. Then $G_E$ is a constant group over $K$.

For a field extension $L / K$, write $\omega^L_x$ for the fibre functor $F \mapsto F_x$ on ${\mathbf{Fl}}_L (X)$. Recall the functor $\phi_L : {\mathbf{Vec}}_K \to {\mathbf{Vec}}_L , V \mapsto V \otimes_K L$. The $\otimes$-functor $${\mathbf{Fl}}_K (X) \to {\mathbf{Fl}}_L (X) , E \mapsto E \otimes_K L$$ is compatible with the fibre functors $\phi_L {\mbox{\scriptsize $\,\circ\,$}}\omega_x$ on the left and $\omega^L_x$ on the right. Hence we get a morphism of group schemes over $L$ $$\label{eq:32}
\pi_L (X, x) = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega^L_x) \longrightarrow {\underline{{\mathrm{Aut}}}}^{\otimes} (\phi_L {\mbox{\scriptsize $\,\circ\,$}}\omega_x) = {\underline{{\mathrm{Aut}}}}^{\otimes} (\omega_x) \otimes_K L = \pi_K (X,x) \otimes_K L \; .$$ Let $\rho : \pi_K (X,x) \twoheadrightarrow G_E \subset {\mathrm{GL}}_{E_x}$ be the representation corresponding to $E$. Then the composition $$\rho_L : \pi_L (X,x) \longrightarrow \pi_K (X,x) \otimes_K L \overset{\rho \otimes L}{\twoheadrightarrow} G_E \otimes_K L \subset {\mathrm{GL}}_{E_x \otimes_K L}$$ is the representation corresponding to $E \otimes_K L$ in ${\mathbf{Fl}}_L (X)$. Hence we have a closed immersion $$\label{eq:33}
G_{E \otimes_K L} \subset G_E \otimes_K L$$ of closed subgroup schemes of ${\mathrm{GL}}_{E_x \otimes_K L}$. By assumption there is a field extension $L / K$ e.g. $L = K^{{\mathrm{sep}}}$, such that $G_E \otimes_K L$ is constant. Because of the affine group $G_{E \otimes_K L}$ is therefore constant as well. Hence, by Proposition \[t34\] there is a finite Galois covering $\pi : Y \to X$ such that $\pi^* (E \otimes_K L) = (\pi^* E) \otimes_K L$ is a trivial bundle in ${\mathbf{Fl}}_L (Y)$. Proposition \[t37\] now implies that $\pi^* E$ is trivial in ${\mathbf{Fl}}_K (Y)$. Invoking Proposition \[t34\] again, it follows that $G_E$ is constant over $K$.

Calculations of $\pi_K (X,x)$ {#sec:4}
=============================

Given an abstract group $\Gamma$ the proalgebraic completion of $\Gamma$ over the field $K$ is a pair consisting of an affine group scheme $\Gamma^{{\mathrm{alg}}} = \Gamma^{{\mathrm{alg}}}_K$ over $K$ and a homomorphism of groups $i : \Gamma \to \Gamma^{{\mathrm{alg}}} (K)$ with Zariski dense image. It is defined up to unique automorphism by the following universal property: For any representation $\rho : \Gamma \to {\mathrm{GL}}(V)$ on a finite dimensional $K$-vector space $V$ there is a unique algebraic representation $\rho^{{\mathrm{alg}}} : \Gamma^{{\mathrm{alg}}} \to {\mathrm{GL}}_V$ with $\rho = \rho^{{\mathrm{alg}}} (K) {\mbox{\scriptsize $\,\circ\,$}}i$. One can obtain $\Gamma^{{\mathrm{alg}}}$ as the Tannakian dual of the neutral Tannakian category ${\mathbf{Rep}\,}_K (\Gamma)$ of finite dimensional $K$-representations of $\Gamma$ with respect to the fibre functor of forgetting the $\Gamma$-action. A concrete description of the Hopf-algebra $A$ over $K$ with $\Gamma^{{\mathrm{alg}}} = {\mathrm{spec}\,}A$ is the following. The group $\Gamma$ acts on the $K$-algebra of function $f : \Gamma \to K$ by right and left translation. The algebra $A$ consists of all functions whose left (equiv. right) $\Gamma$-orbits generate finite-dimensional $K$-vector spaces. The comultiplication, co-inverse and co-unit are obtained by composing with the multiplication, inverse and unit maps for $\Gamma$. In particular $\Gamma^{{\mathrm{alg}}}$ is always reduced.

The proalgebraic completion of $\Gamma = {{\mathbb{Z}}}$ over an algebraically closed field of characteristic zero is well known: A representation of ${{\mathbb{Z}}}$ on a finite-dimensional vector space $V$ is given by an automorphism $\varphi$ of $V$. We may decompose $\varphi$ uniquely as a product $\varphi = \varphi_s \varphi_u$ where $\varphi_s$ is semisimple and $\varphi_u$ is unipotent with $\varphi_u \varphi_s = \varphi_s \varphi_u$. Unipotent automorphisms correspond to representations of ${\mathbb{G}}_{a,K}$. The automorphism $\varphi_s$ is determined up to conjugacy by its eigenvalues. Let $D$ be the diagonalizable group over $K$ corresponding to the abstract group $K^{\times}$i.e. $D = {\mathrm{spec}\,}K [K^{\times}]$ with co-multiplication $$\Delta : K [K^{\times}] \longrightarrow K [K^{\times}] \otimes K [K^{\times}]$$ being given by $\Delta (x) = x \otimes x$ for $x \in K^{\times}$. We have $$\label{eq:35}
 {{\mathbb{Z}}}^{{\mathrm{alg}}} = {\mathbb{G}}_a \times D$$ as proalgebraic groups over $K$. Using the identification $$D (K) = {\mathrm{Hom}}(K^{\times} , K^{\times})$$ the map $${{\mathbb{Z}}}\longrightarrow {{\mathbb{Z}}}^{{\mathrm{alg}}} (K) = K \times {\mathrm{Hom}}(K^{\times} , K^{\times})$$ sends $n$ to $(n , a \mapsto a^n)$.

The exact sequence, where $\mu_K$ are the roots of unity in $K^{\times}$, $$1 \longrightarrow \mu_K \longrightarrow K^{\times} \longrightarrow K^{\times} / \mu_K \longrightarrow 1$$ corresponds to the exact sequence of commutative group schemes over $K$ $$1 \longrightarrow D^0 \longrightarrow D \longrightarrow D^{{\mathrm{\acute{e}t}}} \longrightarrow 1 \; .$$ Here $D^0 = {\mathrm{spec}\,}K [K^{\times} / \mu_K]$ is a pro-torus with character group $K^{\times} / \mu_K$ and $D^{{\mathrm{\acute{e}t}}} = {\hat{{{\mathbb{Z}}}}}/_K$ is the profinite completion of ${{\mathbb{Z}}}$ viewed as a pro-étale group scheme. Hence the connected étale sequence for ${{\mathbb{Z}}}^{{\mathrm{alg}}}_K$ reads as follows: $$0 \longrightarrow {\mathbb{G}}_a \times D^0 \longrightarrow {{\mathbb{Z}}}^{{\mathrm{alg}}}_K \longrightarrow {\hat{{{\mathbb{Z}}}}}/_K \longrightarrow 0 \; .$$ A similar description of $\Gamma^{{\mathrm{alg}}}$ can be given for any finitely generated abelian group $\Gamma$ instead of ${{\mathbb{Z}}}$.

For a connected topological space $X$ and a point $x \in X$ parallel transport along homotopy classes of paths in gave a homomorphism $$i : \pi_1 (X,x) \longrightarrow \pi_K (X,x) (K) \; .$$

\[t41\] Let $X$ be a path-connected, locally path-connected and semi-locally simply connected space. Then for any $x \in X$ and any field $K$, the map $i$ induces an isomorphism of affine group schemes over $K$ $$i^{{\mathrm{alg}}} : \pi_1 (X,x)^{{\mathrm{alg}}} {\stackrel{\sim}{\rightarrow}}\pi_K (X,x) \; .$$ The image under $i$ of $\pi_1 (X,x)$ is Zariski dense in $\pi_K (X,x)$. The maps $i$ and $i^{{\mathrm{alg}}}$ are functorial with respect to continuous maps of pointed spaces. The pseudo-torsor $P_X$ of and the universal covering ${\tilde{X}}$ of $X$ are related by an isomorphism $$P_X = {\tilde{X}}\times^{\pi_1 (X,x)} \pi_K (X,x) (K) \; .$$ In particular, $P_X$ is a torsor for the pro-discrete group $\pi_K (X,x) (K)$.

For the spaces $X$ in question, ${\mathbf{Fl}}_K (X)$ is $\otimes$-equivalent to ${\mathbf{Rep}}_K (\pi_1 (X,x))$ which implies the first assertions. The formula for $P_X$ and hence the fact that it is a torsor follows by going through the construction of $P_X$.

For an arbitrary connected topological space $X$ one obtains quotients of $\pi_K (X,x)$ as follows. Assume that a discrete group $\Gamma$ acts by homeomorphisms on a connected topological space $Y$ such that $X = Y / \Gamma$ and such that every point $y \in Y$ has a neighborhood $U$ with $U \cap U \gamma = \emptyset$ for all $\gamma \neq e$. The proof of Proposition \[t31\] applies also in this more general situation and gives an equivalence of categories $${\mathbf{Rep}}_K (\Gamma) {\stackrel{\sim}{\rightarrow}}{\mathbf{Fl}}_K (X) (\pi) \; , \; V \mapsto \pi^{\Gamma}_* (Y \times V) = Y \times^{\Gamma} V \; .$$ Here $\pi : Y \to X$ is the projection. As before, by Corollary \[t23\] the full subcategory ${\mathbf{Fl}}(X) (\pi)$ is closed under taking subobjects in ${\mathbf{Fl}}_K (X)$. The choice of a point $y \in Y$ over $x$ gives an identification of $V$ with $(Y \times^{\Gamma} V)_x$. Hence we get the following result:

\[t42\] The preceding construction gives a faithfully flat morphism of affine group schemes over $K$ depending on $y \in Y$ $$\pi_K (X,x) \twoheadrightarrow \Gamma^{{\mathrm{alg}}} \; .$$

One can define the projective limit $$\varprojlim_{(Y,y)} \Gamma^{{\mathrm{alg}}} = \varprojlim_{(Y,y)} {\mathrm{Aut}}(Y / X)^{{\mathrm{alg}}} \; .$$ I do not know when the resulting faithfully flat morphism of affine groups over $K$ $$\label{eq:36}
\pi_K (X,x) \twoheadrightarrow \varprojlim_{(Y,y)} \Gamma^{{\mathrm{alg}}}$$ is also a closed immersion and therefore an isomorphism. This is the case if and only if every flat bundle $E$ on $X$ is a subquotient of a bundle of the form $Y \times^{\Gamma} V$ above. This is true for locally connected topological spaces $X$ by Proposition \[t22\], b). In general there is a $\Gamma$-torsor $Y$ with $E = Y \times^{\Gamma} V$ by Theorems \[t24n\] and \[t25n\] but it may be disconnected. For the topological spaces in Theorem \[t41\] the condition is satisfied and is an isomorphism. In fact, the universal covering of $X$ dominates all other coverings and we see again that there is an isomorphism $$\pi_K (X,x) {\stackrel{\sim}{\rightarrow}}\pi_1 (X,x)^{{\mathrm{alg}}} \; .$$ We can calculate $\pi_K (X,x)$ for some solenoids using the following continuity property.

\[t43\] Let $\Lambda$ be a directed partially ordered set and $(X_{\lambda} , p_{\lambda \mu})$ a projective system indexed by $\Lambda$ of compact connected Hausdorff spaces and continuous maps. Fix a point $x$ of the compact connected Hausdorff space $X = \varprojlim_{\lambda \in \Lambda} X_{\lambda}$ and set $x_{\lambda} = p_{\lambda} (x)$ where $p_{\lambda} : X \to X_{\lambda}$ is the projection map. Let $K$ be a field. Then the morphisms of group schemes over $K$ $$p_{\lambda*} : \pi_K (X,x) \longrightarrow \pi_K (X_{\lambda} , x_{\lambda}) \quad \text{for} \; \lambda \in \Lambda$$ induce an isomorphism $$\pi_K (X,x) {\stackrel{\sim}{\rightarrow}}\varprojlim_{\lambda \in \Lambda} \pi_K (X_{\lambda} , x_{\lambda}) \; .$$

We have to show that $${\mathbf{Fl}}_K (X) = \varinjlim_{\lambda \in \Lambda} {\mathbf{Fl}}_K (X_{\lambda}) \; .$$ This means that flat bundles on $X$ and morphisms between them are obtained via $p^*_{\lambda}$ from bundles and morphisms on the level of $X_{\lambda}$ for some $\lambda \in \Lambda$. We show this for bundles. The proof for morphisms is similar. An analogous assertion for finite coverings instead of flat bundles is given in [@KS] Proposition 2.11. Following [@KS] we call a subset of $X$ basis-open if it is of the form $p^{-1}_{\lambda} (U)$ for some $\lambda \in \Lambda$ and some open $U \subset X_{\lambda}$. Since $\Lambda$ is directed, the basis-open subsets form a basis of the topology of $X$. In the proof of descent for bundles we will use the following four facts [**(A)**]{}–[**(D)**]{}.

[**(A)**]{} For $X = \varprojlim_{\lambda} X_{\lambda}$ as in the theorem, consider a subspace $Y_{\mu} \subset X_{\mu}$ for some $\mu \in \Lambda$. For $\lambda \ge \mu$ set $Y_{\lambda} = p^{-1}_{\lambda \mu} (Y_{\mu})$. Then the projective limit topology on $Y = \varprojlim_{\lambda} Y_{\lambda} \subset X$ equals the subspace topology of $Y$ in $X$.

This holds because a basis of the projective limit topology of $Y$ is given by the sets $$(p_{\lambda} |_Y)^{-1} (Y_{\lambda} \cap O_{\lambda}) = Y \cap p^{-1}_{\lambda} (Y_{\lambda}) \cap p^{-1}_{\lambda} (O_{\lambda}) = Y \cap p^{-1}_{\lambda} (O_{\lambda})$$ where $\lambda \ge \mu$ and $O_{\lambda} \subset X_{\lambda}$ is open.

[**(B)**]{} For $X = \varprojlim_{\lambda} X_{\lambda}$ as in the theorem, let $U^1_{\mu} , \ldots , U^n_{\mu}$ be open sets in $X_{\mu}$ such that $p^{-1}_{\mu} (U^1_{\mu}) , \ldots , p^{-1}_{\mu} (U^n_{\mu})$ are a cover of $X$. Then there is some $\lambda \ge \mu$ such that the open sets $U^i_{\lambda} =  p^{-1}_{\lambda \mu} (U^i_{\mu})$ form a cover of $X_{\lambda}$. Moreover this remains true for the pullbacks to $X_{\lambda'}$ for any $\lambda' \ge \lambda$.

Write $O = U^1_{\mu} \cup \ldots \cup U^n_{\mu}$. Then $O$ is open in $X_{\mu}$ and $p^{-1}_{\mu} (O) = X$. We have $$\emptyset = X \setminus p^{-1}_{\mu} (O) = \varprojlim_{\lambda \ge \mu} (X_{\lambda} \setminus p^{-1}_{\lambda \mu} (O)) \; .$$ The sets $X_{\lambda} \setminus p^{-1}_{\lambda \mu} (O)$ being compact and $\Lambda$ directed, it follows that $X_{\lambda} \setminus p^{-1}_{\lambda\mu} (O) = \emptyset$ for some $\lambda \ge \mu$ and hence $X_{\lambda'} = p^{-1}_{\lambda' \mu} (O)$ for all $\lambda' \ge \lambda$.

[**(C)**]{} For $X = \varprojlim_{\lambda} X_{\lambda}$ as in the theorem, let $g : X \to K$ be a locally constant function. Then there exists an index $\mu \in \Lambda$ and a locally constant function $g_{\mu} : X_{\mu} \to K$ such that $g = g_{\mu} {\mbox{\scriptsize $\,\circ\,$}}p_{\mu}$.

[**(D)**]{} In [**(C)**]{} if $g = g_{\mu_1} {\mbox{\scriptsize $\,\circ\,$}}p_{\mu_1} = g_{\mu_2} {\mbox{\scriptsize $\,\circ\,$}}p_{\mu_2}$ then for some $\lambda \ge \mu_1 , \lambda \ge \mu_2$ we have $g_{\mu_1} {\mbox{\scriptsize $\,\circ\,$}}p_{\lambda \mu_1} = g_{\mu_2} {\mbox{\scriptsize $\,\circ\,$}}p_{\lambda \mu_2}$. The same is true for any $\lambda' \ge \lambda$.

Assertions [**(C)**]{} and [**(D)**]{} are equivalent to the formula $$H^0 (X, {\underline{K}}) = \varinjlim_{\lambda} H^0 (X_{\lambda} , {\underline{K}}) \; .$$ This is a special case of [@B] Lemma 14.2 or Corollary 14.6.

Let $E$ be a flat bundle on $X$ and choose a finite trivializing atlas for $E$ whose open sets $U_1 , \ldots , U_n$ are basis-open. Let $(g_{ij})$ be the corresponding Čech cocycle. Since $\Lambda$ is directed there is some $\mu \in \Lambda$ with $U_i = p^{-1}_{\mu} (U^{\mu}_i)$ for all $i$ where $U^{\mu}_i$ is open in $X_{\mu}$. By assertion [**(A)**]{} we may assume that $U^{\mu}_1 , \ldots , U^{\mu}_n$ are a cover of $X_{\mu}$. Choose a cover $V^{\mu}_1 , \ldots , V^{\mu}_n$ of $X_{\mu}$ by open subsets with $V^{\mu}_i \subset A^{\mu}_i \subset U^{\mu}_i$ where $A^{\mu}_i$ is the closure of $V^{\mu}_i$ in $X_{\mu}$ and hence compact. Set $V_i = p^{-1}_{\mu} (V^{\mu}_i)$ and $A_i = p^{-1}_{\mu} (A^{\mu}_i)$. Then we have $V_i \subset A_i \subset U_i$ and $\{ V_i \}$ resp. $\{ A_i \}$ are open resp. closed covers of $X$. We have $$A_i \cap A_j = \varprojlim_{\lambda \ge \mu} p^{-1}_{\lambda} (A^{\lambda}_i \cap A^{\lambda}_j)$$ where $A^{\lambda}_i = p^{-1}_{\lambda \mu} (A^{\mu}_i)$ for all $i , \lambda \ge \mu$. Applying [**(A)**]{} and [**(C)**]{} to this projective system (and the component functions of $g_{ij} \, |_{A_i \cap A_j}$) it follows that there are locally constant functions $g^{\nu}_{ij} : A^{\nu} _i \cap A^{\nu}_j \to {\mathrm{GL}}_r (K)$ for some index $\nu \ge \mu$ such that we have $$g_{ij} \, |_{A_i \cap A_j} = g^{\nu}_{ij} {\mbox{\scriptsize $\,\circ\,$}}p_{\nu} \; .$$ The cocycle condition for the $g_{ij}$ gives the equations $$g_{ij} (x) {\mbox{\scriptsize $\,\circ\,$}}g_{jk} (x) = g_{ij} (x) \quad \text{for all} \; x \in A_i \cap A_j \cap A_k \; .$$ Applying [**(D)**]{} to the projective system $$A_i \cap A_j \cap A_k = \varprojlim_{\lambda \ge \nu} A^{\lambda}_i \cap A^{\lambda}_j \cap A^{\lambda}_k$$ it follows that from some index $\lambda \ge \nu$ on, the locally-constant functions $g^{\lambda}_{ij} = g^{\nu}_{ij} {\mbox{\scriptsize $\,\circ\,$}}p_{\lambda \nu}$ on $A^{\lambda}_i \cap A^{\lambda}_j$ satisfy the cocycle condition. Restricting the $g^{\lambda}_{ij}$ to $V^{\lambda}_i \cap V^{\lambda}_j$ we obtain a cocycle $(g^{\lambda}_{ij})$ of locally constant ${\mathrm{GL}}_r (K)$-valued functions on the open cover $\{ V^{\lambda}_i \}$ of $X_{\lambda}$. It defines a vector bundle $E_{\lambda}$ in ${\mathbf{Fl}}_K (X_{\lambda})$ together with a canonical isomorphism $p^*_{\lambda} E_{\lambda} \cong E$ in ${\mathbf{Fl}}_K (X)$.

Fix a set $P$ of prime numbers and let $\Lambda_P$ be the set of positive integers whose prime factors belong to $\Lambda_P$. Writing $\mu \le \lambda$ if $\mu$ divides $\lambda$ the set $\Lambda_P$ becomes a directed poset. For $\lambda \in \Lambda_P$ set $X_{\lambda} = {{\mathbb{R}}}/ {{\mathbb{Z}}}$ and for $\lambda \ge \mu$ let $p_{\lambda \mu} : X_{\lambda} \to X_{\mu}$ be the multiplication by $\lambda / \mu$. The projective limit is a solenoid $${\mathbb{S}}_P = \varprojlim_{\lambda \in \Lambda_P} X_{\lambda} = {{\mathbb{R}}}\times^{{{\mathbb{Z}}}} {\hat{{{\mathbb{Z}}}}}_P \; ,$$ where ${\hat{{{\mathbb{Z}}}}}_P = \prod_{p \in P} {{\mathbb{Z}}}_p$. Let $0$ be the zero element of the compact connected topological group ${\mathbb{S}}_P$. By Theorems \[t41\] and \[t43\] we have $$\pi_K ({\mathbb{S}}_P , 0) = \varprojlim_{\lambda \in \Lambda_P} \pi_K ({{\mathbb{R}}}/ {{\mathbb{Z}}}, 0) = \varprojlim_{\lambda \in \Lambda_P} {{\mathbb{Z}}}^{{\mathrm{alg}}}_K \; .$$ Here the transition map from the $\lambda$-th copy of ${{\mathbb{Z}}}^{{\mathrm{alg}}}_K$ to the $\mu$-th copy for $\lambda \ge \mu$ is given by multiplication with $\lambda / \mu$. This holds because $N$-multiplication on ${{\mathbb{R}}}/ {{\mathbb{Z}}}$ induces $N$-multiplication on $\pi_1 ({{\mathbb{R}}}/ {{\mathbb{Z}}}, 0) = {{\mathbb{Z}}}$ and hence also on $\pi_K ({{\mathbb{R}}}/ {{\mathbb{Z}}}, 0) = \pi_1 ({{\mathbb{R}}}/ {{\mathbb{Z}}}, 0)^{{\mathrm{alg}}}_K$. For simplicity we now assume that $K$ is algebraically closed of characterstic zero. Recall the decomposition ${{\mathbb{Z}}}^{{\mathrm{alg}}}_K = {\mathbb{G}}_a \times D$ of . For any positive integer $N$, the $N$-multiplication on ${\mathbb{G}}_a$ is an isomorphism and hence $$\varprojlim_{\lambda \in \Lambda_P} {\mathbb{G}}_a = {\mathbb{G}}_a \; .$$

On $D = {\mathrm{spec}\,}K [K^{\times}]$ the $N$-multiplication map comes from the $N$-th power map on $K^{\times}$. Hence we have $${\mathbb{D}}_P := \varprojlim_{\lambda \in \Lambda_P} D = {\mathrm{spec}\,}K \big[ \varinjlim_{\lambda \in \Lambda_P} K^{\times} \big] = {\mathrm{spec}\,}K [K^{\times} / \mu_{P^{\infty}}] \; ,$$ where $$\mu_{P^{\infty}} = \{ \zeta \in K^{\times} \mid \zeta^{\lambda} = 1 \quad \text{for some} \; \lambda \in \Lambda_P \} \; .$$ Thus we find: $$\pi_K ({\mathbb{S}}_P , 0) = {\mathbb{G}}_a \times {\mathbb{D}}_P \; .$$ The connected component ${\mathbb{D}}^0_P$ of ${\mathbb{D}}_P$ is independent of $P$. It is the pro-torus $${\mathbb{D}}^0 = {\mathrm{spec}\,}K [K^{\times} / \mu_K ]$$ with character group $K^{\times} / \mu_K$. The maximal pro-étale quotient of ${\mathbb{D}}$ is the pro-étale group scheme with character group $\mu_K / \mu_{P^{\infty}}$. It is isomorphic to $\prod_{p \notin P} {{\mathbb{Z}}}_p$ viewed as a pro-finite-constant group scheme over $K$. Hence we have $$\pi_K ({\mathbb{S}}_P , 0)^0 = {\mathbb{G}}_a \times {\mathbb{D}}^0 \quad \text{and} \quad \pi_K ({\mathbb{S}}_P , 0)^{{\mathrm{\acute{e}t}}} = \prod_{p \notin P} {{\mathbb{Z}}}_p /_K \; .$$ Via the isomorphism $$\pi^{{\mathrm{\acute{e}t}}}_1 ({\mathbb{S}}_P , 0) /_K {\stackrel{\sim}{\rightarrow}}\pi_K ({\mathbb{S}}_P , 0)^{{\mathrm{\acute{e}t}}} = \prod_{p \notin P} {{\mathbb{Z}}}_p /_K \; ,$$ we see that the more multiplications by primes are inverted on $S^1$ by passing to the solenoid ${\mathbb{S}}_P$, the fewer finite coverings remain. For the full solenoid ${\mathbb{S}}$ where $P$ consists of all prime numbers we have $$\pi^{{\mathrm{\acute{e}t}}}_1 ({\mathbb{S}}, 0)_K = \pi_K ({\mathbb{S}}, 0)^{{\mathrm{\acute{e}t}}} = 0 \; .$$ Hence $$\pi_K ({\mathbb{S}}, 0) = {\mathbb{G}}_a \times {\mathbb{D}}^0$$ is connected, where ${\mathbb{D}}^0$ is the pro-torus with character group $K^{\times} / \mu_K$.

The Čech fundamental group $\check{\pi}_1$ is continuous and hence we have $$\check{\pi}_1 ({\mathbb{S}}_P , 0) = \varprojlim_{\lambda} \check{\pi}_1 ({{\mathbb{R}}}/ {{\mathbb{Z}}}, 0) = \varprojlim_{\lambda} {{\mathbb{Z}}}\; .$$ Here the transition maps are multiplication by $\lambda / \mu$ as before. It follows that $\check{\pi}_1 ({\mathbb{S}}_P , 0)$ is trivial.

We now relate the groups $\pi_K (X, x)$ to cohomology. For a topological space $X$ let $H^i (X , {\mathcal{F}})$ denote the derived functor cohomology of a sheaf of abelian groups ${\mathcal{F}}$. For $i = 0 , 1$ it is isomorphic to Čech cohomology. For a sheaf of possibly non-abelian groups ${{\mathcal G}}$ we consider the Čech cohomology set $\check{H}^1 (X , {{\mathcal G}})$.

\[t44\] Let $X$ be a connected topological space, $x \in X$ and $K$ a field, $r \ge 1$.\
a) There is a canonical isomorphism $${\mathrm{Hom}}(\pi_K (X,x) , {\mathrm{GL}}_{r / K}) / {\mathrm{GL}}_r (K) {\stackrel{\sim}{\rightarrow}}H^1 (X , {\underline{{\mathrm{GL}}}}_r (K)) \; .$$ Here ${\mathrm{GL}}_r (K)$ acts by conjugation on the group scheme ${\mathrm{GL}}_{r / K}$. In particular $${\mathrm{Hom}}(\pi_K (X,x) , {\mathbb{G}}_m) {\stackrel{\sim}{\rightarrow}}H^1 (X , {\underline{K}}^{\times}) \; .$$ b) There is a canonical isomorphism $${\mathrm{Hom}}(\pi_K (X,x) , {\mathbb{G}}_a) {\stackrel{\sim}{\rightarrow}}H^1 (X, {\underline{K}}) \; .$$ c) The above maps are functorial with respect to base point preserving continuous maps of connected topological spaces.

a\) Both sides describe isomorphism classes of flat vector bundles of rank $r$ on $X$.\
b) We have an isomorphism where $\pi_K (X,x)$ acts trivially on ${{\mathbb{A}}}_K = {{\mathbb{A}}}^1_K$ $$\label{eq:41}
{\mathrm{Hom}}(\pi_K (X,x) , {\mathbb{G}}_a) = {\mathrm{Ext}}^1_{\pi_K (X,x)} ({{\mathbb{A}}}_K , {{\mathbb{A}}}_K) \; .$$ Namely, we view ${\mathbb{G}}_a$ as the algebraic group $U_2$ of unipotent matrices $\left( \begin{smallmatrix} 1 & * \\ 0 & 1 \end{smallmatrix} \right)$. Given a homomorphism $\lambda : \pi_K (X,x) \to {\mathbb{G}}_a$ we let $\pi_K (X,x)$ act on ${{\mathbb{A}}}^2_K$ via $U_2$. This defines an extension of ${{\mathbb{A}}}_K$ by itself in ${\mathbf{Rep}}_K (\pi_K (X,x))$. The resulting map is the isomorphism . By the equivalence of categories $${\mathbf{Rep}}_K (\pi_K (X,x)) {\stackrel{\sim}{\rightarrow}}{\mathbf{Loc}}_K (X)$$ we obtain an isomorphism: $${\mathrm{Hom}}(\pi_K (X,x) , {\mathbb{G}}_a) {\stackrel{\sim}{\rightarrow}}{\mathrm{Ext}}^1_{{\mathbf{Loc}}_K (X)} ({\underline{K}}, {\underline{K}}) \overset{(!)}{=} {\mathrm{Ext}}^1_X ({\underline{K}}, {\underline{K}}) = H^1 ( X , {\underline{K}}) \; .$$ Note here that any extension of sheaves of $K$-vector spaces $$0 \longrightarrow {\underline{K}}\longrightarrow {\mathcal{F}}\longrightarrow {\underline{K}}\longrightarrow 0$$ splits locally, so that ${\mathcal{F}}$ is in ${\mathbf{Loc}}_K (X)$. This holds because for all $y \in X$ we have $\varinjlim_{U \ni y} H^1 (U , {\underline{K}}) = 0$, a special case of [@G] 3.8.2 Lemma. For another proof of b) we could argue that $H^1 (X , {\underline{K}}) = \check{H}^1 (X , U_2 (K))$ classifies the isomorphism classes of rank $2$ unipotent flat bundles, i.e. extensions in ${\mathbf{Fl}}_K (X)$ of ${\underline{K}}$ by itself, and argue as above. Here the lemma from [@G] is implicitely used in the identification of $H^1$ with Čech $\check{H}^1$.

a\) It is instructive to apply the proposition to the solenoids ${\mathbb{S}}_P$.\
b) Cohomology is a functor under [*arbitrary*]{} continuous maps. This is not clear to me for the left hand sides of the isomorphisms in the proposition for general $K$. Namely, I do not know if the conjugacies coming from the isomorphisms of the fibre functors in different points are in general already defined over $K$. This is the case if $K$ is algebraically closed, by Deligne’s general result on fibre functors [@D].

There is a canonical exact sequence $$1 \longrightarrow \pi^u_K (X,x) \longrightarrow \pi_K (X,x) \longrightarrow \pi^{{\mathrm{red}}}_K (X,x) \longrightarrow 1 \; .$$ Here $\pi^{{\mathrm{red}}}_K (X,x)$ is the maximal pro-reductive quotient of $\pi_K (X,x)$ and $\pi^u_K (X,x)$ the pro-unipotent radical, a connected group scheme. For a field extension $L / K$ the natural morphism $$\label{eq:42}
\pi_L (X,x) \longrightarrow \pi_K (X,x) \otimes_K L$$ of group schemes over $L$ is faithfully flat and this holds similarly for $\pi^u_K$ and $\pi^{{\mathrm{red}}}_K$. The example of $X = S^1$ already shows that $\pi^{{\mathrm{red}}}_K$ and hence $\pi_K$ itself do not commute with the base change $L / K$, i.e. is not an isomorphism. However, in the example $X = S^1$, the unipotent part $\pi^u_K (S^1 , x) = {\mathbb{G}}_{a,K}$ does commute with base change and this may be true in general.

The ${\mathrm{Ext}}$-groups in ${\mathbf{Fl}}_K (X)$ for ${\mathrm{char}}K = 0$ may be expressed in terms of $\pi_K = \pi_K (X,x)$-cohomology by the standard Tannakian formalism, c.f. [@Ja] Appendix C4. Namely, for flat vector bundles $F$ and $E$ corresponding to $\pi_K (X,x)$-representations on $F_x$ and $E_x$ we have $${\mathrm{Ext}}^i_{{\mathbf{Fl}}_K (X)} (F,E) = H^i (\pi_K , {\underline{{\mathrm{Hom}}}}(F_x , E_x)) \; .$$ Here $H^i$ is the (colimit of the) cohomology theory introduced in [@H]. Moreover, for a $\pi_K (X,x)$-representation on a finite dimensional $K$-vector space $V_x$, we have $$H^i (\pi_K , V_x) = H^i (\pi^u_K , V_x)^{\pi^{{\mathrm{red}}}_K}$$ and $$H^i (\pi^u_K , V_x) = H^i ({\mathrm{Lie}\,}\pi^u_K , V_x)^{\pi^{{\mathrm{red}}}_K} \; .$$ Setting $V = {\underline{{\mathrm{Hom}}}}(F,E)$ in ${\mathbf{Fl}}_K (X)$, we therefore obtain $${\mathrm{Ext}}^i_{{\mathbf{Fl}}_K (X)} (F, E) = H^i ({\mathrm{Lie}\,}\pi^u_K , V_x)^{\pi^{{\mathrm{red}}}_K} \; .$$ The full subcategory ${\mathbf{Loc}}_K (X)$ of the category of all sheaves of $K$-vector spaces on $X$ is stable under extensions. Hence for $F = {\underline{K}}$ and $i = 0,1$ we get an isomorphism $$H^i (X,E) = H^i ({\mathrm{Lie}\,}\pi^u_K , E_x)^{\pi^{{\mathrm{red}}}_K} \; .$$ For $i = 2$ the group on the left contains the one on the right.

We end with a couple of open issues:

Does $\pi^u_K (X,x)$ commute with base change to fields $L / K$?

For pointed connected spaces $(X,x) , (X' , x')$ consider the natural faithfully flat map $$\label{eq:43}
\pi_K (X \times X' , (x,x')) \longrightarrow \pi_K (X,x) \times_K \pi_K (X',x')$$ induced by the projections. Note that is split by the product of the morphisms induced by the maps $X \to X \times X' , z \mapsto (z, x')$ and $X' \to X \times X' , z' \mapsto (x,z')$. In what generality are and its variants for $\pi^u_K$ and $\pi^{{\mathrm{red}}}_K$ isomorphisms?

We introduced fundamental groupoids in our setting with a view towards proving Mayer-Vietoris results, at least for $\pi^u_K$. According to [@L] there exist free products for pro-unipotent algebraic group schemes. One would also need amalgamated products.

[EHS08]{}

Glen E. Bredon. , volume 170 of [*Graduate Texts in Mathematics*]{}. Springer-Verlag, New York, second edition, 1997.

Pierre Deligne. Letter to [A]{}. [V]{}asiu, Nov. 30, 2011. http://publications.ias.edu/deligne/paper/2653.

Pierre Deligne and James S. Milne. Tannakian categories. In [*Hodge cycles, motives, and [S]{}himura varieties*]{}, volume 900 of [*Lecture Notes in Mathematics*]{}, pages 101–228. Springer-Verlag, Berlin-New York, 1982.

Hélène Esnault, Phùng Hô Hai, and Xiaotao Sun. On [N]{}ori’s fundamental group scheme. In [*Geometry and dynamics of groups and spaces*]{}, volume 265 of [*Progr. Math.*]{}, pages 377–398. Birkhäuser, Basel, 2008.

Alexander Grothendieck. Sur quelques points d’algèbre homologique. , 9:119–221, 1957.

Alexander Grothendieck. , volume 1960/61 of [*Séminaire de Géométrie Algébrique*]{}. Institut des Hautes Études Scientifiques, Paris, 1963.

G. Hochschild. Cohomology of algebraic linear groups. , 5:492–519, 1961.

Uwe Jannsen. , volume 1400 of [ *Lecture Notes in Mathematics*]{}. Springer-Verlag, Berlin, 1990. With appendices by S. Bloch and C. Schoen.

John F. Kennison. The fundamental group of a topos. , 30(1):23–38, 1983.

Robert A. Kucharczyk and Peter Scholze. Topological realisations of absolute [G]{}alois groups. In [*Cohomology of arithmetic groups*]{}, volume 245 of [*Springer Proc. Math. Stat.*]{}, pages 201–288. Springer, Cham, 2018.

Alexander Lubotzky and Andy R. Magid. Unipotent and prounipotent groups: cohomology and presentations. , 7(1):251–254, 1982.

Madhav V. Nori. The fundamental group-scheme. , 91(2):73–122, 1982.

Jonathan Pridham. The pro-unipotent radical of the pro-algebraic fundamental group of a compact [K]{}ähler manifold. , 16(1):147–178, 2007.

Carlos T. Simpson. Higgs bundles and local systems. , (75):5–95, 1992.

William C. Waterhouse. , volume 66 of [ *Graduate Texts in Mathematics*]{}. Springer-Verlag, New York-Berlin, 1979.

[^1]: Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044–390685587, Mathematics Münster: Dynamics–Geometry–Structure.
