On the geometry of metric measure spaces. II

We introduce a curvature-dimension condition CD (K, N) for metric measure spaces. It is more restrictive than the curvature bound Curv ( M,d,m ) > K (introduced in [Sturm K-T (2006) On the geometry of metric measure spaces. I. Acta Math 196:65–131]) which is recovered as the borderline case CD(K, ∞). The additional real parameter N plays the role of a generalized upper bound for the dimension. For Riemannian manifolds, CD(K, N) is equivalent to RicM ( ξ ,ξ ) > K| ξ |² and dim(M) ⩽ N. The curvature-dimension condition CD(K, N) is stable under convergence. For any triple of real numbers K, N, L the family of normalized metric measure spaces (M, d, m) with CD(K, N) and diameter ⩽ L is compact. Condition CD(K, N) implies sharp version of the Brunn–Minkowski inequality, of the Bishop–Gromov volume comparison theorem and of the Bonnet–Myers theorem. Moreover, it implies the doubling property and local, scale-invariant Poincaré inequalities on balls. In particular, it allows to construct canonical Dirichlet forms with Gaussian upper and lower bounds for the corresponding heat kernels.