MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm looking for examples of the following phenomena. Let $X$ be a reasonable space (say, a CW complex) and $G$ be a finite group acting on $X$. For all $k \geq 1$, the projection map $X \rightarrow X/G$ induces a map $H_k(X;\mathbb{Q}) \rightarrow H_k(X/G;\mathbb{Q})$ which factors through the $G$-coinvariants $(H_k(X;\mathbb{Q}))_G$; let $\psi_k : (H_k(X;\mathbb{Q}))_G \rightarrow H_k(X/G;\mathbb{Q})$ be the resulting map. I want examples of $X$ and $G$ and $k$ such that $\psi_k$ is not an isomorphism.

If $G$ acts freely, then the map $X \rightarrow X/G$ is a finite regular covering map and $\psi_k$ is an isomorphism by (for instance) the Cartan-Leray spectral sequence (Theorem VII.7.9 in Brown's book on group cohomology). But I have no idea what happens for non-free actions. My guess is that if it were true that $\psi_k$ were always an isomorphism, then I would have seen it somewhere, so I expect that there is a counterexample. However, I have not managed to come up with one.

share|cite|improve this question
up vote 8 down vote accepted

The maps $\psi_k$ are all isomorphisms; this is a simple application of the transfer ("averaging") construction. See Theorem 2.4, Chapter II, of Bredon's book "Introduction to compact transformation groups".

share|cite|improve this answer
Great! I was of course familiar with the transfer for free actions, but somehow I never realized that it could be generalized to non-free actions. – Lisa Jun 19 '14 at 22:23

Your Answer


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.