Before me, the following was asked:
[etale fundamental group and etale cohomology of curves](https://mathoverflow.net/questions/16566/etale-fundamental-group-and-etale-cohomology-of-curves)


However, that question dealt only with projective curves.


### Question


Let $X$ be any scheme (or if you prefer something more concrete, a variety over some field), and let $l$ be some prime different from the characteristics of the residue fields of $X$ (respectively, the characteristic of the field over which the variety is defined), then is there an isomorphism $Hom\_{cont}(\pi\_1^{et}(X),\mathbb{Q}\_l)\cong H^1\_c(X,\mathbb{Q}\_l)$?



The etale fundamental group and etale cohomology with compact support
In general, it's always true (for a connected scheme) that $H^1\_{et}(X, \mathbb{Z}/l \mathbb{Z}) = \hom(\pi\_1^{et}(X), \mathbb{Z}/l\mathbb{Z})$ (not compactly supported). Taking inverse limits over $l$ then gives the claim.


The reason this is true is that $H^1\_{et}(X, \mathbb{Z}/l\mathbb{Z}$) can be computed by Cech cocycles, and from this it follows that elements of this group classify torsors over $\mathbb{Z}/l\mathbb{Z}$ (i.e. sheaves with a $\mathbb{Z}/l\mathbb{Z}$-action which are locally the constant $\mathbb{Z}/l \mathbb{Z}$ (in the etale topology)). But these, by descent theory, are the same as Galois covers of $X$ with Galois group $\mathbb{Z}/l\mathbb{Z}$, and (by Galois theory) classified by maps from the etale fundamental group into $\mathbb{Z}/l\mathbb{Z}$.


