Conceptual

Band Width Inequality and S1-Stability up to Homeomorphism for Four-Manifolds

The result that Gromov's positive-scalar-curvature band-width inequality and Rosenberg's S1-stability conjecture, both false for smooth four-manifolds because of Seiberg-Witten counterexamples, hold for simply connected smooth four-manifolds when considered up to homeomorphism, proved with separating mu-bubble (minimal-hypersurface) methods.