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 know there are already lots of questions about (co)homology groups of a quotient manifold, but please let me ask one more question.

Let $G$ be a finite group acting on a manifold $M$ without fixed point. The standard spectral sequence argument shows that $$ H^k(M,\mathbb{Q})^G\cong H^k(M/G,\mathbb{Q}). $$ This in particular shows that rank $H^k(M,\mathbb{Z})^G$=rank $H^k(M/G,\mathbb{Z})$.

We also have a natural map $\pi^{*}:H^k(M/G,\mathbb{Z})\rightarrow H^k(M,\mathbb{Z})^G$ via the quotient map $\pi:M\rightarrow M/G$.

Is it true that $\pi^{*}$ is injection mod torsion (and hence that $H^k(M/G,\mathbb{Z})\subset H^k(M,\mathbb{Z})^G$ (mod torsions) is of finite index)? Or are there any relation between $\mathbb{Z}$-coefficient (co)homology groups?

share|cite|improve this question
It is poor form to post this question on MO while the original question you asked sits on math.SE:… – Steve D Aug 20 '12 at 21:13

Yes. Consider the commutative diagram involving the maps $H^k(M/G,\mathbb Z) \to H^k(M,\mathbb Z)^G \to H^k(M,\mathbb Q)^G$ and $H^k(M/G,\mathbb Z) \to H^k(M/G,\mathbb Q) \to H^k(M,\mathbb Q)^G$

The kernel of the map $\pi^*$ is contained in the kernel of the second sequence. Since the second map in the second sequence is an isomorphism, the kernel of the second sequence is the kernel of its first map, which is a tensoring with $\mathbb Q$, so its kernel is torsion.

The commutative diagram comes from the naturality of the change of coefficients map.

share|cite|improve this answer

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.