Skip to main content
13 events
when toggle format what by license comment
Sep 30, 2021 at 21:56 history edited Kevin Walker CC BY-SA 4.0
added 65 characters in body
Sep 30, 2021 at 21:53 history rollback Kevin Walker
Rollback to Revision 1
Sep 30, 2021 at 21:53 history edited Kevin Walker CC BY-SA 4.0
URLs were incorrectly incorporating right-bracket
Jun 1, 2018 at 21:51 vote accept Xiao-Gang Wen
Nov 13, 2014 at 12:02 comment added Xiao-Gang Wen 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 7:45 comment added Christoph Wockel Sorry, there are too many $H^n$ flying around. Let us call $H^n_{t}(G,A)$ the topological group cohomology and $H^n(BG,A)$ the cohomology of the classifying space with discrete coefficients $A$. What we have are the isomorphisms $H^n(BG,Z_m)\cong H^n_B(G,Z_m)\cong H^{n+1}_B(G,A)$ for $A$ as described (and $G$ locally compact and finite-dimensional), and also $H^n(BG,Z_m)\cong H^n_t(G,Z_m)\cong H^{n+1}_t(G,A)$. Could you now repeat your question?
Nov 11, 2014 at 14:07 comment added Xiao-Gang Wen Or I wonder if we can show $H_B^*(G,Z_n)=H^*(BG,Z_n)$ for continuous group. If not, how can we modify the relation to make it valid.
Nov 11, 2014 at 11:53 comment added Xiao-Gang Wen Christoph: thank you very much for explaining. Using your above construction, now we have $H^n_B(G,A)\simeq H^{n+1}_B(G,Z_n)$ for measurable group cohomology, or $H^n(BG,A)\simeq H^{n+1}(BG,Z_n)$ for topological cohomology, which is very very interesting. My question here is can we use a similar construction to find the relation between group cohomology $H^*_B(G,Z_n)$ and topological cohomology $H^*(BG,M)$ with some properly chosen $M$ (where $G$ can be continuous).
Nov 11, 2014 at 8:45 comment added Christoph Wockel @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 8, 2014 at 12:57 comment added Xiao-Gang Wen 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 7, 2014 at 7:51 comment added Christoph Wockel 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 4:33 comment added Xiao-Gang Wen 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 6, 2014 at 21:56 history answered Christoph Wockel CC BY-SA 3.0