Concept
The generalized Smale conjecture
A topological payoff of flowing through singularities. For a spherical space form , the inclusion of the isometry group into the diffeomorphism group
is a homotopy equivalence. Hatcher proved the case by hand in 1983; Bamler–Kleiner proved the general case by running Ricci flow on families of metrics and using uniqueness of singular flows to contract the space of metrics onto the round one.