Manifold criterion for a suspension

ID: manifold-criterion-for-a-suspension

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.

New to topics? Read the docs here!