Let $k$ be a field, $X$ a smooth projective variety over $k$, $\overline{X} := X\times\_k {k}^{\rm sep}$ for a separable closure ${k}^{\rm sep}$ of $k$, $\ell$ a prime with $\ell\in k^{\times}$.



> 
> Are the Galois cohomology groups $$H^i(\text{Gal}({k}^{\rm sep}/k),H^j\_{\rm ét}(\overline{X},\mathbf{Z}\_{\ell}))$$
>  **finite** for $i\ge 1$, $j\ge 0$? **Are they torsion?**
> 
> 
> 


I would appreciate to get some references.


I have seen stated that $H^1(\text{Gal}({k}^{\rm sep}/k),H^j\_{\rm ét}(\overline{X},\mathbf{Z}\_{\ell}))$ is finite for $j\ge 0$ and $k$ a finite field, but I had the impression this should be a general fact about cohomology of profinite groups with coefficients in finitely generated $\mathbf{Z}\_{\ell}$-modules with appropriate action.



Finiteness of Galois cohomology
I'm not sure what's going on with this question, but let me drop a few lines to summarize what the official position should be.


First off, I can't think about any situation these groups may occur beyond that of a Hochschild-Serre spectral sequence, so I hope group cohomology here is meant to be continuous group cohomology, and $\mathbf{Z}\_{\ell}$-cohomology must then mean continuous étale cohomology.


The given answer (the accepted one) is incorrect.


In the functorial short exact sequences


$$0\to {\lim}^1 H^{i-1}(X\_{\rm ét},\mathbf{Z}/(\ell^n))\to H^i\to \lim H^i(X\_{\rm ét},\mathbf{Z}/(\ell^n))\to 0$$


where $H^i$ is either $H^i(X\_{\rm proét},\underline{\mathbf{Z}}\_{\ell})$ or Jannsen's continuous étale cohomology $H^i\_{\rm cont}(X,\{\mathbf{Z}/(\ell^n)\})$ (since they agree for any $X$) the ${\lim}^1$ term vanishes as soon as $H^{i-1}(X\_{\rm ét},\mathbf{Z}/(\ell^n))$ is finite, by Mittag-Leffler.


In particular, if $X$ is defined over a separably closed field and proper (as in the OP's assumptions), $H^i$ agrees with usual $\ell$-adic cohomology. 


Will's example is the typical way to show that geometric $\ell$-adic cohomology is usually not a discrete Galois representation, so any argument trying to infer $H^i(\text{Gal}(k^{\rm sep}/k), H^j)$ is torsion for $i>0$ and $j\ge 0$ from discreteness of $H^j$ is wrong. 


Also, it is wrong to say that the same argument as for geometric étale cohomology of abelian sheaves, showing the Galois action is discrete, works for proétale cohomology. One can define the action abstractly and the concrete way as in the accepted answer, but these two actions don't generally agree anymore. It boils down to the fact that evaluation at usual geometric points does not give a conservative family of fiber functors on the proétale topos.


Both questions asked by the OP have negative answer, regardless of what $H^i$ is meant to be, among the possibilities discussed here.


Maybe the OP was meaning to ask something different?


