Universal covers of non-negatively curved manifolds and formality

Aleksandar Milivojevic

We show that if the universal cover of a closed smooth manifold admitting a metric with non-negative Ricci curvature is formal, then the manifold itself is formal. We reprove a res…