Coarse and pointwise tangent fields

TL;DR

This paper extends the concept of pointwise tangent fields to higher-dimensional and infinite-dimensional spaces, introducing coarse tangent fields that account for multi-scale structure, with results applicable to doubling and porous sets.

Contribution

It generalizes tangent field notions to Hilbert spaces and introduces coarse tangent fields inspired by the Analyst's Traveling Salesman Theorem, applicable across all dimensions.

Findings

Doubling subsets of Hilbert space admit pointwise tangent fields with dimension bounds.

Doubling subsets of Hilbert space admit coarse tangent fields with dimension bounds.

Porous sets in the plane have coarse tangent fields, extending previous planar results.

Abstract

Alberti, Cs\"ornyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result shows that each doubling subset of Hilbert space admits a pointwise tangent field in this sense, with dimension bounded by the Nagata (or Assouad) dimension of the set. Second, inspired by the Analyst's Traveling Salesman Theorem of Jones, we introduce new, "coarse" notions of tangent field for subsets of Hilbert space, which take into account both large and small scale structure. We show that doubling subsets of Hilbert space admit such coarse tangent fields, again with dimension bounded by the Nagata (or Assouad) dimension of the set. For porous sets in the plane, this result can be viewed as a quantitative version of the Alberti--Cs\"ornyei--Preiss result, though our results hold in all (even infinite) dimensions.