For any topological space $X$ we have a natural functor

$\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$

from the category of coverings of $X$ to the category of functors $\pi_1(X) \rightarrow \text{Set}$ from the fundamental groupoid to sets, which to a covering $p: Y \rightarrow X$ associates the fiber functor. This functor is always faithful, and for nice spaces (locally path-connected) it is fully faithful. For even nicer spaces (locally path-connected and semi-locally simply connected) it is even an equivalence.

However for general spaces this shouldn't be true. In particular it should not be true for all totally disconnected spaces, because this would imply that every covering of a totally disconnected space with constant fiber is trivial, since the set-theoretic identity $X \rightarrow X$ induces an isomorphism between $\pi_1(X)$ and the fundamental groupoid of $X$ considered as a discrete topological space.

**So my first question is:** Does there exist a totally disconnected space which admits a non-trivial covering with constant fiber?

The isomorphism classes of coverings of $X$ of degree $n$ are classified by the first Cech-cohomology set $H^1(X,\underline{S_n})$ with values in the constant sheaf $\underline{S_n}$. Therefore all coverings of degree $n$ of $X$ are trivial precisely iff

$H^1(X,\underline{S}_n) = 1$

I was hoping one could construct an example for $n = 2$ and $X = \mathbb{Z}_3$ by showing that

$H^1(\mathbb{Z}_3,\underline{S_2}) \neq 1$

**So my second question is:** Does $H^1(\mathbb{Z}_3, \underline{S_2})$ vanish?

Identify $S_2$ with the group $\mu_2 = \{\pm 1\}$ and consider the exact sequence

$ 1 \rightarrow \underline{\mu_2} = \mathcal{C}_{\mu_2} \rightarrow \mathcal{C}_{\mathbb{C}^\times} \rightarrow \mathcal{C}_{\mathbb{C}^\times} \rightarrow 1 $

of sheaves of abelian groups induced by the sequence

$ 1 \rightarrow \mu_2 \rightarrow \mathbb{C}^\times \stackrel{z \mapsto z^2}{\rightarrow} \mathbb{C}^\times \rightarrow 1$

Here $\mathcal{C}_A$ for an abelian topological group $A$ denotes the sheaf of continuos functions with values in $A$. Taking the long exact sequence in Cech cohomology we see that we have an embedding

$ \text{coker}(\mathcal{C}_{\mathbb{C}^\times}(\mathbb{Z}_3) \stackrel{f(z) \mapsto f(z)^2}{\rightarrow} \mathcal{C}_{\mathbb{C}^\times}(\mathbb{Z}_3)) \hookrightarrow H^1(\mathbb{Z}_3,\underline{\mu_2})$

Therefore we could show non-vanishing by constructing a continuous function $\mathbb{Z}_3 \rightarrow \mathbb{C}^\times$ which does not admit a continous square root. I almost thought I had found such an example by mapping $\mathbb{Z}_3$ to a Sierpinski gasket in $\mathbb{C}^\times$ whose 'central hole' contains the origin, but it seems that one can actually construct a square root in this example.

**My third (and final) question therefore is:** Does there exist a continuous function $\mathbb{Z}_3 \rightarrow \mathbb{C}^\times$ which is not a square of another such function?