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.
2017
Le Donne, Enrico; Li, Sean; Rajala, Tapio
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/976264
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact