Riemannian Ricci curvature lower bounds in metric measure spaces with σ-finite measure

In a prior work of the first two authors with Savar´e, a new Riemannian notion of a lower bound for Ricci curvature in the class of metric measure spaces (X, d, m) was introduced, and the corresponding class of spaces was denoted by RCD(K,∞). This notion relates the CD(K, N) theory of Sturm and Lott-Villani, in the case N = ∞, to the Bakry-Emery approach. In this prior work the RCD(K,∞) property is defined in three equivalent ways and several properties of RCD(K,∞) spaces, including the regularization properties of the heat flow, the connections with the theory of Dirichlet forms and the stability under tensor products, are provided. In the above-mentioned work only finite reference measures m have been considered. The goal of this paper is twofold: on one side we extend these results to general σ-finite spaces, and on the other we remove a technical assumption that appeared in the earlier work concerning a strengthening of the CD(K,∞) condition. This more general class of spaces includes Euclidean spaces endowed with Lebesgue measure, complete noncompact Riemannian manifolds with bounded geometry and the pointed metric measure limits of manifolds with lower Ricci curvature bounds