The smoothness of Riemannian submersions with nonnegative sectional curvature

Let $M^n$ be a complete, non-compact and $C^\infty$-smooth Riemannian manifold with nonnegative sectional curvature. Suppose $\Cal S$ is a soul of $M^n$. Then any distance non-increasing retraction $Ψ: M^n \to \Cal S$ must give rise to a $C^\infty$-smooth Riemannian submersion.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.