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.



Rational homology and finite group actions
The maps $\psi\_k$ are all isomorphisms; this is a simple application of the transfer ("averaging") construction. See Theorem 2.4, Chapter III, of Bredon's book "Introduction to compact transformation groups". 


