Universal non-CD of sub-Riemannian manifolds

Abstract

We prove that a sub-Riemannian manifold equipped with a full-support Radon measure is never $\mathrm{CD}(K,N)$ for any $K\in \mathbb{R}$ and $N\in (1,\infty )$ unless it is Riemannian. This generalizes previous non-CD results for sub-Riemannian manifolds, where a measure with smooth and positive density is considered. Our proof is based on the analysis of the tangent cones and the geodesics within. Secondly, we construct new $\mathrm{RCD}$ structures on ${\mathbb{R}}^n$, named cone-Grushin spaces, that fail to be sub-Riemannian due to the lack of a scalar product along a curve, yet exhibit characteristic features of sub-Riemannian geometry, such as horizontal directions, large Hausdorff dimension, and inhomogeneous metric dilations.

Final version. To appear in Crelle's journal