MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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\colon\tilde{X}\to X$ be a p-fold (regular) cyclic covering(p:prime) and $\mathcal{A} = \mathrm{Im}(\pi_* )$, where $\pi_* \colon H_1(\tilde{X};\mathbb{Z}_p) \to H_1(X;\mathbb{Z}_p)$ is induced by $\pi\colon\tilde{X}\to X$. Suppose $f \colon X\to X$ is a homoemorphism satisfying $f_*(\mathcal{A})=\mathcal{A}$, where $f_* \colon H_1(X;\mathbb{Z}_p)\to H_1(X;\mathbb{Z}_p)$ induced by $f\colon X\to X$. Then, does there exists a map $g\colon \tilde{X}\to \tilde{X}$ satisfying $\pi\circ g =f\circ \pi$? I know the lifting criteria of covering space in terms of fundamental group. I hope that somebody tell me why above condition implies the lifting criteria in terms of fundamental group.

share|cite|improve this question
$H_1(X;\mathbb Z/p)$ is the fundamental group of $X$ modulo commutators and $p$'th powers. Hence, a cyclic cover of degree $p$ is completely determined by $\mathcal A$. In particular $f$ lifts iff $f_*$ preserves $\mathcal A$. – Torsten Ekedahl Jul 20 '10 at 15:51
Thank you for your friendly comment. I was only checking algebraic criterion. Geometrically, it seems obvious that $f$ lifts iff $f_*$ preserves $\mathcal{A}$. – Topologieee Jul 20 '10 at 16:30
And I have another question. Is $H_1(X)/\pi_*(H_1(\tilde{X}))=\pi_1(X)/\pi_*(\pi_1(\tilde{X}))$? – Topologieee Jul 20 '10 at 16:46
Yes, as $f_*(\pi_1(\tilde X))$ contains commutators and $p$'th powers. – Torsten Ekedahl Jul 21 '10 at 4:02

Your Answer


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

Browse other questions tagged or ask your own question.