[Math] Why are local systems and representations of the fundamental group equivalent

ag.algebraic-geometryat.algebraic-topologyreference-request

My question: Let X be a sufficiently 'nice' topological space. Then there is an equivalence between representations of the fundamental group of X and local systems on X, i.e. sheaves on X locally isomorphic to a constant sheaf. Does anyone know of a self contained, detailed treatment of this suitable for my background? I've looked at the first few pages of Delignes "Équations différentielles à points singuliers réguliers" (which my advisor suggested I take a look at) but here it just says that the equivalence is "well known", giving no reference. Neither googling ("local systems representations fundamental group") (nothing usable comes up), wiki nor the nLab entry (not detailed anough and more interested in generalisation) on local systems were of much help to me. I apologise in case the equivalence should obvious once one knows about universal covering spaces/deck transformations. I haven't learned those yet. If so, please let me know.

Why I care: I am trying to read Simpsons "Higgs bundles and local systems",. Publ. Math. I. H. E. S. 75 (1992) 5–95". Simpson assumes this equivalence but gives no references.

If there is any way this question could be improved upon, please let me know.

Feel free to retag.

Best Answer

I agree that the correspondence between representations of the fundamental group(oid) and locally constant sheaves is not very well documented in the basic literature. Whenever it comes up with my students, I end up having to sketch it out on the blackboard. However, my recollection is that Spanier's Algebraic Topology gives the correspondence as a set of exercises with hints. In any case, one direction is easy to describe as follows. Suppose that $X$ is a good connected space X (e.g. a manifold). Let $\tilde X\to X$ denote its universal cover. Given a representation of its fundamental $\rho:\pi_1(X)\to GL(V)$, one can form the sheaf of sections of the bundle $(\tilde X\times V)/\pi_1(X)\to X$. More explicitly, the sections of the sheaf over U can be identified with the continuous functions $f:\tilde U\to V$ satisfying $$f(\gamma x) = \rho(\gamma) f(x)$$ for $\gamma\in \pi_1(X)$. This sheaf can be checked to be locally constant. Essentially the same procedure produces a flat vector bundle, i.e. a vector bundle with locally constant transition functions. This is yet another object equivalent to a representation of the fundamental group.

With regard to your other comments, perhaps I should emphasize that the Narasimhan-Seshadri correspondence is between stable vector bundles of degree 0 and irreducible unitary representations of the fundamental group. The bundle is constructed as indicated above. Anyway, this sounds like a good Diplom thesis problem. Have fun.

Related Question