Exceptional Sets for Quasiconformal Mappings in General Metric Spaces II

A homemorphism between domains in ${\mathbb{R}}^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation – a purely metric quantity – is uniformly bounded. Gehring proved that it will suffice to verify the uniform bound up to a set of measure zero as long as we can show that the dilatation is finite outside a subset of finite Hausdorff–$(n-1)$ measure. In short, we say that we can allow an exceptional codimension $1$ subset. In the metric setting, it has been proved, roughly speaking, that one can allow an exceptional codimension $p$ subset, $p\ge 1$, if the source space satisfies a $p$-Poincaré inequality. We prove, effectively, the sharpness of the latter claim.