Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a discrete group and $A$ an abelian group, then $H^n (G,A)$ can be defined as $$ H^n (G,A) = H^n (B_G, A)$$ Where $B_G$ is the classifying space of $G$, i.e. $B_G = E_G / G$ where $E_G$ is a contractible space on which $G$ acts s.t. $\pi_1 (B_G) = G$.

Now say you have an action of $G$ on a simplicial complex $Y$ and that the action is simplicial, cocompact and free, but $Y$ is not necessarily contractible. Say you know that (for some fixed $n$) $H^n (Y / G,A) = 0$ can you deduce that $H^n (G,A) = 0$?

(I've tried to ask this question a couple of days ago, but my formulation was bad so I had to delete and re-ask)

share|improve this question
add comment

4 Answers 4

No. Let $G = \mathbb{Z}/p$ and $Y = S^1$. The group $G$ acts on $Y$ in the usual way (the generator acts as rotation by $2\pi/p$), and we have $Y/G \cong S^1$. Thus all the homology groups of $Y/G$ above degree $1$ vanish, but the homology groups of $G$ are nonzero in infinitely many degrees.

share|improve this answer
add comment

You get a useful result if $Y$ is not contractible, but highly connected. If $\tilde{H}_i(Y)=0$ for $i \leq m$, then the (up to homotopy) natural map $Y/G \to BG$ is a homology equivalence in degrees less than $n$.

share|improve this answer
add comment

There are certain cases where the answer is yes.

If $Y$ is a free $G$-complex, then the Cartan-Leray spectral sequence of the regular cover $Y\to Y/G$ is of the form $$ H^p(BG;H^q(Y;A))\Rightarrow H^{p+q}(Y/G;A).$$ For instance, in the extreme case that $Y$ has the $A$-cohomology of a point, one has $H^\ast(BG;A)\cong H^\ast(Y/G;A)$.

There should be other cases where it is possible to draw conclusions about vanishing of group cohomlogy by working backwards through this spectral sequence.

Reference: Ken Brown, Cohomology of groups, Section VII.7.

Added: In particular, if $Y$ is a $\mathbb{Z}$-acyclic complex with a free $G$-action, then the cohomological dimension of $G$ is less than or equal to $\mathrm{dim}(Y)$. See the MR of

Howie, James, Bestvina-Brady groups and the plus construction. Math. Proc. Cambridge Philos. Soc. 127 (1999), no. 3, 487–493

for an example application.

share|improve this answer
2  
To fit the OP's hypothesis, the extreme case must assume that Y is not simply-connected (since simply-connected acyclic CW-complexes are contractible). –  Chris Gerig Feb 1 '12 at 8:58
1  
@Chris: Good point. However, having the $A$ cohomology of a point does not necessarily imply acyclic, eg $Y$ could be a mod $p$ Moore space and $A=\mathbb{Q}$. So maybe there are useful cases of this type. –  Mark Grant Feb 1 '12 at 10:00
add comment

To highlight the assumption of high connectivity in Johannes' answer, I should point out that for any $G$, you can always take $Y = G$ (a simplicial complex with only vertices, seeing as $G$ is discrete). Then you have a simplicial, cocompact, free action, and it is true that $H^n(Y/G, A) = 0$ for $n>0$. But that tells us nothing about $H^n(G, A)$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.