Positive Scalar Curvature and Exotic Structures on Simply Connected Four Manifolds

We address Gromov's band width inequality and Rosenberg's $S^1$-stability conjecture for simply connected smooth four-manifolds. Both results are known to be false in dimension 4 due to counterexamples based on Seiberg-Witten invariants. Nevertheless, we show that both of these results hold upon considering smooth four-manifolds up to homeomorphism. The key technical innovation is a careful adaptation of ideas from high-dimensional surgery theory to dimension 4.