Completions, branched covers, Artin groups and singularity theory

TL;DR

This paper develops a framework for understanding the curvature of branched covers of Riemannian manifolds using CAT(k) inequalities, with applications to topology, algebraic geometry, and conjectures about Artin groups and singularities.

Contribution

It introduces a general CAT(k) extension theorem and provides conditions under which branched covers are locally and globally CAT(k), linking curvature bounds to topological properties.

Findings

Proved a CAT(k) extension theorem for metric spaces.

Characterized when branched covers of Riemannian manifolds are CAT(k).

Conditional proofs of conjectures related to Artin groups and singularity theory.

Abstract

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.