Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Let $\pi:X\rightarrow X/G$ be a free quotient map by a finite group $G$. Assume that both $X$ and $X/G$ are oriented. We know that $\pi_*$ maps the fundamental class $[X]$ to $|G|[X/G]$.

What about cohomology groups? Assume that $\alpha_X$ and $\alpha_{X/G}$ are the generators of top cohomology groups (determined up to sign). Can we tell where $\alpha_{X/G}$ is mapped by $\pi^*$? I think $\pi^*(\alpha_{X/G})=\alpha_{X}/|G|$. Am I right?

share|cite|improve this question

Aren't $\pi^*$ and $\pi_*$ adjoint so that $\langle\pi^*(\alpha_{X/G}),[X]\rangle=\langle\alpha_{X/G},\pi_*([X])\rangle$? That would mean you should multiply, not divide, by $|G|$ in your proposed formula. And that would have the big advantage that the answer is still a cohomology class with integer (not merely rational) coefficients.

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.