{"id":"arxiv/2609.29698","url":"https://arxiv.org/abs/2609.29698","tags":["math.DG"],"score":0,"title":"A two-step ideal sub-Riemannian structure with no measure contraction properties","domain":"math.DG","source":"arxiv","authors":["Luca Rizzi","Ye Zhang"],"reviews":0,"subject":"math.DG","summary":"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 arXiv:1712.09900v2 cannot be replaced by smoothness. Moreover, our structure is ideal, i.e. it admits no non-trivial abnormal minimizing geodesics. Although failures of the measure contraction property for ideal structures were recently obtained in the higher-step setting, our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}