Constructing H\"older maps to Carnot groups

TL;DR

This paper constructs specific H"older maps into Carnot groups, especially the Heisenberg group, demonstrating sharpness of previous bounds and showing the density of such maps for exponents below 2/3.

Contribution

It constructs explicit H"older maps with exponents below 2/3 into Carnot groups, proving the sharpness of prior non-embedding results and establishing density of these maps.

Findings

Constructed (rac{2}{3}- ext{epsilon})-H"older maps into ^2 and ^3 that do not factor through a tree.

Showed that for lpha<rac{2}{3}, lpha-H"older maps are dense among continuous maps.

Built degree-1 maps from 3 to  with H"older exponents arbitrarily close to rac{2}{3}.

Abstract

In this paper, we construct H\"older maps to Carnot groups equipped with a Carnot metric, especially the first Heisenberg group $\mathbb{H}$. Pansu and Gromov observed that any surface embedded in $\mathbb{H}$ has Hausdorff dimension at least 3, so there is no $\alpha$-H\"older embedding of a surface into $\mathbb{H}$ when $\alpha>\frac{2}{3}$. Z\"ust improved this result to show that when $\alpha>\frac{2}{3}$, any $\alpha$-H\"older map from a simply-connected Riemannian manifold to $\mathbb{H}$ factors through a metric tree. In the present paper, we show that Z\"ust's result is sharp by constructing $(\frac{2}{3}-\epsilon)$-H\"older maps from $D^2$ and $D^3$ to $\mathbb{H}$ that do not factor through a tree. We use these to show that if $0<\alpha < \frac{2}{3}$, then the set of $\alpha$-H\"older maps from a compact metric space to $\mathbb{H}$ is dense in the set of continuous maps and to construct proper degree-1 maps from $\mathbb{R}^3$ to $\mathbb{H}$ with H\"older exponents arbitrarily close to $\frac{2}{3}$.