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.

Packing sets under finite groups via algebraic incidence structures

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Intersection patterns and incidence theorems

Packing sets in Euclidean space by affine transformations

On the size of sets avoiding a general structure

Growth of products of subsets in finite simple groups

Subsets of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ without L-shaped configurations

Transposed Poisson structures on Lie incidence algebras

Evasive Sets, Covering by Subspaces, and Point-Hyperplane Incidences

Upper bounds for the number of substructures in finite geometries from the container method

Expanders and growth of normal subsets in finite simple groups of Lie type

A class of finite p-groups and the normalized unit groups of group algebras

Square packings and rectifiable doubling measures

Nonempty interior of configuration sets via microlocal partition optimization

A class of finite $p$-groups and the normalized unit groups of group algebras

Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

Minimal doubling for small subsets in compact Lie groups

$\mathcal{L}$-intersecting or Configuration Forbidden Families on Set Systems and Vector Spaces over Finite Fields

Low-complexity approximations for sets defined by generalizations of affine conditions