Macroscopic scalar curvature and codimension 2 width
Abstract
We show that a complete -dimensional Riemannian manifold with finitely generated first homology has macroscopic dimension if it satisfies the following “macroscopic curvature” assumptions: every ball of radius in has volume at most , and every loop in every ball of radius in is null-homologous in the concentric ball of radius .