  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(k) inequality. We prove a general
CAT(k) extension theorem, giving sufficient conditions on and near the boundary
of a locally CAT(k) metric space for the completion to be CAT(k). We use this
to prove that a branched cover of a complete Riemannian manifold is locally
CAT(k) if and only if all tangent spaces are CAT(0) and the base has sectional
curvature bounded above by k. 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(k) and
the complement of the branch locus to be contractible. We conjecture that the
universal branched cover of complex Euclidean n-space over the mirrors of a
finite Coxeter group is CAT(0). Conditionally on this conjecture, we use our
machinery to prove the Arnol'd-Pham-Thom conjecture on K(pi,1) spaces for Artin
groups. Also conditionally, 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.
