Polyhedra with finite fundamental group dominate finitely many different homotopy types
In 1968 K. Borsuk asked: Does every polyhedron dominate only finitely many different shapes? In this question the notion of shape can be replaced by the notion of homotopy type. We showed earlier that the answer to the Borsuk question is no. However, in a previous paper we proved that every simply connected polyhedron dominates only finitely many different homotopy types (equivalently, shapes). Here we prove that the same is true for polyhedra with finite fundamental group.