Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps

If u : ⊂ Rd → X is a harmonic map valued in a metric space X and E : X → R is a convex function, in the sense that it generates an EVI0-gradient flow, we prove that the pullback E◦u : → R is subharmonic. This property was known in the smooth Riemannian manifold setting or with curvature restrictions on X, while we prove it here in full generality. In addition, we establish generalized maximum principles, in the sense that the Lq norm of E ◦ u on ∂ controls the L p norm of E ◦ u in for some well-chosen exponents p ≥ q, including the case p = q = +∞. In particular, our results apply when E is a geodesically convex entropy over the Wasserstein space, and thus settle some conjectures of Brenier.