# The relation between group cohomology and the cohomology of the classifying space

We know that the Borel group cohomology (group cohomology of measurable functions) of a group $G$, ${\cal H}_B^d(G,Z)$, is given by the cohomology of the classifying space: ${\cal H}_B^d(G,Z)=H^d(BG,Z)$. However, ${\cal H}_B^d(G,R/Z)\neq H^d(BG,R/Z)$, since for example: $H^d(BU(1),R/Z) = R/Z$ for even $d$ and $H^d(BU(1),R/Z) = 0$ for odd $d$; while ${\cal H}_B^d(BU(1),R/Z)=0$ for even $d$ and ${\cal H}_B^d(BU(1),R/Z)=Z$ for odd $d$. Instead, we have ${\cal H}^d(G,R/Z) = H^{d+1}(BG,Z)$.

My question is that do we have any relations between ${\cal H}_B^*(G,M)$ and $H^*(BG,M')$ where $G$ can be continuous, $M$ can be $Z_n$, and $M'$ can be different from $M$? In particular, I would like to know how ${\cal H}_B^*(G,Z_n)$ is related to $H^*(BG,M')$ when $G$ is continuous.

A related question group cohomology and cohomology of classifying space is closed. I hope it can be reopen.

Yes, there is a relation between these cohomology groups. The results you are referring to are contained for instance in Austin-Moore "Continuity properties of measurable group cohomology" http://arxiv.org/abs/1004.4937 and in parts already in Wigner "Algebraic cohomology of topological groups" [http://projecteuclid.org/euclid.bams/1183532101].

To understand the relation in general one can consider topological group cohomology and different models of it. This has the draw-back that it restricts the groups to which the results apply (for instance to finite-dimensional Lie groups), but has the advantage that the different models for it provide many useful relations to other concepts from algebraic topology, where classifying space cohomology is one instance of.

To make it short, the measurable cohomology (which I think you refer to with "Borel group cohomology") of a compact group $$G$$ with coefficients in a finite-dimensional connected abelian Lie group $$A$$ is the cohomology of the classifying space with a degree shift: $$H^n_{B}(G,A)\cong H^{n+1}(BG,\pi_1(A))$$. This explains the phenomenon you describe. More on this can be found in [http://arxiv.org/abs/1110.3304] (see in particular Remark 4.13 for the relation to measurable cohomology).

• Christoph Wockel: Thank you very much. Do your results apply to Borel group cohomology $H^d_B(G,Z_n)$ when $G$ is continuous? Nov 7, 2014 at 4:33
• Our results work also for finite-dimensional locally compact groups. The problems with $Z_n$-coefficients would be to find a short exact sequence $Z_n \to E \to A$ where you see that $H^n_B(G,E)$ vanishes. (To this sequence you would like to apply the long exact sequence to in oder to identify $H^n_B(G,Z_n)$ with $H^n_B(G,A)$ in case $H^n_B(G,E)$ vanishes. For $Z$ you can take $Z \to R \to U(1)$.) Nov 7, 2014 at 7:51
• Christoph: Do you have an example of a short exact sequence $Z_n\to E\to A$ such that that $H^n_B(G,E)$ vanishes? Nov 8, 2014 at 12:57
• @Xiao-Gang: Yes, this runs under the name "dimension shifting". Take $E Z_n$ the group of (equivalence classes of) measurable $Z_n$-valued functions on the unit interval. With the distance in measure this should be a contractible polish group. Then take $C(G,E Z_n)$, which is still contractible and polish. Moreover, it is soft, so the topological group cohomology (and under the above assumption on $G$) of it vanishes (see the appendix in our paper). Since $Z_n$ is finite, it acts properly discontinuously on $C(G,E Z_n)$ and so $E:=C(G,E Z_n)\to C(G,E Z_n)/Z_n=:A$ has a continuous section. Nov 11, 2014 at 8:45
• Christoph: Thank you very much. $H^n(BG,Z_m)\cong H^n_B(G,Z_m)\cong H^n_t(G,Z_m)$ are the relations I am asking. We know that $H^n(BG,Z)\cong H^n_B(G,Z)\cong H^n_t(G,Z)$, but we do not have $H^n(BG,R/Z)\cong H^n_B(G,R/Z)\cong H^n_t(G,R/Z)$. So I do not know if $H^n(BG,Z_m)\cong H^n_B(G,Z_m)\cong H^n_t(G,Z_m)$ is valid for continuous group $G$. You seems suggest that it is valid. Is there any ref? Also what is "topological group cohomology"? Nov 13, 2014 at 12:02

For a modern and general treatment of group cohomology and classifying space, see Flach's paper.