Besicovitch covering property for homogeneous distances on the Heisenberg groups

From MaRDI portal
Publication:2628342

DOI10.4171/JEMS/701zbMATH Open1373.28012arXiv1406.1484WikidataQ109520623 ScholiaQ109520623MaRDI QIDQ2628342FDOQ2628342


Authors: Enrico Le Donne, Séverine Rigot Edit this on Wikidata


Publication date: 1 June 2017

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: Our main result is a positive answer to the question whether one can find homogeneous distances on the Heisenberg groups that have the Besicovitch Covering Property (BCP). This property is well known to be one of the fundamental tools of measure theory, with strong connections with the theory of differentiation of measures. We prove that BCP is satisfied by the homogeneous distances whose unit ball centered at the origin coincides with an Euclidean ball. Such homogeneous distances do exist on any Carnot group by a result of Hebisch and Sikora. In the Heisenberg groups, they are related to the Cygan-Koranyi (also called Koranyi) distance. They were considered in particular by Lee and Naor to provide a counterexample to the Goemans-Linial conjecture in theoretical computer science. To put our result in perspective, we also prove two geometric criteria that imply the non-validity of BCP, showing that in some sense our example is sharp. Our first criterion applies in particular to commonly used homogeneous distances on the Heisenberg groups, such as the Cygan-Koranyi and Carnot-Caratheodory distances that are already known not to satisfy BCP. To put a different perspective on these results and for sake of completeness, we also give a proof of the fact, noticed by D. Preiss, that in a general metric space, one can always construct a bi-Lipschitz equivalent distance that does not satisfy BCP.


Full work available at URL: https://arxiv.org/abs/1406.1484




Recommendations




Cites Work


Cited In (16)





This page was built for publication: Besicovitch covering property for homogeneous distances on the Heisenberg groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628342)