9
$\begingroup$

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.

Improve this question
$\endgroup$
1

2 Answers 2

Reset to default
8
$\begingroup$

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).

Improve this answer
$\endgroup$
8
  • $\begingroup$ Christoph Wockel: Thank you very much. Do your results apply to Borel group cohomology $H^d_B(G,Z_n)$ when $G$ is continuous? $\endgroup$
    – Xiao-Gang Wen
    Commented Nov 7, 2014 at 4:33
  • $\begingroup$ 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)$.) $\endgroup$
    – Christoph Wockel
    Commented Nov 7, 2014 at 7:51
  • $\begingroup$ 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? $\endgroup$
    – Xiao-Gang Wen
    Commented Nov 8, 2014 at 12:57
  • $\begingroup$ @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. $\endgroup$
    – Christoph Wockel
    Commented Nov 11, 2014 at 8:45
  • 1
    $\begingroup$ 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"? $\endgroup$
    – Xiao-Gang Wen
    Commented Nov 13, 2014 at 12:02
1
$\begingroup$

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

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .