6
$\begingroup$

Let $\Gamma$ be a group acting freely and cocompactly on an acyclic space $X$. I know that there is a isomorphism $H^*(\Gamma, \mathbb{Z\Gamma}) \cong H^*_c(X; \mathbb{Z})$ of $\Gamma$-modules. The proof I've seen in Brown's book uses the structure of $\mathbb{Z}\Gamma$ heavily, to give a natural isomorphism at the cochain level. I have two questions.

  1. Suppose $M$ is a $\Gamma$-module. Is there any such (if not so strong) relation between $H^*(\Gamma,M)$ and the (compactly supported) cohomology of $X$? I would guess it would be something relating $H^*(\Gamma,M)$ and $H^*_c(X, M_\Gamma)$. Here $M_\Gamma$ is the group of coinvariants of $M$ under the $\Gamma$-action.

  2. Is there any homological counterpart to this? Specifically can we say something about $H^{lf}_*(X)$ in terms of $H_*(\Gamma)$ with some coefficients?

Maybe a simpler case for 1 would be if we have a group homomorphism $\varphi: \Gamma \to \Lambda$, and consider $M= \mathbb{Z}\Lambda$, with the $\Gamma$-action via $\varphi$.

$\endgroup$
3
  • $\begingroup$ I am not sure what kind of a relation you are looking for. Could you give any example besides the compactly supported one? Say, what would you want in the case of an infinite cyclic group? $\endgroup$ Commented Oct 30, 2023 at 20:46
  • $\begingroup$ @MoisheKohan I am mainly interested in question 1. I have described a possible situation in the last line. As for an infinite cyclic group, I believe the cohomologies are well known, so I don't need anything there. $\endgroup$ Commented Oct 31, 2023 at 16:55
  • 2
    $\begingroup$ I do not think you understood my question. $\endgroup$ Commented Oct 31, 2023 at 17:19

0

You must log in to answer this question.

Browse other questions tagged .