Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries

Abstract

We prove that, on any sub-Riemannian manifold endowed with a positive smooth measure, the Bakry-Émery inequality for the corresponding sub-Laplacian implies the existence of enough Killing vector fields on the tangent cone to force the latter to be Euclidean at each point, yielding the failure of the curvature-dimension condition in full generality. Our approach does not apply to non-strictly-positive measures. In fact, we prove that the weighted Grushin plane does not satisfy any curvature-dimension condition, but, nevertheless, does admit an a.e. pointwise version of the Bakry-Émery inequality. As recently observed by Pan and Montgomery, one half of the weighted Grushin plane satisfies the RCD(0,N) condition, yielding a counterexample to gluing theorems in the RCD setting.

arXiv comment25 pages

References in corpus (12)

• Metric measure spaces with Riemannian Ricci curvature bounded from below
• Bakry-Émery curvature-dimension condition and Riemannian Ricci curvature bounds
• Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces
• Riemannian Ricci curvature lower bounds in metric measure spaces with $\sigma$-finite measure
• Structure Theory of Metric-Measure Spaces with Lower Ricci Curvature Bounds
• Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds
• Curvature: a variational approach
• Sub-Riemannian interpolation inequalities
• Examples of Ricci limit spaces with non-integer Hausdorff dimension
• A counterexample to gluing theorems for MCP metric measure spaces
• Bakry-Émery curvature and model spaces in sub-Riemannian geometry
• The Grushin hemisphere as a Ricci limit space with curvature $\ge 1$

Cited by in corpus (5)

• Comparison theorems on H-type sub-Riemannian manifolds
• Curvature exponent of sub-Finsler Heisenberg groups
• On gradient estimates of the heat semigroups on step-two Carnot groups
• Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures
• On the lower bound of the curvature exponent on step-two Carnot groups