For a nonempty compact topological manifold without boundary, its suspension is a topological manifold without boundary exactly when is homeomorphic to . The forward implication is a local homology from a link calculation at a suspension vertex: is in degree and zero elsewhere. For , put a coordinate ball between two nested cone neighbourhoods. The inclusion of their punctures is a homotopy equivalence but factors through the simply connected punctured ball, forcing . Thus is a homotopy sphere, and the topological generalized Poincare theorem gives the result. The dimensions zero and one follow from the finite-set and circle classifications. Conversely . If manifolds with boundary are allowed, the interval and its disk suspension show why this formulation needs the boundary restriction.

Articles by others on the same topic (0)

There are currently no matching articles.