On the Geometry of Rectifiable Sets with Carleson and Poincar\'e-type Conditions

TL;DR

This paper demonstrates that certain geometric and analytical conditions, including a Carleson measure condition and a Poincaré inequality, ensure that rectifiable sets are contained within bi-Lipschitz images of affine subspaces, revealing deep geometric structure.

Contribution

It establishes that a Carleson condition on the normal oscillation combined with a Poincaré inequality guarantees rectifiable sets are contained in bi-Lipschitz images of affine spaces, linking geometry and analysis.

Findings

Rectifiable sets satisfying the conditions are contained in bi-Lipschitz images of affine subspaces.

The Poincaré inequality implies the set is quasiconvex.

Carleson condition controls the oscillation of the normal vector.

Abstract

A central question in geometric measure theory is whether geometric properties of a set translate into analytical ones. In 1960, E. R. Reifenberg proved that if an $n$-dimensional subset $M$ of $\mathbb{R}^{n+k}$ is well approximated by $n$-planes at every point and at every scale, then $M$ is a locally bi-H\"older image of an $n$-plane. Since then, Reifenberg's theorem has been refined in several ways in order to ensure that $M$ is a bi-Lipschitz image of an $n$-plane. In this paper, we show that a Carleson condition on the oscillation of the unit normal of an $n$-Ahlfors regular rectifiable subset $M$ of $\mathbb{R}^{n+1}$ satisfying a Poincar\'e-type inequality is sufficient to prove that $M$ is contained inside a bi-Lipschitz image of an $n$-dimensional affine subspace of $\mathbb{R}^{n+1}$. We also show that this Poincar\'e-type inequality encodes geometrical information about $M$, namely it implies that $M$ is quasiconvex.