Summary: We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here, curvature bounds are expressed in terms of the CAT\((\chi )\) inequality. We prove a general CAT\((\chi )\) extension theorem, giving sufficient conditions on and near the boundary of a locally CAT\((\chi )\) metric space for the completion to be CAT\((\chi )\). We use this to prove that a branched cover of a complete Riemannian manifold is locally CAT\((\chi )\) if and only if all tangent spaces are CAT(0) and the base has sectional curvature bounded above by \(\chi\). We also show that the branched cover is a geodesic space. Using our curvature bound and a local asphericity assumption we give a sufficient condition for the branched cover to be globally CAT\((\chi )\) and the complement of the branch locus to be contractible.
We conjecture that the universal branched cover of \(\mathbb C^n\) over the mirrors of a finite Coxeter group is CAT(0). This is closely related to a conjecture of Charney and Davis, and we combine their work with our machinery to show that our conjecture implies the Arnol’d-Pham-Thom conjecture on \(K(\pi ,1)\) spaces for Artin groups. Also conditionally on our conjecture, we prove the asphericity of moduli spaces of amply lattice-polarized K3 surfaces and of the discriminant complements of all the unimodal hypersurface singularities in Arnol’d’s hierarchy.