Abstract:We prove that for all integers $2\leq m\leq d-1$, there exists doubling measures on $\mathbb{R}^d$ with full support that are $m$-rectifiable and purely $(m-1)$-unrectifiable in the sense of Federer (i.e. without assuming $\mu\ll\mathcal{H}^m$). The corresponding result for 1-rectifiable measures is originally due to Garnett, Killip, and Schul (2010). Our construction of higher-dimensional Lipschitz images is informed by a simple observation about square packing in the plane: $N$ axis-parallel squares of side length $s$ pack inside of a square of side length $\lceil N^{1/2}\rceil s$. The approach is robust and when combined with standard metric geometry techniques allows for constructions in complete Ahlfors regular metric spaces. One consequence of the main theorem is that for each $m\in\{2,3,4\}$ and $s<m$, there exist doubling measures $\mu$ on the Heisenberg group $\mathbb{H}^1$ and Lipschitz maps $f:E\subset\mathbb{R}^m\rightarrow\mathbb{H}^1$ such that $\mu\ll\mathcal{H}^{s-\epsilon}$ for all $\epsilon>0$, $f(E)$ has Hausdorff dimension $s$, and $\mu(f(E))>0$. This is striking, because $\mathcal{H}^m(f(E))=0$ for every Lipschitz map $f:E\subset\mathbb{R}^m\rightarrow\mathbb{H}^1$ by a theorem of Ambrosio and Kirchheim (2000). Another application of the square packing construction is that every compact metric space $\mathbb{X}$ of Assouad dimension strictly less than $m$ is a Lipschitz image of a compact set $E\subset[0,1]^m$. Of independent interest, we record the existence of doubling measures on complete Ahlfors regular metric spaces with prescribed lower and upper Hausdorff and packing dimensions.

Small-Constant Uniform Rectifiability

GEOMETRY AND DIMENSION OF SELF-SIMILAR SET

On various Carleson-type geometric lemmas and uniform rectifiability in metric spaces

Ricci curvature bounded below and uniform rectifiability

Uniformly rectifiable metric spaces satisfy the weak constant density condition

Rectifiable Reifenberg and uniform positivity under almost calibrations

Rectifiability and tangents in a rough Riemannian setting

The dimension of planar elliptic measures arising from Lipschitz matrices in Reifenberg flat domains

Quantitative Fatou Theorems and Uniform Rectifiability

Square packings and rectifiable doubling measures

An elementary rectifiability lemma and some applications

On rectifiability of Delone sets in intermediate regularity

Favard length and quantitative rectifiability

Cantor sets with absolutely continuous harmonic measure

On distance sets, box-counting and Ahlfors-regular sets

Non-rigidity of the absolutely continuous part of $\mathcal{A}$-free measures

Ahlfors regularity of continua that minimize maxitive set functions

C 1,α -rectifiability in low codimension in Heisenberg groups

$C^{1,α}$-rectifiability in low codimension in Heisenberg groups

Regularity theory of elliptic systems in $\varepsilon$-scale flat domains

A uniform bound for inertially equivalent, pure $\ell$-adic representations: an extension of Faltings' theorem