Existence of Harmonic Maps into CAT(1) Spaces
Christine Breiner,Ailana Fraser,Lan-Hsuan Huang,Chikako Mese,Pam Sargent,Yingying Zhang
DOI: https://doi.org/10.4310/cag.2020.v28.n4.a2
2020-01-01
Communications in Analysis and Geometry
Abstract:Let $\varphi\in C^0 \cap W^{1,2}(\Sigma, X)$ where $\Sigma$ is a compact Riemann surface, $X$ is a compact locally CAT(1) space, and $W^{1,2}(\Sigma,X)$ is defined as in Korevaar-Schoen. We use the technique of harmonic replacement to prove that either there exists a harmonic map $u:\Sigma \to X$ homotopic to $\varphi$ or there exists a conformal harmonic map $v:\mathbb S^2 \to X$. To complete the argument, we prove compactness for energy minimizers and a removable singularity theorem for conformal harmonic maps.