In this paper, we prove the Lipschitz regularity of continuous harmonic maps from an finite dimensional Alexandrov space to a compact smooth Riemannian manifold. This solves a conjecture of F. H. Lin in [36]. The proof extends the argument of Huang-Wang [26].

Introduction. The classical Schwarz-Pick lemma states that any holomorphic map of the unit disk into itself decreases the Poincare metric. Later Ahlfors generalized this lemma to holomorphic mappings between two Riemann surfaces where curvatures of these Riemann surfaces were used in a very explicit way. More recently, Chern initiated the study of holomorphic mappings between higher-dimensional complex manifold by generalizing the Ahlfors lemma to these spaces. Then this lemma was further extended by Kobayashi, Griffiths, Wu and others. It plays a very important role in their theory. In this note, we shall prove the following generalization of the Schwarz lemma.

We prove that a proper geodesic metric space has non-positive curvature in the sense of Alexandrov if and only if it satisfies the Euclidean isoperimetric inequality for curves. Our result extends to non-geodesic spaces and non-zero curvature bounds.