Abstract:In this paper, we investigate the validity of synthetic curvature-dimension bounds in the sub-Finsler Heisenberg group, equipped with a positive smooth measure. Firstly, we study the measure contraction property, in short $\mathsf{MCP}$, proving that its validity depends on the norm generating the sub-Finsler structure. Indeed, we show that, if it is neither $C^1$ nor strongly convex, the associated Heisenberg group does not satisfy $\mathsf{MCP}(K,N)$ for any pair of parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$. On the contrary, we prove that the sub-Finsler Heisenberg group, equipped with a $C^{1,1}$ and strongly convex norm, and with the Lebesgue measure, satisfies $\mathsf{MCP}(0,N)$ for some $N \in (1,\infty)$. Additionally, we provide a lower bound on the optimal dimensional parameter, and we also study the case of $C^1$ and strongly convex norms. Secondly, we address the validity of the curvature-dimension condition pioneered by Sturm and Lott-Villani, in short $\mathsf{CD}(K,N)$. We show that the sub-Finsler Heisenberg group, equipped with a $C^1$ and strongly convex norm, and with a positive smooth measure, does not satisfy the $\mathsf{MCP}(K,N)$ condition for any pair of parameters $K \in \mathbb{R}$ and $N \in (1,\infty)$. Combining this result with our findings regarding the measure contraction property, we conclude the failure of the $\mathsf{CD}$ condition in the Heisenberg group for every sub-Finsler structure.

Failure of the curvature-dimension condition in sub-Finsler manifolds

Measure contraction property and curvature-dimension condition on sub-Finsler Heisenberg groups

On the Mean Curvature of Finsler Submanifolds

On Curvatures and Fundamental Groups of Finsler Manifolds

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

The curvature exponent of sub-Finsler Heisenberg groups

On Positive Scalar Curvature and Moduli of Curves

The tangent space in sub-Finsler geometry and applications

Some Results On Fundamental Groups And Betti Numbers Of Finsler Manifolds

Almost-Riemannian manifolds do not satisfy the $\mathsf{CD}$ condition

The geometry of irreversible sub-Finslerian spaces

On Negatively Curved Finsler Manifolds of Scalar Curvature

Sub-Finsler geometry and nonholonomic mechanics

Dimension constraints in some problems involving intermediate curvature

Bounds of Scalar curvature, S-curvature and distortion on $\infty$-Einstein Finsler manifolds

Finsler Metrics of Nonzero Sectional Flag Curvature

Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes

Curvature and L^p Bergman Spaces on Complex Submanifolds in ℂ^N

Characterization and Structure of Finsler Spaces with Constant Flag Curvature

Distance from a Finsler Submanifold to its Cut Locus and the Existence of a Tubular Neighborhood