Zhang Ye

A two-step ideal sub-Riemannian structure with no measure contraction properties

We construct a compact, equiregular, ideal sub-Riemannian manifold of step $2$ such that, for every smooth positive measure, the $\mathrm{MCP}(K,N)$ fails for all $K\in\mathbb{R}$ and $N \in (1,\infty)$. This shows that the real-analyticity assumption in the measure contraction theorem of Badreddine and Rifford in arXi...