Abstract:For an harmonic map $u$ from a domain $U\subset{\rm X}$ in an ${\sf RCD}(K,N)$ space ${\rm X}$ to a ${\sf CAT}(0)$ space ${\rm Y}$ we prove the Lipschitz estimate \[ {\rm Lip}(u|_B)\leq \frac {C(K^-R^2,N)}r\inf_{{\sf o}\in {\rm Y}}\,\sqrt{\frac1{{\mathfrak m}(2B)}\int_{2B}{\sf d}_{\rm Y}^2(u(\cdot),{\sf o})\, {\rm d}{\mathfrak m}}, \qquad \forall 2B\subset U \] where $r\in(0,R)$ is the radius of $B$. This is obtained by combining classical Moser's iteration, a Bochner-type inequality that we derive (guided by recent works of Zhang-Zhu) together with a reverse Poincaré inequality that is also established here. A direct consequence of our estimate is a Lioville-Yau type theorem in the case $K=0$. Among the ingredients we develop for the proof, a variational principle valid in general ${\sf RCD}$ spaces is particularly relevant. It can be roughly stated as: if $({\rm X},{\sf d},{\mathfrak m})$ is ${\sf RCD}(K,\infty)$ and $f\in C_b({\rm X})$ is so that $\Delta f\leq C$ for some constant $C>0$, then for every $t>0$ and ${\mathfrak m}$-a.e.\ $x\in{\rm X}$ there is a unique minimizer $F_t(x)$ for $ y\ \mapsto\ f(y)+\frac{{\sf d}^2(x,y)}{2t} $ and the map $F_t$ satisfies \[ (F_t)_*{\mathfrak m}\leq e^{t(C+2K^-{\sf Osc}(f))}{\mathfrak m},\qquad\text{where}\qquad {\sf Osc}(f):=\sup f-\inf f. \] Here existence is in place without any sort of compactness assumption and uniqueness should be intended in a sense analogue to that in place for Regular Lagrangian Flows and Optimal Maps (and is related to both these concepts). Finally, we also obtain a Rademacher-type result for Lipschitz maps between spaces as above.

Lipschitz extensions from spaces of nonnegative curvature into CAT(1) spaces

Lipschitz continuity and Bochner-Eells-Sampson inequality for harmonic maps from $\mathrm{RCD}(K,N)$ spaces to $\mathrm{CAT}(0)$ spaces

Lipschitz regularity of sub-elliptic harmonic maps into CAT(0) spaces

Lipschitz extension theorems with explicit constants

Completions, branched covers, Artin groups and singularity theory

Central limit theorem on CAT(0) spaces with contracting isometries

Nagata Dimension and Lipschitz Extensions Into Quasi-Banach Spaces

Quantitative estimates on the $C^2$-singular sets in Alexandrov spaces

Asymptotic topological regularity of CAT(0) spaces

Topological Stability and Latschev-type Reconstruction Theorems for $\boldsymbol{\mathrm{CAT}(κ)}$ Spaces

Existence and uniqueness of optimal transport maps in locally compact $CAT(0)$ spaces

Continuity of extensions of Lipschitz maps and of monotone maps

Conformal deformations of CAT(0) spaces

On isomorphisms of $\mathcal{C}(K)$ spaces and cardinal invariants of derivatives of $K$

On nonexpansiveness of metric projection operators on Wasserstein spaces

Bi-Lipschitz arcs in metric spaces with controlled geometry

Continuous operators from spaces of Lipschitz functions

CAT(0) Spaces of Higher Rank I

On the regularity of harmonic maps from ${\sf RCD}(K,N)$ to ${\sf CAT}(0)$ spaces and related results

Hyperbolic models for CAT(0) spaces