It seems pretty clear to me that if you fix $n$ and look at finite simply connected n-dimensional simplicial complexes then the (rational) homotopy equivalence problem is decidable. It's pretty clear that construction of (rational) Postnikov towers is algorithmic. Comparing two Postnikov towers is a sequence of obstruction problems, each decidable. And you don't need to compare full Postnikov towers, it's enough to compare up to height $n$ (the rest are determined automatically). I have a suspicion that the homeomorphism problem is also decidable.
|
2 | deleted 68 characters in body | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
It seems pretty clear to me that if you fix $n$ and look at finite simply connected n-dimensional simplicial complexes then the (rational) homotopy equivalence problem is decidable. It's pretty clear that construction of (rational) Postnikov towers is algorithmic. Comparing two Postnikov towers is a sequence of obstruction problems, each decidable. And you don't need to compare full Postnikov towers, it's enough to compare up to height $n$ (the rest are determined automatically). I have a suspicion that the homeomorphism problem is also decidable. |
||||
