Let $X,Y$ be compact connected manifolds and $\varphi\colon\pi_1(X)\to\pi_1(Y)$ be a homomorphism between their fundamental groups. Under what conditions on $X$, $Y$ and $\varphi$ is it true that $\varphi$ is the homomorphism induced by an appropriate continuous map $f\colon X\to Y$?


1 Answer 1


In general there is an obstruction living in $H^3(X,\pi_2Y)$. Choose a CW structure on $X$ and $Y$ with only one 0-cell. Then you can use $\varphi$ to define a map at the level of 1-skeleta (just by sending every 1-cell $e$ to a cellular representative of $\varphi([e])$). Since $\varphi$ is a map of fundamental groups it respects homotopies between paths so you can extend it to the 2-skeleton (the border every 2-cell has trivial class in $\pi_1X$ so it gets sent to a loop whose class in $\pi_1Y$ is itself trivial). So you have a continous map $f:X^2\to Y$ realizing $\varphi$ as a map of fundamental groups. To extend it you need that the cohomology class of the map sending every 3-cell $e$ of $X$ to $[f(\partial e)]\in\pi_2Y$ is 0 (the addition of a boundary correspond to a modification of $f$ at the 2-skeleton that doesn't change its behaviour on $\pi_1X$). If this obstruction is 0 analogously you can find an obstruction living in $H^4(X,\pi_3Y)$ and so on and so forth. If all groups $H^{n+1}(X,\pi_nY)$ are 0 you can realize your map. A special case is when the universal cover of $Y$ is contractible (i.e. $\pi_iY=0$ for all $i>1$), for example for any hyperbolic manifold.

  • 1
    $\begingroup$ I forgot: a good reference for this kind of questions is Hatcher's book on algebraic topology, 4.3 - obstruction theory $\endgroup$ May 14, 2014 at 16:52
  • 3
    $\begingroup$ It might also be helpful to note that whenever Y has a contractible universal covering space, then any homomorphism $\pi_1(X)\rightarrow\pi_1(Y)$ is induced by a map $X\rightarrow Y$, unique up to homotopy. This is also in Hatcher. $\endgroup$
    – Will Chen
    May 14, 2014 at 16:57
  • 1
    $\begingroup$ Let me also recommend Baues's obstruction theory book. $\endgroup$ May 14, 2014 at 21:46
  • $\begingroup$ Thanks for useful answers. Hatcher has it in his book as Proposition 1.b9 if $X$ is a connected CW complex, I found it. Does every compact connected manifold admit a structure of a CW complex? $\endgroup$ May 16, 2014 at 13:53
  • 1
    $\begingroup$ Every differentiable (or even PL) manifold does. Alternatively you could just replace your manifold with an homotopy equivalent CW complex (from corollary A.12 in Hatcher's book) since your question is not really affected by replacing $X$ with an homotopy equivalent space. $\endgroup$ May 16, 2014 at 14:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.