Metric measure spaces with Riemannian Ricci curvature bounded from below (Q2454276)

The authors introduce a synthetic notion of Riemannian Ricci bounds from below for metric measure spaces \((X,d,m)\) which is stable under measured Gromov-Hausdorff convergence and rules out Finsler geometries. Besides stability, it enjoys tensorization, global-to-local and local-to-global properties. They called these spaces \(\mathrm{RCD}(K,\infty)\) spaces. They proved that the heat flow satisfied Wasserstein contraction estimates and several regularity properties, in particular Bakry-Emery estimates and the \(L^{\infty}\)-Lip Feller regularization. They also proved that the distance induced by the Dirichlet form coincided with \(d\), that the local energy measure has density given by the square of Cheeger's relaxed slope. As a consequence the underlying Brownian motion has continuous paths. All these results are obtained independently of Poincaré and doubling assumptions on the metric measure structure and therefore apply also to spaces which are not locally compact such as the infinite dimensional ones.