Skip to main content
added 162 characters in body
Source Link
Tom Goodwillie
  • 55.9k
  • 7
  • 151
  • 240

I thought about the case when $G$ is a free group. I believe that in this case $H_2(BG/G)$ is the second exterior power of $G^{ab}$ (which is also $H_2(BG^{ab})$), and $H_3(BG/G)$ is the kernel of $$ \oplus (C\otimes C)\to G^{ab}\otimes G^{ab},$$

where $C$ ranges over representatives of conjugacy classes of maximal cyclic subgroups of $G$ (the cokernel of this same map is yet another description of $H_2$), and $H_n(BG/G)$ is trivial for all $n>3$.

EDIT A useful observation is that if $H$ is a subgroup of $G$ then the fixed point set $(BG)^H$ is $B(Z_GH)$, where $Z_GH$ is the centralizer of $H$ in $G$.

I thought about the case when $G$ is a free group. I believe that in this case $H_2(BG/G)$ is the second exterior power of $G^{ab}$ (which is also $H_2(BG^{ab})$), and $H_3(BG/G)$ is the kernel of $$ \oplus (C\otimes C)\to G^{ab}\otimes G^{ab},$$

where $C$ ranges over representatives of conjugacy classes of maximal cyclic subgroups of $G$ (the cokernel of this same map is yet another description of $H_2$), and $H_n(BG/G)$ is trivial for all $n>3$.

I thought about the case when $G$ is a free group. I believe that in this case $H_2(BG/G)$ is the second exterior power of $G^{ab}$ (which is also $H_2(BG^{ab})$), and $H_3(BG/G)$ is the kernel of $$ \oplus (C\otimes C)\to G^{ab}\otimes G^{ab},$$

where $C$ ranges over representatives of conjugacy classes of maximal cyclic subgroups of $G$ (the cokernel of this same map is yet another description of $H_2$), and $H_n(BG/G)$ is trivial for all $n>3$.

EDIT A useful observation is that if $H$ is a subgroup of $G$ then the fixed point set $(BG)^H$ is $B(Z_GH)$, where $Z_GH$ is the centralizer of $H$ in $G$.

Source Link
Tom Goodwillie
  • 55.9k
  • 7
  • 151
  • 240

I thought about the case when $G$ is a free group. I believe that in this case $H_2(BG/G)$ is the second exterior power of $G^{ab}$ (which is also $H_2(BG^{ab})$), and $H_3(BG/G)$ is the kernel of $$ \oplus (C\otimes C)\to G^{ab}\otimes G^{ab},$$

where $C$ ranges over representatives of conjugacy classes of maximal cyclic subgroups of $G$ (the cokernel of this same map is yet another description of $H_2$), and $H_n(BG/G)$ is trivial for all $n>3$.