Cone and paraboloid points of arbitrary subsets of Euclidean space

Abstract

In this paper we characterise cone points of arbitrary subsets of Euclidean space. Given $E\subset {\mathbb{R}}^n$, $x\in E$ is a cone point of $E$ if and only if \begin{align*} \int_{0}^1 β_{E}^{d,2}(B(x,r))^2 \frac{dr}{r} < \infty, \end{align*} up to a set of zero $d$-measure. The coefficients ${\beta }_E^{d,2}$ are a variation of the Jones coefficients. This is a high dimensional counterpart of a theorem of Bishop and Jones from 1994. We also prove similar results for $\alpha$-paraboloid points, which are the $C^{1,\alpha }$ rectifiability counterparts to cone points: $x\in E$ is an $\alpha$-paraboloid point if and only if \begin{align*} \int_0^1 \frac{\overlineβ_{E}^{d,2}(B(x,r))^2}{r^{2α}} \, \frac{dr}{r} < \infty \end{align*} up to a set of zero $d$-measure. Here, ${\overline{\beta }}_E^{d,2}$ is another variant of the Jones coefficients, introduced by Azzam and Schul.

31 pages, minor changes and additions