We show that two simple, separable, nuclear, and Z₀ -stable C^* -algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the Universal Coefficient Theorem and can be viewed as a tracial stably projectionless analogue of the homotopy rigidity theorem for Kirchberg algebras.
Castillejos et al. (Wed,) studied this question.