I am curious if the following topological problem is decidable. Let $M,N$ be two closed manifolds. Given a group isomorphism $p: \pi_1(M)\to \pi_1(N)$, is there a homeomorphism $\phi: M\to N$ such that $\phi_*=p$?
A homeomorphism with a prescribed action on the fundamental group - decidable or not?
Alex Gavrilov
- 6.9k
- 25
- 51