1
$\begingroup$

I wanted to know if there are any computations of cohomology groups $H^n(\Gamma,A^{(\Gamma)})$ in the literature for certain $n\in\mathbb{N}$, Abelian groups $A$, and infinite groups $\Gamma$.

Here $A^{(\Gamma)}$ is the direct sum of copies of $A$ (one for each $g\in\Gamma$) and $\Gamma$ acts on $A^{(\Gamma)}$ via $(g.\xi)_h = \xi_{h g}$ for $\xi\in A^{(\Gamma)}$ and $g,h\in\Gamma$. Moreover, the cohomology theory under consideration is the (classical Eilenberg-MacLane) group cohomology of $\Gamma$ with coefficients in $A^{(\Gamma)}$.

$\endgroup$
1
  • 2
    $\begingroup$ It's closely related to the "topology at infinity" of $\Gamma$, see Chapter 13 in Geoghegan, "Topological methods in group theory", Springer GTM 243. $\endgroup$
    – YCor
    Commented May 16, 2014 at 22:30

1 Answer 1

3
$\begingroup$

When $A$ is a commutative ring, the module $A^{(\Gamma)}$ you describe coincides with the group ring $A[\Gamma]$ with it's canonical (right) $\Gamma$-action.

In particular, let $A=\mathbb{Z}$. Then $\Gamma$ is a duality group if there exists an integer $n$ such that $H^i(\Gamma ; \mathbb{Z}[\Gamma])=0$ for $i\neq n$ and $H^n(\Gamma;\mathbb{Z}[\Gamma])$ is torsion-free. In this case, $D=H^n(\Gamma;\mathbb{Z}[\Gamma])$ is called the dualizing module, and if $D \cong \mathbb{Z}$ then $\Gamma$ is called a Poincaré duality group. See Brown's "Cohomology of groups", section VIII.10, or Bieri and Eckmann's Inventiones paper "Groups with homological duality generalizing Poincaré duality"

$\endgroup$
0

You must log in to answer this question.

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