# Smallest homotopy equivalent space inside a manifold with boundary

It is well known that any compact manifold with boundary is homotopy equivalent to its interior. Is there a notion of some smallest space in the interior of the manifold that is homotopy equivalent to the whole manifold? And if so, are there any good properties/descriptions of it?

An example to demonstrate what I mean would be to take our manifold with boundary to be the unit ball. Then any other ball inside of this ball would be suitable to prove homotopy equivalence, but the smallest space we could take would be the central point of the ball.

• I'm not sure whether this responds to your question, but if your manifold-with-boundary is the unit n-dimensional ball minus its center, what could a solution to your problem look like? Jan 5, 2016 at 12:31
• I understand what small means in your example because we have some common geometric intuition for euclidean spaces, but how would you compare two spaces? Do you intend to mean some notion of volume (integral of a volume form)? If so I would consider adding some relevant geometry tag. Jan 5, 2016 at 12:55
• The OP could mean a lowest-dimensional complex... Jan 5, 2016 at 13:03
• Given a Morse function, the manifold is homotopy equivalent to a sub-CW-complex with one $n$-cell for each critical point of index $n$. In some examples (if a perfect Morse function exists) this subcomplex should be considered the smallest subspace homotopy equivalent to the manifold. Jan 5, 2016 at 13:04
• Mohan Ramachandran;s answer in mathoverflow.net/questions/18454/… shows that any open smooth $n$-manifold deformation retracts to a subcomplex of lower dimension. Jan 5, 2016 at 13:20

Yukio Matsumoto in "A 4-manifold which admits no spine", see here, constructed a compact PL $4$-manifold with boundary that is homotopy equivalent to the $2$-torus but does not deformation retract to a PL-embedded copy of $T^2$.
In codimension $\ge 3$ PL spines always exists, i.e. any homotopy equivalence from a closed PL manifold to a compact PL manifold with difference in dimensions at least $3$ is homotopic to a PL embedding. This is known as Browder-Casson-Sullivan-Wall embedding theorem.
Smooth spines exist in metastable range by Haefliger embedding theorem (roughly when the dimension of the closed smooth manifold is about $2/3$ of the dimension of the compact smooth manifold). The range is sharp, i.e. there are counterexamples with smaller codimension.