Hurewicz theorem related to Galois group (or Tannakian categories)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T15:12:52Z http://mathoverflow.net/feeds/question/56431 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56431/hurewicz-theorem-related-to-galois-group-or-tannakian-categories Hurewicz theorem related to Galois group (or Tannakian categories)? Jakob 2011-02-23T19:06:45Z 2011-03-05T02:35:43Z <p>Is there a proof of the Hurewicz theorem $\pi_1(X)^{ab} = H_1(X, \mathbf Z)$ ($X$ a connected topological space) expressing $\pi_1(X)$ as the "Galois" group of $X$, i.e., group of deck transformations of the universal cover?</p> <p>(as opposed to a proof using the construction of $\pi_1$ as the group of paths up to homotopy).</p> <p>Thank you.</p> http://mathoverflow.net/questions/56431/hurewicz-theorem-related-to-galois-group-or-tannakian-categories/57428#57428 Answer by Denis-Charles Cisinski for Hurewicz theorem related to Galois group (or Tannakian categories)? Denis-Charles Cisinski 2011-03-05T02:35:43Z 2011-03-05T02:35:43Z <p>For $X$ a $0$-connected nice space (say, a CW-complex), and for any group $G$, there is a natural bijection of the following shape</p> <p>$$[X,BG]\simeq Hom(\pi_1(X),G)$$</p> <p>which can be proved roughly as follows (if you like tannakian-like arguments): maps from $X$ to $BG$ correspond to $G$-torsor over $X$, which correspond to maps of topoi from the topos of sheaves over $X$ to the topos of $G$-sets; but, as any $G$-torsor is locally constant, this also corresponds to the maps of topoi from the topos of locally constant sheaves over $X$ to the topos of $G$-sets. As, by Galois theory, the topos of locally constant sheaves over $X$ is canonically equivalent to the topos of $\pi_1(X)$-sets, we conclude from the fact that, given two groups $A$ and $B$, exact and colimit preserving functors from $B$-sets to $A$-sets correspond to homomorphisms of groups from $A$ to $B$.</p> <p>To be precise, $[X,BG]$ means the set of homotopy classes of maps from $X$ to $BG$, while for $G$ an abelian group, $Hom(\pi_1(X),G)$ means the set of group homomorphisms (for a non abelian $G$'s, we have to quotient a little bit, but we won't care here).</p> <p>For $A$ an abelian group, we thus get bijections $$H^1(X,A)\simeq [X,BA]\simeq Hom(\pi_1(X)^{ab},A) .$$ By the Yoneda lemma, to prove that the map $\pi_1(X)^{ab}\to H_1(X,\mathbf{Z})$ is bijective, it is sufficient to prove that, for any abelian group $A$, the map $$&lt;\star> \quad Hom(H_1(X,\mathbf{Z}),A)\to Hom(\pi_1(X)^{ab},A)$$ is bijective. But, instead of checking this for all $A$'s, it is sufficient to prove this in the case where $A$ is an injective object in the category of abelian groups (because there are enough injectives). In this case, as $Hom(-,A)$ is an exact functor, we have a bijection $$Hom(H_1(X,\mathbf{Z}),A)\simeq H^1(X,A) .$$ Therefore, for any injective $A$, the map $&lt;\star>$ is bijective.</p> <p>If you like topoi and pro-groups, you may play the same game and prove this for locally $0$-connected topoi with essentially the same argument.</p>