CAT(0) 4-manifolds are Euclidean

Abstract

We prove that a topological 4-manifold of globally non-positive curvature is homeomorphic to Euclidean space.