Smoothness of submetries

Alexander Lytchak, Burkhard Wilking

We prove that a Riemannian submersion between smooth, compact, non-negatively curved Riemannian manifolds has to be smooth, resolving a conjecture by Berestovskii--Guijarro. We sho…