Failure of the Measure Contraction Property on the Martinet Flat Structure

The Martinet flat structure is one of the simplest sub-Riemannian manifolds that has many non-Riemannian features: it is not equiregular, it has abnormal geodesics, and the Carnot-Carathéodory sphere is not sub-analytic. I will review how the geometry of the Martinet flat structure is tied to the equations of the pendulum. Surprisingly, the Measure Contraction Property (a weak synthetic formulation of Ricci curvature bounds in non-smooth spaces) fails, and we will try to understand why. If time permits, I will also discuss how this can be generalised to some Carnot groups that have abnormal extremals. This is a joint work in progress with Luca Rizzi.