The structure of minimal surfaces in \(\mathrm{CAT}(0)\) spaces (Q824405)

In this work the author proves that a minimal disc in a \(\mathrm{CAT}(0)\) space is a local embedding away from a finite set of ``branch points''. On the way he establishes several basic properties of minimal surfaces: monotonicity of area densities, density bounds, limit theorems and the existence of tangent maps. As an application, he proves the Fáry-Milnor's theorem in the \(\mathrm{CAT}(0)\) setting.