We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in Fractured fractals and broken dreams by David and Semmes, or equivalently, Question 22 and hence also Question 24 in Thirty-three yes or no questions about mappings, measures, and metrics by Heinonen and Semmes. The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors 4-regular metric space X having big pieces of itself such that no Lipschitz map from a subset of X to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space X having as image the whole X. As part of proving the above result we define a new distance on the Heisenberg group that is bounded by the Carnot-Carathéodory distance, which preserves the Ahlfors-regularity, and such that the Carnot-Carathéodory distance and the new distance are biLipschitz equivalent on no set of positive measure. This construction works more generally in any Ahlfors-regular metric space where one can make suitable shortcuts. Such spaces include, for example, all snowflaked Ahlfors-regular metric spaces. With the same techniques we also provide an example of a left-invariant distance on the Heisenberg group biLipschitz to the Carnot-Carathéodory distance for which no blow-up admits non-trivial dilations.
Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces
Le Donne, Enrico;
2017-01-01
Abstract
We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in Fractured fractals and broken dreams by David and Semmes, or equivalently, Question 22 and hence also Question 24 in Thirty-three yes or no questions about mappings, measures, and metrics by Heinonen and Semmes. The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors 4-regular metric space X having big pieces of itself such that no Lipschitz map from a subset of X to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space X having as image the whole X. As part of proving the above result we define a new distance on the Heisenberg group that is bounded by the Carnot-Carathéodory distance, which preserves the Ahlfors-regularity, and such that the Carnot-Carathéodory distance and the new distance are biLipschitz equivalent on no set of positive measure. This construction works more generally in any Ahlfors-regular metric space where one can make suitable shortcuts. Such spaces include, for example, all snowflaked Ahlfors-regular metric spaces. With the same techniques we also provide an example of a left-invariant distance on the Heisenberg group biLipschitz to the Carnot-Carathéodory distance for which no blow-up admits non-trivial dilations.File | Dimensione | Formato | |
---|---|---|---|
LeDonne_Li_Rajala-HeisenbergDistances_2017-03-29.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
451.64 kB
Formato
Adobe PDF
|
451.64 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.