Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1508.06062

Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces

Enrico Le Donne·Sean Li·Tapio Rajala
View original source ↗Read source document ↗Export metadata ↓

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, that 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 nontrivial dilations.

Explore related subjects

math.MGmath.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Enrico Le Donne, Sean Li, Tapio Rajala. 2015-08-25. Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces. https://arxiv.org/abs/1508.06062

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$β$-Uniform Convexity and Divisible Domains

Divisible convex sets have long been important in the study of Hilbert geometries. When a divisible convex set is an ellipsoid, the Hilbert geometry it induces is the hyperbolic space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(0) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed by Shin-Ichi Ohta as a generalization of the Alexandrov-Toponogov comparison theorems to Finsler manifolds. We prove that a natural Finsler metric on a strictly convex divisible domain is $β$-uniformly convex, where the constant $β$ is related to the regularity of the boundary. We use this to show, with AI assistance, that the Hilbert metric, under suitable local and scale-dependent assumptions, is $β$-uniformly convex on such domains.

math.MG↗
arXiv2026

A positive solution to the $L^p$ projection centroid conjecture

In a classical paper [21] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [21], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

math.MG↗
arXiv2026

Minimal central slices of the regular simplex

We prove that minimal-volume hyperplane sections of the regular simplex through its centroid are parallel to a facet. The proof combines variational methods with Fourier-analytic techniques and zero-diminishing arguments to show that every critical normal vector has at most three distinct non-zero coordinates. Analysis of the two- and three-value cases then yields the sharp lower bound.

math.MG↗