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.

Generic doubling of rectangular pegs

Geometric Height Inequalities

Floer homology and square pegs

Universal piecewise polynomiality for counting curves in toric surfaces

Square pegs between two graphs

Double ramification cycles within degeneracy loci via moduli of roots

Square packings and rectifiable doubling measures

Generic models for genus 2 curves with real multiplication

Orbifold Euler Characteristics of Compactified Jacobians

A Universal Triangulation for Flat Tori

Lagrangian families of Bridgeland moduli spaces from Gushel-Mukai fourfolds and double EPW cubes

The Twisted Doubling Method in Algebraic Families

Halfcanonical Gorenstein curves of codimension four

Generic decompositions of Deligne--Lusztig representations

A higher genus circle method and an application to geometric Manin's conjecture

On A Tautological Relation Conjectured By Buryak-Shadrin

On the double tangent of projective closed curves

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Just-likely intersections on Hilbert modular surfaces

Some Families of Pencils with a Unique Base Point and Their Associated Foliations

Polynomiality of the double ramification cycle