Tangent-point repulsive potentials for a class of non-smooth -dimensional sets in . Part I: Smoothing and self-avoidance effects
We consider repulsive potential energies $\E_q(Σ)$, whose integrand measures tangent-point interactions, on a large class of non-smooth -dimensional sets in Finiteness of the energy $\E_q(Σ)$ has three sorts of effects for the set : topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of onto suitable -planes and therefore large -dimensional Hausdorff measure of within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey-Sobolev embedding theorem: Any admissible set with finite $\E_q$-energy, for any exponent , is, in fact, a -manifold whose tangent planes vary in a Hölder continuous manner with the optimal Hölder exponent . Moreover, the patch size of the local -graph representations is uniformly controlled from below only in terms of the energy value $\E_q(Σ)$.