Zoltan Balogh

We establish geometric inequalities in the sub-Riemannian setting of the Heisenberg group Hⁿ. Our results include a natural sub-Riemannian version of the celebrated curvature-dimension condition of Lott-Villani and Sturm and also a geodesic version of the  Borell-Brascamp-Lieb inequality akin to the one obtained by Cordero-Erausquin, McCann and Schmuckenschläger. The latter statement implies  sub-Riemannian versions of the geodesic Prékopa-Leindler and Brunn-Minkowski inequalities. The proofs are based on optimal mass transportation and Riemannian approximation of Hⁿ in the pointed Gromov-Hausdorff sense. These results refute a general point of view, according to which no intrinsic geometric inequalities can be derived by optimal mass transportation on singular spaces.