On Rectifiable Measures in Carnot Groups: Existence of Density

Abstract

In this paper, we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is ${\mathcal{P}}_h$-rectifiable, for $h\in \mathbb{N}$, if it has positive h-lower density and finite h-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. First, we compare ${\mathcal{P}}_h$-rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups, and we prove that it is strictly weaker than them. Second, we prove several structure properties of ${\mathcal{P}}_h$-rectifiable measures. Namely, we prove that the support of a ${\mathcal{P}}_h$-rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of ${\mathcal{P}}_h$-rectifiable measures with complemented tangents, we show that they are supported on the union of intrinsically Lipschitz and differentiable graphs. Such a covering property is used to prove the main result of this paper: we show that a ${\mathcal{P}}_h$-rectifiable measure has almost everywhere positive and finite h-density whenever the tangents admit at least one complementary subgroup.

Introduction

In Euclidean spaces, a Radon measure $\varphi$ is said to be k-rectifiable if it is absolutely continuous with respect to the k-dimensional Hausdorff measure ${\mathcal{H}}^k$ and it is supported on a countable union of k-dimensional Lipschitz surfaces, for a reference see [13, §3.2.14]. This notion of regularity for a measure is an established, thoroughly studied, and well-understood concept and its versatility is twofold. On the one hand, it can be effortlessly extended to general metric spaces. On the other hand, it can be shown, at least in Euclidean spaces, that the global regularity properties arise as a consequence of the local structure of the measure, as it is clear from the following classical proposition, see, e.g., [36, Theorem 16.7].

Proposition 1.1

Assume $\varphi$ is a Radon measure on ${\mathbb{R}}^n$ and k is a natural number such that $1\le k\le n$. Then, $\varphi$ is a k-rectifiable measure if and only if for $\varphi$-almost every $x\in {\mathbb{R}}^n$ we have

• (i)$0<{\mathrm{\Theta }}_{\ast }^k(\varphi ,x)\le {\mathrm{\Theta }}^{k,\ast }(\varphi ,x)<+\infty$,
• (ii)${\mathrm{Tan}}_k(\varphi ,x)\subseteq \{\lambda {\mathcal{H}}^k⌞V:\lambda >0,\text{and}$V$\text{is a}$k$\text{-dimensional vector subspace}\}$,

where ${\mathrm{\Theta }}_{\ast }^k(\varphi ,x)$ and ${\mathrm{\Theta }}^{k,\ast }(\varphi ,x)$ are, respectively, the lower and the upper k-density of $\varphi$ at x, see Definition 2.8, and ${\mathrm{Tan}}_k(\varphi ,x)$ is the set of k-tangent measures to $\varphi$ at x, see Definition 2.7, while ${\mathcal{H}}^k$ is the Hausdorff measure.

As mentioned above, one can define rectifiable measures in arbitrary metric spaces: however, one quickly understands that there are some limitations to what the classical rectifiability can achieve.

The first example of this is the curve in $L^1([0,1])$ that at each $t\in [0,1]$ assigns the indicator function of the interval [0, t]. This curve is Lipschitz continuous; however, it fails to be Fréchet differentiable at every point of [0, 1], thus not admitting a tangent. This shows that we cannot expect anything like Proposition 1.1 to hold in infinite dimension.

For the second example, we need to briefly introduce Carnot groups, see Sect. 2 for details. A Carnot group $\mathbb{G}$ is a simply connected nilpotent Lie group, whose Lie algebra is stratified and generated by its first layer. Carnot groups are a generalization of Euclidean spaces, and we remark that (quotients of) Carnot groups arise as the infinitesimal models of sub-Riemannian manifolds and their geometry, even at an infinitesimal scale, might be very different from the Euclidean one. We endow $\mathbb{G}$ with an arbitrary left-invariant homogeneous distance d, and we recall that any two of them are bi-Lipschitz equivalent. These groups have finite Hausdorff dimension, that is commonly denoted by Q, and any Lipschitz map $f:{\mathbb{R}}^{Q-1}\to (\mathbb{G},d)$ has ${\mathcal{H}}^{Q-1}$-null image, unless $\mathbb{G}$ is an Euclidean space, see for instance [2] and [35, Theorem 1.1]. This from an Euclidean perspective means that there are no Lipschitz-regular parametrized one-codimensional surfaces inside $(\mathbb{G},d)$, unless $\mathbb{G}$ is an Euclidean space. However, as shown in the foundational papers [19, 20], in Carnot groups there is a well-defined notion of finite perimeter set and in Carnot groups of step 2 their reduced boundary can be covered up to ${\mathcal{H}}^{Q-1}$-negligible sets by countably many intrinsic $C^1$-regular hypersurfaces, $C_{\mathrm{H}}^1$ hypersurfaces from now on, see [20, Definition 6.4]. The success of the approach attempted in [20] has started an effort to study Geometric Measure Theory in sub-Riemannian Carnot groups, and in particular to study various notion(s) of rectifiability, see, e.g., [10, 11, 14, 17–19, 21, 22, 24–26, 31, 32, 39–41]. The big effort represented by the aforementioned papers in trying to understand rectifiability in Carnot groups has given rise to a multiplication of definitions, each one suiting some particular cases.

As we shall see in the subsequent paragraphs, not only one could consider our approach reversed with respect to the ones known in the literature but it also has a twofold advantage. On the one hand, the definition of $\mathcal{P}$-rectifiable measure is natural and intrinsic with respect to the (homogeneous) structure of Carnot groups and it is equivalent to the usual one in the Euclidean setting; on the other hand, we do not have to handle the problem of distinguishing, in the definition, between the low-dimensional and the low-codimensional rectifiability.

Nevertheless, for arbitrary Carnot groups, we prove non-trivial structure results for rectifiable measures, see Sect. 1.2. These structure results will be used to prove the main Theorem of this paper, see Theorem 1.3. Moreover, the study of the structure properties proved in Sect. 1.2 is completed in the subsequent paper [6].

In a companion paper [5], which roughly corresponds to an elaboration of Sect. 5 of the second version in the arXiv submission of the Preprint [7], we shall prove a Marstrand–Mattila type rectifiability criterion for $\mathcal{P}$-rectifiable measures that in turn will lead to the proof of the one-dimensional Preiss’s theorem for the first Heisenberg group ${\mathbb{H}}^1$ endowed with the Koranyi distance.

Additional remark. The present work consists of an elaboration of Sects. 2, 3, 4, and 6 of the second version in the arXiv submission of the Preprint [7]. This is the first of two companion papers derived from [7]. The second one is an elaboration of Sects. 2, and 5 of [7]. We stress that the results in Sects. 2, 3, 4, and 6 of [7] do not use the results in Sect. 5 of [7]. As a result this paper can be read fully and independently from its companion paper.

$\mathcal{P}$-Rectifiable Measures

In this paper, we study structure results in the class of $\mathcal{P}$-rectifiable measures, which have been introduced in [41, Definition 3.1 & Definition 3.2]. Let $\mathbb{G}$ be a Carnot group of Hausdorff dimension Q.

Definition 1.1

($\mathcal{P}$-rectifiable measures) Let $1\le h\le Q$ be a natural number. A Radon measure $\varphi$ on $\mathbb{G}$ is said to be ${\mathcal{P}}_h$-rectifiable if for $\varphi$-almost every $x\in \mathbb{G}$ we have

• (i)$0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<+\infty$,
• (ii)${\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(x):\lambda \ge 0\}$, where $\mathbb{V}(x)$ is a homogeneous subgroup of $\mathbb{G}$ of Hausdorff dimension h,

where ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)$ and ${\mathrm{\Theta }}^{h,\ast }(\varphi ,x)$ are, respectively, the lower and the upper h-density of $\varphi$ at x, see Definition 2.8, ${\mathrm{Tan}}_h(\varphi ,x)$ is the set of h-tangent measures to $\varphi$ at x, see Definition 2.7, and ${\mathcal{S}}^h$ is the spherical Hausdorff measure of dimension h, see Definition 2.4. Furthermore, we say that $\varphi$ is ${\mathcal{P}}_h^{\ast }$-rectifiable if (ii) is replaced with the weaker

$$\begin{array}{cc}& {(\mathrm{ii})}^{\ast }{\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}:\lambda \ge 0,\mathbb{V}\text{is a homogeneous subgroup of}\hfill \\ \hfill & \mathbb{G}\text{of Hausdorff dimension h}\}.\hfill \end{array}$$

If we impose more regularity on the tangents, we can define different subclasses of $\mathcal{P}$-rectifiable or ${\mathcal{P}}^{\ast }$-rectifiable measures, see Definition 2.19 for details. We notice that, a posteriori, in the aforementioned definitions, we can and will restrict to $\lambda >0$, see Remark 2.5.

The definition of $\mathcal{P}$-rectifiable measure is natural in the setting of Carnot groups. Indeed, we have on $\mathbb{G}$ a family of dilations ${\{{\delta }_{\lambda }\}}_{\lambda >0}$, see Sect. 2, that we can use to give a good definition of blow-up of a measure. Hence we ask, for a measure to be rectifiable, that the tangents are flat. The natural class of flat spaces, i.e., the analogous of vector subspaces of the Euclidean space, seems to be the class of homogeneous subgroups of $\mathbb{G}$. This latter assertion is suggested also from the result in [37, Theorem 3.2] according to which on every locally compact group G endowed with dilations and isometric left translations, if a Radon measure $\mu$ has a unique (up to multiplicative constants) tangent $\mu$-almost everywhere then this tangent is $\mu$-almost everywhere (up to multiplicative constants), the left Haar measure on a closed dilation-invariant subgroup of G. As a consequence, in the definition of ${\mathcal{P}}_h$-rectifiable measure, we can equivalently substitute item (ii) of Definition 1.1 with the weaker requirement

$$\begin{array}{c}\hfill {(\mathrm{ii})}^{\prime }{\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\nu }_x:\lambda >0\},\text{where}{\nu }_x\text{is a Radon measure on}\mathbb{G}.\end{array}$$

Moreover, we stress that if a metric group is locally compact, isometrically homogeneous and admits one dilation, as it is for the class of metric group studied in [37], and moreover the distance is geodesic, then it is a sub-Finsler Carnot group, see [28, Theorem 1.1].

As already mentioned, according to one of the approaches to rectifiability in Carnot groups, the good parametrizing objects for the notion of rectifiability are $C_{\mathrm{H}}^1$-regular surfaces with complemented tangents in $\mathbb{G}$, i.e., sets that are locally the zero-level sets of $C_{\mathrm{H}}^1$ functions f - see Definition 5.1 - with surjective Pansu differential df, and such that $\mathrm{Ker}(df)$ admits a complementary subgroup in $\mathbb{G}$. This approach has been taken to its utmost level of generality through the works [25, 32, 34]. In particular, in [25, Definition 2.18], the authors give the most general, and available up to now, definition of $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable sets, see Definition 5.2 and Definition 5.3, and they prove area and coarea formulae within this class of rectifiable sets. We stress that an improvement of the area formula in [25] is obtained by the two authors of this work in [6, Theorem 1.3]. Related results are in [8].

We remark that our definition of rectifiability is strictly weaker than the one in [25], see Proposition 5.2 and Remark 5.2. Moreover for discussions on the converse of the following Proposition 1.2 we refer the reader to Remark 5.3. We stress that, as a result of the subsequent work [6, Corollary 5.3], at least in the co-horizontal setting, the notion of $\mathcal{P}$-rectifiable measure and the notion of rectifiability given in terms of $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable sets coincide.

Proposition 1.2

Let us fix $\mathbb{G}$ and ${\mathbb{G}}^{\prime }$ two arbitrary Carnot groups of homogeneous dimensions Q and $Q^{\prime }$, respectively. Let us take $\mathrm{\Sigma }\subseteq \mathbb{G}$ a $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set. Then ${\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma }$ is a ${\mathcal{P}}_{Q-Q^{\prime }}$-rectifiable measure with complemented tangents. Moreover, there exists $\mathbb{G}$ a Carnot group, $\mathrm{\Sigma }\subseteq \mathbb{G}$, and $1\le h\le Q$ such that ${\mathcal{S}}^h⌞\mathrm{\Sigma }$ is a ${\mathcal{P}}_h$-rectifiable measure and, for every Carnot group ${\mathbb{G}}^{\prime }$, $\mathrm{\Sigma }$ is not $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable.

Let us stress that the second part of Proposition 1.2 is not surprising. Indeed, the approach to rectifiability described above and used in [25] is selecting rectifiable sets whose tangents are complemented normal subgroups of $\mathbb{G}$, see [25, Sect. 2.5] for a more detailed discussion. This can be easily understood if one thinks that, according to this approach to rectifiability, the parametrizing class of objects is given by $C_{\mathrm{H}}^1$-regular surfaces $\mathrm{\Sigma }$ with complemented tangents $\mathrm{Ker}(d{f}_p)$ at $p\in \mathrm{\Sigma }$, which are complemented (and normal) subgroups.

In some sense, we could say that the approach of [25] is covering, in the utmost generality known up to now, the case of low-codimensional rectifiable sets in a Carnot group $\mathbb{G}$. It has been clear since the works [22, 39] that, already in the Heisenberg groups ${\mathbb{H}}^n$, one should approach the low-dimensional rectifiability in a different way with respect to the low-codimensional one. Indeed, in the low-dimensional case in ${\mathbb{H}}^n$, the authors in [22, 39] choose as a parametrizing class of objects the images of $C_{\mathrm{H}}^1$-regular (or Lipschitz-regular) functions from subsets of ${\mathbb{R}}^d$ to ${\mathbb{H}}^n$, with $1\le d\le n$, see [22, Definition 3.1 & Definition 3.2], and [39, Definition 2.10 and Definition 3.13].

The bridge between the definition of $\mathcal{P}$-rectifiability and the ones discussed above is done in [39] in the setting of Heisenberg groups and in [24] in arbitrary homogeneous groups but in the case of horizontal tangents. Let us stress that the result in [39, (i)$\iff$(iv) of Theorem 3.15] shows that in the Heisenberg groups the $\mathcal{P}$-rectifiability with tangents that are vertical subgroups is equivalent to the rectifiability given in terms of $C_{\mathrm{H}}^1$-regular surfaces. Moreover [39, (i)$\iff$(iv) of Theorem 3.14] shows that in the Heisenberg groups, the $\mathcal{P}$-rectifiability with tangents that are horizontal subgroups is equivalent to the rectifiability given in terms of Lipschitz-regular images.

Moreover, very recently, in [24, Theorem 1.1], the authors prove a generalization of [39, Theorem 3.14] in arbitrary homogeneous groups. Namely they prove that in a homogeneous group the k-rectifiability of a set in the sense of Federer can be characterized with the fact that the tangent measures to the set are horizontal subgroups, or equivalently with the fact that there exists an approximate tangent plane that is a horizontal subgroup almost everywhere. In our setting this implies that the $\mathcal{P}$-rectifiability with tangents that are horizontal subgroups is equivalent to the rectifiability given in terms of Lipschitz-regular images, which is Federer’s one. We observe that in the subsequent paper [6] we shall exploit the results proved in this paper and we shall further develop the theory of $\mathcal{P}$-rectifiable measures thus obtaining generalizations of [39, Theorem 3.14 and 3.15] in arbitrary Carnot groups and in all dimensions. See the introduction of [6], and [6, Theorem 1.1]. For results similar to the ones of [6, 24, 39] but in the different setting of the parabolic ${\mathbb{R}}^n$ and in all the codimensions, we point out the recent [38].

We stress that the previous results leave open the challenging question of understanding what is the precise structure of a measure $\varphi$ on ${\mathbb{H}}^1$ such that the tangents are $\varphi$-almost everywhere the vertical line.

Results

The main contribution of this paper is the proof of the fact that a ${\mathcal{P}}_h$-rectifiable measure with complemented tangents has density, see Corollary 4.14, and Proposition 2.20 for the last part of the following statement. We recall that when we say that a homogeneous subgroup $\mathbb{V}$ of a Carnot group $\mathbb{G}$ admits a complementary subgroup, we mean that there exists a homogeneous subgroup $\mathbb{L}$ such that $\mathbb{G}=\mathbb{V}·\mathbb{L}$ and $\mathbb{V}\cap \mathbb{L}=\{0\}$.

Theorem 1.3

(Existence of the density) Let $\varphi$ be a ${\mathcal{P}}_h$-rectifiable measure with complemented tangents on $\mathbb{G}$, and assume d is a homogeneous left-invariant metric on $\mathbb{G}$. Let B(x, r) be the closed metric ball relative to d of center x and radius r. Then, for $\varphi$-almost every $x\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill 0<\underset{r\to 0}{lim\; inf}\frac{\varphi (B(x,r))}{r^h}=\underset{r\to 0}{lim\; sup}\frac{\varphi (B(x,r))}{r^h}<+\infty .\end{array}$$

Moreover, for $\varphi$-almost every $x\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill r^{-h}{T}_{x,r}\varphi \rightharpoonup {\mathrm{\Theta }}^h(\varphi ,x){\mathcal{C}}^h⌞\mathbb{V}(x),\text{as}r\text{goes to}0,\end{array}$$

where the map $T_{x,r}$ is defined in Definition 2.7, the convergence is understood in the duality with the continuous functions with compact support on $\mathbb{G}$, ${\mathrm{\Theta }}^h(\varphi ,x)$ is the h-density with respect to the distance d, and ${\mathcal{C}}^h⌞\mathbb{V}(x)$ is the h-dimensional centered Hausdorff measure, with respect to the distance d, restricted to $\mathbb{V}(x)$, see Definition 2.4.

A way of reading the previous theorem is the following: we prove that whenever a Radon measure on a Carnot group has strictly positive h-lower density and finite h-upper density, and at almost every point, all the blow-up measures are supported on the same (depending on the point) h-dimensional homogeneous complemented subgroup, then the measure has h-density.

We observe here that, as a non-trivial consequence of the results that will be developed in [6], see [6, Theorem 1.1], we have that whenever $\mathrm{\Gamma }\subseteq \mathbb{G}$ is a Borel set such that $0<{\mathcal{S}}^h(\mathrm{\Gamma })<+\infty$, and ${\mathcal{C}}^h⌞\mathrm{\Gamma }$ is ${\mathcal{P}}_h$-rectifiable with complemented tangents, then ${\mathrm{\Theta }}^h({\mathcal{C}}^h⌞\mathrm{\Gamma },x)=1$ for ${\mathcal{C}}^h$-almost every $x\in \mathrm{\Gamma }$. See Remark 4.1. We remark that the fact that ${\mathcal{C}}^h⌞\mathrm{\Gamma }$ has density one is not a straightforward consequence of Corollary 1.3, and it requires additional work, cf. [6, Proposition 3.9].

Let us remark that the previous Theorem 1.3 solves the implication (ii)$\Rightarrow$(i) of the density problem formulated in [41, page 50] in the setting of ${\mathcal{P}}_h$-rectifiable measures with complemented tangents. In Euclidean spaces, the proof of Theorem 1.3 is an almost immediate consequence of the fact that projections on linear spaces are 1-Lipschitz in conjunction with the area formula. In our context, we do not have at our disposal the Lipschitz property of projections and an area formula for ${\mathcal{P}}_h$-rectifiable measures with complemented tangents is obtained in [6, Theorem 1.2] as a consequence of a more refined study of such measures. So the proof requires new ideas. In order to obtain Theorem 1.3, first of all one reduces to the case of the surface measure on an intrinsically Lipschitz graph with very small Lipschitz constant thanks to the structure result Theorem 1.5 below. Secondly, one needs to show that the surface measures of the tangents and their push-forward on the graph are mutually absolutely continuous. For this, last point to hold it will be crucial, on the one hand, that a ${\mathcal{P}}_h$-rectifiable measure with complemented tangents can be covered almost everywhere with intrinsic graphs, see the forthcoming Theorem 1.5, and, on the other hand, that intrinsic Lipschitz graphs have big projections on their bases, see Proposition 4.6. Third, one exploits the fact that the density exists for the surface measures on the tangents to infer its existence for the original measure.

We remark that with the tools developed in the subsequent paper [6] and pushing forward the study started in this paper, we shall show an area formula for ${\mathcal{P}}_h$-rectifiable measures with complemented tangents, see [6, Theorem 1.2 and Theorem 1.3].

Other contributions of this paper are structure results for $\mathcal{P}$-rectifiable measures. Since they will be given in terms of sets that satisfy a cone property, let us clarify which cones we are choosing. For any $\alpha >0$ and any homogeneous subgroup $\mathbb{V}$ of $\mathbb{G}$, the cone $C_{\mathbb{V}}(\alpha )$ is the set of points $w\in \mathbb{G}$ such that $\mathrm{dist}(w,\mathbb{V})\le \alpha \Vert w\Vert$, where $\Vert ·\Vert$ is the homogeneous norm relative to the fixed distance d on $\mathbb{G}$. Moreover a set $E\subseteq \mathbb{G}$ is a $C_{\mathbb{V}}(\alpha )$-set if $E\subseteq p{C}_{\mathbb{V}}(\alpha )$ for every $p\in E$. We refer the reader to Sect. 2.4 for such definitions and some properties of them. We stress that the cones $C_{\mathbb{V}}(\alpha )$ are used to give the definition of intrinsically Lispchitz graphs and functions, see [15, Definition 11 and Proposition 3.1]. The first result reads as follows, see Theorem 3.5.

Theorem 1.4

Let $\mathbb{G}$ be a Carnot group endowed with an arbitrary left-invariant homogeneous distance. Let $\varphi$ be a ${\mathcal{P}}_h$-rectifiable measure on $\mathbb{G}$. Then $\mathbb{G}$ can be covered $\varphi$-almost everywhere with countably many compact sets with the cone property with arbitrarily small opening. In other words for every $\alpha >0$, we have

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash \bigcup _{i=1}^{+\infty }{\mathrm{\Gamma }}_i)=0,\end{array}$$

where ${\mathrm{\Gamma }}_i$ are compact $C_{{\mathbb{V}}_i}(\alpha )$-sets, where ${\mathbb{V}}_i$ are homogeneous subgroups of $\mathbb{G}$ of Hausdorff dimension h.

If we ask that the tangents are complemented subgroups, we can improve the previous result. In particular we can take the ${\mathrm{\Gamma }}_i$’s to be intrinsic Lipschitz graphs, see Theorem 3.4 and Proposition 2.17. For the definition of intrinsically Lipschitz function, we refer the reader to Definition 2.16. Let us remark that the fact that the ${\mathrm{\Gamma }}_i$’s can be taken to be graphs will be crucial for the proof of the existence of the density in Theorem 1.3. Actually, by pushing a little bit further the information about the fact that the tangent measures at $\varphi$-almost every x are constant multiples of ${\mathcal{S}}^h⌞\mathbb{V}(x)$, we can give a structure result within the class of intrinsically differentiable graphs. Roughly speaking we say that the graph of a function between complementary subgroups $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$ is intrinsically differentiable at $a_0·\phi (a_0)$ if $\mathrm{graph}(\phi )$ admits a homogeneous subgroup as Hausdorff tangent at $a_0·\phi (a_0)$, see Definition 5.5 for details. For the forthcoming theorem, see Corollary 5.5.

Theorem 1.5

Let $\mathbb{G}$ be a Carnot group of homogeneous dimension Q endowed with an arbitrary left-invariant homogeneous distance. Let $h\in \{1,\dots ,Q\}$, and let $\varphi$ be a ${\mathcal{P}}_h^c$-rectifiable, i.e., a ${\mathcal{P}}_h$-rectifiable measure with tangents that are complemented almost everywhere.

Then $\mathbb{G}$ can be covered $\varphi$-almost everywhere with countably many compact graphs that are simultaneously intrinsically Lipschitz with arbitrarily small constant, and intrinsically differentiable almost everywhere. In other words, for every $\alpha >0$, we can write

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash \bigcup _{i=1}^{+\infty }{\mathrm{\Gamma }}_i)=0,\end{array}$$

where ${\mathrm{\Gamma }}_i=\mathrm{graph}({\phi }_i)$ are compact sets, with ${\phi }_i:A_i\subseteq {\mathbb{V}}_i\to {\mathbb{L}}_i$ being a function between a compact subset $A_i$ of ${\mathbb{V}}_i$, which is a homogeneous subgroup of $\mathbb{G}$ of homogeneous dimension h, and ${\mathbb{L}}_i$, which is a subgroup complementary to ${\mathbb{V}}_i$; in addition $\mathrm{graph}({\phi }_i)$ is a $C_{{\mathbb{V}}_i}(\alpha )$-set, and it is an intrinsically differentiable graph at $a·{\phi }_i(a)$ for ${\mathcal{S}}^h⌞A_i$-almost every $a\in {\mathbb{V}}_i$, see Definition 5.5.

Let us briefly remark that when a Rademacher-type theorem holds, i.e., if an intrinsically Lipschitz function is intrinsically differentiable almost everywhere, the full result in Theorem 1.5 would simply be deduced by the analogous result but only requiring a covering with intrinsic Lipschitz graphs. We remark that a Rademacher-type theorem at such level of generality, i.e., between arbitrary complementary subgroups of a Carnot group, is now known to be false, see the counterexample in [27]. On the other hand, some positive results in particular cases have been provided in [4, 14, 17] for intrinsically Lipschitz functions with one-dimensional target in groups in which De Giorgi $C_{\mathrm{H}}^1$-rectifiability for finite perimeter sets holds, and for functions with normal targets in arbitrary Carnot groups. We stress that very recently in [44], the author proves the Rademacher theorem at any codimension in the Heisenberg groups ${\mathbb{H}}^n$.

We stress that, as a consequence of the result [6, Theorem 1.1], we get that the ${\mathcal{P}}_h$-rectifiability of measures of the type ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is equivalent to the fact that ${\mathcal{S}}^h$-almost every $\mathrm{\Gamma }$ is covered by countably many intrinsic differentiable graphs. Thus, the negative result of [27] gives as a consequence that we cannot substitute intrinsic differentiable with intrinsic Lipschitz in the latter sentence. Ultimately, the general notion of rectifiability by means of coverings with countably many intrinsic Lipschitz graphs is not equivalent to the infinitesimal notion of rectifiability (namely, the $\mathcal{P}$-rectifiability) that one can give by asking that the tangents are almost everywhere unique (and then, as a consequence, homogeneous subgroups).

Let us briefly comment on the results listed above. Theorem 1.3 extends the implication in [39, (iv)$\Rightarrow$(ii) of Theorem 3.15] to the setting of ${\mathcal{P}}_h$-rectifiable measures whose tangents are complemented in arbitrary Carnot groups. Indeed, in [39, (iv)$\Rightarrow$(ii) of Theorem 3.15], the authors prove that if $n+1\le h\le 2n$, and ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is a ${\mathcal{P}}_h$-rectifiable measure with tangents that are vertical subgroups in the Heisenberg group ${\mathbb{H}}^n$, then the h-density of ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ exists almost everywhere and the tangent is unique almost everywhere. The analogous property in ${\mathbb{H}}^n$, but with ${\mathcal{P}}_h$-rectifiable measures with tangents that are horizontal subgroups, is obtained in [39, (iv)$\Rightarrow$(ii) of Theorem 3.14], and in arbitrary homogeneous groups in the recent [24, (iii)$\Rightarrow$(ii) of Theorem 1.1]. However, in this special horizontal case treated in [39, Theorem 3.14] and [24, Theorem 1.1], the authors do not assume ${\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0$ since it comes from the existence of an approximate tangent, see [39, Theorem 3.10], while the authors in [24] are able to overcome this issue by adapting [13, Lemma 3.3.6] in [24, Theorem 4.4]. We do not address in this paper the question of obtaining the same general results as in Theorem 1.4, Theorem 1.3, and Theorem 1.5 removing the hypothesis on the strictly positive lower density in item (i) of Definition 1.1 when the tangent is unique (up to a multiplicative constant). Nevertheless, we stress that the results obtained in [24, 39] are for sets, while our results hold for arbitrary Radon measures.

We finally mention that, as a consequence of the machinery developed in the subsequent paper [6], the covering property with intrinsically differentiable graphs proved in Theorem 1.5 actually characterizes the ${\mathcal{P}}_h$-rectifiability with complemented tangents, see [6, 3. $\Rightarrow$ 1. of Theorem 1.1]. The previous characterization is in fact obtained through a delicate rectifiability results for intrinsically differentiable graphs, see [6, Theorem 1.3], and more precisely [6, Lemma 3.9 and Lemma 3.10]. Moreover, as a consequence of [6, Theorem 1.1], the ${\mathcal{P}}_h$-rectifiability with complemented tangents is equivalent to asking that Preiss’s tangents are complemented homogeneous subgroups without any requirement on the h-lower and upper densities. We refer the reader to [6] for details.

Preliminaries

Carnot Groups

In this subsection, we briefly introduce some notations on Carnot groups that we will extensively use throughout the paper. For a detailed account on Carnot groups, we refer to [29].

A Carnot group $\mathbb{G}$ of step $\kappa$ is a simply connected Lie group whose Lie algebra $\mathfrak{g}$ admits a stratification $\mathfrak{g}=V_1\oplus V_2\oplus \cdots \oplus V_{\kappa }$. We say that $V_1\oplus V_2\oplus \cdots \oplus V_{\kappa }$ is a stratification of $\mathfrak{g}$ if $\mathfrak{g}=V_1\oplus V_2\oplus \cdots \oplus V_{\kappa }$,

$$\begin{array}{c}\hfill [V_1,V_i]=V_{i+1},\text{for any}i=1,\dots ,\kappa -1,[V_1,V_{\kappa }]=\{0\},\text{and}{V}_{\kappa }\ne \{0\},\end{array}$$

where $[A,B]:=\mathrm{span}\{[a,b]:a\in A,b\in B\}$. We call $V_1$ the horizontal layer of $\mathbb{G}$. We denote by n the topological dimension of $\mathfrak{g}$, by $n_j$ the dimension of $V_j$ for every $j=1,\dots ,\kappa$. Furthermore, we define ${\pi }_i:\mathbb{G}\to V_i$ to be the projection maps on the i-th strata. We will often shorten the notation to $v_i:={\pi }_{i}v$.

For a Carnot group $\mathbb{G}$, the exponential map $exp:\mathfrak{g}\to \mathbb{G}$ is a global diffeomorphism from $\mathfrak{g}$ to $\mathbb{G}$. Hence, if we choose a basis $\{X_1,\dots ,X_n\}$ of $\mathfrak{g}$, any $p\in \mathbb{G}$ can be written in a unique way as $p=exp(p_1{X}_1+\cdots +p_n{X}_n)$. This means that we can identify $p\in \mathbb{G}$ with the n-tuple $(p_1,\dots ,p_n)\in {\mathbb{R}}^n$ and the group $\mathbb{G}$ itself with ${\mathbb{R}}^n$ endowed with the group operation $·$ determined by the Baker–Campbell–Hausdorff formula. From now on, we will always assume that $\mathbb{G}=({\mathbb{R}}^n,·)$ and, as a consequence, that the exponential map $exp$ acts as the identity.

For any $p\in \mathbb{G}$, we define the left translation ${\tau }_p:\mathbb{G}\to \mathbb{G}$ as

$$\begin{array}{c}\hfill q\mapsto {\tau }_{p}q:=p·q.\end{array}$$

As already remarked above, the group operation $·$ is determined by the Campbell–Hausdorff formula, and it has the form (see [19, Proposition 2.1])

$$\begin{array}{c}\hfill p·q=p+q+\mathcal{Q}(p,q),\text{for}\text{all}p,q\in {\mathbb{R}}^n,\end{array}$$

where $\mathcal{Q}=({\mathcal{Q}}_1,\dots ,{\mathcal{Q}}_{\kappa }):{\mathbb{R}}^n\times {\mathbb{R}}^n\to V_1\oplus \cdots \oplus V_{\kappa }$, and the ${\mathcal{Q}}_i$’s have the following properties. For any $i=1,\dots \kappa$ and any $p,q\in \mathbb{G}$ we have

• (i)${\mathcal{Q}}_i({\delta }_{\lambda }p,{\delta }_{\lambda }q)={\lambda }^i{\mathcal{Q}}_i(p,q)$,
• (ii)${\mathcal{Q}}_i(p,q)=-{\mathcal{Q}}_i(-q,-p)$,
• (iii)${\mathcal{Q}}_1=0$ and ${\mathcal{Q}}_i(p,q)={\mathcal{Q}}_i(p_1,\dots ,p_{i-1},q_1,\dots ,q_{i-1})$.

Thus, we can represent the product $·$ as

$$\begin{array}{cc}\hfill p·q=& (p_1+q_1,p_2+q_2+{\mathcal{Q}}_2(p_1,q_1),\dots ,p_{\kappa }+q_{\kappa }\hfill \\ \hfill & +{\mathcal{Q}}_{\kappa }(p_1,\dots ,p_{\kappa -1},q_1,\dots ,q_{\kappa -1})).\hfill \end{array}$$ 1

The stratification of $\mathfrak{g}$ carries with it a natural family of dilations ${\delta }_{\lambda }:\mathfrak{g}\to \mathfrak{g}$, that are Lie algebra automorphisms of $\mathfrak{g}$ and are defined by

$$\begin{array}{c}\hfill {\delta }_{\lambda }(v_1,\dots ,v_{\kappa }):=(\lambda v_1,{\lambda }^2{v}_2,\dots ,{\lambda }^{\kappa }{v}_{\kappa }),\text{for any}\lambda >0,\end{array}$$

where $v_i\in V_i$. The stratification of the Lie algebra $\mathfrak{g}$ naturally induces a gradation on each of its homogeneous Lie sub-algebras $\mathfrak{h}$, i.e., sub-algebras that are ${\delta }_{\lambda }$-invariant for any $\lambda >0$, that is

$$\begin{array}{c}\hfill \mathfrak{h}=V_1\cap \mathfrak{h}\oplus \cdots \oplus V_{\kappa }\cap \mathfrak{h}.\end{array}$$ 2

We say that $\mathfrak{h}=W_1\oplus \cdots \oplus W_{\kappa }$ is a gradation of $\mathfrak{h}$ if $[W_i,W_j]\subseteq W_{i+j}$ for every $1\le i,j\le \kappa$, where we mean that $W_{\ell }:=\{0\}$ for every $\ell >\kappa$. Since the exponential map acts as the identity, the Lie algebra automorphisms ${\delta }_{\lambda }$ can be read also as group automorphisms of $\mathbb{G}$.

Definition 2.1

(Homogeneous subgroups) A subgroup $\mathbb{V}$ of $\mathbb{G}$ is said to be homogeneous if it is a Lie subgroup of $\mathbb{G}$ that is invariant under the dilations ${\delta }_{\lambda }$.

We recall the following basic terminology: a horizontal subgroup of a Carnot group $\mathbb{G}$ is a homogeneous subgroup of it that is contained in $exp(V_1)$; a Carnot subgroup $\mathbb{W}=exp(\mathfrak{h})$ of a Carnot group $\mathbb{G}$ is a homogeneous subgroup of it such that the first layer $V_1\cap \mathfrak{h}$ of the grading of $\mathfrak{h}$ inherited from the stratification of $\mathfrak{g}$ is the first layer of a stratification of $\mathfrak{h}$.

Homogeneous Lie subgroups of $\mathbb{G}$ are in bijective correspondence through $exp$ with the Lie sub-algebras of $\mathfrak{g}$ that are invariant under the dilations ${\delta }_{\lambda }$. For any Lie algebra $\mathfrak{h}$ with gradation $\mathfrak{h}=W_1\oplus \cdots \oplus W_{\kappa }$, we define its homogeneous dimension as

$$\begin{array}{c}\hfill {\text{dim}}_{\mathrm{hom}}(\mathfrak{h}):=\sum _{i=1}^{\kappa }i·\text{dim}(W_i).\end{array}$$

Thanks to (2) we infer that, if $\mathfrak{h}$ is a homogeneous Lie sub-algebra of $\mathfrak{g}$, we have ${\text{dim}}_{\mathrm{hom}}(\mathfrak{h}):={\sum }_{i=1}^{\kappa }i·\text{dim}(\mathfrak{h}\cap V_i)$. We introduce now the class of homogeneous and left-invariant distances.

Definition 2.2

(Homogeneous left-invariant distance) A metric $d:\mathbb{G}\times \mathbb{G}\to \mathbb{R}$ is said to be homogeneous and left invariant if for any $x,y\in \mathbb{G}$, we have

• (i)$d({\delta }_{\lambda }x,{\delta }_{\lambda }y)=\lambda d(x,y)$ for any $\lambda >0$,
• (ii)$d({\tau }_{z}x,{\tau }_{z}y)=d(x,y)$ for any $z\in \mathbb{G}$.

We remark that two homogeneous left-invariant distances on a Carnot group are always bi-Lipschitz equivalent. It is well known that the Hausdorff dimension (for a definition of Hausdorff dimension see for instance [36, Definition 4.8]) of a graded Lie group $\mathbb{G}$ with respect to an arbitrary left-invariant homogeneous distance coincides with the homogeneous dimension of its Lie algebra. For a reference for the latter statement, see [30, Theorem 4.4]. From now on, if not otherwise stated, $\mathbb{G}$ will be a fixed Carnot group. We recall that a homogeneous norm $\Vert ·\Vert$ on $\mathbb{G}$ is a function $\Vert ·\Vert :\mathbb{G}\to [0,+\infty )$ such that $\Vert {\delta }_{\lambda }x\Vert =\lambda \Vert x\Vert$ for every $\lambda >0$ and $x\in \mathbb{G}$; $\Vert x·y\Vert \le \Vert x\Vert +\Vert y\Vert$ for every $x,y\in \mathbb{G}$; and $\Vert x\Vert =0$ if and only if $x=0$. We introduce now a distinguished homogeneous norm on $\mathbb{G}$.

Definition 2.3

(Smooth-box metric) For any $g\in \mathbb{G}$, we let

$$\begin{array}{c}\hfill \Vert g\Vert :=max\{{\epsilon }_1|g_1|,{\epsilon }_2|g_2{|}^{1/2},\dots ,{\epsilon }_{\kappa }|g_{\kappa }{|}^{1/\kappa }\},\end{array}$$

where ${\epsilon }_1=1$ and ${\epsilon }_2,\dots {\epsilon }_{\kappa }$ are suitably small parameters depending only on the group $\mathbb{G}$. For the proof of the fact that we can choose the ${\epsilon }_i$’s in such a way that $\Vert ·\Vert$ is a homogeneous norm on $\mathbb{G}$ that induces a left-invariant homogeneous distance, we refer to [19, Sect. 5].

Given an arbitrary homogeneous norm $\Vert ·\Vert$ on $\mathbb{G}$, the distance d induced by $\Vert ·\Vert$ is defined as follows:

$$\begin{array}{c}\hfill d(x,y):=\Vert x^{-1}·y\Vert .\end{array}$$

Vice-versa, given a homogeneous left-invariant distance d, it induces a homogeneous norm through the equality $\Vert x\Vert :=d(x,e)$ for every $x\in \mathbb{G}$, where e is the identity element of $\mathbb{G}$.

Given a homogeneous left-invariant distance d, we let $U(x,r):=\{z\in \mathbb{G}:d(x,z)<r\}$ be the open metric ball relative to the distance d centered at x and with radius $r>0$. The closed ball will be denoted with $B(x,r):=\{z\in \mathbb{G}:d(x,z)\le r\}$. Moreover, for a subset $E\subseteq \mathbb{G}$ and $r>0$, we denote with $B(E,r):=\{z\in \mathbb{G}:\mathrm{dist}(z,E)\le r\}$ the closed r-tubular neighborhood of E and with $U(E,r):=\{z\in \mathbb{G}:\mathrm{dist}(z,E)<r\}$ the open r -tubular neighborhood of E.

The following estimate on the norm of the conjugate will be useful later on. It appears in [34, Lemma 3.6].

Lemma 2.1

For any homogeneous norm $\Vert ·\Vert$ and any $\ell >0$, there exists a constant $C_1(\ell )>1$ such that for every $x,y\in B(0,\ell )$, we have

$$\begin{array}{c}\hfill \Vert y^{-1}·x·y\Vert \le C_1{\Vert x\Vert }^{1/\kappa }.\end{array}$$

Definition 2.4

(Hausdorff Measures) Throughout the paper, we define the h- dimensional spherical Hausdorff measure relative to a left-invariant homogeneous metric d as

$$\begin{array}{c}\hfill {\mathcal{S}}^h(A):=\underset{\delta >0}{sup}inf\{\sum _{j=1}^{\infty }{r}_j^h:A\subseteq \bigcup _{j=1}^{\infty }B(x_j,r_j),r_j\le \delta \},\end{array}$$

for every $A\subseteq \mathbb{G}$. We define the h-dimensional Hausdorff measure relative to d as

$$\begin{array}{c}\hfill {\mathcal{H}}^h(A):=\underset{\delta >0}{sup}inf\left\{\sum _{j=1}^{\infty },2^{-h},{(\mathrm{diam}{E}_j)}^h,:,A,\subseteq ,\bigcup _{j=1}^{\infty },E_j,,,,\mathrm{diam},E_j,\le ,\delta \right\},\end{array}$$

for every $A\subseteq \mathbb{G}$. We define the h-dimensional centered Hausdorff measure relative to d as

$$\begin{array}{c}\hfill {\mathcal{C}}^h(A):=\underset{E\subseteq A}{sup}{\mathcal{C}}_0^h(E),\end{array}$$

for every $A\subseteq \mathbb{G}$, where

$$\begin{array}{c}\hfill {\mathcal{C}}_0^h(E):=\underset{\delta >0}{sup}inf\{\sum _{j=1}^{\infty }{r}_j^h:E\subseteq \bigcup _{j=1}^{\infty }B(x_j,r_j),x_j\in E,r_j\le \delta \},\end{array}$$

for every $E\subseteq \mathbb{G}$. We stress that ${\mathcal{C}}^h$ is an outer measure, and thus, it defines a Borel regular measure, see [12, Proposition 4.1], and that the measures ${\mathcal{S}}^h,{\mathcal{H}}^h,{\mathcal{C}}^h$ are all equivalent measures, see [13, Sect. 2.10.2] and [12, Proposition 4.2].

Definition 2.5

(Hausdorff distance) Given a left-invariant homogeneous distance d on $\mathbb{G}$, for any couple of sets $A,B\subseteq \mathbb{G}$, we define the Hausdorff distance of A from B as

$$\begin{array}{c}\hfill d_{H,\mathbb{G}}(A,B):=max\{\underset{x\in A}{sup}\text{dist}(x,B),\underset{y\in B}{sup}\text{dist}(A,y)\},\end{array}$$

where

$$\begin{array}{c}\hfill \text{dist}(x,A):=\underset{y\in A}{inf}d(x,y),\end{array}$$

for every $x\in \mathbb{G}$ and $A\subseteq \mathbb{G}$.

Densities and Tangents of Radon Measures

Throughout the rest of the paper, we will always assume that $\mathbb{G}$ is a fixed Carnot group endowed with an arbitrary left-invariant homogeneous distance d. Some of the forthcoming results will be proved in the particular case in which d is the distance induced by the distinguished homogeneous norm defined in Definition 2.3, and we will stress this when it will be the case.

The homogeneous, and thus Hausdorff, dimension with respect to d will be denoted with Q. Furthermore, as discussed in the previous subsection, we will assume without loss of generality that $\mathbb{G}$ coincides with ${\mathbb{R}}^n$ endowed with the product induced by the Baker–Campbell–Hausdorff formula relative to $\text{Lie}(\mathbb{G})$.

Definition 2.6

(Weak convergence of measures) Given a family ${\{{\varphi }_i\}}_{i\in \mathbb{N}}$ of Radon measures on $\mathbb{G}$, we say that ${\varphi }_i$ weakly converges to a Radon measure $\varphi$, and we write ${\varphi }_i\rightharpoonup \varphi$, if

$$\begin{array}{c}\hfill \int fd{\varphi }_i\to \int fd\varphi ,\text{for any}f\in C_c(\mathbb{G}).\end{array}$$

Definition 2.7

(Tangent measures) Let $\varphi$ be a Radon measure on $\mathbb{G}$. For any $x\in \mathbb{G}$ and any $r>0$ we define the measure

$$\begin{array}{c}\hfill T_{x,r}\varphi (E):=\varphi (x·{\delta }_r(E)),\text{for any Borel set}E.\end{array}$$

Furthermore, we define ${\mathrm{Tan}}_h(\varphi ,x)$, the h-dimensional tangents to $\varphi$ at x, to be the collection of the Radon measures $\nu$ for which there is an infinitesimal sequence ${\{r_i\}}_{i\in \mathbb{N}}$ such that

$$\begin{array}{c}\hfill r_i^{-h}{T}_{x,r_i}\varphi \rightharpoonup \nu .\end{array}$$

Remark 2.1

(Zero as a tangent measure) We remark that our definition potentially admits the zero measure as a tangent measure, as in [9], while the definitions in [42] and [39] do not.

Definition 2.8

(Lower and upper densities) If $\varphi$ is a Radon measure on $\mathbb{G}$, and $h>0$, we define

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h(\varphi ,x):=\underset{r\to 0}{lim\; inf}\frac{\varphi (B(x,r))}{r^h},\text{and}{\mathrm{\Theta }}^{h,\ast }(\varphi ,x):=\underset{r\to 0}{lim\; sup}\frac{\varphi (B(x,r))}{r^h},\end{array}$$

and we say that ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)$ and ${\mathrm{\Theta }}^{h,\ast }(\varphi ,x)$ are the lower and upper h-density of $\varphi$ at the point $x\in \mathbb{G}$, respectively. Furthermore, we say that measure $\varphi$ has h-density if

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)={\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty ,\text{for}\varphi \text{-almost any}x\in \mathbb{G}.\end{array}$$

Lebesgue theorem holds for measures with positive lower density and finite upper density, and thus, local properties are stable under restriction to Borel subsets.

Proposition 2.2

Suppose $\varphi$ is a Radon measure on $\mathbb{G}$ with $0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty$ for $\varphi$-almost every $x\in \mathbb{G}$. Then, for any Borel set $B\subseteq \mathbb{G}$ and for $\varphi$-almost every $x\in B$, we have

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h(\varphi ⌞B,x)={\mathrm{\Theta }}_{\ast }^h(\varphi ,x),\text{and}{\mathrm{\Theta }}^{h,\ast }(\varphi ⌞B,x)={\mathrm{\Theta }}^{h,\ast }(\varphi ,x).\end{array}$$

Proof

This is a direct consequence of Lebesgue differentiation Theorem of [23, page 77] that can be applied since $(\mathbb{G},d,\varphi )$ is a Vitali metric measure space due to [23, Theorem 3.4.3]. $\square$

We stress that whenever the h-lower density of $\varphi$ is strictly positive and the h-upper density of $\varphi$ is finite $\varphi$-almost everywhere, the set ${\mathrm{Tan}}_h(\varphi ,x)$ is nonempty for $\varphi$-almost every $x\in \mathbb{G}$, see [41, Proposition 1.12]. The following proposition has been proved in [41, Proposition 1.13].

Proposition 2.3

(Locality of tangents) Let $h>0$, and let $\varphi$ be a Radon measure such that for $\varphi$-almost every $x\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty .\end{array}$$

Then for every $\rho \in L^1(\varphi )$ that is nonnegative $\varphi$-almost everywhere we have ${\mathrm{Tan}}_h(\rho \varphi ,x)=\rho (x){\mathrm{Tan}}_h(\varphi ,x)$ for $\varphi$-almost every $x\in \mathbb{G}$. More precisely, the following holds: for $\varphi$-almost every $x\in \mathbb{G}$, then

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \text{if}{r}_i\to 0\text{is such that}{r}_i^{-h}{T}_{x,r_i}\varphi \rightharpoonup \nu \text{then}{r}_i^{-h}{T}_{x,r_i}(\rho \varphi )\rightharpoonup \rho (x)\nu .\\ \hfill \end{array}\end{array}$$ 3

Let us introduce a useful split of the support of a Radon measure $\varphi$ on $\mathbb{G}$.

Definition 2.9

Let $\varphi$ be a Radon measure on $\mathbb{G}$ that is supported on the compact set K. For any $\vartheta ,\gamma \in \mathbb{N}$ we define

$$\begin{array}{c}\hfill E(\vartheta ,\gamma ):=\{x\in K:{\vartheta }^{-1}{r}^h\le \varphi (B(x,r))\le \vartheta r^h\text{for any}0<r<1/\gamma \}.\end{array}$$ 4

Let us stress that Definition 2.9 does not only depend on $\vartheta ,\gamma$ but obviously also on h. Anyway throughout the proofs of this paper, we always assume h to be fixed, and hence, we will not stress this dependence in the notation $E(\vartheta ,\gamma )$.

Proposition 2.4

For any $\vartheta ,\gamma \in \mathbb{N}$, the set $E(\vartheta ,\gamma )$ defined in Definition 2.9 is compact.

Proof

This is [41, Proposition 1.14]. $\square$

Proposition 2.5

Assume $\varphi$ is a Radon measure supported on the compact set K such that $0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty$ for $\varphi$-almost every $x\in \mathbb{G}$. Then $\varphi (\mathbb{G}\backslash {\bigcup }_{\vartheta ,\gamma \in \mathbb{N}}E(\vartheta ,\gamma ))=0$.

Proof

Let $w\in K\backslash {\bigcup }_{\vartheta ,\gamma }E(\vartheta ,\gamma )$ and note that this implies that either ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)=0$ or ${\mathrm{\Theta }}^{h,\ast }(\varphi ,x)=\infty$. Since $0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty$ for $\varphi$-almost every $x\in \mathbb{G}$, this concludes the proof. $\square$

We recall here a useful proposition about the structure of Radon measures.

Proposition 2.6

( [41, Proposition 1.17 and Corollary 1.18]) Let $\varphi$ be a Radon measure supported on a compact set on $\mathbb{G}$ such that $0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<\infty$ for $\varphi$-almost every $x\in \mathbb{G}$. For every $\vartheta ,\gamma \in \mathbb{N}$, we have that $\varphi ⌞E(\vartheta ,\gamma )$ is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$.

Intrinsic Grassmannian in Carnot Groups

Let us recall the definition of the Euclidean Grassmannian, along with some of its properties.

Definition 2.10

(Euclidean Grassmannian) Given $k\le n$ we let $Gr(n,k)$ to be the set of the k-vector subspaces of ${\mathbb{R}}^n$. We endow $Gr(n,k)$ with the following distance

$$\begin{array}{c}\hfill d_{\mathrm{eu}}(V_1,V_2):=d_{H,\mathrm{eu}}\left(V_1,\cap ,B_{\mathrm{eu}},(0,1),,,V_2,\cap ,B_{\mathrm{eu}},(0,1)\right),\end{array}$$

where $B_{\mathrm{eu}}(0,1)$ is the (closed) Euclidean unit ball, and $d_{H,\mathrm{eu}}$ is the Hausdorff distance between sets induced by the Euclidean distance on ${\mathbb{R}}^n$.

Remark 2.2

(Euclidean Grassmannian and convergence) It is well known that the metric space $(Gr(n,k),d_{H,\mathrm{eu}})$ is compact. Moreover, the following hold

• (i)if $V_n\to V$, then for every $v\in V$ there exist $v_n\in V_n$ such that $v_n\to v$;
• (ii)if $V_n\to V$ and there is a sequence $v_n\in V_n$ such that $v_n\to v$, then $v\in V$.

The proof of the two items above is left to the reader as an exercise.

We now give the definition of the intrinsic Grassmannian on Carnot groups and introduce the class of complemented homogeneous subgroups.

Definition 2.11

(Intrinsic Grassmannian on Carnot groups) For any $1\le h\le Q$, we define $Gr(h)$ to be the family of homogeneous subgroups $\mathbb{V}$ of $\mathbb{G}$ that have Hausdorff dimension h.

Let us recall that if $\mathbb{V}$ is a homogeneous subgroup of $\mathbb{G}$, any other homogeneous subgroup $\mathbb{L}$ such that

$$\begin{array}{c}\hfill \mathbb{V}·\mathbb{L}=\mathbb{G}\text{and}\mathbb{V}\cap \mathbb{L}=\{0\}.\end{array}$$

is said to be a complement of $\mathbb{G}$. We let $G{r}_c(h)$ to be the subfamily of those $\mathbb{V}\in Gr(h)$ that have a complement and we will refer to $G{r}_c(h)$ as the h-dimensional complemented Grassmannian.

Let us introduce the stratification vector of a homogeneous subgroup.

Definition 2.12

(Stratification vector) Let $h\in \{1,\dots ,Q\}$ and for any $\mathbb{V}\in Gr(h)$ we denote with $\mathfrak{s}(\mathbb{V})$ the vector

$$\begin{array}{c}\hfill \mathfrak{s}(\mathbb{V}):=(dim(V_1\cap \mathbb{V}),\dots ,dim(V_{\kappa }\cap \mathbb{V})),\end{array}$$

that with abuse of language we call the stratification, or the stratification vector, of $\mathbb{V}$. Furthermore, we define

$$\begin{array}{c}\hfill \mathfrak{S}(h):=\{\mathfrak{s}(\mathbb{V})\in {\mathbb{N}}^{\kappa }:\mathbb{V}\in Gr(h)\}.\end{array}$$

We remark that the cardinality of $\mathfrak{S}(h)$ is bounded by ${\prod }_{i=1}^{\kappa }(dim{V}_i+1)$ for any $h\in \{1,\dots ,Q\}$.

We now collect in the following result some topological properties of the Grassmannians introduced above.

Proposition 2.7

(Compactness of the Grassmannian) For any $1\le h\le Q$ the function

$$\begin{array}{c}\hfill d_{\mathbb{G}}({\mathbb{W}}_1,{\mathbb{W}}_2):=d_{H,\mathbb{G}}({\mathbb{W}}_1\cap B(0,1),{\mathbb{W}}_2\cap B(0,1)),\end{array}$$

with ${\mathbb{W}}_1,{\mathbb{W}}_2\in Gr(h)$, is a distance on $Gr(h)$. Moreover $(Gr(h),d_{\mathbb{G}})$ is a compact metric space.

Proof

The fact that $d_{\mathbb{G}}$ is a distance comes from well-known properties of the Hausdorff distance. Let us consider a sequence ${\{{\mathbb{W}}_j\}}_{j\in \mathbb{N}}\subseteq Gr(h)$, with ${\mathbb{W}}_j=W_{j,1}\oplus \cdots \oplus W_{j,\kappa }$, where $W_{j,i}:=V_i\cap {\mathbb{W}}_j$ for any $j\in \mathbb{N}$ and $1\le i\le \kappa$. By extracting a (non-re-labeled) subsequence, we can suppose that there exist ${\{k_i\}}_{i=1,\dots ,\kappa }$ natural numbers such that the topological dimension is $dim{W}_{j,i}=k_i$ for all $j\in \mathbb{N}$, and for all $1\le i\le \kappa$. In particular, the topological dimension of ${\mathbb{W}}_j$ is constant. Exploiting the compactness of the Euclidean Grassmannian, see Remark 2.2, we get that up to a (non-re-labeled) subsequence,

$$\begin{array}{c}\hfill W_{j,i}\to W_i,\text{i.e.}{d}_{\mathrm{eu}}(W_{j,i},W_i)\to 0\text{for any}1\le i\le \kappa ,\end{array}$$ 5

where the convergence is meant in the Euclidean Grassmannian $Gr(k_i,V_i)$. As a consequence

$$\begin{array}{c}\hfill W_j=W_{j,1}\oplus \cdots \oplus W_{j,\kappa }\to W=W_1\oplus \cdots \oplus W_{\kappa },\text{i.e.,}{d}_{H,\mathrm{eu}}(W_j,W)\to 0,\\ \hfill \end{array}$$ 6

where the convergence is meant in the Euclidean Grassmannian $Gr({\sum }_{i=1}^{\kappa }{k}_i,n)$. The previous equality is a consequence of (5) and the following observation: if V and W are two orthogonal linear subspaces such that ${\mathbb{R}}^n=V\oplus W$, and A, B are vector subspaces of V, and C, D are vector subspaces of W, then

$$\begin{array}{c}\hfill d_{\mathrm{eu}}(A\oplus C,B\oplus D)\le d_{\mathrm{eu}}(A,B)+d_{\mathrm{eu}}(C,D),\end{array}$$

where the direct sums above are orthogonal too. Let us notice that, from (6) it follows that

$$\begin{array}{c}\hfill d_{H,\mathrm{eu}}(W_j\cap B(0,1),W\cap B(0,1))\to 0,\end{array}$$ 7

where we stress that B(0, 1) is the closed unit ball in the homogeneous left-invariant metric d. The proof of (7) can be reached by contradiction exploiting (6) and the fact that B(0, 1) is compact. We leave the routine details to the reader.

In order to conclude the proof, we need to show that

$$\begin{array}{c}\hfill d_{\mathbb{G}}(W_j\cap B(0,1),W\cap B(0,1))\to 0.\end{array}$$ 8

Indeed, on the compact set B(0, 1), one has $d\le C{d}_{\mathrm{eu}}^{1/\kappa }$ for some constant $C>0$, see for instance [43, Proposition 2.15]. This means that for subsets contained in B(0, 1) one has $d_H\le C{d}_{H,\mathrm{eu}}^{1/s}$. This last inequality with (7) gives (8). Finally from (8) we get, by the very definition of $d_{\mathbb{G}}$,

$$\begin{array}{c}\hfill d_{\mathbb{G}}({\mathbb{W}}_j,\mathbb{W})\to 0.\end{array}$$

If we show that $\mathbb{W}$ is a homogeneous subgroup of homogeneous dimension h we are done. The homogeneity comes from the fact that W admits a stratification (6), while the homogeneous dimension is fixed because it depends on the dimensions of $W_i$ that are all equal to $k_i$. Let us prove $\mathbb{W}$ is a subgroup. First of all $\mathbb{W}$ is inverse-closed, because $\mathbb{W}=expW$, and W is a vector space. Now take $a,b\in \mathbb{W}$. By the first point of Remark 2.2 we find $a_n,b_n\in {\mathbb{W}}_n$ such that $a_n\to a$, and $b_n\to b$. Then, by continuity of the operation, $a_n·b_n\to a·b$, and $a_n·b_n\in {\mathbb{W}}_n$. Then from the second point of Remark 2.2 we get that $a·b\in \mathbb{W}$. $\square$

Proposition 2.8

There exists a constant ${ħ}_{\mathbb{G}}>0$, depending only on $\mathbb{G}$, such that if $\mathbb{W},\mathbb{V}\in Gr(h)$ and $d_{\mathbb{G}}(\mathbb{V},\mathbb{W})\le {ħ}_{\mathbb{G}}$, then $\mathfrak{s}(\mathbb{V})=\mathfrak{s}(\mathbb{W})$.

Proof

Let us fix $1\le h\le Q$. Let us suppose by contradiction that there exist ${\mathbb{V}}_i$ and ${\mathbb{W}}_i$ in $Gr(h)$ such that, for every $i\in \mathbb{N}$, the stratification of ${\mathbb{V}}_i$ is different from ${\mathbb{W}}_i$ and such that $d_{\mathbb{G}}({\mathbb{V}}_i,{\mathbb{W}}_i)\to 0$. Up to extract two (non-re-labeled) subsequences we can assume that the ${\mathbb{V}}_i$’s have the same stratification for every $i\in \mathbb{N}$, as well as the ${\mathbb{W}}_i$’s. Then, by compactness, see the proof of Proposition 2.7, we can assume up to passing to a (non re-labeled) subsequence that ${\mathbb{W}}_i\to \mathbb{W}$ where $\mathbb{W}$ has the same stratification of the ${\mathbb{W}}_i$’s, and ${\mathbb{V}}_i\to \mathbb{V}$ where $\mathbb{V}$ has the same stratification of the ${\mathbb{V}}_i$’s. Since $d_{\mathbb{G}}({\mathbb{V}}_i,{\mathbb{W}}_i)\to 0$, we get that $d_{\mathbb{G}}(\mathbb{V},\mathbb{W})=0$ and then $\mathbb{V}=\mathbb{W}$ but this is a contradiction since they have different stratifications. This proves the existence of a constant $ħ$ that depends both on $\mathbb{G}$ and h. However, taking the minimum over h of such $ħ$’s, the dependence on h is eliminated. $\square$

Proposition 2.9

Suppose $\mathbb{V}\in Gr(h)$ is a homogeneous subgroup of topological dimension d. Then ${\mathcal{S}}^h⌞\mathbb{V}$, ${\mathcal{H}}^h⌞\mathbb{V}$, ${\mathcal{C}}^h⌞\mathbb{V}$ and ${\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{V}$ are Haar measures of $\mathbb{V}$. Furthermore, any Haar measure $\lambda$ of $\mathbb{V}$ is h-homogeneous in the sense that

$$\begin{array}{c}\hfill \lambda ({\delta }_r(E))=r^h\lambda (E),\text{for any Borel set}E\subseteq \mathbb{V}.\end{array}$$

Proof

This follows from the fact that the Hausdorff, the spherical Hasudorff, and the centered Hausdorff measures introduced in Definition 2.5 are invariant under left translations and thus on the one hand, they are Haar measures of $\mathbb{V}$. Furthermore, one can show by an explicit computation that the Lebesgue measure ${\mathcal{L}}^d$ restricted to the vector space ${exp}^{-1}(\mathbb{V})$ is a Haar measure. Indeed, this last assertion comes from the fact that for every $v\in \mathbb{V}$ the map $p\to v·p$ has unitary Jacobian determinant when seen as a map from $\mathbb{V}$ to $\mathbb{V}$, see [15, Lemma 2.20]. Thus since when seen $\mathbb{V}$ as immersed in ${\mathbb{R}}^n$ we have that the Lebesgue measure of $\mathbb{V}$ coincides with ${\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{V}$, we conclude that ${\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{V}$ is a Haar measure of $\mathbb{V}$ as well. The last part of the proposition comes from the fact that the property is obvious by definition for the spherical Hausdorff measure, and the fact that all the Haar measures are the same up to a constant. $\square$

We now introduce the projections related to a splitting $\mathbb{G}=\mathbb{V}·\mathbb{L}$ of the group.

Definition 2.13

(Projections related to a splitting) For any $\mathbb{V}\in G{r}_c(h)$ with a homogeneous complement $\mathbb{L}$, we can find two unique elements $g_{\mathbb{V}}:=P_{\mathbb{V}}g\in \mathbb{V}$ and $g_{\mathbb{L}}:=P_{\mathbb{L}}g\in \mathbb{L}$ such that

$$\begin{array}{c}\hfill g=P_{\mathbb{V}}(g)·P_{\mathbb{L}}(g)=g_{\mathbb{V}}·g_{\mathbb{L}}.\end{array}$$

We will refer to $P_{\mathbb{V}}(g)$ and $P_{\mathbb{L}}(g)$ as the splitting projections, or simply projections, of g onto $\mathbb{V}$ and $\mathbb{L}$, respectively.

We recall here below a very useful fact on splitting projections.

Proposition 2.10

Let us fix $\mathbb{V}\in G{r}_c(h)$ and $\mathbb{L}$ two complementary homogeneous subgroups of a Carnot group $\mathbb{G}$. Then, for any $x\in \mathbb{G}$, the map $\mathrm{\Psi }:\mathbb{V}\to \mathbb{V}$ defined as $\mathrm{\Psi }(z):=P_{\mathbb{V}}(xz)$ is invertible and it has unitary Jacobian. As a consequence ${\mathcal{S}}^h(P_{\mathbb{V}}(\mathcal{E}))={\mathcal{S}}^h(P_{\mathbb{V}}(x{P}_{\mathbb{V}}(\mathcal{E})))={\mathcal{S}}^h(P_{\mathbb{V}}(x\mathcal{E}))$ for every $x\in \mathbb{G}$ and $\mathcal{E}\subseteq \mathbb{G}$ Borel.

Proof

The first part is a direct consequence of [15, Proof of Lemma 2.20]. For the second part it is sufficient to use the first part and the fact that for every $x,y\in \mathbb{G}$ we have $P_{\mathbb{V}}(xy)=P_{\mathbb{V}}(x{P}_{\mathbb{V}}y)$. $\square$

The following proposition holds for the distance d induced by the norm introduced in Definition 2.3.

Proposition 2.11

Let $\mathbb{G}$ be a Carnot group endowed with the homogeneous norm $\Vert ·\Vert$ introduced in Definition 2.3. Let $\mathbb{W}\in Gr(h)$ be a homogeneous subgroup of Hausdorff dimension h and of topological dimension d. Then

• (i)
  there exists a constant $C_2:=C_2(\mathfrak{s}(\mathbb{W}))$ such that for any $p\in \mathbb{W}$ and any $r>0$ we have

  $$\begin{array}{c}\hfill {\mathcal{H}}_{\mathrm{eu}}^d\left(B,(,p,,,r,),\cap ,\mathbb{W}\right)=C_2{r}^h,\end{array}$$ 9
• (ii)there exists a constant $\beta (\mathbb{W})$ such that ${\mathcal{C}}^h⌞\mathbb{W}=\beta (\mathbb{W}){\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{W}$,
• (iii)$\beta (\mathbb{W})={\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{W}{(B(0,1))}^{-1}$ and in particular $\beta (\mathbb{W})=\beta (\mathfrak{s}(\mathbb{W}))$.

Proof

Thanks to Proposition 2.9, we have

$$\begin{array}{cc}\hfill {\mathcal{H}}_{\mathrm{eu}}^d(B(p,r)\cap \mathbb{W})=& {\mathcal{H}}_{\mathrm{eu}}^d(B(0,r)\cap \mathbb{W})={\mathcal{H}}_{\mathrm{eu}}^d({\delta }_r(B(0,1)\cap \mathbb{W}))\hfill \\ \hfill =& r^h{\mathcal{H}}_{\mathrm{eu}}^d(B(0,1)\cap \mathbb{W}).\hfill \end{array}$$

Furthermore, if $\mathbb{V}$ is another homogeneous subgroup such that $\mathfrak{s}(\mathbb{W})=\mathfrak{s}(\mathbb{V})$, we can find a linear map T that acts as an orthogonal transformation on each of the $V_i$’s and that maps $\mathbb{W}$ to $\mathbb{V}$. Since we are endowing $\mathbb{G}$ with the box metric Definition 2.3, we get that $T(B(0,1)\cap \mathbb{W})=B(0,1)\cap \mathbb{V}$. Since T is an orthogonal transformation itself, it is an isometry of ${\mathbb{R}}^n$ and this implies that

$$\begin{array}{c}\hfill {\mathcal{H}}_{\mathrm{eu}}^d(B(0,1)\cap \mathbb{W})={\mathcal{H}}_{\mathrm{eu}}^d(T(B(0,1)\cap \mathbb{W}))={\mathcal{H}}_{\mathrm{eu}}^d(B(0,1)\cap \mathbb{V}).\end{array}$$

Concerning (ii) thanks to Proposition 2.9, we have that both ${\mathcal{C}}^h⌞\mathbb{W}$ and ${\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{W}$ are Haar measures of $\mathbb{W}$. This implies that there must exist a constant $\beta (\mathbb{W})$ such that $\beta (\mathbb{W}){\mathcal{H}}_{\mathrm{eu}}^d⌞\mathbb{W}={\mathcal{C}}^h⌞\mathbb{W}$.

Finally, in order to prove (iii), we prove the following. For every left-invariant homogeneous distance d on $\mathbb{G}$ and every homogeneous subgroup $\mathbb{W}\subseteq \mathbb{G}$ of Hausdorff dimension h, we have that

$$\begin{array}{c}\hfill {\mathcal{C}}^h(\mathbb{W}\cap B(0,1))=1,\end{array}$$ 10

where ${\mathcal{C}}^h$ is the centered Hausdorff measure relative to the distance d and B(0, 1) is the closed ball relative to the distance d.

Indeed, let us fix an $\epsilon >0$, let us take $A\subseteq \mathbb{W}\cap B(0,1)$ such that ${\mathcal{C}}_0^h(A)\ge {\mathcal{C}}^h(\mathbb{W}\cap B(0,1))-\epsilon$, $\delta >0$ and a covering of A with closed balls $B_i:={\{B(x_i,r_i)\}}_{i\in \mathbb{N}}$ centered on $A\subseteq \mathbb{W}$ and with radii $r_i\le \delta$ such that

$$\begin{array}{c}\hfill \sum _{i\in \mathbb{N}}{r}_i^h\le {\mathcal{C}}_0^h(A)+\epsilon .\end{array}$$

This implies that

$$\begin{array}{c}\hfill \begin{array}{cc}& {\mathcal{C}}^h(B(0,1)\cap \mathbb{W})({\mathcal{C}}^h(B(0,1)\cap \mathbb{W})+\epsilon )\ge {\mathcal{C}}^h(B(0,1)\cap \mathbb{W})({\mathcal{C}}_0^h(A)+\epsilon )\hfill \\ \hfill & \ge \sum _{i\in \mathbb{N}}{\mathcal{C}}^h(B(0,1)\cap \mathbb{W})r_i^h=\sum _{i\in \mathbb{N}}{\mathcal{C}}^h(B(x_i,r_i)\cap \mathbb{W})\ge {\mathcal{C}}^h(A)\hfill \\ \hfill & \ge {\mathcal{C}}_0^h(A)\ge {\mathcal{C}}^h(\mathbb{W}\cap B(0,1))-\epsilon ,\hfill \end{array}\end{array}$$

where the first inequality is true since ${\mathcal{C}}^h(B(0,1)\cap \mathbb{W})\ge {\mathcal{C}}^h(A)\ge {\mathcal{C}}_0^h(A)$, and the third equality is true since $x_i\in \mathbb{W}$ and ${\mathcal{C}}^h⌞\mathbb{W}$ is a Haar measure on $\mathbb{W}$. Thanks to the arbitrariness of $\epsilon$, we finally infer that ${\mathcal{C}}^h(\mathbb{W}\cap B(0,1))\ge 1$.

On the other hand, thanks to [16, item (ii) of Theorem 2.13 and Remark 2.14], we have that, calling $B_t:=\{x\in \mathbb{W}\cap B(0,1):{\mathrm{\Theta }}^{\ast ,h}({\mathcal{C}}^h⌞\mathbb{W},x)>t\}$ for every $t>0$, we infer that ${\mathcal{C}}^h(B_t)\ge t{\mathcal{C}}^h(B_t)$ for every $t>0$. Thus, for every $t>1$ we conclude ${\mathcal{C}}^h(B_t)=0$ and hence for ${\mathcal{C}}^h⌞\mathbb{W}$-almost every $x\in \mathbb{W}\cap B(0,1)$ we have that ${\mathrm{\Theta }}^{\ast ,h}({\mathcal{C}}^h⌞\mathbb{W},x)\le 1$. For one of such $x\in \mathbb{W}\cap B(0,1)$ we can write

$$\begin{array}{c}\hfill {\mathcal{C}}^h(B(0,1)\cap \mathbb{W})=\underset{r\to 0}{lim\; sup}\frac{{\mathcal{C}}^h(B(x,r)\cap \mathbb{W})}{r^h}={\mathrm{\Theta }}^{\ast ,h}({\mathcal{C}}^h⌞\mathbb{W},x)\le 1,\end{array}$$

where the first equality comes from Proposition 2.9. Thus ${\mathcal{C}}^h(\mathbb{W}\cap B(0,1))=1$ and this concludes the proof of the first part of (iii) thanks to item (ii). The fact that $\beta (\mathbb{W})$ depends only on $\mathfrak{s}(\mathbb{W})$ follows from item (i) $\square$

Remark 2.3

The above proposition can be proved whenever the distance is a multiradial distance, see [33, Definition 8.5].

Remark 2.4

We stress here for future references that in the proof of item (iii) of Proposition 2.11 we proved that whenever $\mathbb{G}$ is endowed with an arbitrary left-invariant homogeneous distance d, then for every homogeneous subgroup $\mathbb{W}\subseteq \mathbb{G}$ of Hausdorff dimension h, we have that

$$\begin{array}{c}\hfill {\mathcal{C}}^h(\mathbb{W}\cap B(0,1))=1.\end{array}$$ 11

We conclude this subsection with two Propositions.

Proposition 2.12

(Corollary 2.15 of [15]) Let $\Vert ·\Vert$ be a homogeneous norm on $\mathbb{G}$ and let $\mathbb{V}$ and $\mathbb{L}$ be two complementary subgroups. Then there exists a constant $C_3(\mathbb{V},\mathbb{L})$ such that for any $g\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill C_3(\mathbb{V},\mathbb{L})\Vert P_{\mathbb{L}}(g)\Vert \le \mathrm{dist}(g,\mathbb{V})\le \Vert P_{\mathbb{L}}(g)\Vert ,\text{for any}g\in \mathbb{G}.\end{array}$$ 12

In the following, whenever we write $C_3(\mathbb{V},\mathbb{L})$, we are choosing the supremum of all the constants such that inequality (12) is satisfied.

Proposition 2.13

For any $\mathbb{V}\in G{r}_c(h)$ with complement $\mathbb{L}$, there is a constant $C_4(\mathbb{V},\mathbb{L})>0$ such that for any $p\in \mathbb{G}$ and any $r>0$ we have

$$\begin{array}{c}\hfill {\mathcal{S}}^h⌞\mathbb{V}(P_{\mathbb{V}}(B(p,r)))=C_4(\mathbb{V},\mathbb{L})r^h.\end{array}$$

Furthermore, for any Borel set $A\subseteq \mathbb{G}$ for which ${\mathcal{S}}^h(A)<\infty$, we have

$$\begin{array}{c}\hfill {\mathcal{S}}^h⌞\mathbb{V}(P_{\mathbb{V}}(A))\le 2C_4(\mathbb{V},\mathbb{L}){\mathcal{S}}^h(A).\end{array}$$ 13

Proof

The existence of such $C_4(\mathbb{V},\mathbb{L})$ is yielded by [15, Lemma 2.20]. Suppose ${\{B(x_i,r_i)\}}_{i\in \mathbb{N}}$ is a countable covering of A with closed balls for which ${\sum }_{i\in \mathbb{N}}{r}_i^h\le 2{\mathcal{S}}^h(A)$. Then

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(A))\le {\mathcal{S}}^h(P_{\mathbb{V}}(\bigcup _{i\in \mathbb{N}}B(x_i,r_i)))\le C_4(\mathbb{V},\mathbb{L})\sum _{i\in \mathbb{N}}{r}_i^h\le 2C_4(\mathbb{V},\mathbb{L}){\mathcal{S}}^h(A).\end{array}$$

$\square$

Cones Over Homogeneous Subgroups

In this subsection, we introduce the intrinsic cone $C_{\mathbb{W}}(\alpha )$ and the notion of $C_{\mathbb{W}}(\alpha )$-set, and prove some of their properties. In this subsection, $\mathbb{G}$ will be a fixed Carnot group endowed with an arbitrary homogeneous norm $\Vert ·\Vert$ that induces a left-invariant homogeneous distance d.

Definition 2.14

(Intrinsic cone) For any $\alpha >0$ and $\mathbb{W}\in Gr(h)$, we define the cone $C_{\mathbb{W}}(\alpha )$ as

$$\begin{array}{c}\hfill C_{\mathbb{W}}(\alpha ):=\{w\in \mathbb{G}:\mathrm{dist}(w,\mathbb{W})\le \alpha \Vert w\Vert \}.\end{array}$$

Definition 2.15

($C_{\mathbb{W}}(\alpha )$-set) Given $\mathbb{W}\in Gr(h)$, and $\alpha >0$, we say that a set $E\subseteq \mathbb{G}$ is a $C_{\mathbb{W}}(\alpha )$-set if

$$\begin{array}{c}\hfill E\subseteq p·C_{\mathbb{W}}(\alpha ),\text{for any}p\in E.\end{array}$$

Lemma 2.14

For any ${\mathbb{W}}_1,{\mathbb{W}}_2\in Gr(h)$, $\epsilon >0$ and $\alpha >0$ if $d_{\mathbb{G}}({\mathbb{W}}_1,{\mathbb{W}}_2)<\epsilon /4$, then

$$\begin{array}{c}\hfill C_{{\mathbb{W}}_1}(\alpha )\subseteq C_{{\mathbb{W}}_2}(\alpha +\epsilon ).\end{array}$$

Proof

We prove that any $z\in C_{{\mathbb{W}}_1}(\alpha )$ is contained in the cone $C_{{\mathbb{W}}_2}(\alpha +\epsilon )$. Thanks to the triangle inequality, we infer

$$\begin{array}{c}\hfill \text{dist}(z,{\mathbb{W}}_2)\le d(z,b)+\underset{w\in {\mathbb{W}}_2}{inf}d(b,w),\text{for any}b\in {\mathbb{W}}_1.\end{array}$$

Thus, choosing $b^{\ast }\in {\mathbb{W}}_1$ in such a way that $d(z,b^{\ast })=\text{dist}(z,{\mathbb{W}}_1)$, and evaluating the previous inequality at $b^{\ast }$, we get

$$\begin{array}{c}\hfill \mathrm{dist}(z,{\mathbb{W}}_2)\le \mathrm{dist}(z,{\mathbb{W}}_1)+\text{dist}(b^{\ast },{\mathbb{W}}_2)\le \alpha \Vert z\Vert +\mathrm{dist}(b^{\ast },{\mathbb{W}}_2),\end{array}$$ 14

where in the second inequality, we used $z\in C_{{\mathbb{W}}_1}(\alpha )$.

Let us notice that, given $\mathbb{W}$ an arbitrary homogeneous subgroup of $\mathbb{G}$, $p\in \mathbb{G}$ an arbitrary point such that $p^{\ast }\in \mathbb{W}$ is one of the points at minimum distance from $\mathbb{W}$ to p, then the following inequality holds

$$\begin{array}{c}\hfill \Vert p^{\ast }\Vert \le 2\Vert p\Vert .\end{array}$$ 15

Indeed,

$$\begin{array}{c}\hfill \Vert p^{\ast }\Vert -\Vert p\Vert \le \Vert {(p^{\ast })}^{-1}·p\Vert =d(p,\mathbb{W})\le \Vert p\Vert \Rightarrow \Vert p^{\ast }\Vert \le 2\Vert p\Vert .\end{array}$$

Now, by homogeneity, since $b^{\ast }\in {\mathbb{W}}_1$ is the point at minimum distance from ${\mathbb{W}}_1$ of z, we get that $D_{1/\Vert z\Vert }(b^{\ast })$ is the point at minimum distance from ${\mathbb{W}}_1$ of $D_{1/\Vert z\Vert }(z)$. Thus, since $\Vert D_{1/\Vert z\Vert }(z)\Vert =1$, from (15), we get that $\Vert D_{1/\Vert z\Vert }(b^{\ast })\Vert \le 2$. Finally we obtain

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \text{dist}(b^{\ast },{\mathbb{W}}_2)& =\Vert z\Vert \text{dist}(D_{1/\Vert z\Vert }(b^{\ast }),{\mathbb{W}}_2)=\Vert z\Vert \text{dist}(D_{1/\Vert z\Vert }(b^{\ast }),{\mathbb{W}}_2\cap B(0,4))\le \hfill \\ \hfill & \le \Vert z\Vert d_H({\mathbb{W}}_1\cap B(0,4),{\mathbb{W}}_2\cap B(0,4))\hfill \\ \hfill & =4\Vert z\Vert d_H({\mathbb{W}}_1\cap B(0,1),{\mathbb{W}}_2\cap B(0,1))<\epsilon \Vert z\Vert ,\hfill \end{array}\end{array}$$ 16

where the first equality follows from the homogeneity of the distance; the second is a consequence of the fact that $\Vert D_{1/\Vert z\Vert }(b^{\ast })\Vert \le 2$, and thus, from (15), the point at minimum distance of $D_{1/\Vert z\Vert }(b^{\ast })$ from ${\mathbb{W}}_2$ has norm bounded above by 4; the third inequality comes from the definition of Hausdorff distance; the fourth equality is true by homogeneity; and the last inequality comes from the hypothesis $d_{\mathbb{G}}({\mathbb{W}}_1,{\mathbb{W}}_2)<\epsilon /4$. Joining (14), and (16), we get $z\in C_{{\mathbb{W}}_2}(\alpha +\epsilon )$, that was what we wanted. $\square$

Lemma 2.15

Let $\mathbb{V}\in G{r}_c(h)$, and let $\mathbb{L}$ be a complementary subgroup of $\mathbb{V}$. There exists ${\epsilon }_1:={\epsilon }_1(\mathbb{V},\mathbb{L})>0$ such that

$$\begin{array}{c}\hfill \mathbb{L}\cap C_{\mathbb{V}}({\epsilon }_1)=\{0\}.\end{array}$$

Moreover, we can, and will, choose ${\epsilon }_1(\mathbb{V},\mathbb{L}):=C_3(\mathbb{V},\mathbb{L})/2$.

Proof

We prove that it suffices to take ${\epsilon }_1(\mathbb{V},\mathbb{L}):=C_3(\mathbb{V},\mathbb{L})/2$. Let us suppose the statement is false. Thus there exists $0\ne v\in \mathbb{L}\cap C_{\mathbb{V}}({\epsilon }_1)$. From Proposition 2.12 and from the very definition of the cone $C_{\mathbb{V}}({\epsilon }_1)$ we have

$$\begin{array}{c}\hfill C_3(\mathbb{V},\mathbb{L})\Vert v\Vert \le \mathrm{dist}(v,\mathbb{V})\le {\epsilon }_1\Vert v\Vert =C_3(\mathbb{V},\mathbb{L})\Vert v\Vert /2,\end{array}$$

which is a contradiction with the fact that $v\ne 0$. $\square$

We will not use the following proposition in the paper, but it is worth mentioning it.

Proposition 2.16

The family of the complemented subgroups $G{r}_c(h)$ is an open subset of $Gr(h)$.

Proof

Fix a $\mathbb{W}\in G{r}_c(h)$ and let $\mathbb{L}$ be one complementary subgroup of $\mathbb{W}$ and set $\epsilon <min\{{\epsilon }_1(\mathbb{V},\mathbb{L}),{ħ}_{\mathbb{G}}\}$. Then, if ${\mathbb{W}}^{\prime }\in Gr(h)$ is such that $d_{\mathbb{G}}(\mathbb{W},{\mathbb{W}}^{\prime })<\epsilon /4$, Lemma 2.14 implies that ${\mathbb{W}}^{\prime }\subseteq C_{\mathbb{W}}(\epsilon )$ and in particular

$$\begin{array}{c}\hfill \mathbb{L}\cap {\mathbb{W}}^{\prime }\subseteq \mathbb{L}\cap C_{\mathbb{W}}(\epsilon )=\{0\}.\end{array}$$

Moreover, since $\epsilon <{ħ}_{\mathbb{G}}$ from Proposition 2.8, we get that ${\mathbb{W}}^{\prime }$ has the same stratification of $\mathbb{W}$ and thus the same topological dimension. This, jointly with the previous equality and the Grassmann formula, means that $({\mathbb{W}}^{\prime }\cap V_i)+(\mathbb{L}\cap V_i)=V_i$ for every $i=1,\dots ,\kappa$. This, jointly with the fact that $\mathbb{L}\cap {\mathbb{W}}^{\prime }=\{0\}$, implies that $\mathbb{L}$ and ${\mathbb{W}}^{\prime }$ are complementary subgroups in $\mathbb{G}$ due to the triangular structure of the product $·$ on $\mathbb{G}$, see (1). For an alternative proof of the fact that $\mathbb{L}$ and ${\mathbb{W}}^{\prime }$ are complementary subgroups, see also [25, Lemma 2.7]. $\square$

The following definition of intrinsically Lipschitz functions is equivalent to the classical one in [15, Definition 11] because the cones in [15, Definition 11] and the cones $C_{\mathbb{V}}(\alpha )$ are equivalent whenever $\mathbb{V}$ admits a complementary subgroup, see [15, Proposition 3.1].

Definition 2.16

(Intrinsically Lipschitz functions) Let $\mathbb{W}\in G{r}_c(h)$ and assume $\mathbb{L}$ is a complement of $\mathbb{W}$ and let $E\subseteq \mathbb{W}$ be a subset of $\mathbb{V}$. Let $\alpha >0$. A function $f:E\to \mathbb{L}$ is said to be an $\alpha$-intrinsically Lipschitz function if $\text{graph}(f):=\{v·f(v):v\in E\}$ is a $C_{\mathbb{W}}(\alpha )$-set. A function $f:E\to \mathbb{L}$ is said to be an intrinsically Lipschitz function if there exists $\alpha >0$ such that f is an $\alpha$-intrinsically Lipschitz function.

Proposition 2.17

Let us fix $\mathbb{W}\in G{r}_c(h)$ with complement $\mathbb{L}$. If $\mathrm{\Gamma }\subset \mathbb{G}$ is a $C_{\mathbb{W}}(\alpha )$-set for some $\alpha \le {\epsilon }_1(\mathbb{W},\mathbb{L})$, then the map $P_{\mathbb{W}}:\mathrm{\Gamma }\to \mathbb{W}$ is injective. As a consequence, $\mathrm{\Gamma }$ is the intrinsic graph of an intrinsically Lipschitz map defined on $P_{\mathbb{W}}(\mathrm{\Gamma })$.

Proof

Suppose by contradiction that $P_{\mathbb{W}}:\mathrm{\Gamma }\to \mathbb{W}$ is not injective. Then, there exist $p\ne q$ with $p,q\in \mathrm{\Gamma }$ such that $P_{\mathbb{W}}(p)=P_{\mathbb{W}}(q)$. Thus $p^{-1}·q\in \mathbb{L}$. Moreover, since $\mathrm{\Gamma }$ is a $C_{\mathbb{W}}(\alpha )$-set, we have that $p^{-1}·q\in C_{\mathbb{W}}(\alpha )$. Eventually we get

$$\begin{array}{c}\hfill p^{-1}·q\in \mathbb{L}\cap C_{\mathbb{W}}(\alpha )\subseteq \mathbb{L}\cap C_{\mathbb{W}}({\epsilon }_1(\mathbb{W},\mathbb{L})),\end{array}$$

where the last inclusion follows since $\alpha \le {\epsilon }_1(\mathbb{W},\mathbb{L})$. The above inclusion, jointly with Lemma 2.15, gives that $p^{-1}·q=0$ and this is a contradiction. Concerning the last part of the statement, let us notice that the map $P_{\mathbb{L}}\circ ({(P_{\mathbb{W}})}_{{|}_{\mathrm{\Gamma }}}{)}^{-1}$ is well defined from $P_{\mathbb{W}}(\mathrm{\Gamma })$ to $\mathbb{L}$ and its intrinsic graph is $\mathrm{\Gamma }$ by definition. Moreover, since $\mathrm{\Gamma }$ is a $C_{\mathbb{W}}(\alpha )$-set, the latter map is intrinsically Lipschitz by Definition 2.16. $\square$

The following two lemmata will play a fundamental role in the proof that ${\mathcal{P}}_h^c$-rectifiable measures have h-density.

Lemma 2.18

Let $\mathbb{V}\in G{r}_c(h)$ and $\mathbb{L}$ be one of its complementary subgroups. For any $0<\alpha <C_3(\mathbb{V},\mathbb{L})/2$, let

$$\begin{array}{c}\hfill \mathfrak{c}(\alpha ):=\alpha /(C_3(\mathbb{V},\mathbb{L})-\alpha ).\end{array}$$ 17

Then we have

$$\begin{array}{c}\hfill B(0,1)\cap \mathbb{V}\subseteq P_{\mathbb{V}}(B(0,1)\cap C_{\mathbb{V}}(\alpha ))\subseteq B(0,1/(1-\mathfrak{c}(\alpha )))\cap \mathbb{V}.\end{array}$$ 18

Proof

The first inclusion comes directly from the definition of projections and cones. Concerning the second, if $v\in B(0,1)\cap C_{\mathbb{V}}(\alpha )$, thanks to Proposition 2.12, we have

$$\begin{array}{c}\hfill C_3(\mathbb{V},\mathbb{L})\Vert P_{\mathbb{L}}(v)\Vert \le \mathrm{dist}(v,\mathbb{V})\le \alpha \Vert v\Vert \le \alpha (\Vert P_{\mathbb{L}}(v)\Vert +\Vert P_{\mathbb{V}}(v)\Vert ).\end{array}$$ 19

This implies in particular that $\Vert P_{\mathbb{L}}(v)\Vert \le \mathfrak{c}(\alpha )\Vert P_{\mathbb{V}}(v)\Vert$ and thus

$$\begin{array}{c}\hfill 1\ge \Vert P_{\mathbb{V}}(v)P_{\mathbb{L}}(v)\Vert \ge \Vert P_{\mathbb{V}}(v)\Vert -\Vert P_{\mathbb{L}}(v)\Vert \ge (1-\mathfrak{c}(\alpha ))\Vert P_{\mathbb{V}}(v)\Vert .\end{array}$$

This concludes the proof of the lemma. $\square$

Lemma 2.19

Let $\mathbb{V}\in G{r}_c(h)$ and $\mathbb{L}$ be one of its complementary subgroups. Suppose $\mathrm{\Gamma }$ is a $C_{\mathbb{V}}(\alpha )$-set with $\alpha <C_3(\mathbb{V},\mathbb{L})/2$, and let

$$\begin{array}{c}\hfill \mathfrak{C}(\alpha ):=\frac{1-\mathfrak{c}(\alpha )}{1+\mathfrak{c}(\alpha )},\end{array}$$ 20

where $\mathfrak{c}(\alpha )$ is defined in (17). Then

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(B(x,r)\cap \mathrm{\Gamma }))\ge {\mathcal{S}}^h(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r)\cap x{C}_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(\mathrm{\Gamma })),\text{for any}x\in \mathrm{\Gamma }.\end{array}$$

The same inequality above holds if we substitute ${\mathcal{S}}^h$ with any other Haar measure on $\mathbb{V}$, see Proposition 2.9, because all of them are equal up to a constant.

Proof

First of all, let us note that we have

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(B(x,r)\cap \mathrm{\Gamma }))={\mathcal{S}}^h(P_{\mathbb{V}}(B(0,r)\cap x^{-1}\mathrm{\Gamma })),\end{array}$$ 21

where the last equality is true since ${\mathcal{S}}^h(P_{\mathbb{V}}(\mathcal{E}))={\mathcal{S}}^h(P_{\mathbb{V}}(x^{-1}\mathcal{E}))$ for any Borel $\mathcal{E}\subseteq \mathbb{G}$, see Proposition 2.10. We wish now to prove the following inclusion

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(x^{-1}\mathrm{\Gamma })\subseteq P_{\mathbb{V}}(B(0,r)\cap x^{-1}\mathrm{\Gamma }).\end{array}$$ 22

Indeed, fix an element y of $P_{\mathbb{V}}(B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(x^{-1}\mathrm{\Gamma })$. Thanks to our choice of y, there are a $w_1\in x^{-1}\mathrm{\Gamma }$ and a $w_2\in B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha )$ such that

$$\begin{array}{c}\hfill P_{\mathbb{V}}(w_1)=y=P_{\mathbb{V}}(w_2).\end{array}$$

Furthermore, since $\mathrm{\Gamma }$ is a $C_{\mathbb{V}}(\alpha )$-set, we infer that $w_1\in C_{\mathbb{V}}(\alpha )$ and thus with the same computations as in (19), we obtain that $\Vert P_{\mathbb{L}}(w_1)\Vert \le \mathfrak{c}(\alpha )\Vert P_{\mathbb{V}}(w_1)\Vert$ and thus

$$\begin{array}{c}\hfill \Vert w_1\Vert \le (1+\mathfrak{c}(\alpha ))\Vert P_{\mathbb{V}}{w}_1\Vert \le (1+\mathfrak{c}(\alpha ))\Vert y\Vert .\end{array}$$ 23

Furthermore, since by assumption $w_2\in B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha )$, Lemma 2.18 yields

$$\begin{array}{c}\hfill \Vert y\Vert =\Vert P_{\mathbb{V}}(w_2)\Vert \le \mathfrak{C}(\alpha )r/(1-\mathfrak{c}(\alpha ))=r/(1+\mathfrak{c}(\alpha )).\end{array}$$ 24

The bounds (23) and (24) together imply that $\Vert w_1\Vert \le r$, and thus $w_1\in B(0,r)\cap x^{-1}\mathrm{\Gamma }$ and this concludes the proof of the inclusion (22). Finally (21), (22) imply

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(B(x,r)\cap \mathrm{\Gamma }))\ge {\mathcal{S}}^h(P_{\mathbb{V}}(B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(x^{-1}\mathrm{\Gamma })).\end{array}$$ 25

Furthermore, for any Borel subset $\mathcal{E}$ of $\mathbb{G}$, we have $P_{\mathbb{V}}(x\mathcal{E})=P_{\mathbb{V}}(x{P}_{\mathbb{V}}(\mathcal{E}))$, since for every $g\in \mathcal{E}$ we have the following simple equality $P_{\mathbb{V}}(xg)=P_{\mathbb{V}}(x{P}_{\mathbb{V}}g)$. Therefore, by using the latter observation and Proposition 2.10, we get, denoting with $\mathrm{\Psi }$ the map $\mathrm{\Psi }(v)=P_{\mathbb{V}}(x^{-1}v)$ for every $v\in \mathbb{V}$, that

$$\begin{array}{cc}& {\mathcal{S}}^h(P_{\mathbb{V}}(B(0,\mathfrak{C}(\alpha )r)\cap C_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(x^{-1}\mathrm{\Gamma }))\hfill \\ \hfill & ={\mathcal{S}}^h(P_{\mathbb{V}}(x^{-1}{P}_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r)\cap x{C}_{\mathbb{V}}(\alpha )))\cap P_{\mathbb{V}}(x^{-1}{P}_{\mathbb{V}}(\mathrm{\Gamma })))\hfill \\ \hfill & ={\mathcal{S}}^h(\mathrm{\Psi }(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r)\cap x{C}_{\mathbb{V}}(\alpha )))\cap \mathrm{\Psi }(P_{\mathbb{V}}(\mathrm{\Gamma })))\hfill \\ \hfill & ={\mathcal{S}}^h(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r)\cap x{C}_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(\mathrm{\Gamma })).\hfill \end{array}$$ 26

Joining together (25) and (26) gives the sought conclusion. $\square$

Rectifiable Measures in Carnot Groups

In what follows we are going to define the class of h-flat measures on a Carnot group and then we will give proper definitions of rectifiable measures on Carnot groups. Again we recall that throughout this subsection $\mathbb{G}$ will be a fixed Carnot group endowed with an arbitrary left-invariant homogeneous distance.

Definition 2.17

(Flat measures) For any $h\in \{1,\dots ,Q\}$ we let $\mathfrak{M}(h)$ to be the family of flat h-dimensional measures in $\mathbb{G}$, i.e.,

$$\begin{array}{c}\hfill \mathfrak{M}(h):=\{\lambda {\mathcal{S}}^h⌞\mathbb{W}:\text{for some}\lambda >0\text{and}\mathbb{W}\in Gr(h)\}.\end{array}$$

Furthermore, if G is a subset of the h-dimensional Grassmannian $Gr(h)$, we let $\mathfrak{M}(h,G)$ to be the set

$$\begin{array}{c}\hfill \mathfrak{M}(h,G):=\{\lambda {\mathcal{S}}^h⌞\mathbb{W}:\text{for some}\lambda >0\text{and}\mathbb{W}\in G\}.\end{array}$$ 27

We stress that in the previous definitions we can use any of the Haar measures on $\mathbb{W}$, see Proposition 2.9, since they are the same up to a constant.

Definition 2.18

(${\mathcal{P}}_h$ and${\mathcal{P}}_h^{\ast }$-rectifiable measures) Let $h\in \{1,\dots ,Q\}$. A Radon measure $\varphi$ on $\mathbb{G}$ is said to be a ${\mathcal{P}}_h$-rectifiable measure if for $\varphi$-almost every $x\in \mathbb{G}$ we have

• (i)$0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<+\infty$,
• (ii)there exists a $\mathbb{V}(x)\in Gr(h)$ such that ${\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(x):\lambda \ge 0\}$.

Furthermore, we say that $\varphi$ is ${\mathcal{P}}_h^{\ast }$-rectifiable if (ii) is replaced with the weaker

$(\mathrm{ii})\ast$

${\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}:\lambda \ge 0\text{and}\mathbb{V}\in Gr(h)\}$.

Remark 2.5

(About $\lambda =0$ in Definition 2.18) It is readily noticed that, since in Definition 2.18 we are asking ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)>0$ for $\varphi$-almost every x, we can not have the zero measure as a tangent measure. As a consequence, a posteriori, we have that in item (ii) and item (ii)* above, we can restrict to $\lambda >0$. We will tacitly work in this restriction from now on.

On the contrary, if we only know that for $\varphi$-almost every $x\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<+\infty ,\text{and}{\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(x):\lambda >0\},\end{array}$$ 28

for some $\mathbb{V}(x)\in Gr(h)$, hence ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)>0$ for $\varphi$-almost every $x\in \mathbb{G}$, and the same property holds with the item (ii)* above. Indeed, if at some x for which (28) holds we have ${\mathrm{\Theta }}_{\ast }^h(\varphi ,x)=0$, then there exists $r_i\to 0$ such that $r_i^{-h}\varphi (B(x,r_i))=0$. Since ${\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<+\infty$, up to subsequences (see [1, Theorem 1.60]), we have $r_i^{-h}{T}_{x,r_i}\varphi \to \lambda {\mathcal{S}}^h⌞\mathbb{V}(x)$, for some $\lambda >0$. Hence, by applying [1, Proposition 1.62(b)] we conclude that $r_i^{-h}{T}_{x,r_i}\varphi (B(0,1))\to \lambda {\mathcal{S}}^h⌞\mathbb{V}(x)(B(0,1))>0$, that is a contradiction.

Throughout the paper, it will be often convenient to restrict our attention to the subclass of ${\mathcal{P}}_h$- and ${\mathcal{P}}_h^{\ast }$-rectifiable measures, given by the measures that have complemented tangents. More precisely, we give the following definition.

Definition 2.19

(${\mathcal{P}}_h^c$-rectifiable measures) Let $h\in \{1,\dots ,Q\}$. In the following we denote by ${\mathcal{P}}_h^c$ the family of those ${\mathcal{P}}_h$-rectifiable measures such that for $\varphi$-almost every $x\in \mathbb{G}$ we have

$$\begin{array}{c}\hfill {\mathrm{Tan}}_h(\varphi ,x)\subseteq \mathfrak{M}(h,G{r}_c(h)).\end{array}$$

Remark 2.6

As explained in the introduction, the bridge between the notion of ${\mathcal{P}}_h^c$-rectifiable measures and the other notions of rectifiability in the Heisenberg groups ${\mathbb{H}}^n$ is nowadays very well understood after the results in [39, Theorem 3.14 and Theorem 3.15] and [44]. Let us now discuss some examples of flat rectifiable measures in a different setting, i.e., in the Engel group, which we denote by $\mathbb{E}$.

The Engel group $\mathbb{E}$ is the Carnot group whose Lie algebra $\mathfrak{e}$ admits a basis $\{X_1,X_2,X_3,X_4\}$ such that $[X_1,X_2]=X_3$, and $[X_1,X_3]=X_4$. Hence it is a step-3 Carnot group of topological dimension 4 and homogeneous dimension 7 where $V_1=\mathrm{span}\{X_1,X_2\}$, $V_2=\mathrm{span}\{X_3\}$, and $V_3=\mathrm{span}\{X_4)$. In exponential coordinates associated with the basis $(X_1,X_2,X_3,X_4)$, the law product can be explicitly written as in [15, Example 2.6]. As explicitly computed in [15, Example 2.6], in $\mathbb{E}$ we have two families of homogeneous complementary subgroups. The first family is given by ${\mathbb{M}}_{\alpha ,\beta }·{\mathbb{N}}_{\gamma ,\delta }$ where $\alpha ,\beta ,\gamma ,\delta \in \mathbb{R}$ satisfy $\alpha \delta -\beta \gamma \ne 0$, and

$$\begin{array}{c}\hfill {\mathbb{M}}_{\alpha ,\beta }:=\{(\alpha t,\beta t,0,0):t\in \mathbb{R}\},{\mathbb{N}}_{\gamma ,\delta }:=\{(\gamma t,\delta t,x_3,x_4):t,x_3,x_4\in \mathbb{R}\}.\end{array}$$

In this case notice that, by homogeneity, ${\mathcal{S}}^1⌞{\mathbb{M}}_{\alpha ,\beta }$ and ${\mathcal{S}}^6⌞{\mathbb{N}}_{\gamma ,\delta }$ are both ${\mathcal{P}}_h^c$-rectifiable measures. Notice, moreover, that ${\mathbb{N}}_{\gamma ,\delta }$ is normal and it is also a $C_{\mathrm{H}}^1$-hypersurface, thus being rectifiable in the sense of Definition 5.3. The same does not hold for ${\mathbb{M}}_{\alpha ,\beta }$ since it is not normal, compare with Remark 5.2.

The second family of homogeneous subgroups is given by $\mathbb{K}·{\mathbb{H}}_{\alpha ,\beta }$, where $\alpha ,\beta \in \mathbb{R}$ satisfy $\alpha +\beta \ne 0$, and

$$\begin{array}{c}\hfill \mathbb{K}:=\{(x_1,-x_1,x_3,0):x_1,x_3\in \mathbb{R}\},{\mathbb{H}}_{\alpha ,\beta }:=\{(\alpha t,\beta t,0,x_4):t,x_4\in \mathbb{R}\}.\end{array}$$

Notice that ${\mathcal{S}}^3⌞\mathbb{K}$ and ${\mathcal{S}}^4⌞{\mathbb{H}}_{\alpha ,\beta }$ are both ${\mathcal{P}}_h^c$-rectifiable measures. Nevertheless, since both $\mathbb{K}$ and ${\mathbb{H}}_{\alpha ,\beta }$ are not normal, none of them can be a $C_{\mathrm{H}}^1(\mathbb{E};{\mathbb{G}}^{\prime })$ for any Carnot group ${\mathbb{G}}^{\prime }$ because otherwise the tangent, which coincides everywhere with the same subgroup by homogeneity, would be normal, compare with Remark 5.2.

Proposition 2.20

Let $h\in \{1,\dots ,Q\}$ and assume $\varphi$ is a Radon measure on $\mathbb{G}$. If ${\{r_i\}}_{i\in \mathbb{N}}$ is an infinitesimal sequence such that $r_i^{-h}{T}_{x,r_i}\varphi \rightharpoonup \lambda {\mathcal{C}}^h⌞\mathbb{V}$ for some $\lambda >0$ and $\mathbb{V}\in Gr(h)$ then

$$\begin{array}{c}\hfill \underset{i\to \infty }{lim}\varphi (B(x,r_i))/r_i^h=\lambda .\end{array}$$

Proof

Since ${\mathcal{C}}^h⌞\mathbb{V}(x)(\partial B(0,1))=0$, see e.g., [25, Lemma 3.5], thanks to Remark 2.4 and to [1, Proposition 1.62(b)] we have

$$\begin{array}{c}\hfill \lambda =\lambda {\mathcal{C}}^h⌞\mathbb{V}(x)(B(0,1))=\underset{i\to \infty }{lim}\frac{T_{x,r_i}\varphi (B(0,1))}{r_i^h}=\underset{i\to \infty }{lim}\frac{\varphi (B(x,r_i))}{r_i^h},\end{array}$$

and this concludes the proof. $\square$

The above proposition has the following immediate consequence.

Corollary 2.21

Let $h\in \{1,\dots ,Q\}$ and assume $\varphi$ is a ${\mathcal{P}}_h^{\ast }$-rectifiable. Then for $\varphi$-almost every $x\in \mathbb{G}$, we have

$$\begin{array}{c}\hfill {\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{C}}^h⌞\mathbb{W}:\lambda \in [{\mathrm{\Theta }}_{\ast }^h(\varphi ,x),{\mathrm{\Theta }}^{h,\ast }(\varphi ,x)]\text{and}\mathbb{W}\in Gr(h)\}.\end{array}$$

We introduce now a way to estimate how far two measures are.

Definition 2.20

Given $\varphi$ and $\psi$ two Radon measures on $\mathbb{G}$, and given $K\subseteq \mathbb{G}$ a compact set, we define

$$\begin{array}{c}\hfill F_K(\varphi ,\psi ):=sup\left\{\left|\int ,f,d,\varphi ,-,\int ,f,d,\psi \right|,:,f,\in ,{\mathrm{Lip}}_1^{+},(K)\right\}.\end{array}$$ 29

We also write $F_{x,r}$ for $F_{B(x,r)}$.

Remark 2.7

With few computations that we omit, it is easy to see that $F_{x,r}(\varphi ,\psi )=r{F}_{0,1}(T_{x,r}\varphi ,T_{x,r}\psi )$. Furthermore, $F_K$ enjoys the triangle inequality, indeed if ${\varphi }_1,{\varphi }_2,{\varphi }_3$ are Radon measures and $f\in {\mathrm{Lip}}_1^{+}(K)$, then

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |\int fd{\varphi }_1-\int fd{\varphi }_2|& \le |\int fd{\varphi }_1-\int fd{\varphi }_3|+|\int fd{\varphi }_3-\int fd{\varphi }_2|\hfill \\ \hfill & \le F_K({\varphi }_1,{\varphi }_2)+F_K({\varphi }_2,{\varphi }_3).\hfill \end{array}\end{array}$$

The arbitrariness of f concludes that $F_K({\varphi }_1,{\varphi }_2)\le F_K({\varphi }_1,{\varphi }_3)+F_K({\varphi }_3,{\varphi }_2)$.

The proof of the following criterion is contained in [41, Proposition 1.10] and we omit the proof.

Proposition 2.22

Let $\{{\mu }_i\}$ be a sequence of Radon measures on $\mathbb{G}$. Let $\mu$ be a Radon measure on $\mathbb{G}$. The following are equivalent

1. ${\mu }_i\rightharpoonup \mu$;

2. $F_K({\mu }_i,\mu )\to 0$, for every $K\subseteq \mathbb{G}$ compact.

Now, we are going to define a functional that in some sense tells how far is a measure from being flat around a point $x\in \mathbb{G}$ and at a certain scale $r>0$.

Definition 2.21

For any $x\in \mathbb{G}$, any $h\in \{1,\dots ,Q\}$, and any $r>0$, we define the functional:

$$\begin{array}{c}\hfill d_{x,r}(\varphi ,\mathfrak{M}(h)):=\underset{\begin{array}{c}\mathrm{\Theta }>0,\\ \mathbb{V}\in Gr(h)\end{array}}{inf}\frac{F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V})}{r^{h+1}}.\end{array}$$ 30

Furthermore, if G is a subset of the h-dimensional Grassmannian $Gr(h)$, we also define

$$\begin{array}{c}\hfill d_{x,r}(\varphi ,\mathfrak{M}(h,G)):=\underset{\begin{array}{c}\mathrm{\Theta }>0,\\ \mathbb{V}\in G\end{array}}{inf}\frac{F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V})}{r^{h+1}}.\end{array}$$

Remark 2.8

It is a routine computation to prove that, whenever $h\in \mathbb{N}$ and $r>0$ are fixed, the function $x\mapsto d_{x,r}(\varphi ,\mathfrak{M}(h,G))$ is a continuous function. The proof can be reached as in [41, Item (ii) of Proposition 2.2]. Moreover, from the invariance property in Remark 2.7 and Proposition 2.9, if in (30) we use the measure ${\mathcal{C}}^h⌞x\mathbb{V}$, we obtain the same functional.

Proposition 2.23

Let $\varphi$ be a Radon measure on $\mathbb{G}$ satisfying item (i) in Definition 2.18. Further, let G be a subfamily of $Gr(h)$ and let $\mathfrak{M}(h,G)$ be the set defined in (27). If, for $\varphi$-almost every $x\in \mathbb{G}$, we have ${\mathrm{Tan}}_h(\varphi ,x)\subseteq \mathfrak{M}(h,G)$, then, for $\varphi$-almost every $x\in \mathbb{G}$, we have

$$\begin{array}{c}\hfill \underset{r\to 0}{lim}{d}_{x,r}(\varphi ,\mathfrak{M}(h,G))=0.\end{array}$$

Proof

Let us fix $x\in \mathbb{G}$ a point for which ${\mathrm{Tan}}_h(\varphi ,x)\subseteq \mathfrak{M}(h,G)$ and let us assume by contradiction that there exist $r_i\to 0$ such that, for some $\epsilon >0$ we have

$$\begin{array}{c}\hfill d_{x,r_i}(\varphi ,\mathfrak{M}(h,G))>\epsilon .\end{array}$$ 31

Since $\varphi$ satisfies item (i) in Definition 2.18, we can use [1, Proposition 1.62(b)] and then, up to subsequences, there are ${\mathrm{\Theta }}^{\ast }>0$ and ${\mathbb{V}}^{\ast }\in G$ such that

$$\begin{array}{c}\hfill r_i^{-h}{T}_{x,r_i}\varphi \rightharpoonup {\mathrm{\Theta }}^{\ast }{\mathcal{S}}^h⌞{\mathbb{V}}^{\ast }.\end{array}$$ 32

Thus,

$$\begin{array}{c}\hfill d_{x,r_i}(\varphi ,\mathfrak{M}(h,G))=d_{0,1}(r_i^{-h}{T}_{x,r_i}\varphi ,\mathfrak{M}(h,G))\le F_{0,1}(r_i^{-h}{T}_{x,r_i}\varphi ,{\mathrm{\Theta }}^{\ast }{\mathcal{S}}^h⌞{\mathbb{V}}^{\ast })\to 0,\end{array}$$

where the first equality follows from the first part of Remark 2.7, and the last convergence follows from (32), and Proposition 2.22. This is in contradiction with (31). $\square$

Structure of ${\mathcal{P}}_h$-Rectifiable Measures

In what follows we let $\mathbb{G}$ be a Carnot group of homogeneous dimension Q and we fix $1\le h\le Q$. We endow $\mathbb{G}$ with a fixed homogeneous left-invariant distance. We also assume that $\varphi$ is a fixed Radon measure on $\mathbb{G}$ and we suppose that it is supported on a compact set K . Moreover we fix $\vartheta ,\gamma \in \mathbb{N}$ and we freely use the notation $E(\vartheta ,\gamma )$ introduced in Definition2.9.

In this section, we prove Theorem 1.4 and an important step toward the proof of Corollary 1.5, see the statements in Theorem 3.4 and Theorem 3.5, respectively.

The first step in order to prove Theorem 1.4 is to observe the following general property that can be made quantitative at arbitrary points $x\in E(\vartheta ,\gamma )$: if the measure ${\mathcal{S}}^h⌞x\mathbb{V}$, with $\mathbb{V}\in Gr(h)$, is sufficiently near to $\varphi$ in a precise Measure Theoretic sense at the scale r around x, then in some ball of center x and with radius comparable with r, the points in the set $E(\vartheta ,\gamma )$ are not too distant from $x\mathbb{V}$. Roughly speaking, if we denote with $F_{x,r}$ the functional that measures the distance between measures on the ball B(x, r), see Definition 2.20, we prove that the following implication holds

$$\begin{array}{c}\hfill \begin{array}{cc}& \text{if there exist a}\mathrm{\Theta },\delta >0\text{such that}{F}_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V})\le \delta r^{h+1},\hfill \\ \hfill & \text{then}E(\vartheta ,\gamma )\cap B(x,r)\subseteq B(x\mathbb{V},\omega (\delta )r)\text{where}\omega \text{is continuous and}\omega (0)=0.\hfill \end{array}\end{array}$$ 33

For the precise statement of (33), see Proposition 3.1. Let us remark that when $\varphi$ is a ${\mathcal{P}}_h$-rectifiable measure, then for $\varphi$-almost every $x\in \mathbb{G}$ the bound on $F_{x,r}$ in the premise of (33) is satisfied with $\mathbb{V}(x)\in Gr(h)$, for arbitrarily small $\delta >0$ whenever $r<r_0(x,\delta )$. Thus, for ${\mathcal{P}}_h$-rectifiable measures, we deduce that the estimate in the conclusion of (33) holds for arbitrarily small $\delta$, and with $r<r_0(x,\delta )$. This latter estimate easily implies, by a very general geometric argument, that $E(\vartheta ,\gamma )\cap B(x,r)\subseteq x{C}_{\mathbb{V}(x)}(\alpha )$ for arbitrarily small $\alpha$ and for all $r<r_0(x,\alpha )$. For the latter assertion, we refer the reader to Proposition 3.2. The proof of Theorem 1.4 is thus concluded by joining together the previous observations and by the general cone-rectifiability criterion in Proposition 3.3.

There is a difference between the Euclidean case and the Carnot case that we discuss now. In the Euclidean case, it is easy to see that whenever we are given a vector subspace V, an arbitrary $C_V(\alpha )$-set, with $\alpha$ sufficiently small, is actually the graph of a (Lipschitz) map $f:A\subseteq V\to V^{\perp }$. The main reason behind this latter statement is the following: we have a canonical choice of a complementary subgroup $V^{\perp }$ of V, and moreover $V^{\perp }\cap C_V(\alpha )=\{0\}$ for $\alpha$ small enough. Already in the first Heisenberg group ${\mathbb{H}}^1$ if we take the vertical line ${\mathbb{V}}_{{\mathbb{H}}^1}$, we notice that there is no choice of a complementary subgroup of ${\mathbb{V}}_{{\mathbb{H}}^1}$ in ${\mathbb{H}}^1$. One could try to bypass this problem by defining properly some coset projections that would play the role of the projection over a splitting, see Definition 2.13. This will be the topic of further investigations.

Nevertheless, if we work in an arbitrary Carnot group $\mathbb{G}$ and one of its homogeneous subgroups $\mathbb{V}$ admits a complementary subgroup $\mathbb{L}$, we already proved that there exists a constant ${\epsilon }_1:={\epsilon }_1(\mathbb{V},\mathbb{L})$ such that every $C_{\mathbb{V}}({\epsilon }_1)$-set is the intrinsic graph of a function $f:A\subseteq \mathbb{V}\to \mathbb{L}$. This last statement is precisely the analogous of the Euclidean property that we discussed above, see Proposition 2.17. As a consequence, in order to start to prove Theorem 1.5 we follow the path of the proof of Theorem 1.4, which we discussed above, but we have to pay attention to one technical detail. We have to split the subset of the Grassmannian $Gr(h)$ made by the homogeneous subgroups $\mathbb{V}$ that admit at least one complementary subgroup $\mathbb{L}$ into countable subsets according to the value of ${\epsilon }_1(\mathbb{V},\mathbb{L})$. Then we have to write the proof of Theorem 1.4 by paying attention to the fact that we want to control the opening of the final $C_{{\mathbb{V}}_i}({\alpha }_i)$-sets with ${\alpha }_i<{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i)$. This is what we do in Theorem 3.4: we prove a refinement of Theorem 3.5 in which we further ask that the opening of the cones is controlled above also by some a priori defined function $\mathbf{F}(\mathbb{V},\mathbb{L})$.

Definition 3.1

Let us fix $x\in \mathbb{G}$, $r>0$ and $\varphi$ a Radon measure on $\mathbb{G}$. We define ${\mathrm{\Pi }}_{\delta }(x,r)$ to be the subset of planes $\mathbb{V}\in Gr(h)$ for which there exists $\mathrm{\Theta }>0$ such that

$$\begin{array}{c}\hfill F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V})\le 2\delta r^{h+1}.\end{array}$$ 34

Definition 3.2

For any $\vartheta \in \mathbb{N}$, we define ${\delta }_{\mathbb{G}}={\delta }_{\mathbb{G}}(h,\vartheta ):={\vartheta }^{-1}{2}^{-(4h+5)}$.

In the following proposition, we prove that if $\varphi$ is sufficiently $d_{x,r}$-near to $\mathfrak{M}(h)$, see Definition 2.21 for the definition of $d_{x,r}$, then $E(\vartheta ,\gamma )$ is at a controlled distance from a plane $\mathbb{V}$.

Proposition 3.1

Let $x\in E(\vartheta ,\gamma )$, fix $\delta <{\delta }_{\mathbb{G}}$, where ${\delta }_{\mathbb{G}}$ is defined in Definition 3.2, and set $0<r<1/\gamma$. Then for every $\mathbb{V}\in {\mathrm{\Pi }}_{\delta }(x,r)$, see Definition 3.1, we have

$$\begin{array}{c}\hfill \underset{w\in E(\vartheta ,\gamma )\cap B(x,r/4)}{sup}\frac{\mathrm{dist}(w,x\mathbb{V})}{r}\le 2^{1+1/(h+1)}{\vartheta }^{1/(h+1)}{\delta }^{1/(h+1)}=:C_4(\vartheta ,h){\delta }^{1/(h+1)}.\\ \hfill \end{array}$$ 35

Proof

Let $\mathbb{V}$ be any element of ${\mathrm{\Pi }}_{\delta }(x,r)$ and suppose $\mathrm{\Theta }>0$ is such that

$$\begin{array}{c}\hfill |\int fd\varphi -\mathrm{\Theta }\int fd{\mathcal{S}}^h⌞x\mathbb{V}|\le 2\delta r^{h+1},\text{for any}f\in {\mathrm{Lip}}_1^{+}(B(x,r)).\end{array}$$

Since the function $g(w):=min\{\mathrm{dist}(w,U{(x,r)}^c),\mathrm{dist}(w,x\mathbb{V})\}$ belongs to

${\mathrm{Lip}}_1^{+}(B(x,r))$, we deduce that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 2\delta r^{h+1}& \ge \int g(w)d\varphi (w)-\mathrm{\Theta }\int g(w)d{\mathcal{S}}^h⌞x\mathbb{V}\hfill \\ \hfill & =\int g(w)d\varphi (w)\ge {\int }_{B(x,r/2)}min\{r/2,\mathrm{dist}(w,x\mathbb{V})\}d\varphi (w).\hfill \end{array}\end{array}$$

Suppose that y is a point in $B(x,r/4)\cap E(\vartheta ,\gamma )$ furthest from $x\mathbb{V}$ and let $D:=\mathrm{dist}(y,x\mathbb{V})$. If $D\ge r/8$, this would imply that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 2\delta r^{h+1}& \ge {\int }_{B(x,r/2)}min\{r/2,\mathrm{dist}(w,x\mathbb{V})\}d\varphi (w)\hfill \\ \hfill & \ge {\int }_{B(y,r/16)}min\{r/2,\mathrm{dist}(w,x\mathbb{V})\}d\varphi (w)\ge \frac{r}{16}\varphi (B(y,r/16))\ge \frac{r^{h+1}}{\vartheta {16}^{h+1}},\hfill \end{array}\end{array}$$

where the last inequality follows from the definition of $E(\vartheta ,\gamma )$ and the fact that $0<r<1/\gamma$. The previous inequality would imply $\delta \ge {\vartheta }^{-1}{2}^{-(4h+5)}$, which is not possible since $\delta <{\delta }_{\mathbb{G}}={\vartheta }^{-1}{2}^{-(4h+5)}$, see Definition 3.2. This implies that $D\le r/8$ and as a consequence, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 2\delta r^{h+1}& \ge {\int }_{B(x,r/2)}min\{r/2,\mathrm{dist}(w,x\mathbb{V})\}d\varphi (w)\hfill \\ \hfill & \ge {\int }_{B(y,D/2)}min\{r/2,\mathrm{dist}(w,x\mathbb{V})\}d\varphi (w)\ge \frac{D\varphi (B(y,D/2))}{2}\hfill \\ \hfill & \ge {\vartheta }^{-1}{\left(\frac{D}{2}\right)}^{h+1},\hfill \end{array}\end{array}$$ 36

where the second inequality comes from the fact that $B(y,D/2)\subseteq B(x,r/2)$. This implies thanks to (36), that

$$\begin{array}{cc}\hfill \underset{w\in E(\vartheta ,\gamma )\cap B(x,r/4)}{sup}\frac{\mathrm{dist}(w,x\mathbb{V})}{r}\le & \frac{D}{r}\le 2^{1+1/(h+1)}{\vartheta }^{1/(h+1)}{\delta }^{1/(h+1)}\hfill \\ \hfill =& C_5(\vartheta ,h){\delta }^{1/(h+1)}.\hfill \end{array}$$

$\square$

Remark 3.1

Notice that a priori ${\mathrm{\Pi }}_{\delta }(x,r)$ in the statement of Proposition 3.1 may be empty. Nevertheless, it is easy to notice, by using the definitions, that if $d_{x,r}(\varphi ,\mathfrak{M})\le \delta$ then ${\mathrm{\Pi }}_{\delta }(x,r)$ is nonempty.

In the following proposition, we show that if we are at a point $x\in E(\vartheta ,\gamma )$ for which the h-tangents are flat, then locally around x the set $E(\vartheta ,\gamma )$ enjoys an appropriate cone property with arbitrarily small opening.

Proposition 3.2

For any $\alpha >0$ and any $x\in E(\vartheta ,\gamma )$ for which ${\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(x):\lambda >0\}$ for some $\mathbb{V}(x)\in Gr(h)$, there exists a $\rho (\alpha ,x)>0$ such that whenever $0<r<\rho$ we have

$$\begin{array}{c}\hfill E(\vartheta ,\gamma )\cap B(x,r)\subseteq x{C}_{\mathbb{V}(x)}(\alpha ).\end{array}$$

Proof

By using Proposition 2.23, we conclude that

$$\begin{array}{c}\hfill \underset{r\to 0}{lim}\underset{\mathrm{\Theta }>0}{inf}\frac{F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V}(x))}{r^{h+1}}=0.\end{array}$$

From the previous equality, it follows that for every $\epsilon >0$ there exists $1/\gamma >r_0(\epsilon )>0$ such that

$$\begin{array}{c}\hfill \underset{\mathrm{\Theta }>0}{inf}{F}_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V}(x))\le \epsilon r^{h+1},\text{whenever}0<r\le r_0(\epsilon ).\end{array}$$ 37

Now we aim at proving that, for $\epsilon >0$ small enough, $E(\vartheta ,\gamma )\cap B(x,r_0(\epsilon )/4)\subseteq x{C}_{\mathbb{V}(x)}(\alpha )$. In order to prove this, we notice that (37) and Proposition 3.1 imply that, for $\epsilon >0$ sufficiently small, the following inequality holds

$$\begin{array}{c}\hfill \underset{p\in E(\vartheta ,\gamma )\cap B(x,r/4)}{sup}\mathrm{dist}(p,x\mathbb{V}(x))\le C_5(h,\vartheta ){\epsilon }^{1/(h+1)}r,\text{whenever}0<r\le r_0(\epsilon ).\\ \hfill \end{array}$$ 38

Indeed, from (37), it follows that $\mathbb{V}(x)\in {\mathrm{\Pi }}_{\epsilon }(x,r)$ for every $0<r\le r_0$, see Definition 3.1; so that it suffices to choose $\epsilon <{\delta }_{\mathbb{G}}={\vartheta }^{-1}{2}^{-(4h+5)}$, see Definition 3.2, in order to apply Proposition 3.1 and conclude (38).

Now let us take $\epsilon <{\delta }_{\mathbb{G}}$ so small that the inequality $8C_5(h,\vartheta ){\epsilon }^{1/(h+1)}<\alpha$ holds. We finally prove $E(\vartheta ,\gamma )\cap B(x,r_0(\epsilon )/4)\subseteq x{C}_{\mathbb{V}(x)}(\alpha )$. Indeed, let $p\in E(\vartheta ,\gamma )\cap B(x,r_0(\epsilon )/4)$, and $k\ge 3$ be such that $r_0{2}^{-k}<\Vert x^{-1}·p\Vert \le r_0{2}^{-k+1}$. Since $p\in E(\vartheta ,\gamma )\cap B(x,(r_0{2}^{-k+3})/4)$, from (38), we get

$$\begin{array}{c}\hfill d(p,x\mathbb{V}(x))\le C_5(h,\vartheta ){\epsilon }^{1/(h+1)}{r}_0{2}^{-k+3}\le 8C_5(h,\vartheta ){\epsilon }^{1/(h+1)}\Vert x^{-1}·p\Vert \le \alpha \Vert x^{-1}·p\Vert ,\end{array}$$

thus showing the claim. $\square$

We now prove a cone-type rectifiability criterion that will be useful in combination with the previous results in order to split the support of a ${\mathcal{P}}_h$ or a ${\mathcal{P}}_h^c$-rectifiable measures with sets that have the cone property.

Proposition 3.3

(Cone-rectifiability criterion) Suppose that E is a closed subset of $\mathbb{G}$ for which there exists a countable family $\mathcal{F}\subseteq Gr(h)$ and a function $\alpha :\mathcal{F}\to (0,1)$ such that for every $x\in E$, there exist $\rho (x)>0$, and $\mathbb{V}(x)\in \mathcal{F}$ for which

$$\begin{array}{c}\hfill B(x,r)\cap E\subseteq x{C}_{\mathbb{V}(x)}(\alpha (\mathbb{V}(x))),\end{array}$$ 39

whenever $0<r<\rho (x)$. Then, there are countably many compact $C_{{\mathbb{V}}_i}(3{\beta }_i)$-sets ${\mathrm{\Gamma }}_i$ such that ${\mathbb{V}}_i\in \mathcal{F}$, and $\alpha ({\mathbb{V}}_i)<{\beta }_i<2\alpha ({\mathbb{V}}_i)$ for which

$$\begin{array}{c}\hfill E=\bigcup _{i\in \mathbb{N}}{\mathrm{\Gamma }}_i.\end{array}$$ 40

Proof

Let us split E in the following way. Let G(i, j, k) be the subset of those $x\in E\cap B(0,k)$ for which

$$\begin{array}{c}\hfill B(x,r)\cap E\subseteq x{C}_{{\mathbb{V}}_i}(\alpha ({\mathbb{V}}_i)),\end{array}$$

for any $0<r<1/j$. Then, from the hypothesis, it follows $E={\cup }_{i,j,k\in \mathbb{N}}G(i,j,k)$. Since E is closed, it is not difficult to see that G(i, j, k) is closed too. Let us fix $i,j,k\in \mathbb{N}$, some ${\beta }_i<1$ with $\alpha ({\mathbb{V}}_i)<{\beta }_i<2\alpha ({\mathbb{V}}_i)$, and let us prove that G(i, j, k) can be covered with countably many compact $C_{{\mathbb{V}}_i}(3{\beta }_i)$-sets. Since $i,j,k\in \mathbb{N}$ are fixed from now on, we assume without loss of generality that $G(i,j,k)=E$ so that we can drop the indexes.

Let us take $\{q_{\ell }\}$ a dense subset of E, and let us define the closed tubular neighborhood of $q_{\ell }\mathbb{V}$

$$\begin{array}{c}\hfill S(\ell ):=B(q_{\ell }\mathbb{V},2^{-\kappa }{j}^{-\kappa }{C}_1{(14k)}^{-\kappa }{\beta }^{\kappa }),\end{array}$$ 41

where we recall that $\kappa$ is the step of the group, and where $C_1$ is defined in (2.1). We will now prove that $S(\ell )\cap E$ is a $C_{\mathbb{V}}(3\beta )$-set, or equivalently that for any $p\in S(\ell )\cap E$ we have

$$\begin{array}{c}\hfill S(\ell )\cap E\subseteq p·C_{\mathbb{V}}(3\beta ).\end{array}$$ 42

If $q\in S(\ell )\cap E\cap B(p,1/(2j))$, the inclusion (42) holds thanks to our assumptions on E. If on the other hand $q\in S(\ell )\cap E\backslash B(p,1/(3j))$, let $p^{\ast },q^{\ast }\in \mathbb{V}$ be such that $d(p,q_{\ell }\mathbb{V})=\Vert {(p^{\ast })}^{-1}{q}_{\ell }^{-1}p\Vert$, and $d(q,q_{\ell }\mathbb{V})=\Vert {(q^{\ast })}^{-1}{q}_{\ell }^{-1}q\Vert$. Let us prove that $\Vert q^{\ast }\Vert \le 4k$ and $\Vert p^{\ast }\Vert \le 4k$. This is due to the fact that

$$\begin{array}{c}\hfill \Vert q^{\ast }\Vert -\Vert q_{\ell }\Vert -\Vert q\Vert \le \Vert {(q^{\ast })}^{-1}{q}_{\ell }^{-1}q\Vert =d(q,q_{\ell }\mathbb{V})\le 1,\end{array}$$

where the last inequality follows from the definition of $S(\ell )$, see (41). From the previous inequality, it follows that $\Vert q^{\ast }\Vert \le 2k+1$, since $q,q_{\ell }\in B(0,k)$. A similar computation proves the bound for $\Vert p^{\ast }\Vert$ and this implies that

$$\begin{array}{c}\hfill \Vert p^{-1}·q_{\ell }·p^{\ast }\Vert +\Vert {(p^{\ast })}^{-1}·q^{\ast }\Vert \le \Vert p^{-1}\Vert +\Vert q_{\ell }\Vert +2\Vert p^{\ast }\Vert +\Vert q^{\ast }\Vert \le 14k.\end{array}$$

The application of Lemma 2.1 and the fact that ${(q^{\ast })}^{-1}{p}^{\ast }$ and $p^{-1}{q}_{\ell }{p}^{\ast }$ are in B(0, 14k), due to the previous inequality, imply that

$$\begin{array}{cc}\hfill d(p^{-1}q,\mathbb{V})\le & \Vert {(q^{\ast })}^{-1}{p}^{\ast }·p^{-1}q\Vert =\Vert {(q^{\ast })}^{-1}{p}^{\ast }·p^{-1}·q_{\ell }{p}^{\ast }{(p^{\ast })}^{-1}{q}^{\ast }{(q^{\ast })}^{-1}{q}_{\ell }^{-1}·q\Vert \hfill \\ \hfill \le & \Vert {(q^{\ast })}^{-1}{p}^{\ast }·p^{-1}{q}_{\ell }{p}^{\ast }·{(p^{\ast })}^{-1}{q}^{\ast }\Vert +\Vert {(q^{\ast })}^{-1}{q}_{\ell }^{-1}q\Vert \hfill \\ \hfill \le & C_1(14k){\Vert p^{-1}{q}_{\ell }{p}^{\ast }\Vert }^{1/\kappa }+d(q,q_{\ell }\mathbb{V})\hfill \\ \hfill =& C_1(14k)d{(p,q_{\ell }\mathbb{V})}^{1/\kappa }+d(q,q_{\ell }\mathbb{V}).\hfill \end{array}$$ 43

Finally, thanks to (41) and (43) we infer

$$\begin{array}{c}\hfill d(p^{-1}q,\mathbb{V})\le \frac{C_1(14k)+1}{2j{C}_1(14k)}\beta \le \beta j^{-1}\le 3\beta \Vert p^{-1}q\Vert ,\end{array}$$

thus showing (42) in the remaining case. In conclusion, we have proved that for any $i,j,k,\ell \in \mathbb{N}$, the sets $G(i,j,k)\cap S(\ell )$ are $C_{{\mathbb{V}}_i}(3{\beta }_i)$-sets. This concludes the proof since

$$\begin{array}{c}\hfill E\subseteq \bigcup _{i,j,k,\ell \in \mathbb{N}}G(i,j,k)\cap S(\ell ),\end{array}$$

and on the other hand, every $G(i,j,k)\cap S(\ell )$ is a bounded and closed, thus compact, $C_{{\mathbb{V}}_i}(3{\beta }_i)$-set. The fact that the sets $G(i,j,k)\cap S(\ell )$ are contained in E follows by definition, thus concluding the proof of the equality. $\square$

In the following, with the symbol $\mathrm{Sub}(h)$, we denote the subset of $G{r}_c(h)\times G{r}_c(Q-h)$ defined by

$$\begin{array}{c}\hfill \{(\mathbb{V},\mathbb{L}):\mathbb{V}\in G{r}_c(h)\text{and}\mathbb{L}\text{is a homogeneous subgroup complementary to}\mathbb{V}\},\end{array}$$ 44

we fix a function $\mathbf{F}:\mathrm{Sub}(h)\to (0,1)$, and for every $\ell \in \mathbb{N}$ with $\ell \ge 2$ let us define

$$\begin{array}{c}\hfill G{r}_c^{\mathbf{F}}(h,\ell ):=\{\mathbb{V}\in G{r}_c(h):\exists \mathbb{L}\text{complement of}\mathbb{V}\text{s.t.}1/\ell <\mathbf{F}(\mathbb{V},\mathbb{L})\le 1/(\ell -1)\}.\end{array}$$

Observe that Proposition 2.7 implies that $G{r}_c^{\mathbf{F}}(h,\ell )$ is separable for any $\ell \in \mathbb{N}$, since $G{r}_c^{\mathbf{F}}(h,\ell )\subseteq Gr(h)$ and $(Gr(h),d_{\mathbb{G}})$ is a compact metric space, see Proposition 2.7. Let

$$\begin{array}{c}\hfill {\mathcal{D}}_{\ell }:={\{{\mathbb{V}}_{i,\ell }\}}_{i\in \mathbb{N}},\end{array}$$ 45

be a countable dense subset of $G{r}_c^{\mathbf{F}}(h,\ell )$ and

$$\begin{array}{c}\hfill \text{for all}i\in \mathbb{N},\text{choose a complement}{\mathbb{L}}_{i,\ell }\text{of}{\mathbb{V}}_{i,\ell }\text{s.t.}1/\ell <\mathbf{F}({\mathbb{V}}_{i,\ell },{\mathbb{L}}_{i,\ell })\le 1/(\ell -1).\\ \hfill \end{array}$$ 46

Let us now prove the following theorem which will be of fundamental importance to prove Corollary 1.5.

Theorem 3.4

Let $\mathbf{F}:\mathrm{Sub}(h)\to (0,1)$ be a function, where $\mathrm{Sub}(h)$ is defined in (44), and for every $\ell \in \mathbb{N}$ define ${\mathcal{D}}_{\ell }$ as in (45), set $\mathcal{F}:={\{{\mathbb{V}}_{i,\ell }\}}_{i,\ell \in \mathbb{N}}$, and choose ${\mathbb{L}}_{i,\ell }$ as in (46). Furthermore, let $\beta :\mathbb{N}\to (0,1)$ and define $\beta ({\mathbb{V}}_{i,\ell }):=\beta (\ell )$ for every $i,\ell \in \mathbb{N}$. For the ease of notation we rename $\mathcal{F}:={\{{\mathbb{V}}_k\}}_{k\in \mathbb{N}}$. Then the following holds.

Let $\varphi$ be a ${\mathcal{P}}_h^c$-rectifiable measure. There are countably many compact sets ${\mathrm{\Gamma }}_k$ that are $C_{{\mathbb{V}}_k}(min\{\mathbf{F}({\mathbb{V}}_k,{\mathbb{L}}_k),\beta ({\mathbb{V}}_k)\})$-sets for some ${\mathbb{V}}_k\in \mathcal{F}$, and such that

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash \bigcup _{k=1}^{+\infty }{\mathrm{\Gamma }}_k)=0.\end{array}$$

Proof

Let us notice that without loss of generality, by restricting the measure on balls with integer radius, we can suppose that $\varphi$ has a compact support. Fix $\vartheta ,\gamma \in \mathbb{N}$ and let $E(\vartheta ,\gamma )$ be the set introduced in Definition 2.9 with respect to $\varphi$. Furthermore, for any $\ell ,i,j\in \mathbb{N}$, we let

$$\begin{array}{cc}\hfill F_{\ell }(i,j):=& \{x\in E(\vartheta ,\gamma ):B(x,r)\cap E(\vartheta ,\gamma )\hfill \\ \hfill \subseteq & x{C}_{{\mathbb{V}}_{i,\ell }}(6^{-1}min\{\mathbf{F}({\mathbb{V}}_{i,\ell },{\mathbb{L}}_{i,\ell }),\beta ({\mathbb{V}}_{i,\ell })\text{for any}0<r<1/j\}.\hfill \end{array}$$ 47

It is not hard to prove, since $E(\vartheta ,\gamma )$ is compact, see Proposition 2.4, that for every $\ell ,i,j$, the sets $F_{\ell }(i,j)$ are compact. We claim that

$$\begin{array}{c}\hfill \varphi (E(\vartheta ,\gamma )\backslash \bigcup _{\ell ,i,j\in \mathbb{N}}{F}_{\ell }(i,j))=0.\end{array}$$ 48

Indeed, let $w\in E(\vartheta ,\gamma )$ be such that ${\mathrm{Tan}}_h(\varphi ,w)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(w):\lambda >0\}$ for some $\mathbb{V}(w)\in G{r}_c(h)$; this can be done for $\varphi$-almost every point w in $E(\vartheta ,\gamma )$ since $\varphi$ is ${\mathcal{P}}_h^c$-rectifiable. Let $\ell (w)\in \mathbb{N}$ be the smallest natural number for which there exists $\mathbb{L}$ complementary to $\mathbb{V}(w)$ with $1/\ell (w)<\mathbf{F}(\mathbb{V}(w),\mathbb{L})\le 1/(\ell (w)-1)$. Then by definition, we have $\mathbb{V}(w)\in G{r}_c^{\mathbf{F}}(h,\ell (w))$. By density of the family ${\mathcal{D}}_{\ell (w)}$ in $G{r}_c^{\mathbf{F}}(h,\ell (w))$, there exists a plane ${\mathbb{V}}_{i,\ell (w)}\in {\mathcal{D}}_{\ell (w)}$ such that

$$\begin{array}{c}\hfill d_{\mathbb{G}}({\mathbb{V}}_{i,\ell (w)},\mathbb{V}(w))<{30}^{-1}min\{1/\ell (w),\beta ({\mathbb{V}}_{i,\ell (w)})\};\end{array}$$

for this last observation to hold it is important that $\beta$ only depends on $\ell (w)$, as it is by construction. The previous inequality, jointly with Lemma 2.14, imply that

$$\begin{array}{cc}& C_{\mathbb{V}(w)}({30}^{-1}min\{1/\ell (w),\beta ({\mathbb{V}}_{i,\ell (w)})\})\hfill \\ \hfill & \subseteq C_{{\mathbb{V}}_{i,\ell (w)}}(6^{-1}min\{1/\ell (w),\beta ({\mathbb{V}}_{i,\ell (w)})\})\hfill \\ \hfill & \subseteq C_{{\mathbb{V}}_{i,\ell (w)}}(6^{-1}min\{\mathbf{F}({\mathbb{V}}_{i,\ell (w)},{\mathbb{L}}_{i,\ell (w)}),\beta ({\mathbb{V}}_{i,\ell (w)})\}),\hfill \end{array}$$ 49

where the last inclusion follows from the fact that by definition of the family ${\mathcal{D}}_{\ell (w)}$ it holds $\mathbf{F}({\mathbb{V}}_{i,\ell (w)},{\mathbb{L}}_{i,\ell (w)})>1/\ell (w)$. Thanks to Proposition 3.2, we can find a $\rho (w)>0$ such that for any $0<r<\rho (w)$, we have

$$\begin{array}{c}\hfill B(w,r)\cap E(\vartheta ,\gamma )\subseteq w{C}_{\mathbb{V}(w)}({30}^{-1}min\{1/\ell (w),\beta ({\mathbb{V}}_{i,\ell (w)})\}).\end{array}$$ 50

In particular, putting together (49) and (50), we infer that for $\varphi$-almost every $w\in E(\vartheta ,\gamma )$, there are an $i=i(w)>0$, an $\ell (w)\in \mathbb{N}$, and a $\rho (w)>0$ such that whenever $0<r<\rho (w)$, we have

$$\begin{array}{c}\hfill B(w,r)\cap E(\vartheta ,\gamma )\subseteq w{C}_{{\mathbb{V}}_{i,\ell (w)}}(6^{-1}min\{\mathbf{F}({\mathbb{V}}_{i,\ell (w)},{\mathbb{L}}_{i,\ell (w)}),\beta ({\mathbb{V}}_{i,\ell (w)})\}).\end{array}$$

This concludes the proof of (48).

Now, if we fix $\ell ,i,j\in \mathbb{N}$, we can apply Proposition 3.3 to the set $F_{\ell }(i,j)$. It suffices to take the family $\mathcal{F}$ in the statement of Proposition 3.3 to be the singleton $\{{\mathbb{V}}_{i,\ell }\}$ and the function $\alpha$ in the statement of Proposition 3.3 to be $\alpha ({\mathbb{V}}_{i,\ell }):=6^{-1}min\{\mathbf{F}({\mathbb{V}}_{i,\ell },{\mathbb{L}}_{i,\ell }),\beta ({\mathbb{V}}_{i,\ell })\}$. As a consequence we can write each $F_{\ell }(i,j)$ as the union of countably many compact $C_{{\mathbb{V}}_{i,\ell }}(min\{\mathbf{F}({\mathbb{V}}_{i,\ell },{\mathbb{L}}_{i,\ell }),\beta ({\mathbb{V}}_{i,\ell })\})$-sets. Thus, the same holds $\varphi$-almost everywhere for $E(\vartheta ,\gamma )$, allowing $i,\ell$ to vary in $\mathbb{N}$, since (48) holds. Finally, we have

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash {\cup }_{\vartheta ,\gamma \in \mathbb{N}}E(\vartheta ,\gamma ))=0,\end{array}$$

due to Proposition 2.5.

Thus, we can cover $\varphi$-almost all of $\mathbb{G}$ with compact $C_{{\mathbb{V}}_{i,\ell }}(min\{\mathbf{F}({\mathbb{V}}_{i,\ell },{\mathbb{L}}_{i,\ell }),\beta ({\mathbb{V}}_{i,\ell })\})$-sets for $i,\ell$ that vary in $\mathbb{N}$, concluding the proof of the proposition. $\square$

The following theorem is a more detailed version of Theorem 1.4.

Theorem 3.5

There exists a countable subfamily $\mathcal{F}:={\{{\mathbb{V}}_k\}}_{k\in \mathbb{N}}$ of $Gr(h)$ such that the following holds. Let $\varphi$ be a ${\mathcal{P}}_h$-rectifiable measure. For any $0<\beta <1$, there are countably many compact sets ${\mathrm{\Gamma }}_k$ that are $C_{{\mathbb{V}}_k}(\beta )$-sets for some ${\mathbb{V}}_k\in \mathcal{F}$, and such that

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash \bigcup _{k=1}^{+\infty }{\mathrm{\Gamma }}_k)=0.\end{array}$$

Proof

The proof is similar to the one of Theorem 3.4. It suffices to choose, as a family $\mathcal{F}$, an arbitrary countable dense subset of $Gr(h)$ and then one can argue as in the proof of Theorem 3.4 without the technical effort of introducing the parameter $\ell$. We skip the details. $\square$

Bounds for the Densities of ${\mathcal{S}}^h$ on $C_{\mathbb{V}}(\alpha )$-Sets

Throughout this subsection, we assume that $\mathbb{V}\in G{r}_c(h)$ and that $\mathbb{V}·\mathbb{L}=\mathbb{G}$. In this chapter whenever we deal with $C_{\mathbb{V}}(\alpha )$-sets we are always assuming that $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$, where ${\epsilon }_1$ is defined in Lemma 2.15.

This section is devoted to the proof of Theorem 1.3, that is obtained through three different steps. Let $\mathrm{\Gamma }$ be a compact $C_{\mathbb{V}}({\epsilon }_1(\mathbb{V},\mathbb{L}))$ set, and recall that by Proposition 2.17 we can write $\mathrm{\Gamma }=\mathrm{graph}(\phi )$ with $\phi :P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{L}$. Let us denote $\mathrm{\Phi }(v):=v·\phi (v)$ for every $v\in P_{\mathbb{V}}(\mathrm{\Gamma })$.

We first show that if we assume that ${\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0$ at ${\mathcal{S}}^h⌞\mathrm{\Gamma }$-almost every point x, then the push-forward measure ${(\mathrm{\Phi })}_{\ast }({\mathcal{S}}^h⌞\mathbb{V})$ is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞\mathrm{\Gamma }$, see Proposition 4.7. In other words we are proving that whenever an intrinsically Lipschitz graph over a subset of an h-dimensional subgroup has strictly positive lower density almost everywhere, then the push-forward of the measure ${\mathcal{S}}^h$ on the subgroup by means of the graph map is mutually absolutely continuous with respect to the measure ${\mathcal{S}}^h$ on the graph. We stress that we do not address the issue of removing the hypothesis on the strict positivity of the lower density in Proposition 4.7 as it is out of the aims of this paper. We remark that in the Euclidean case the analogous statement holds true without this assumption: this is true because in the Euclidean case every Lipschitz graph over a subset of a vector subspace of dimension h has strictly positive lower h-density almost everywhere. We also stress that every intrinsically Lipschitz graph over a open subset of a h-dimensional homogeneous subgroups has strictly positive lower h-density almost everywhere, see [15, Theorem 3.9].

As a second step in order to obtain the proof of Theorem 1.3, we prove the following statement that can be made quantitative: if $\mathbb{V}\in G{r}_c(h)$, $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set with $\alpha$ sufficiently small, and ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is a ${\mathcal{P}}_h$-rectifiable measure with complemented tangents, which we called ${\mathcal{P}}_h^c$-rectifiable, then we can give an explicit lower bound of the ratio of the lower and upper h-densities of ${\mathcal{S}}^h⌞\mathrm{\Gamma }$. We refer the reader to Proposition 4.11 for a more precise statement and the proof of the following proposition.

Proposition 4.1

(Bounds on the ratio of the densities) Let $\mathbb{V}$ be in $G{r}_c(h)$. There exists $C:=C(\mathbb{V})$ such that the following holds. Suppose $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set with $\alpha <C(\mathbb{V})$ and such that ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is a ${\mathcal{P}}_h^c$-rectifiable measure. Then there exists a continuous function $\omega :=\omega (\mathbb{V})$ of $\alpha$, with $\omega (0)=0$, such that for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$ we have

$$\begin{array}{c}\hfill 1-\omega (\alpha )\le \frac{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\le 1.\end{array}$$ 51

The previous result is obtained through a blow-up analysis and a careful use of the mutually absolute continuity property that we discussed above, and which is contained in Proposition 4.7. We stress that in order to differentiate in the proof of Proposition 4.1, we need to use proper ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$ and ${\mathcal{S}}^h⌞\mathbb{V}$-Vitali relations, see Proposition 4.9, and Proposition 4.10, respectively.

As a last step of the proof of Theorem 1.3, we first use the result in Proposition 4.1 in order to prove that Theorem1.3 holds true for measures of the type ${\mathcal{S}}^h⌞\mathrm{\Gamma }$, see Theorem 4.13. Then, we conclude the proof for arbitrary measures by reducing ourselves to the sets $E(\vartheta ,\gamma )$, see Corollary 4.14. The last part about the convergence in Theorem1.3 readily comes from the first part and Proposition 2.20.

We start this chapter with some lemmata.

Lemma 4.2

There exists an $A:=A(\mathbb{V},\mathbb{L})>1$ such that for any $w\in B(0,1/5A)$, any $y\in \partial B(0,1)\cap C_{\mathbb{V}}({\epsilon }_1(\mathbb{V},\mathbb{L}))$ and any $z\in B(y,1/5A)$, we have $w^{-1}z\notin \mathbb{L}$.

Proof

By contradiction let us assume that we can find sequences $\{w_n\}$, $\{y_n\}\subseteq \partial B(0,1)\cap C_{\mathbb{V}}({\epsilon }_1)$ and $z_n\in B(y_n,1/n)$ such that $w_n$ converges to 0 and $w_n^{-1}{z}_n\in \mathbb{L}$. By compactness without loss of generality we can assume that the sequence $y_n$ converges to some $y\in \partial B(0,1)\cap C_{\mathbb{V}}({\epsilon }_1)$. Furthermore, by construction we also have that $z_n$ must converge to y. This implies that $w_n^{-1}{z}_n$ converges to y and since by hypothesis $w_n^{-1}{z}_n\in \mathbb{L}$, thanks to the fact that $\mathbb{L}$ is closed we infer that $y\in \mathbb{L}$. This, however, is a contradiction since y has unit norm and at the same time we should have $y\in C_{\mathbb{V}}({\epsilon }_1)\cap \mathbb{L}=\{0\}$ by Lemma 2.15. $\square$

Proposition 4.3

Let $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and suppose $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set. For any $x\in \mathrm{\Gamma }$ let $\rho (x)$ to be the biggest number satisfying the following condition. For any $y\in B(x,\rho (x))\cap \mathrm{\Gamma }$ we have

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(x,r))\cap P_{\mathbb{V}}(B(y,s))=\mathrm{\varnothing }\text{for any}r,s<d(x,y)/5A,\end{array}$$

where $A=A(\mathbb{V},\mathbb{L})$ is the constant yielded by Lemma 4.2. Then, the function $x\mapsto \rho (x)$ is positive everywhere on $\mathrm{\Gamma }$ and upper semicontinuous.

Proof

Let $x\in \mathrm{\Gamma }$ and suppose by contradiction that there is a sequence of points ${\{y_i\}}_{i\in \mathbb{N}}\subseteq \mathrm{\Gamma }$ converging to x and

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(x,r_i))\cap P_{\mathbb{V}}(B(y_i,s_i))\ne \mathrm{\varnothing },\end{array}$$ 52

for some $r_i,s_i<d(x,y_i)/5A$. We note that (52) is equivalent to assuming that there are $z_i\in B(x,r_i)$ and $w_i\in B(y_i,s_i)$ such that

$$\begin{array}{c}\hfill P_{\mathbb{V}}(w_i)=P_{\mathbb{V}}(z_i).\end{array}$$ 53

Identity (53) implies in particular that for any $i\in \mathbb{N}$, we have $w_i^{-1}{z}_i\in \mathbb{L}$ and let us denote ${\rho }_i:=d(x,y_i)$. Thanks to the assumptions on $y_i,z_i$ and $w_i$, we have that

1. $d(0,{\delta }_{1/{\rho }_i}(x^{-1}{y}_i))=1$ and thus we can assume without loss of generality that there exists a $y\in \partial B(0,1)$ such that

   $$\begin{array}{c}\hfill \underset{i\to \infty }{lim}{\delta }_{1/{\rho }_i}(x^{-1}{y}_i)=y,\end{array}$$
2. $d(0,{\delta }_{1/{\rho }_i}(x^{-1}{z}_i))\le 1/5A$ and thus up to passing to a non-re-labeled subsequence, we can assume that there exists a $z\in B(0,1/5A)$ such that

   $$\begin{array}{c}\hfill \underset{i\to \infty }{lim}{\delta }_{1/{\rho }_i}(x^{-1}{z}_i)=z,\end{array}$$
3. $d({\delta }_{1/{\rho }_i}(x^{-1}{y}_i),{\delta }_{1/{\rho }_i}(x^{-1}{w}_i))\le 1/5A$ and thus, up to passing to a non-re-labeled subsequence, we can suppose that there exists a $w\in B(y,1/5A)$ such that

   $$\begin{array}{c}\hfill \underset{i\to \infty }{lim}{\delta }_{1/{\rho }_i}(x^{-1}{w}_i)=w.\end{array}$$

Since $\mathrm{\Gamma }$ is supposed to be a $C_{\mathbb{V}}(\alpha )$-set, we have that for any $i\in \mathbb{N}$ the point $x^{-1}{y}_i$ is contained in the cone $C_{\mathbb{V}}(\alpha )$ and, since ${\mathbb{C}}_{\mathbb{V}}(\alpha )$ is closed, we infer that $y\in C_{\mathbb{V}}(\alpha )$. Since we assumed $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$, we have $y\in \partial B(0,1)\cap C_{\mathbb{V}}({\epsilon }_1(\mathbb{V},\mathbb{L}))$. Since ${\delta }_{1/{\rho }_i}(x^{-1}{z}_i)$ and ${\delta }_{1/{\rho }_i}(x^{-1}{w}_i)$ converge to z and w, respectively, we have

$$\begin{array}{c}\hfill \underset{i\to \infty }{lim}{\delta }_{1/{\rho }_i}(w_i^{-1}{z}_i)=\underset{i\to \infty }{lim}{\delta }_{1/{\rho }_i}(w_i^{-1}x){\delta }_{1/{\rho }_i}(x^{-1}{z}_i)=w^{-1}z.\end{array}$$

Furthermore since $w_i^{-1}{z}_i\in \mathbb{L}$ for any $i\in \mathbb{N}$, we infer that $w^{-1}z\in \mathbb{L}$ since $\mathbb{L}$ is closed. Applying Lemma 4.2 to y, z, w, we see that the fact that $w^{-1}z\in \mathbb{L}$, $z\in B(0,1/5A)$ and $w\in B(y,1/5A)$ results in a contradiction. This concludes the proof of the first part of the proposition.

In order to show that $\rho$ is upper semicontinuous, we fix an $x\in \mathrm{\Gamma }$ and we assume by contradiction that there exists a sequence ${\{x_i\}}_{i\in \mathbb{N}}\subseteq \mathrm{\Gamma }$ converging to x such that

$$\begin{array}{c}\hfill \underset{i\to \infty }{lim\; sup}\rho (x_i)>(1+\tau )\rho (x),\end{array}$$ 54

for some $\tau >0$. Fix an $y\in B(x,(1+\tau /2)\rho (x))\cap \mathrm{\Gamma }$ and assume $s,r<d(x,y)/5A$. Thus, thanks to (54) and the fact that the $x_i$ converge to x, we infer that there exists a $i_0\in \mathbb{N}$ such that, up to non-re-labeled subsequences, for any $i\ge i_0$, we have $\rho (x_i)>(1+\tau )\rho (x)$, $d(x_i,x)<\tau \rho (x)/4$ and $s,r+d(x_i,x)<d(x_i,y)/5A$. Therefore, for any $i\ge i_0$, we have

$$\begin{array}{c}\hfill y\in B(x_i,(1+3\tau /4)\rho (x))\subseteq B(x_i,\rho (x_i)),\text{and}s,r+d(x_i,x)<d(x_i,y)/5A.\end{array}$$

This, however, thanks to the definition of $\rho (x_i)$, implies that

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(x,r))\cap P_{\mathbb{V}}(B(y,s))\subseteq P_{\mathbb{V}}(B(x_i,r+d(x_i,x)))\cap P_{\mathbb{V}}(B(y,s))=\mathrm{\varnothing }.\end{array}$$

Summing up, we have proved that for any $y\in B(x,(1+\tau /2)\rho (x))\cap \mathrm{\Gamma }$ whenever $r,s<d(x,y)/5A$ we have

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(x,r))\cap P_{\mathbb{V}}(B(y,s))=\mathrm{\varnothing },\end{array}$$

and this contradicts the maximality of $\rho (x)$. This concludes the proof. $\square$

Corollary 4.4

Let us fix $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and suppose that $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set. Let us fix $x\in \mathrm{\Gamma }$ and choose $\rho (x)>0$ as in the statement of Proposition 4.3. Then there is a $0<r(x)<1/2$ such that the following holds

$$\begin{array}{c}\hfill \begin{array}{cc}& \text{if}0<r<r(x)\text{and}y\in \mathrm{\Gamma }\text{are such that}{P}_{\mathbb{V}}(B(x,2r))\cap P_{\mathbb{V}}(B(y,10r))\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{then}y\in B(x,\rho (x))\text{and}d(x,y)\le 50Ar,\hfill \end{array}\end{array}$$ 55

where $A=A(\mathbb{V},\mathbb{L})$ is the constant yielded by Lemma 4.2.

Proof

Let us first prove that there exists $\tilde{\alpha }:=\tilde{\alpha }(\alpha ,x)$ such that whenever $y\in \mathrm{\Gamma }$ is such that $d(x,y)\ge \rho (x)$ then $d(P_{\mathbb{V}}(x),P_{\mathbb{V}}(y))\ge \tilde{\alpha }$. Indeed if it is not the case, we have a sequence ${\{y_i\}}_{i\in \mathbb{N}}\subseteq \mathrm{\Gamma }$ such that $d(x,y_i)\ge \rho (x)$ for every $i\in \mathbb{N}$ and $d(P_{\mathbb{V}}(x),P_{\mathbb{V}}(y_i))\to 0$ as $i\to +\infty$. Since $\mathrm{\Gamma }$ is compact, we can suppose, up to passing to a non-re-labeled subsequence, that $y_i\to y\in \mathrm{\Gamma }$. Moreover, since $d(x,y_i)\ge \rho (x)$ and $d(P_{\mathbb{V}}(x),P_{\mathbb{V}}(y_i))\to 0$, we conclude that $d(x,y)\ge \rho (x)$, and hence $x\ne y$, and moreover $P_{\mathbb{V}}(x)=P_{\mathbb{V}}(y)$. Then $y^{-1}·x\in \mathbb{L}\cap C_{\mathbb{V}}(\alpha )$ that is a contradiction with Lemma 2.15 because $y\ne x$ and $\alpha <{\epsilon }_1$.

Since $P_{\mathbb{V}}$ is uniformly continuous on the closed tubular neighborhood $B(\mathrm{\Gamma },1)$, there exists a $r(x)>0$ depending on $\tilde{\alpha }=\tilde{\alpha }(\alpha ,x)$ such that for any $y\in \mathrm{\Gamma }$ and any $r<r(x)$, we have

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(y,10r))\subseteq B(P_{\mathbb{V}}(y),\tilde{\alpha }/10).\end{array}$$ 56

Let us show the first part of the statement. It is sufficient to prove that if $r<r(x)$ and $y\in \mathrm{\Gamma }$ is such that $d(x,y)\ge \rho (x)$, then $P_{\mathbb{V}}(B(x,2r))\cap P_{\mathbb{V}}(B(y,10r))=\mathrm{\varnothing }$. Indeed if $d(x,y)\ge \rho (x)$ then $d(P_{\mathbb{V}}(x),P_{\mathbb{V}}(y))\ge \tilde{\alpha }$. Moreover, from (56), we deduce that $P_{\mathbb{V}}(B(x,10r))\subseteq B(P_{\mathbb{V}}(x),\tilde{\alpha }/10)$ and $P_{\mathbb{V}}(B(y,10r))\subseteq B(P_{\mathbb{V}}(y),\tilde{\alpha }/10)$. Since $d(P_{\mathbb{V}}(x),P_{\mathbb{V}}(y))\ge \tilde{\alpha }$, we conclude that $B(P_{\mathbb{V}}(x),\tilde{\alpha }/10)\cap B(P_{\mathbb{V}}(y),\tilde{\alpha }/10)=\mathrm{\varnothing }$ and then also $P_{\mathbb{V}}(B(x,10r))\cap P_{\mathbb{V}}(B(y,10r))=\mathrm{\varnothing }$, from which the sought conclusion follows. In order to prove $d(x,y)\le 50Ar$, once we have $y\in B(x,\rho (x))$, the conclusion follows thanks to Proposition 4.3. $\square$

Lemma 4.5

Fix some $N\in \mathbb{N}$ and assume that $\mathcal{F}$ is a family of closed balls of $\mathbb{G}$ with uniformly bounded radii. Then we can find a countable disjoint subfamily $\mathcal{G}$ of $\mathcal{F}$ such that

• (i)if $B,B^{\prime }\in \mathcal{G}$ then $5^{N}B$ and $5^N{B}^{\prime }$ are disjoint,
• (ii)${\bigcup }_{B\in \mathcal{F}}B\subseteq {\bigcup }_{B\in \mathcal{G}}{5}^{N+1}B$.

Proof

If $N=0$, there is nothing to prove, since it is the classical 5-Vitali’s covering Lemma.

Let us assume by inductive hypothesis that the claim holds for $N=k$ and let us prove that it holds for $k+1$. Let ${\mathcal{G}}_k$ be the family of balls satisfying (i) and (ii) for $N=k$, and apply the 5-Vitali’s covering Lemma to the family of balls $\tilde{\mathcal{F}}:=\{5^{k+1}B:B\in {\mathcal{G}}_k\}$. We obtain a countable subfamily $\tilde{\mathcal{G}}$ of $\tilde{\mathcal{F}}$ such that if $5^{k+1}B,5^{k+1}{B}^{\prime }\in \tilde{\mathcal{G}}$ then $5^{k+1}B$ and $5^{k+1}{B}^{\prime }$ are disjoint and that satisfies ${\bigcup }_{B\in \tilde{\mathcal{F}}}B\subseteq {\bigcup }_{B\in \tilde{\mathcal{G}}}5B$. Therefore, if we define

$$\begin{array}{c}\hfill {\mathcal{G}}_{k+1}:=\{B\in {\mathcal{G}}_k:5^{k+1}B\in \tilde{\mathcal{G}}\},\end{array}$$

point (i) directly follows and thanks to the inductive hypothesis we have

$$\begin{array}{c}\hfill \bigcup _{B\in \mathcal{F}}B\subseteq \bigcup _{B\in {\mathcal{G}}_k}{5}^{k+1}B\subseteq \bigcup _{B\in {\mathcal{G}}_{k+1}}{5}^{k+2}B,\end{array}$$

proving the second point of the statement. $\square$

Proposition 4.6

Let $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and suppose $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set of finite ${\mathcal{S}}^h$-measure such that

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0,\end{array}$$

for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$. Then, there exists a constant $C_6>0$ depending on $\mathbb{V}$, $\mathbb{L}$, and the left-invariant homogeneous distance on $\mathbb{G}$, such that for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$ there exists an $R:=R(x)>0$ such that for any $0<\ell \le R$ we have

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(\mathrm{\Gamma }\cap B(x,\ell )))\ge C_6{\mathrm{\Theta }}_{\ast }^h{({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}^2{\ell }^h.\end{array}$$ 57

Proof

First of all, let us recall that two homogeneous left-invariant distances are always bi-Lipschitz equivalent on $\mathbb{G}$. Therefore if $d_c$ is a Carnot-Carathéodory distance on $\mathbb{G}$, which is in particular geodesic, see [29, Sect. 3.3] there exists a constant $\mathfrak{L}(d,d_c)\ge 1$ such that

$$\begin{array}{c}\hfill \mathfrak{L}{(d,d_c)}^{-1}{d}_c(x,y)\le d(x,y)\le \mathfrak{L}(d,d_c)d_c(x,y)\text{for any}x,y\in \mathbb{G}.\end{array}$$

We claim that if for any $\vartheta ,\gamma \in \mathbb{N}$ for which ${\mathcal{S}}^h(E(\vartheta ,\gamma ))>0$ we have that for ${\mathcal{S}}^h$-almost any $w\in E(\vartheta ,\gamma )$ there exists a $R(w)>0$ such that

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(\mathrm{\Gamma }\cap B(w,\ell )))\ge \frac{C_4(\mathbb{V},\mathbb{L}){\ell }^h}{8·5^{3h}{A}^h\mathfrak{L}{(d,d_c)}^{2h}{\vartheta }^2},\end{array}$$ 58

whenever $0<\ell <R(w)$, then the proposition is proved. This is due to the following reasoning. First of all, thanks to [13, Proposition 2.10.19(5)], we know that ${\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)\le 1$. Secondly, if we set, for any $k\in \mathbb{N}$, ${\mathrm{\Gamma }}_k:=\{w\in \mathrm{\Gamma }:1/(k+1)<{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)\le 1/k\}$, we have that

$$\begin{array}{c}\hfill {\mathcal{S}}^h(\mathrm{\Gamma }\backslash \bigcup _{k\in \mathbb{N}}{\mathrm{\Gamma }}_k)=0.\end{array}$$ 59

We observe now that if ${\mathcal{S}}^h({\mathrm{\Gamma }}_k)>0$, then ${\mathcal{S}}^h$-almost every $w\in {\mathrm{\Gamma }}_k$ belongs to some $E(k+1,\gamma )$ provided $\gamma$ is big enough, or in other words

$$\begin{array}{c}\hfill {\mathcal{S}}^h({\mathrm{\Gamma }}_k\backslash \bigcup _{\gamma \in \mathbb{N}}E(k+1,\gamma ))=0.\end{array}$$ 60

If our claim (58) holds true, whenever ${\mathcal{S}}^h(E(k+1,\gamma ))>0$, we have that for ${\mathcal{S}}^h⌞E(k+1,\gamma )$-almost every w there exists R(w) such that whenever $0<\ell <R(w)$ the following chain of inequalities holds

$$\begin{array}{cc}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(\mathrm{\Gamma }\cap B(w,\ell )))\ge & \frac{C_4(\mathbb{V},\mathbb{L}){\ell }^h}{8·5^{3h}{A}^h\mathfrak{L}{(d,d_c)}^{2h}{(k+1)}^2}\hfill \\ \hfill \ge & \frac{C_4(\mathbb{V},\mathbb{L}){\ell }^h}{2^5·5^{3h}{A}^h\mathfrak{L}{(d,d_c)}^{2h}{k}^2}\ge \frac{C_4(\mathbb{V},\mathbb{L}){\mathrm{\Theta }}_{\ast }^h{({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}^2{\ell }^h}{2^5·5^{3h}{A}^h\mathfrak{L}{(d,d_c)}^{2h}}\hfill \\ \hfill =& C_6{\mathrm{\Theta }}_{\ast }^h{({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}^2{\ell }^h.\hfill \end{array}$$ 61

Identities (59) and (60) together with (61) imply that our claim suffices to prove the proposition. Therefore, in the following we will assume that $\vartheta ,\gamma \in \mathbb{N}$ are fixed and such that ${\mathcal{S}}^h(E(\vartheta ,\gamma ))>0$, and we want to prove (58).

Let $N\in \mathbb{N}$ be the unique natural number for which $5^{N-2}\le A\mathfrak{L}{(d,d_c)}^2<5^{N-1}$ and for any $k\in \mathbb{N}$ and $0<\delta <1/2$ we define the following sets, where $\rho (x)$ is defined in Proposition 4.3,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill A_{\vartheta ,\gamma }(k):=& \{x\in E(\vartheta ,\gamma ):\rho (x)>1/k\},\hfill \\ \hfill {\mathcal{D}}_{\vartheta ,\gamma }(k):=& \{x\in A_{\vartheta ,\gamma }(k):\underset{r\to 0}{lim}\frac{{\mathcal{S}}^h(B(x,r)\cap A_{\vartheta ,\gamma }(k))}{{\mathcal{S}}^h(B(x,r)\cap E(\vartheta ,\gamma ))}=1\},\hfill \\ \hfill {\mathcal{F}}_{\delta }(k):=& \{B(x,r):x\in {\mathcal{D}}_{\vartheta ,\gamma }(k)\text{and}r\le \frac{min\{{\vartheta }^{-1},{\gamma }^{-1},k^{-1},\delta \}}{1000A\mathfrak{L}{(d,d_c)}^2}\}.\hfill \end{array}\end{array}$$

For any $\vartheta ,\gamma \in \mathbb{N}$ the sets $A_{\vartheta ,\gamma }(k)$ are Borel since thanks to Proposition 4.3, the function $\rho$ is upper semicontinuous. Before going on, we observe that ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )(A_{\vartheta ,\gamma }(k)\backslash {\mathcal{D}}_{\vartheta ,\gamma }(k))=0$. This comes from the fact that the points of ${\mathcal{D}}_{\vartheta ,\gamma }(k)$ are exactly the points of density one of $A_{\vartheta ,\gamma }(k)$ with respect to the measure ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$, that is asymptotically doubling at ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$-almost every point because it has positive lower density and finite upper density at ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$-almost every point, see Proposition 2.2. Moreover observe that from Proposition 4.3${\mathcal{S}}^h(E(\vartheta ,\gamma )\backslash {\cup }_{k=1}^{+\infty }{A}_{\vartheta ,\gamma }(k))=0$. Let us apply Lemma 4.5 to N and ${\mathcal{F}}_{\delta }(k)$, and thus we infer that there exists a subfamily ${\mathcal{G}}_{\delta }(k)$ such that

($\alpha$)

for any $B,B^{\prime }\in {\mathcal{G}}_{\delta }(k)$ we have that $5^{N}B\cap 5^N{B}^{\prime }=\mathrm{\varnothing }$,

($\beta$)

${\bigcup }_{B\in {\mathcal{F}}_{\delta }(k)}B\subseteq {\bigcup }_{B\in {\mathcal{G}}_{\delta }(k)}{5}^{N+1}B$.

The point ($\alpha$) above implies in particular that whenever $B(x,r),B(y,s)\in {\mathcal{G}}_{\delta }(k)$, we have $d(x,y)>\mathfrak{L}{(d,d_c)}^{-2}{5}^N(r+s)$, since d is $\mathfrak{L}(d,d_c)$-Lipschitz equivalent to the geodesic distance $d_c$, and thanks to the choice of N, we deduce that

$$\begin{array}{c}\hfill r+s<\frac{d(x,y)}{5A}.\end{array}$$

Throughout the rest of the proof, we fix a $w\in {\mathcal{D}}_{\vartheta ,\gamma }(k)$ and a

$$\begin{array}{c}\hfill 0<R(w)<min\{{\vartheta }^{-1},{\gamma }^{-1},k^{-1}\}/8,\end{array}$$

such that

$$\begin{array}{c}\hfill \frac{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(w,\ell ))}{{\ell }^h}\ge \frac{1}{2\vartheta },\text{and}\frac{{\mathcal{S}}^h⌞{\mathcal{D}}_{\vartheta ,\gamma }(k)(B(w,\ell ))}{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(w,\ell ))}\ge \frac{1}{2},\text{for any}0<\ell \le R(w).\\ \hfill \end{array}$$ 62

For the ease of notation, we continue the proof fixing the radius $\ell =R(w)=R$. We stress that the forthcoming estimates are verified, mutatis mutandis, also for any $0<\ell <R$. The first inequality above comes from the definition of $E(\vartheta ,\gamma )$, see Definition 2.9, while the second is true, up to choose a sufficiently small R(w), because ${\mathcal{S}}^h⌞\mathrm{\Gamma }$-almost every point of ${\mathcal{D}}_{\vartheta ,\gamma }(k)$ has density one with respect to the asymptotically doubling measure ${\mathcal{S}}^h⌞\mathrm{\Gamma }$. Let us stress that if we prove our initial claim for such w and R(w) we are done since ${\mathcal{S}}^h⌞\mathrm{\Gamma }$-every point of ${\mathcal{D}}_{\vartheta ,\gamma }(k)$ satisfies (62), ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )(A_{\vartheta ,\gamma }(k)\backslash {\mathcal{D}}_{\vartheta ,\gamma }(k))=0$, and ${\mathcal{S}}^h(E(\vartheta ,\gamma )\backslash {\cup }_{k=1}^{+\infty }{A}_{\vartheta ,\gamma }(k))=0$.

Let us notice that the definition of ${\mathcal{F}}_{\delta }(k)$ implies that there must exist a ball $B\in {\mathcal{G}}_{\delta }(k)$ such that $w\in 5^{N+1}B$. We now prove that for any couple of closed balls $B(x,r),B(y,s)\in {\mathcal{G}}_{\delta }(k)$ such that B(w, R) intersects both $B(x,5^{N+1}r)$ and $B(y,5^{N+1}s)$, we have

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(x,r))\cap P_{\mathbb{V}}(B(y,s))=\mathrm{\varnothing }.\end{array}$$ 63

Indeed, Suppose that $p\in B(x,5^{N+1}r)\cap B(w,R)$ and note that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill d(x,w)& \le d(x,p)+d(p,w)\le R+5^{N+1}r\hfill \\ \hfill & \le (\frac{1}{8}+\frac{5^{N+1}}{1000A\mathfrak{L}{(d,d_c)}^2})min\{{\vartheta }^{-1},{\gamma }^{-1},k^{-1}\}\le \frac{min\{{\vartheta }^{-1},{\gamma }^{-1},k^{-1}\}}{4},\hfill \end{array}\\ \hfill \end{array}$$ 64

where the last inequality comes from the choice of N. The bound (64) shows in particular that

$$\begin{array}{c}\hfill d(x,y)\le d(x,w)+d(w,y)\le \frac{min\{{\vartheta }^{-1},{\gamma }^{-1},k^{-1}\}}{2}<\rho (x),\end{array}$$

where the last inequality comes from the fact that by construction x is supposed to be in ${\mathcal{D}}_{\vartheta ,\gamma }(k)$. Thanks to the fact that $r+s<d(x,y)/5A$ and $y\in B(x,\rho (x))\cap E(\vartheta ,\gamma )$, we have that Proposition 4.3 implies that (63) holds.

In order to proceed with the conclusion of the proof, let us define

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\mathcal{F}}_{\delta }(w,R):=& \{B\in {\mathcal{F}}_{\delta }(k):5^{N+1}B\cap B(w,R)\cap {\mathcal{D}}_{\vartheta ,\gamma }(k)\ne \mathrm{\varnothing }\},\hfill \\ \hfill {\mathcal{G}}_{\delta }(w,R):=& \{B\in {\mathcal{G}}_{\delta }(k):5^{N+1}B\cap B(w,R)\cap {\mathcal{D}}_{\vartheta ,\gamma }(k)\ne \mathrm{\varnothing }\},\hfill \end{array}\end{array}$$

Thanks to our choice of R, see (62), and the definition of ${\mathcal{G}}_{\delta }(w,R)$ we have

$$\begin{array}{cc}\hfill \frac{R^h}{2\vartheta }\le & {\mathcal{S}}^h⌞\mathrm{\Gamma }(B(w,R))\le 2{\mathcal{S}}^h⌞{\mathcal{D}}_{\vartheta ,\gamma }(k)(B(w,R))\hfill \\ \hfill \le & 2{\mathcal{S}}^h⌞{\mathcal{D}}_{\vartheta ,\gamma }(k)(\bigcup _{B\in {\mathcal{G}}_{\delta }(w,R)}{5}^{N+1}B).\hfill \end{array}$$

Let ${\mathcal{G}}_{\delta }(w,R)={\{B(x_i,r_i)\}}_{i\in \mathbb{N}}$ and recall that $x_i\in {\mathcal{D}}_{\vartheta ,\gamma }(k)$ and that $5^{N+1}{r}_i\le 1/\gamma$. This implies, thanks to Proposition 2.13, that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\mathcal{S}}^h⌞{\mathcal{D}}_{\vartheta ,\gamma }(k)(\bigcup _{B\in {\mathcal{G}}_{\delta }(w,R)}{5}^{N+1}B)& \le 2\vartheta 5^{h(N+1)}\sum _{i\in \mathbb{N}}{r}_i^h\hfill \\ \hfill & =2\vartheta 5^{h(N+1)}{C}_4{(\mathbb{V},\mathbb{L})}^{-1}\sum _{i\in \mathbb{N}}{\mathcal{S}}^h(P_{\mathbb{V}}(B(x_i,r_i)))\hfill \\ \hfill & =2\vartheta 5^{h(N+1)}{C}_4{(\mathbb{V},\mathbb{L})}^{-1}{\mathcal{S}}^h(P_{\mathbb{V}}(\bigcup _{i\in \mathbb{N}}B(x_i,r_i)))\hfill \\ \hfill & \le 2\vartheta 5^{h(N+1)}{C}_4{(\mathbb{V},\mathbb{L})}^{-1}{\mathcal{S}}^h(P_{\mathbb{V}}(\bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B)),\hfill \end{array}\end{array}$$

where the first inequality comes from the subadditivity and the upper estimate that we have in the definition of $E(\vartheta ,\gamma )$, see Definition 2.9, while identity in the third line above comes from (63). Summing up, for any $\delta >0$ we have

$$\begin{array}{c}\hfill \frac{C_4(\mathbb{V},\mathbb{L})R^h}{8·5^{h(N+1)}{\vartheta }^2}\le {\mathcal{S}}^h(P_{\mathbb{V}}(\bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B)).\end{array}$$

We now prove that the projection under $P_{\mathbb{V}}$ of the closure of ${\bigcup }_{B\in {\mathcal{F}}_{\delta }(w,R)}B$ converges in the Hausdorff sense to $P_{\mathbb{V}}(\overline{{\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R)})$ as $\delta$ goes to 0. Since the set ${\bigcup }_{B\in {\mathcal{F}}_{\delta }(w,R)}B$ is a covering of ${\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R)$ we have that

$$\begin{array}{c}\hfill {\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R)⋐\bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B.\end{array}$$ 65

On the other hand, since by definition the balls of ${\mathcal{F}}_{\delta }(w,R)$ have radii smaller than $\delta /4$ and center in ${\mathcal{D}}_{\vartheta ,\gamma }(k)$, we also have

$$\begin{array}{c}\hfill \bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B⋐B({\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R),5^{N+2}\delta ).\end{array}$$ 66

Putting together (65) and (66), we infer that the closure of ${\bigcup }_{B\in {\mathcal{F}}_{\delta }(w,R)}B$ converges in the Hausdorff metric to the closure of $B(w,R)\cap {\mathcal{D}}_{\vartheta ,\gamma }(k)$. Furthermore, since $P_{\mathbb{V}}$ restricted to the ball $B(w,R+1)$ is uniformly continuous, we infer that

$$\begin{array}{c}\hfill P_{\mathbb{V}}(\overline{\bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B})\underset{H}{⟶}{P}_{\mathbb{V}}(\overline{{\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R)}).\end{array}$$

Thanks to the upper semicontinuity of the Lebesgue measure with respect to the Hausdorff convergence we eventually infer that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \frac{C_4(\mathbb{V},\mathbb{L})R^h}{8·5^{h(N+1)}{\vartheta }^2}& \le \underset{\delta \to 0}{lim\; sup}{\mathcal{S}}^h(P_{\mathbb{V}}(\overline{\bigcup _{B\in {\mathcal{F}}_{\delta }(w,R)}B}))\hfill \\ \hfill & \le {\mathcal{S}}^h(P_{\mathbb{V}}(\overline{{\mathcal{D}}_{\vartheta ,\gamma }(k)\cap B(w,R)}))\le {\mathcal{S}}^h(P_{\mathbb{V}}(E(\vartheta ,\gamma )\cap B(w,R))),\hfill \end{array}\end{array}$$

where the last inequality above comes from the fact that by construction ${\mathcal{D}}_{\vartheta ,\gamma }(k)\subseteq E(\vartheta ,\gamma )$ and the compactness of $E(\vartheta ,\gamma )$. Finally, since $C_6=2^{-5}{5}^{-3h}{A}^{-h}\mathfrak{L}{(d,d_c)}^{-2h}{C}_4(\mathbb{V},\mathbb{L})$, we infer

$$\begin{array}{c}\hfill {\mathcal{S}}^h(P_{\mathbb{V}}(E(\vartheta ,\gamma )\cap B(w,R)))\ge \frac{C_4(\mathbb{V},\mathbb{L})R^h}{8·5^{h(N+1)}{\vartheta }^2}\ge \frac{4C_6{R}^h}{{\vartheta }^2},\end{array}$$

thus showing the claim (58) and then the proof. $\square$

Proposition 4.7

Let us fix $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and suppose $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set of finite ${\mathcal{S}}^h$-measure such that

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0,\end{array}$$

for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$. Let us set $\phi :P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{L}$ the map whose graph is $\mathrm{\Gamma }$, see Proposition 2.17, and set $\mathrm{\Phi }:P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{G}$ to be the graph map of $\phi$. Let us define ${\mathrm{\Phi }}_{\ast }{\mathcal{S}}^h⌞\mathbb{V}$ to be the measure on $\mathrm{\Gamma }$ such that for every measurable $A\subseteq \mathrm{\Gamma }$ we have ${\mathrm{\Phi }}_{\ast }{\mathcal{S}}^h⌞\mathbb{V}(A):={\mathcal{S}}^h⌞\mathbb{V}({\mathrm{\Phi }}^{-1}(A))={\mathcal{S}}^h⌞\mathbb{V}(P_{\mathbb{V}}(A))$. Then ${\mathrm{\Phi }}_{\ast }{\mathcal{S}}^h⌞\mathbb{V}$ is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞\mathrm{\Gamma }$.

Proof

The fact that ${\mathrm{\Phi }}_{\ast }{\mathcal{S}}^h⌞\mathbb{V}$ is absolutely continuous with respect to ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is an immediate consequence of Proposition 2.13. Vice-versa, suppose by contradiction that there exists a compact subset C of $\mathrm{\Gamma }$ of positive ${\mathcal{S}}^h$-measure such that

$$\begin{array}{c}\hfill 0={\mathrm{\Phi }}_{\ast }{\mathcal{S}}^h⌞\mathbb{V}(C)={\mathcal{S}}^h(P_{\mathbb{V}}(C)).\end{array}$$ 67

Since by assumption ${\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞C,x)>0$ for ${\mathcal{S}}^h$-almost every $x\in C$, by Proposition 2.2 and the fact that C has positive and finite ${\mathcal{S}}^h$-measure, we infer thanks to Proposition 4.6 that it must have a projection of positive ${\mathcal{S}}^h$-measure. This, however, comes in contradiction with (67). $\square$

In the following propositions, we are going to introduce two fine coverings of $P_{\mathbb{V}}(\mathrm{\Gamma })$ and $\mathbb{V}$, respectively, that will be used in the proof of Proposition 4.1 to differentiate with respect to the measure ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$.

Definition 4.1

($\varphi$-Vitali relation) Let (X, d) be a metric space with a Borel measure $\varphi$ on it and let $\mathcal{B}(X)$ be the family of Borel sets of X. We say that $S\subseteq X\times \mathcal{B}(X)$ is a covering relation if

$$\begin{array}{c}\hfill S=\{(x,B):x\in B\subseteq X\}.\end{array}$$

Furthermore for any $Z\subseteq X$ we let

$$\begin{array}{c}\hfill S(Z):=\{B:(x,B)\in S\text{for some}x\in Z\}.\end{array}$$ 68

Finally a covering S is said to be fine at $x\in X$ if and only if

$$\begin{array}{c}\hfill inf\{\mathrm{diam}(B):(x,B)\in S\}=0.\end{array}$$

By a $\varphi$-Vitali relation, we mean a covering relation that is fine at every point of X and the following condition holds

• If C is a subset of S and Z is a subset of X such that C is fine at each point of Z, then C(Z) has a countable disjoint subfamily covering $\varphi$-almost all of Z.

If $\delta$ is a nonnegative function on S(X), for any $B\in S(X)$ we define its $\delta$-enlargement as

$$\begin{array}{c}\hfill \widehat{B}:=\bigcup \{B^{\prime }:B^{\prime }\in S(X),B^{\prime }\cap B\ne \mathrm{\varnothing }\text{and}\delta (B^{\prime })\le 5\delta (B)\}.\end{array}$$ 69

In the remaining part of this section, we use the following general result due to Federer: it contains a criterion to show that a fine covering relation is a $\varphi$-Vitali relation, and a Lebesgue theorem for $\varphi$-Vitali relations.

Proposition 4.8

( [13, Theorem 2.8.17, Corollary 2.9.9 and Theorem 2.9.11]) Let X be a metric space, and let $\varphi$ be a Borel regular measure on X that is finite on bounded sets. Let S be a covering relation such that S(X) is a family of bounded closed sets, S is fine at each point of X, and let $\delta$ be a nonnegative function on S(X) such that

$$\begin{array}{c}\hfill \underset{\epsilon \to 0^{+}}{lim}sup\left\{\delta ,(B),+,\frac{\varphi (\widehat{B})}{\varphi (B)},:,(x,B),\in ,S,,,,,\mathrm{diam},B,<,\epsilon \right\}<+\infty ,\end{array}$$

for $\varphi$-almost every $x\in X$. Then S is a $\varphi$-Vitali relation.

Moreover, if S is a $\varphi$-Vitali relation on X, and f is a $\varphi$-measurable real-valued function with ${\int }_K|f|\mathrm{d}\varphi <+\infty$ on every bounded $\varphi$-measurable K, we have

$$\begin{array}{c}\hfill \underset{\epsilon \to 0^{+}}{lim}sup\left\{\frac{{\int }_B|f(z)-f(x)|\mathrm{d}\varphi (z)}{\varphi (B)},:,(x,B),\in ,S,,,,,\mathrm{diam},B,<,\epsilon \right\}=0,\end{array}$$

for $\varphi$-almost every $x\in X$. In addition, given $A\subseteq X$, if we define

$$\begin{array}{c}\hfill P:=\left\{x,\in ,X,:,\underset{\epsilon \to 0^{+}}{lim},inf,\left\{\frac{\varphi (B\cap A)}{\varphi (B)},:,(x,B),\in ,S,,,,,\mathrm{diam},B,<,\epsilon \right\},=,1\right\},\end{array}$$

then P is $\varphi$-measurable and $\varphi (A\backslash P)=0$.

Proposition 4.9

Let $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and suppose that $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set of finite ${\mathcal{S}}^h$-measure such that

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0,\end{array}$$

for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$. As in the statement of Proposition 4.7, let us denote with $\mathrm{\Phi }:P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{G}$ the graph map of $\phi :P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{L}$ whose intrinsic graph is $\mathrm{\Gamma }$. Then the covering relation

$$\begin{array}{c}\hfill S_1:=\{(z,P_{\mathbb{V}}(B(\mathrm{\Phi }(z),r)\cap \mathrm{\Gamma })):z\in P_{\mathbb{V}}(\mathrm{\Gamma })\text{and}0<r<min\{1,R(\mathrm{\Phi }(z))\}\},\end{array}$$

is a ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$-Vitali relation, where $R(\mathrm{\Phi }(z))$ is defined as in Proposition 4.6 for ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$-almost every $z\in \mathbb{V}$ and it is $+\infty$ on the remaining null set where Proposition 4.6 eventually does not hold.

Proof

First of all, it is readily noticed that $S_1$ is a fine covering of $P_{\mathbb{V}}(\mathrm{\Gamma })$ sine $P_{\mathbb{V}}$ is continuous. Let us prove that $S_1$ is a ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$-Vitali relation in $(P_{\mathbb{V}}(\mathrm{\Gamma }),d)$ with the distance d induced form $\mathbb{G}$. For $x\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and $r>0$, define $G(x,r):=P_{\mathbb{V}}(B(\mathrm{\Phi }(x),r)\cap \mathrm{\Gamma })$. Notice that an arbitrary element of $S_1(P_{\mathbb{V}}(\mathrm{\Gamma }))$, see (68), is of the form G(x, r) for some $x\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and some $0<r<min\{1,R(\mathrm{\Phi }(x))\}$. Let $\delta (G(x,r)):=r$ and note that the $\delta$-enlargement, see (69), of G(x, r) is

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \widehat{G}(x,r)& :=\bigcup \{G(y,s):y\in P_{\mathbb{V}}(\mathrm{\Gamma }),0<s<min\{1,R(\mathrm{\Phi }(y))\},\hfill \\ \hfill & G(y,s)\cap G(x,r)\ne \mathrm{\varnothing }\text{and}\delta (G(y,s))\le 5\delta (G(x,r))\}\hfill \\ \hfill & =\bigcup \{G(y,s):y\in P_{\mathbb{V}}(\mathrm{\Gamma }),0<s<min\{1,R(\mathrm{\Phi }(y))\},\hfill \\ \hfill & G(y,s)\cap G(x,r)\ne \mathrm{\varnothing }\text{and}s\le 5r\}.\hfill \end{array}\end{array}$$ 70

Whenever $G(x,r)\cap G(y,s)\ne \mathrm{\varnothing }$ we have that $d(\mathrm{\Phi }(x),\mathrm{\Phi }(y))\le r+s$: indeed, since $P_{\mathbb{V}}$ is injective on $\mathrm{\Gamma }$, see Proposition 2.17, we have $P_{\mathbb{V}}(B(\mathrm{\Phi }(x),r)\cap \mathrm{\Gamma })\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s)\cap \mathrm{\Gamma })\ne \mathrm{\varnothing }$ if and only if $B(\mathrm{\Phi }(x),r)\cap B(\mathrm{\Phi }(y),s)\cap \mathrm{\Gamma }\ne \mathrm{\varnothing }$. In particular, since $s\le 5r$ we have $B(\mathrm{\Phi }(y),s)⋐B(\mathrm{\Phi }(x),12r)$, and thus $\widehat{G}(x,r)\subseteq G(x,12r)$ for every $x\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and $0<r<min\{1,R(\mathrm{\Phi }(x))\}$.

Finally, thanks to Proposition 4.6 and Proposition 4.7, for ${\mathcal{S}}^h$-almost every $x\in P_{\mathbb{V}}(\mathrm{\Gamma })$, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \underset{\xi \to 0}{lim}& sup\left\{\delta ,(G(x,r)),+,\frac{{\mathcal{S}}^h(\widehat{G}(x,r))}{{\mathcal{S}}^h(G(x,r))},:,0,<,r,<,min,\{1,R(\mathrm{\Phi }(x))\},,,,\mathrm{diam},(G(x,r)),\le ,\xi \right\}\hfill \\ \hfill & \le 1+\underset{\xi \to 0}{lim}sup\frac{{\mathcal{S}}^h(G(x,12r))}{{\mathcal{S}}^h(G(x,r))}\le 1+\underset{\xi \to 0}{lim}sup\frac{{\mathcal{S}}^h(P_{\mathbb{V}}(B(\mathrm{\Phi }(x),12r)))}{{\mathcal{S}}^h(P_{\mathbb{V}}(B(\mathrm{\Phi }(x),r)\cap \mathrm{\Gamma }))}\hfill \\ \hfill & \le 1+\frac{{(12r)}^h{\mathcal{S}}^h(P_{\mathbb{V}}(B(0,1)))}{C_6{\mathrm{\Theta }}_{\ast }^h{({\mathcal{S}}^h⌞\mathrm{\Gamma },\mathrm{\Phi }(x))}^2{r}^h}=1+\frac{{12}^h{\mathcal{S}}^h(P_{\mathbb{V}}(B(0,1)))}{C_6{\mathrm{\Theta }}_{\ast }^h{({\mathcal{S}}^h⌞\mathrm{\Gamma },\mathrm{\Phi }(x))}^2},\hfill \end{array}\end{array}$$ 71

where we explicitly mentioned the set over which we take the supremum only in the first line for the ease of notation, and where the first inequality in the third line follows from the fact that ${\mathcal{S}}^h(P_{\mathbb{V}}(\mathcal{E}))={\mathcal{S}}^h(P_{\mathbb{V}}(x\mathcal{E}))$ for any $x\in \mathbb{G}$ and any Borel set $\mathcal{E}\subseteq \mathbb{G}$, see Proposition 2.10. Thanks to (71), we can apply the first part of Proposition 4.8 and thus we infer that $S_1$ is a ${\mathcal{S}}^h⌞P_{\mathbb{V}}(\mathrm{\Gamma })$-Vitali relation. $\square$

Proposition 4.10

Let $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$ and let $\mathrm{\Gamma }$ be a compact $C_{\mathbb{V}}(\alpha )$-set of finite ${\mathcal{S}}^h$-measure. As in the statement of Proposition 4.7, let us denote with $\mathrm{\Phi }:P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{G}$ the graph map of $\phi :P_{\mathbb{V}}(\mathrm{\Gamma })\to \mathbb{L}$ whose intrinsic graph is $\mathrm{\Gamma }$. Then for ${\mathcal{S}}^h$-almost every $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$, we have

$$\begin{array}{c}\hfill \underset{r\to 0}{lim}\frac{{\mathcal{S}}^h(P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r)\cap \mathrm{\Phi }(w)C_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(\mathrm{\Gamma }))}{{\mathcal{S}}^h(P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r)\cap \mathrm{\Phi }(w)C_{\mathbb{V}}(\alpha )))}=1.\end{array}$$ 72

Proof

For any $w\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma })$, we let

$$\begin{array}{c}\hfill \rho (w):=inf\{r\ge 0:B(w,r)\cap P_{\mathbb{V}}(B(\mathrm{\Gamma },r^{1/\kappa }))\ne \mathrm{\varnothing }\}.\end{array}$$

It is immediate to see that $\rho (w)\le \mathrm{dist}(w,P_{\mathbb{V}}(\mathrm{\Gamma }))$ and that $\rho (w)=0$ if and only if $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$. Throughout the rest of the proof we let S be the fine covering of $\mathbb{V}$ given by the couples (w, G(w, r)) for which

($\alpha$)

if $w\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma })$ then $r\in (0,min\{\rho (w)/2,1\})$ and $G(w,r):=B(w,r)\cap \mathbb{V}$,

($\beta$)

if $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$ then $r\in (0,1)$ and $G(w,r):=P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r)\cap \mathrm{\Phi }(w)C_{\mathbb{V}}(\alpha ))$.

Furthermore, for any $w\in \mathbb{V}$, we define the function $\delta$ on $S(\mathbb{V})$, see (68), as

$$\begin{array}{c}\hfill \delta (G(w,r)):=r.\end{array}$$ 73

If we prove that S is a ${\mathcal{S}}^h⌞\mathbb{V}$-Vitali relation, the second part of Proposition 4.8 directly implies that (72) holds. If for ${\mathcal{S}}^h$-almost every $w\in \mathbb{V}$, we prove that

$$\begin{array}{c}\hfill \begin{array}{cc}& \underset{\xi \to 0}{lim}\underset{(w,G(w,r))\in S,\mathrm{diam}(G(w,r))\le \xi }{sup}\left\{\delta ,(,G,(w,r),),+,\frac{{\mathcal{S}}^h(\widehat{G}(w,r))}{{\mathcal{S}}^h(G(w,r))}\right\}\hfill \\ \hfill & \le 1+\underset{\xi \to 0}{lim}sup\frac{{\mathcal{S}}^h(\widehat{G}(w,r))}{{\mathcal{S}}^h(G(w,r))}<\infty ,\hfill \end{array}\end{array}$$ 74

where we explicitly mentioned the set over which we take the supremum only the first time for the ease of notation, and where $\widehat{G}(w,r)$ is the $\delta$-enlargement of G(w, r), see (69); thus, thanks to the first part of Proposition 4.8 we would immediately infer that S is a ${\mathcal{S}}^h⌞\mathbb{V}$-Vitali relation. In order to prove that (74) holds, we need to get a better understanding of the geometric structure of the $\delta$-enlargement of G(w, r).

If $w\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma })$, we note that there must exist an $0<r(w)<min\{\rho (w)/2,1\}$ such that for any $0<r<r(w)$ we have

$$\begin{array}{c}\hfill B(w,r)\cap P_{\mathbb{V}}(B(\mathrm{\Gamma },5r))=\mathrm{\varnothing }.\end{array}$$

Indeed, if this is not the case there would exist a sequence $r_i\downarrow 0$ and a sequence ${\{z_i\}}_{i\in \mathbb{N}}$ such that

$$\begin{array}{c}\hfill z_i\in B(w,r_i)\cap P_{\mathbb{V}}(B(\mathrm{\Gamma },5r_i)).\end{array}$$

Since $P_{\mathbb{V}}(\mathrm{\Gamma })$ is compact and $P_{\mathbb{V}}$ is continuous on the closed tubular neighborhood $B(\mathrm{\Gamma },1)$, up to passing to a non-re-labeled subsequence we have that the $z_i$’s converge to some $z\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and, on the other hand, by construction the $z_i$’s converge to w which is not contained in $P_{\mathbb{V}}(\mathrm{\Gamma })$, and this is a contradiction. This implies that if $0<r<r(w)$, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \widehat{G}(w,r)& =\bigcup \{G(y,s):y\in \mathbb{V},s>0,(y,G(y,s))\in S,G(y,s)\cap G(w,r)\hfill \\ \hfill & \ne \mathrm{\varnothing },\text{and}s\le 5r\}\hfill \\ \hfill & \subseteq \bigcup \{B(y,s)\cap \mathbb{V}:B(y,s)\cap B(w,r)\cap \mathbb{V}\ne \mathrm{\varnothing }\text{and}s\le 5r\}\hfill \\ \hfill & \subseteq B(w,11r)\cap \mathbb{V},\hfill \end{array}\end{array}$$ 75

where in the inclusion we are using the fact that if y were in ${\mathbb{P}}_{\mathbb{V}}(\mathrm{\Gamma })$, and $s\le 5r$, then $G(y,s)\subseteq P_{\mathbb{V}}(B(\mathrm{\Gamma },s))\subseteq P_{\mathbb{V}}(B(\mathrm{\Gamma },5r))$ which would be in contradiction with $G(y,s)\cap G(w,r)\ne \mathrm{\varnothing }$, since we chose $0<r<r(w)$. Summing up, if $w\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma })$ the bound (74) immediately follows thanks to (75) and the homogeneity of ${\mathcal{S}}^h$.

If on the other hand $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$, the situation is more complicated. If $y\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma })$ and $s\le 5r$ are such that

$$\begin{array}{c}\hfill G(y,s)\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))=B(y,s)\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\end{array}$$ 76

since by construction of the covering S we also assumed that $0<s<\rho (y)/2$, we infer that we must have $r\ge s^{1/\kappa }$ for (76) to be satisfied. This allows us to infer that, for every $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and $0<r<1$, we have

$$\begin{array}{c}\hfill \begin{array}{cc}& \widehat{G}(w,r)\hfill \\ \hfill & =\bigcup \{G(y,s):y\in \mathbb{V},s>0,(y,G(y,s))\in S,G(y,s)\cap G(w,r)\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{and}s\le 5r\}\hfill \\ \hfill & \subseteq \bigcup \{P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s)):y\in P_{\mathbb{V}}(\mathrm{\Gamma }),P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s))\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{and}s\le 5r\}\cup \hfill \\ \hfill & \cup \bigcup \{B(y,s)\cap \mathbb{V}:y\in \mathbb{V}\backslash P_{\mathbb{V}}(\mathrm{\Gamma }),B(y,s)\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{and}s\le min\{5r,\rho (y)/2\}\}\hfill \\ \hfill & \subseteq \bigcup \{P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s)):y\in P_{\mathbb{V}}(\mathrm{\Gamma }),P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s))\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{and}s\le 5r\}\cup \hfill \\ \hfill & \cup \left(B,(,P_{\mathbb{V}},(B(\mathrm{\Phi }(w),r)),,,3,r^{\kappa },),\cap ,\mathbb{V}\right),\hfill \end{array}\end{array}$$ 77

where in the last inclusion we are using the observation right after (76) according to which $s\le r^{\kappa }$. We now study independently each of the two terms of the union of the last two lines above. Let us first note that if $w,y\in P_{\mathbb{V}}(\mathrm{\Gamma })$, $s\le 5r$ and

$$\begin{array}{c}\hfill P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s))\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\end{array}$$

then $P_{\mathbb{V}}(B(\mathrm{\Phi }(y),10r))\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),2r))\ne \mathrm{\varnothing }$. This observation and Corollary 4.4 imply that if $0<r<r(w)$ is sufficiently small we have $d(\mathrm{\Phi }(w),\mathrm{\Phi }(y))\le 50Ar$, where the constant $A=A(\mathbb{V},\mathbb{L})$ is yielded by Lemma 4.2. In particular we deduce that for every $0<r<r(w)$ sufficiently small

$$\begin{array}{c}\hfill \begin{array}{cc}& \bigcup \{P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s)):y\in P_{\mathbb{V}}(\mathrm{\Gamma }),P_{\mathbb{V}}(B(\mathrm{\Phi }(y),s))\cap P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))\ne \mathrm{\varnothing },\hfill \\ \hfill & \text{and}s\le 5r\}\subseteq P_{\mathbb{V}}(B(\mathrm{\Phi }(w),50(A+1)r)).\hfill \end{array}\end{array}$$

In order to study the term in the last line of (77), we prove the following claim: for every $0<r<1$, every $z\in P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))$, and every $\mathrm{\Delta }\in B(0,3r^{\kappa })\cap \mathbb{V}$ we have $z\mathrm{\Delta }\in P_{\mathbb{V}}(B(\mathrm{\Phi }(w),C(\mathrm{\Gamma })r))$, where $C(\mathrm{\Gamma })$ is a constant depending only on $\mathrm{\Gamma }$. Indeed, since $\mathrm{\Gamma }$ is compact and $P_{\mathbb{L}}$ is continuous, there exists a constant $K^{\prime }:=K^{\prime }(\mathrm{\Gamma })$ such that whenever $0<r<1$, and $z\in P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))$, there exists an $\ell \in \mathbb{L}$ such that $z\ell \in B(\mathrm{\Phi }(w),r)$ and $\Vert \ell \Vert \le K^{\prime }$. Thus there exists a constant $K:=K(\mathrm{\Gamma })>0$ such that whenever $0<r<1$, $z\in P_{\mathbb{V}}(B(\mathrm{\Phi }(w),r))$, and $\mathrm{\Delta }\in B(0,3r^{\kappa })\cap \mathbb{V}$, there exists $\ell \in \mathbb{L}$ with $z\ell \in B(\mathrm{\Phi }(w),r)$ and $\Vert \mathrm{\Delta }\Vert +\Vert \ell \Vert \le K$. Thus, we can estimate

$$\begin{array}{c}\hfill d(\mathrm{\Phi }(w),z\mathrm{\Delta }\ell )\le d(\mathrm{\Phi }(w),z\ell )+d(z\ell ,z\mathrm{\Delta }\ell )\le r+C_1(K){\Vert \mathrm{\Delta }\Vert }^{1/\kappa }\le C(\mathrm{\Gamma })r,\end{array}$$

where the second inequality in the last equation comes from Lemma 2.1. Thus, $z\mathrm{\Delta }\in P_{\mathbb{V}}(B(\mathrm{\Phi }(w),C(\mathrm{\Gamma })r))$, and the claim is proved. Summing up, we have proved that whenever $w\in P_{\mathbb{V}}(\mathrm{\Gamma })$ and $0<r<r(w)$ is sufficiently small we have

$$\begin{array}{c}\hfill \widehat{G}(w,r)\subseteq P_{\mathbb{V}}(B(\mathrm{\Phi }(w),50(A+1)r))\cup P_{\mathbb{V}}(B(\mathrm{\Phi }(w),C(\mathrm{\Gamma })r)),\end{array}$$

and thus (74) immediately follows by the homogeneity of ${\mathcal{S}}^h⌞\mathbb{V}$ and the fact that ${\mathcal{S}}^h(P_{\mathbb{V}}(x\mathcal{E}))={\mathcal{S}}^h(P_{\mathbb{V}}(\mathcal{E}))$ for every $x\in \mathbb{G}$ and $\mathcal{E}$ a Borel subset of $\mathbb{G}$, see Proposition 2.10. This concludes the proof of the proposition. $\square$

We prove below a more precise version of Proposition 4.1.

Proposition 4.11

Let us fix $\alpha <{\epsilon }_1(\mathbb{V},\mathbb{L})$. Suppose $\mathrm{\Gamma }$ is a compact $C_{\mathbb{V}}(\alpha )$-set such that ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is ${\mathcal{P}}_h^c$-rectifiable. For ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$ we have

$$\begin{array}{c}\hfill {(1-\mathfrak{c}(\alpha ))}^{2h}{(1+\mathfrak{c}(\alpha ))}^{-h}\le \frac{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\le 1,\end{array}$$ 78

where $\mathfrak{c}(\alpha )$ is defined in Lemma 2.18.

Proof

Let us preliminarily observe that since ${\mathcal{S}}^h⌞\mathbb{V}$ and ${\mathcal{C}}^h⌞\mathbb{V}$ are both Haar measures on $\mathbb{V}$, they coincide up to a constant. Since for ${\mathcal{S}}^h$-almost every $x\in \mathrm{\Gamma }$ we have ${\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)>0$, the upper bound is trivial. Let us proceed with the lower bound. Thanks to Proposition 4.7 and the Radon–Nikodym Theorem, see [23, page 82], there exists $\rho \in L^1({\mathrm{\Phi }}_{\ast }{\mathcal{C}}^h⌞\mathbb{V})$ such that

• (i)$\rho (x)>0$ for ${\mathrm{\Phi }}_{\ast }{\mathcal{C}}^h⌞\mathbb{V}$-almost every $x\in \mathrm{\Gamma }$,
• (ii)${\mathcal{S}}^h⌞\mathrm{\Gamma }=\rho {\mathrm{\Phi }}_{\ast }{\mathcal{C}}^h⌞\mathbb{V}$.

We stress that the following reasoning holds for ${\mathcal{S}}^h⌞\mathrm{\Gamma }$-almost every $x\in \mathrm{\Gamma }$. Let ${\{r_i\}}_{i\in \mathbb{N}}$ be an infinitesimal sequence such that $r_i^{-h}{T}_{x,r_i}{\mathcal{S}}^h⌞\mathrm{\Gamma }\rightharpoonup \lambda {\mathcal{C}}^h⌞\mathbb{V}(x)$ for some $\lambda >0$. First of all, we immediately see that Corollary 2.21 implies that $\lambda \in [{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x),{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)]$ and that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 1& =\underset{i\to \infty }{lim}\frac{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(x,r_i))}{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(x,r_i))}=\underset{i\to \infty }{lim}\frac{{\int }_{P_{\mathbb{V}}(B(x,r_i)\cap \mathrm{\Gamma })}\rho (\mathrm{\Phi }(y))d{\mathcal{C}}^h⌞\mathbb{V}(y)}{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(x,r_i))}\hfill \\ \hfill & =\frac{\rho (x)}{\lambda }\underset{i\to \infty }{lim}\frac{{\mathcal{C}}^h⌞\mathbb{V}(P_{\mathbb{V}}(B(x,r_i)\cap \mathrm{\Gamma }))}{r_i^h},\hfill \end{array}\end{array}$$

where the last identity comes from Proposition 4.9 that allows us to differentiate by using the second part of Proposition 4.8, and Proposition 2.20. Thanks to Lemma 2.18, Remark 2.4, and the fact that $\mathrm{\Gamma }$ is a $C_{\mathbb{V}}(\alpha )$-set, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \frac{\lambda }{\rho (x)}& \le \underset{i\to \infty }{lim}\frac{{\mathcal{C}}^h⌞\mathbb{V}(P_{\mathbb{V}}(B(x,r_i)\cap x{C}_{\mathbb{V}}(\alpha )))}{r_i^h}={\mathcal{C}}^h(P_{\mathbb{V}}(B(0,1)\cap C_{\mathbb{V}}(\alpha )))\hfill \\ \hfill & \le \frac{{\mathcal{C}}^h⌞\mathbb{V}(B(0,1))}{{(1-\mathfrak{c}(\alpha ))}^h}={(1-\mathfrak{c}(\alpha ))}^{-h},\hfill \end{array}\end{array}$$ 79

where in the second equality we are using the homogeneity of ${\mathcal{C}}^h$ and the fact that ${\mathcal{C}}^h(P_{\mathbb{V}}(x\mathcal{E}))={\mathcal{C}}^h(P_{\mathbb{V}}(\mathcal{E}))$ for every $x\in \mathbb{G}$ and $\mathcal{E}$ a Borel subset of $\mathbb{G}$, see Proposition 2.10. On the other hand, thanks to Lemma 2.19 we have

$$\begin{array}{cc}\hfill \frac{\lambda }{\rho (x)}=& \underset{i\to \infty }{lim}\frac{{\mathcal{C}}^h⌞\mathbb{V}(P_{\mathbb{V}}(B(x,r_i)\cap \mathrm{\Gamma }))}{r_i^h}\hfill \\ \hfill \ge & \underset{i\to \infty }{lim}\frac{{\mathcal{C}}^h(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r_i)\cap x{C}_{\mathbb{V}}(\alpha ))\cap P_{\mathbb{V}}(\mathrm{\Gamma }))}{{\mathcal{C}}^h(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r_i)\cap x{C}_{\mathbb{V}}(\alpha )))}\frac{{\mathcal{C}}^h(P_{\mathbb{V}}(B(x,\mathfrak{C}(\alpha )r_i)\cap x{C}_{\mathbb{V}}(\alpha )))}{r_i^h}\hfill \\ \hfill =& \mathfrak{C}{(\alpha )}^h{\mathcal{C}}^h(P_{\mathbb{V}}(B(0,1)\cap C_{\mathbb{V}}(\alpha )))\ge \mathfrak{C}{(\alpha )}^h,\hfill \end{array}$$ 80

where the first identity in the last line comes from Proposition 4.10 and the last inequality from Lemma 2.18, Remark 2.4, and $\mathfrak{C}(\alpha )$ is defined in (20). Putting together (79) and (80), we have

$$\begin{array}{c}\hfill \frac{{(1-\mathfrak{c}(\alpha ))}^h}{{(1+\mathfrak{c}(\alpha ))}^h}\le \frac{\lambda }{\rho (x)}\le \frac{1}{{(1-\mathfrak{c}(\alpha ))}^h}.\end{array}$$ 81

Thanks to the definition of ${\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)$ and ${\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)$ we can find two sequences ${\{r_i\}}_{i\in \mathbb{N}}$ and ${\{s_i\}}_{i\in \mathbb{N}}$ such that

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)=\underset{i\to \infty }{lim}\frac{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(x,r_i))}{r_i^h},\text{and}{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)=\underset{i\to \infty }{lim}\frac{{\mathcal{S}}^h⌞\mathrm{\Gamma }(B(x,s_i))}{s_i^h},\end{array}$$

and without loss of generality, taking Proposition 2.20 into account, we can assume that

$$\begin{array}{c}\hfill r_i^{-h}{T}_{x,r_i}{\mathcal{S}}^h⌞\mathrm{\Gamma }\rightharpoonup {\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x){\mathcal{C}}^h⌞\mathbb{V}(x),,s_i^{-h}{T}_{x,s_i}{\mathcal{S}}^h⌞\mathrm{\Gamma }\rightharpoonup {\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x){\mathcal{C}}^h⌞\mathbb{V}(x).\end{array}$$

The bounds (81) imply therefore that

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \frac{{(1-\mathfrak{c}(\alpha ))}^h}{{(1+\mathfrak{c}(\alpha ))}^h}\le \frac{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{\rho (x)}\le \frac{1}{{(1-\mathfrak{c}(\alpha ))}^h},\\ \hfill \frac{{(1-\mathfrak{c}(\alpha ))}^h}{{(1+\mathfrak{c}(\alpha ))}^h}\le \frac{{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{\rho (x)}\le \frac{1}{{(1-\mathfrak{c}(\alpha ))}^h}.\end{array}\end{array}$$ 82

Finally the bounds in (82) yield

$$\begin{array}{c}\hfill {(1-\mathfrak{c}(\alpha ))}^{2h}{(1+\mathfrak{c}(\alpha ))}^{-h}\le \frac{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}^{h,\ast }({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\le 1,\end{array}$$

and this concludes the proof. $\square$

We prove now the existence of density of ${\mathcal{P}}_h^c$-rectifiable measures, see Corollary 1.3. We first prove an algebraic lemma, then we prove the existence of the density for measures of the type ${\mathcal{S}}^h⌞\mathrm{\Gamma }$, and then we conclude with the proof of the existence of the density for arbitrary ${\mathcal{P}}_h^c$-rectifiable measures.

Lemma 4.12

Let us fix $0<\epsilon <1$ a real number, $\ell ,h\in \mathbb{N}$, and let f be the function defined as follows

$$\begin{array}{c}\hfill f:\{(\alpha ,C)\in {(0,+\infty )}^2:\alpha <C\}\to (0,+\infty ),f(\alpha ,C):=\frac{\alpha }{C-\alpha }.\end{array}$$

Then, there exists $\tilde{\alpha }:=\tilde{\alpha }(\epsilon ,\ell ,h)>0$ such that the following implication holds

$$\begin{array}{c}\hfill \text{if}0<\alpha \le \tilde{\alpha }\text{and}C>1/\ell ,\text{then}\alpha <C\text{and}{(1-f(\alpha ,C))}^{2h}{(1+f(\alpha ,C))}^{-h}\ge 1-\epsilon .\end{array}$$

Proof

Let us choose $0<\tilde{\epsilon }:=\tilde{\epsilon }(\epsilon ,h)<1$ such that

$$\begin{array}{c}\hfill {(1-x)}^{2h}{(1+x)}^{-h}\ge 1-\epsilon ,\text{for all}0\le x\le \tilde{\epsilon }.\end{array}$$

Let us show that the sought constant $\tilde{\alpha }(\epsilon ,\ell ,h)$ is $\tilde{\alpha }:=\tilde{\epsilon }/(\ell (1+\tilde{\epsilon }))$. Indeed, if $\alpha \le \tilde{\alpha }$ and $C>1/\ell$ we infer that $\alpha <C$ and

$$\begin{array}{c}\hfill \alpha \le \frac{\tilde{\epsilon }}{\ell (1+\tilde{\epsilon })}\le \frac{C\tilde{\epsilon }}{1+\tilde{\epsilon }},\text{and then}f(\alpha ,C)=\frac{\alpha }{C-\alpha }\le \tilde{\epsilon }.\end{array}$$

This implies that if $\alpha \le \tilde{\alpha }$ and $C>1/\ell$, then

$$\begin{array}{c}\hfill {(1-f(\alpha ,C))}^{2h}{(1+f(\alpha ,C))}^{-h}\ge 1-\epsilon ,\end{array}$$

where the last inequality above comes from the choice of $\tilde{\epsilon }$. This concludes the proof. $\square$

Theorem 4.13

Let $\mathrm{\Gamma }$ be a compact subset of $\mathbb{G}$ such that ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is a ${\mathcal{P}}_h^c$-rectifiable measure. Then

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)={\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞\mathrm{\Gamma },x)<+\infty ,\text{for}{\mathcal{S}}^h⌞\mathrm{\Gamma }\text{-almost every}x\in \mathbb{G}.\end{array}$$

Proof

In the following, for any $\epsilon >0$, we will construct a measurable set $A_{\epsilon }\subseteq \mathrm{\Gamma }$ such that ${\mathcal{S}}^h(\mathrm{\Gamma }\backslash A_{\epsilon })=0$ and

$$\begin{array}{c}\hfill 1-\epsilon \le \frac{{\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\le 1,\text{for every}x\in A_{\epsilon }.\end{array}$$ 83

If (83) holds then we are free to choose $\epsilon =1/n$ for every $n\in \mathbb{N}$ and then the density of ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ exists on the set ${\cap }_{n=1}^{+\infty }{A}_{1/n}$, that has full ${\mathcal{S}}^h⌞\mathrm{\Gamma }$-measure. So we are left to construct $A_{\epsilon }$ as in (83). Let us define the function

$$\begin{array}{c}\hfill \mathbf{F}(\mathbb{V},\mathbb{L}):={\epsilon }_1(\mathbb{V},\mathbb{L}),\text{for all}\mathbb{V}\in G{r}_c(h)\text{with complement}\mathbb{L}.\end{array}$$

Let us take the family $\mathcal{F}:={\{{\mathbb{V}}_i\}}_{i=1}^{+\infty }\subseteq G{r}_c(h)$ and let us choose ${\mathbb{L}}_i$ complementary subgroups to ${\mathbb{V}}_i$ as in the statement of Theorem 3.4. We remark that the choices of the family $\mathcal{F}$ and of the complementary subgroups depend on the function $\mathbf{F}$ previously defined, see the discussion before Theorem 3.4. Let us define

$$\begin{array}{c}\hfill \beta :\mathbb{N}\to (0,1),\beta (\ell ):=\tilde{\alpha }(\epsilon ,\ell ,h),\end{array}$$

where $\tilde{\alpha }(\epsilon ,\ell ,h)$ is the constant in Lemma 4.12, and with an abuse of notation let us lift $\beta$ to a function on $\mathcal{F}$ as we did in the statement of Theorem 3.4. From Theorem 3.4 we conclude that there exist countably many ${\mathrm{\Gamma }}_i$’s that are compact $C_{{\mathbb{V}}_i}(min\{{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i),\beta ({\mathbb{V}}_i)\})$-sets contained in $\mathrm{\Gamma }$ such that

$$\begin{array}{c}\hfill {\mathcal{S}}^h\left(\mathrm{\Gamma },\backslash ,{\cup }_{i=1}^{+\infty },{\mathrm{\Gamma }}_i\right)=0.\end{array}$$ 84

Let us write, for the ease of notation, ${\alpha }_i:=min\{{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i),\beta ({\mathbb{V}}_i)\}$ for every $i\in \mathbb{N}$. Since ${\mathrm{\Gamma }}_i\subseteq \mathrm{\Gamma }$ and ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is ${\mathcal{P}}_h^c$-rectifiable, we conclude, by exploiting the locality of tangents, see Proposition 2.3, and the Lebesgue differentiation theorem in Proposition 2.2, that the measures ${\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i$ are ${\mathcal{P}}_h^c$-rectifiable as well for every $i\in \mathbb{N}$. Thus, since ${\alpha }_i\le {\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i)$, we can apply Proposition 4.11 and conclude that, for every $i\in \mathbb{N}$, we have

$$\begin{array}{c}\hfill {(1-\mathfrak{c}({\alpha }_i))}^{2h}{(1+\mathfrak{c}({\alpha }_i))}^{-h}\le \frac{{\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i,x)}{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i,x)}\le 1,\text{for}{\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i\text{-almost every}x\in \mathbb{G},\end{array}$$

where $\mathfrak{c}({\alpha }_i):={\alpha }_i/(C_3({\mathbb{V}}_i,{\mathbb{L}}_i)-{\alpha }_i)$. Since ${\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i,x)={\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞\mathrm{\Gamma },x)$ and ${\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i,x)={\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)$ for ${\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i$-almost every $x\in \mathbb{G}$, see Proposition 2.2, for every $i\in \mathbb{N}$ we conclude that

$$\begin{array}{cc}\hfill {(1-\mathfrak{c}({\alpha }_i))}^{2h}{(1+\mathfrak{c}({\alpha }_i))}^{-h}\le & \frac{{\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\hfill \\ \hfill \le & 1,\text{for}{\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i\text{-almost every}x\in \mathbb{G}.\hfill \end{array}$$ 85

Let us now fix $i\in \mathbb{N}$ and note there exists a unique $\ell (i)\in \mathbb{N}$ such that

$$\begin{array}{c}\hfill 1/\ell (i)<{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i)\le 1/(\ell (i)-1).\end{array}$$

Moreover, from the definition of $\beta$ and $\mathcal{F}$ we see that $\beta ({\mathbb{V}}_i)=\beta (\epsilon ,\ell (i),h)$. This allows us to infer that

1. ${\alpha }_i\le \beta ({\mathbb{V}}_i)=\beta (\epsilon ,\ell (i),h)$, since ${\alpha }_i:=min\{{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i),\beta ({\mathbb{V}}_i)\}$,

2. $C_3({\mathbb{V}}_i,{\mathbb{L}}_i)>1/\ell (i)$, since $1/\ell (i)<{\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i)=C_3({\mathbb{V}}_i,{\mathbb{L}}_i)/2$, see Lemma 2.15.

Thus we can apply Lemma 4.12 and conclude that

$$\begin{array}{c}\hfill {(1-\mathfrak{c}({\alpha }_i))}^{2h}{(1+\mathfrak{c}({\alpha }_i))}^{-h}\ge 1-\epsilon .\end{array}$$

This shows, thanks to (85), that for any $i\in \mathbb{N}$, we have

$$\begin{array}{c}\hfill 1-\epsilon \le \frac{{\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}{{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞\mathrm{\Gamma },x)}\le 1,\text{for}{\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i\text{-almost every}x\in \mathbb{G}.\end{array}$$

Thus by taking into account (84) and the previous equation we conclude (83), that is the sought claim. $\square$

Remark 4.1

It is a classical result that if $E\subseteq {\mathbb{R}}^n$ is a h-rectifiable set, with $1\le h\le n$, then ${\mathrm{\Theta }}^h({\mathcal{S}}^h⌞E,x)=1$ for ${\mathcal{S}}^h$-almost every point $x\in E$, see [13, Theorem 3.2.19]. This is true also in the setting of Heisenberg groups for arbitrary ${\mathcal{P}}_h^c$-rectifiable measures, and it is a direct consequence of [39, (iv)$\Rightarrow$(ii) of Theorem 3.14 & Theorem 3.15].

We point out that as a consequence of the non-trivial results developed in the subsequent paper [6], see [6, Theorem 1.1], we have that whenever $\mathrm{\Gamma }\subseteq \mathbb{G}$ is a Borel set such that $0<{\mathcal{S}}^h(\mathrm{\Gamma })<+\infty$, and ${\mathcal{C}}^h⌞\mathrm{\Gamma }$ is ${\mathcal{P}}_h^c$-rectifiable, then ${\mathrm{\Theta }}^h({\mathcal{C}}^h⌞\mathrm{\Gamma },x)=1$ for ${\mathcal{C}}^h$-almost every $x\in \mathrm{\Gamma }$.

Corollary 4.14

Let $\varphi$ be a ${\mathcal{P}}_h^c$-rectifiable measure on a Carnot group $\mathbb{G}$. Then

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)={\mathrm{\Theta }}^{\ast ,h}(\varphi ,x)<+\infty ,\text{for}\varphi \text{-almost every}x\in \mathbb{G}.\end{array}$$

Proof

We stress that by restricting ourselves on balls of integer radii, by using Proposition 2.2 and Proposition 2.3, we can assume that $\varphi$ has compact support. Let us first recall that, by Proposition 2.5, we have

$$\begin{array}{c}\hfill \varphi \left(\mathbb{G},\backslash ,\bigcup _{\vartheta ,\gamma \in \mathbb{N}},E,(\vartheta ,\gamma )\right)=0.\end{array}$$ 86

Let us fix $\vartheta ,\gamma \in \mathbb{N}$. From Lebesgue’s differentiation theorem, see Proposition 2.2, and the locality of tangents, see Proposition 2.3, we deduce that $\varphi$ being ${\mathcal{P}}_h^c$-rectifiable implies that $\varphi ⌞E(\vartheta ,\gamma )$ is ${\mathcal{P}}_h^c$-rectifiable. From Proposition 2.6 we deduce that $\varphi ⌞E(\vartheta ,\gamma )$ is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$, and thus, by Radon–Nikodym theorem, see [23, page 82], there exists a positive function $\rho \in L^1({\mathcal{S}}^h⌞E(\vartheta ,\gamma ))$ such that $\varphi ⌞E(\vartheta ,\gamma )=\rho {\mathcal{S}}^h⌞E(\vartheta ,\gamma )$. We stress that we can apply Lebesgue–Radon–Nikodym theorem since $\varphi ⌞E(\vartheta ,\gamma )$ is asymptotically doubling because it has positive h-lower density and finite h-upper density almost everywhere. By Lebesgue–Radon–Nikodym theorem, see [23, page 82], and the locality of tangents again, we deduce that ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$ is a ${\mathcal{P}}_h^c$-rectifiable measure, since $\varphi ⌞E(\vartheta ,\gamma )$ is a ${\mathcal{P}}_h^c$-rectifiable measure. Thus, we can apply Theorem 4.13 to ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$ and obtain that for every $\vartheta ,\gamma \in \mathbb{N}$, we have that

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h({\mathcal{S}}^h⌞E(\vartheta ,\gamma ),x)={\mathrm{\Theta }}^{\ast ,h}({\mathcal{S}}^h⌞E(\vartheta ,\gamma ),x)<+\infty ,\text{for}{\mathcal{S}}^h⌞E(\vartheta ,\gamma )\text{-a.e.}x\in \mathbb{G}.\end{array}$$

Since $\varphi ⌞E(\vartheta ,\gamma )=\rho {\mathcal{S}}^h⌞E(\vartheta ,\gamma )$ we thus conclude from the previous equality and by Lebesgue-Radon-Nikodym theorem that for every $\vartheta ,\gamma \in \mathbb{N}$ we have that

$$\begin{array}{c}\hfill 0<{\mathrm{\Theta }}_{\ast }^h(\varphi ⌞E(\vartheta ,\gamma ),x)={\mathrm{\Theta }}^{\ast ,h}(\varphi ⌞E(\vartheta ,\gamma ),x)<+\infty ,\text{for}\varphi ⌞E(\vartheta ,\gamma )\text{-a.e.}x\in \mathbb{G}.\end{array}$$

The previous equality, jointly with Proposition 2.2 and together with (86) allows us to conclude the proof. $\square$

Comparison with Other Notions of Rectifiability

In this section, we provide the proof of Proposition 1.2 and Corollary 1.5. The key step for proving the rectifiability with intrinsically differentiable graphs is the following proposition.

Proposition 5.1

(Hausdorff convergence to tangents) Let $\varphi$ be a ${\mathcal{P}}_h$-rectifiable measure. Let K be a compact set such that $\varphi (K)>0$. Then for $\varphi$-almost every point $x\in K$ there exists $\mathbb{V}(x)\in Gr(h)$ such that

$$\begin{array}{c}\hfill {\delta }_{1/r}(x^{-1}·K)\to \mathbb{V}(x),\text{as r goes to}0,\end{array}$$

in the sense of Hausdorff convergence on closed balls ${\{B(0,k)\}}_{k>0}$.

First of all, by reducing the measure $\varphi$ to have compact support, e.g., considering the restriction on the balls with integer radii, and then by using Proposition 2.5, we can assume without loss of generality that $K\subseteq E(\vartheta ,\gamma )$ for some $\vartheta ,\gamma \in \mathbb{N}$. In order to prove the Hausdorff convergence to the plane $\mathbb{V}(x)$, we need to prove two different things: first, around almost every point x of K, the point of the set K at decreasingly small scales lies ever closer to the points of $x\mathbb{V}(x)$, and this is exactly what comes from the implication (33), see Proposition 3.1. Secondly, we have to prove the converse assertion with respect to the previous one, i.e., that the points of $x\mathbb{V}(x)$ around x at decreasingly small scales are ever closer to the points of K. For this latter assumption to hold we also need to add to the condition in (33) the additional control $F_{x,r}(\varphi ⌞K,\mathrm{\Theta }{\mathcal{S}}^h⌞x\mathbb{V})\le \delta r^{h+1}$, see Proposition 5.3. As a consequence of Proposition 5.1, we can prove Corollary 1.5 for measures of the form ${\mathcal{S}}^h⌞\mathrm{\Gamma }$. Finally by the usual reduction to $E(\vartheta ,\gamma )$, we can give the proof of Corollary 1.5 for arbitrary measures.

$C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-Rectifiability

This subsection is devoted to the proof of Proposition 1.2, i.e., the fact that the spherical Hausdorff measure restricted to a $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set is $\mathcal{P}$-rectifiable. In [25] the authors give the following definitions of $C_{\mathrm{H}}^1$-submanifold of a Carnot group and rectifiable sets. We first recall the definition of $C_{\mathrm{H}}^1$-function.

Definition 5.1

($C_{\mathrm{H}}^1$-function) Let $\mathbb{G}$ and ${\mathbb{G}}^{\prime }$ be two Carnot groups endowed with left-invariant homogeneous distances d and $d^{\prime }$, respectively. Let $\mathrm{\Omega }\subseteq \mathbb{G}$ be open and let $f:\mathrm{\Omega }\to {\mathbb{G}}^{\prime }$ be a function. We say that f is Pansu differentiable at $x\in \mathrm{\Omega }$ if there exists a homogeneous homomorphism $d{f}_x:\mathbb{G}\to {\mathbb{G}}^{\prime }$ such that

$$\begin{array}{c}\hfill \underset{y\to x}{lim}\frac{d^{\prime }(f{(x)}^{-1}·f(y),d{f}_x(x^{-1}·y))}{d(x,y)}=0.\end{array}$$

Moreover, we say that f is of class $C_{\mathrm{H}}^1$ in $\mathrm{\Omega }$ if the map $x\mapsto d{f}_x$ is continuous from $\mathrm{\Omega }$ to the space of homogeneous homomorphisms from $\mathbb{G}$ to ${\mathbb{G}}^{\prime }$.

Definition 5.2

($C_{\mathrm{H}}^1$-submanifold) Given an arbitrary Carnot group $\mathbb{G}$, we say that $\mathrm{\Sigma }\subseteq \mathbb{G}$ is a $C_{\mathrm{H}}^1$-submanifold of $\mathbb{G}$ if there exists a Carnot group ${\mathbb{G}}^{\prime }$ such that for every $p\in \mathrm{\Sigma }$, there exists an open neighborhood $\mathrm{\Omega }$ of p and a function $f\in C_{\mathrm{H}}^1(\mathrm{\Omega };{\mathbb{G}}^{\prime })$ such that

$$\begin{array}{c}\hfill \mathrm{\Sigma }\cap \mathrm{\Omega }=\{g\in \mathrm{\Omega }:f(g)=0\},\end{array}$$ 87

and $d{f}_p:\mathbb{G}\to {\mathbb{G}}^{\prime }$ is surjective with $\mathrm{K}er(d{f}_p)$ complemented. In this case we say that $\mathrm{\Sigma }$ is a $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-submanifold.

Definition 5.3

(($\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set) Given two arbitrary Carnot groups $\mathbb{G}$ and ${\mathbb{G}}^{\prime }$ of homogeneous dimension Q and $Q^{\prime }$, respectively, we say that $\mathrm{\Sigma }\subseteq \mathbb{G}$ is a $(\mathbb{G},{\mathbb{G}}^{\prime })$ -rectifiable set if there exist countably many subsets ${\mathrm{\Sigma }}_i$ of $\mathbb{G}$ that are $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-submanifolds, such that

$$\begin{array}{c}\hfill {\mathcal{H}}^{Q-Q^{\prime }}\left(\mathrm{\Sigma },\backslash ,\bigcup _{i=1}^{+\infty },{\mathrm{\Sigma }}_i\right)=0.\end{array}$$

Using the results of [25], we prove the following.

Proposition 5.2

Let us fix $\mathbb{G}$ and ${\mathbb{G}}^{\prime }$ two arbitrary Carnot groups of homogeneous dimensions Q and $Q^{\prime }$, respectively, and suppose $\mathrm{\Sigma }\subseteq \mathbb{G}$ is a $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set. Then the measure ${\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma }$ is ${\mathcal{P}}_{Q-Q^{\prime }}^c$-rectifiable.

Proof

By [25, Corollary 3.6] a $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set $\mathrm{\Sigma }$ has ${\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma }$-almost everywhere positive and finite density. Thus, by the locality of tangents, see Proposition 2.3, by Lebesgue differentiation theorem in Proposition 2.2, and by the very definitions of $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set and $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-submanifold, it suffices to prove the statement when $\mathrm{\Sigma }$ is the zero-level set of a function $f\in C_{\mathrm{H}}^1(\mathrm{\Omega },{\mathbb{G}}^{\prime })$, with $\mathrm{\Omega }\subseteq \mathbb{G}$ open, and such that for every $p\in \{g\in \mathrm{\Omega }:f(g)=0\}=:\mathrm{\Sigma }$ the differential $d{f}_p:\mathbb{G}\to {\mathbb{G}}^{\prime }$ is surjective with $\mathrm{Ker}(d{f}_p)$ complemented.

Fix $p\in \mathrm{\Sigma }$ and note that the homogeneous subgroup $\mathrm{Ker}(d{f}_p)$, where f is a representation as in (87), is independent of the choice of f. This follows for instance from [25, Lemma 2.14, (iii)]. We denote this homogeneous subgroup with $\mathbb{W}(p)$ and we call it the tangent subgroup at p to $\mathrm{\Sigma }$. We first prove that

$$\begin{array}{c}\hfill {\mathrm{Tan}}_{Q-Q^{\prime }}({\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma },p)\subseteq \{\lambda {\mathcal{S}}^{Q-Q^{\prime }}⌞\mathbb{W}(p):\lambda >0\},\text{for}\text{every}p\in \mathrm{\Sigma }.\end{array}$$ 88

Indeed, from [25, Lemma 3.4], denoting by ${\mathrm{\Sigma }}_{p,r}$ the set ${\delta }_{1/r}(p^{-1}·\mathrm{\Sigma })$, we have

$$\begin{array}{c}\hfill {\mathcal{S}}^{Q-Q^{\prime }}⌞{\mathrm{\Sigma }}_{p,r}\rightharpoonup {\mathcal{S}}^{Q-Q^{\prime }}⌞\mathbb{W}(p),\text{for}\text{every}p\in \mathrm{\Sigma }\text{and}\text{for}r\to 0.\end{array}$$ 89

We claim that this last equality implies that

$$\begin{array}{c}\hfill r_i^{-(Q-Q^{\prime })}{T}_{p,r_i}({\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma })\rightharpoonup {\mathcal{S}}^{Q-Q^{\prime }}⌞\mathbb{W}(p),\text{for}\text{every}\text{infinitesimal}\text{sequence}{r}_i,\end{array}$$

thus showing (88). Indeed, for every measurable set $A\subseteq \mathbb{G}$, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill T_{p,r_i}({\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma })(A)& ={\mathcal{S}}^{Q-Q^{\prime }}⌞\mathrm{\Sigma }(p·{\delta }_{r_i}(A))={\mathcal{S}}^{Q-Q^{\prime }}⌞(p^{-1}·\mathrm{\Sigma })({\delta }_{r_i}(A))\hfill \\ \hfill & =r_i^{Q-Q^{\prime }}{\mathcal{S}}^{Q-Q^{\prime }}⌞{\mathrm{\Sigma }}_{p,r_i}(A),\hfill \end{array}\end{array}$$ 90

and thus the claim follows from (89). In order to conclude the proof, we have to prove that item (i) of Definition 2.18 holds. This follows from [25, Corollary 3.6]. Indeed, it is there proved that every $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set has density ${\mathcal{S}}^{Q-Q^{\prime }}$-almost everywhere, that is stronger than item (i) of Definition 2.18. $\square$

Remark 5.1

We remark that the proof above is heavily based on [25, Lemma 3.4 & Corollary 3.6]. The two latter results in the reference are consequences of the area formula [25, Theorem 1.1]. As a consequence the approach in [25] is, in some sense, reversed with respect to our approach. The authors in [25] deal with the category of $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-regular submanifolds and prove the area formula relying upon [25, Proposition 2.2], that ultimately tells that a Borel regular measure $\mu$ with positive and finite Federer’s density $\theta$ with respect to the spherical Hausdorff measure ${\mathcal{S}}^h$ admits a representation $\mu =\theta {\mathcal{S}}^h$. Then with this area formula, they are able to prove the results that led to the proof of the above Proposition 5.2.

We stress that in the subsequent paper [6], we push forward the study of $\mathcal{P}$-rectifiable measures started here, and we prove an area formula for intrinsically differentiable graphs, see [6, Theorem 1.3], that extends the result of [25, Theorem 1.1].

Remark 5.2

($\mathcal{P}$-rectifiability and $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable sets) From Definition 5.2 and Definition 5.3 it follows that the tangent subgroup $\mathbb{W}$ at a point of a $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set is always normal and complemented. Moreover, from [25, Lemma 2.14, (iv)], every complementary subgroup to $\mathbb{W}$ must be a Carnot subgroup of $\mathbb{G}$ that in addition is isomorphic to ${\mathbb{G}}^{\prime }$. This results in a lack of generality of this approach to rectifiability. Let us give here an example where the previous phenomenon becomes clear. If we take L a horizontal subgroup in the first Heisenberg group ${\mathbb{H}}^1$, on the one hand, ${\mathcal{S}}^1⌞L$ is ${\mathcal{P}}_1$-rectifiable, on the other hand, L is not $({\mathbb{H}}^1,{\mathbb{G}}^{\prime })$-rectifiable for any Carnot group ${\mathbb{G}}^{\prime }$ since L is not normal.

Rectifiability with Intrinsically Differentiable Graphs

This subsection is devoted to the proof of Proposition 5.1 and Corollary 1.5. Throughout this subsection, we let $\mathbb{G}$ to be a Carnot group of homogeneous dimension Q and h an arbitrary natural number with $1\le h\le Q$. Whenever $\varphi$ is a Radon measure supported on a compact set we freely use the notation $E(\vartheta ,\gamma )$ introduced in Definition 2.9, for $\vartheta ,\gamma \in \mathbb{N}$. We start with some useful definitions and facts.

Definition 5.4

For $1\le h\le Q$ and $\vartheta \in \mathbb{N}$, let us set

$$\begin{array}{c}\hfill \eta (h):=1/(h+1),\end{array}$$

and then let us define the constant

$$\begin{array}{c}\hfill C_7=C_7(h,\vartheta ):={\left(\frac{\eta {(1-\eta )}^h}{32\vartheta }\right)}^{h+2}.\end{array}$$

Proposition 5.3

Let $\varphi$ be a Radon measure supported on a compact subset of $\mathbb{G}$ and let K be a Borel subset of $\mathrm{supp}\varphi$. Let $\vartheta ,\gamma$ and $1\le h\le Q$ be natural numbers. Let $x\in E(\vartheta ,\gamma )$, $0<r<1/\gamma$, and $0<\delta <C_7$. Assume further that there exist $\mathrm{\Theta }>0$ and $\mathbb{V}\in Gr(h)$ such that

$$\begin{array}{c}\hfill F_{x,r}(\varphi ⌞K,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})+F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\le 2\delta r^{h+1}.\end{array}$$ 91

Then for any $w\in B(x,r/2)\cap x\mathbb{V}$ we have $\varphi (K\cap B(w,{\delta }^{\frac{1}{h+2}}r))>0$, and thus in particular $K\cap B(w,{\delta }^{\frac{1}{h+2}}r)\ne \mathrm{\varnothing }$.

Proof

From the hypothesis, we have that $F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\le 2\delta r^{h+1}$. Define $g(x):=min\{\mathrm{dist}(x,U{(0,1)}^c),\eta \}$, where $\eta$ is defined in Definition 5.4. From the very definition of the function g and the choice of $\mathrm{\Theta }$ above, we deduce that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\vartheta }^{-1}{(1-\eta )}^h\eta r^{h+1}-\mathrm{\Theta }\eta r^{h+1}& \le \eta r\varphi (B(x,(1-\eta )r))-\eta r\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V}(B(x,r))\hfill \\ \hfill & \le \int rg({\delta }_{1/r}(x^{-1}z))d\varphi (z)\hfill \\ \hfill & -\mathrm{\Theta }\int rg({\delta }_{1/r}(x^{-1}z))d{\mathcal{C}}^h⌞x\mathbb{V}(z)\le 2\delta r^{h+1},\hfill \end{array}\end{array}$$

where in the first inequality we are using that $x\in E(\vartheta ,\gamma )$ and Remark 2.4, and in the last inequality, we are using that $rg({\delta }_{1/r}(x^{-1}·))\in {\mathrm{Lip}}_1^{+}(B(x,r))$. Simplifying and rearranging the above chain of inequalities, we infer that

$$\begin{array}{c}\hfill \mathrm{\Theta }\ge {\vartheta }^{-1}{(1-\eta )}^h-2\delta /\eta \underset{(A)}{\ge }{(2\vartheta )}^{-1}{(1-\eta )}^h\underset{(B)}{=}{(2\vartheta )}^{-1}{(1-1/(h+1))}^h,\end{array}$$

where (A) comes from the fact that $\delta <C_7<({(1-\eta )}^h\eta )/(4\vartheta )$, see Definition 5.4, and (B) comes from the definition of $\eta$, see Definition 5.4. Since the function $h\mapsto {(1-1/(h+1))}^h$ is decreasing and bounded below by $e^{-1}$, we deduce, from the previous inequality, that $\mathrm{\Theta }\ge 1/(2\vartheta e)$.

We now claim that for every $\lambda$ with ${\delta }^{1/(h+2)}\le \lambda <1/2$ and every $w\in x\mathbb{V}\cap B(x,r/2)$ we have $\varphi (B(w,\lambda r)\cap K)>0$. This will finish the proof. By contradiction assume there is $w\in x\mathbb{V}\cap B(x,r/2)$ such that $\varphi (B(w,\lambda r)\cap K)=0$. This would imply that

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathrm{\Theta }\eta {(1-\eta )}^h{\lambda }^{h+1}{r}^{h+1}& =\mathrm{\Theta }\eta \lambda r{\mathcal{C}}^h⌞x\mathbb{V}(B(w,(1-\eta )\lambda r))\hfill \\ \hfill & \le \mathrm{\Theta }\int \lambda rg({\delta }_{1/(\lambda r)}(w^{-1}z))d{\mathcal{C}}^h⌞x\mathbb{V}(z)\hfill \\ \hfill & =\mathrm{\Theta }\int \lambda rg({\delta }_{1/(\lambda r)}(w^{-1}z))d{\mathcal{C}}^h⌞x\mathbb{V}(z)\hfill \\ \hfill & -\int \lambda rg({\delta }_{1/(\lambda r)}(w^{-1}z))d\varphi ⌞K(z)\le 2\delta r^{h+1},\hfill \end{array}\end{array}$$ 92

where the first equality comes from Remark 2.4, and the last inequality comes from the choice of $\mathrm{\Theta }$ as in the statement, and the fact that

$\lambda rg({\delta }_{1/(\lambda r)}(w^{-1}·))\in {\mathrm{Lip}}_1^{+}(B(w,\lambda r))\subseteq {\mathrm{Lip}}_1^{+}(B(x,r))$ because $\lambda <1/2$ and $w\in B(x,r/2)$. Thanks to (92), the choice of $\lambda$, and the fact, proved some line above, that $1/(4e\vartheta )<\mathrm{\Theta }$, we have that

$$\begin{array}{c}\hfill \frac{{\delta }^{\frac{h+1}{h+2}}}{4e\vartheta }\eta {(1-\eta )}^h<\mathrm{\Theta }{\lambda }^{h+1}\eta {(1-\eta )}^h\le 2\delta ,\text{and then}{\delta }^{1/(h+2)}\ge \frac{\eta {(1-\eta )}^h}{8e\vartheta },\end{array}$$

which is a contradiction since $\delta <C_7={((\eta {(1-\eta )}^h)/(32\vartheta ))}^{h+2}$, see Definition 5.4. $\square$

Proof of Proposition 5.1

First of all, by reducing the measure $\varphi$ to have compact support, e.g., considering the restriction on the balls with integer radii, and then by using Proposition 2.5, we can assume without loss of generality that $K\subseteq E(\vartheta ,\gamma )$ for some $\vartheta ,\gamma \in \mathbb{N}$

Since $\varphi$ is a ${\mathcal{P}}_h$-rectifiable measure, by using the locality of tangents with the density $\rho \equiv {\chi }_K$, see Proposition 2.3, for $\varphi$-almost every $x\in K$ we have that the following three conditions hold

• (i)${\mathrm{Tan}}_h(\varphi ,x)\subseteq \{\lambda {\mathcal{S}}^h⌞\mathbb{V}(x):\lambda >0\}$, where $\mathbb{V}(x)\in Gr(h)$,
• (ii)$0<{\mathrm{\Theta }}_{\ast }^h(\varphi ,x)\le {\mathrm{\Theta }}^{h,\ast }(\varphi ,x)<+\infty$.
• (iii)if $r_i\to 0$ is such that there exists $\mathrm{\Theta }>0$ with $r_i^{-h}{T}_{x,r_i}\varphi \to \mathrm{\Theta }{\mathcal{C}}^h⌞\mathbb{V}(x)$, then $r_i^{-h}{T}_{x,r_i}(\varphi ⌞K)\to \mathrm{\Theta }{\mathcal{C}}^h⌞\mathbb{V}(x)$.

From now on let us fix a point $x\in K$ for which the three conditions above hold. If we are able to prove the convergence in the statement for such a point then the proof of the proposition is concluded.

Thus, we have to show that for every $k>0$ the following holds

$$\begin{array}{c}\hfill \underset{r\to 0}{lim}{d}_{H,\mathbb{G}}({\delta }_{1/r}(x^{-1}·K)\cap B(0,k),\mathbb{V}(x)\cap B(0,k))=0,\end{array}$$ 93

where $d_{H,\mathbb{G}}$ is the Hausdorff distance between closed subsets in $\mathbb{G}$. For some compatibility with the statements that we already proved, we are going to prove (93) for $k=1/4$. The proof of (93) for an arbitrary $k>0$ can be achieved by changing accordingly the constants in the statements of Proposition 3.1 and Proposition 5.3, that we are going to crucially use in this proof. We leave this generalization to the reader, as it will be clear from this proof.

Let us fix $\epsilon <min\{{\delta }_{\mathbb{G}},C_7\}$, where ${\delta }_{\mathbb{G}}$ is defined in Definition 3.2 and $C_7$ in Definition 5.4, and let us show that there exist an $r_0=r_0(\epsilon )$ and a real function $f_1$ such that

$$\begin{array}{cc}& d_{H,\mathbb{G}}\left({\delta }_{1/r},(x^{-1}·K),\cap ,B,(0,1/4),,,\mathbb{V},(x),\cap ,B,(0,1/4)\right)\hfill \\ \hfill & \le f_1(\epsilon ),\text{for all}0<r<r_0(\epsilon ),\hfill \end{array}$$ 94

where

$$\begin{array}{c}\hfill f_1(\epsilon ):=max\{C_5{\epsilon }^{1/(h+1)}+f_2(\epsilon ),3{\epsilon }^{1/(h+2)}+f_3(\epsilon )\},\end{array}$$ 95

and where the constant $C_5$ is defined in Proposition 3.1, and the functions $f_2$, $f_3$ are introduced in (101) and (103), respectively. By the definition of $f_1,f_2,f_3$, it follows that $f_1(\epsilon )\to 0$ as $\epsilon \to 0$ and thus, if we prove (94), we are done.

In order to reach the proof of (94) let us add an intermediate step. We claim that there exists an $r_0:=r_0(\epsilon )<1/\gamma$ such that the following holds

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \text{for every}0<r<r_0\text{there exists a}\mathrm{\Theta }:& =\mathrm{\Theta }(r)\text{for which}{F}_{x,r}(\varphi ⌞K,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\hfill \\ \hfill & +F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\le 2\epsilon r^{h+1}.\hfill \end{array}\end{array}$$ 96

The conclusion in (96) follows if we prove that

$$\begin{array}{c}\hfill \underset{r\to 0}{lim}\underset{\mathrm{\Theta }>0}{inf}\frac{F_{x,r}(\varphi ⌞K,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})+F_{x,r}(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})}{r^{h+1}}\to 0.\end{array}$$ 97

We prove (97) by contradiction. If (97) was not true, there would exist an $\tilde{\epsilon }$ and an infinitesimal sequence ${\{r_i\}}_{i\in \mathbb{N}}$ such that

$$\begin{array}{c}\hfill \underset{\mathrm{\Theta }>0}{inf}\left(F_{x,r_i},(\varphi ⌞K,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V}),+,F_{x,r_i},(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\right)>\tilde{\epsilon }{r}_i^{h+1},\text{for every}i\in \mathbb{N}.\\ \hfill \end{array}$$ 98

Thus, from items (i) and (ii) above, and from [1, Corollary 1.60], we conclude that, up to a non-re-labeled subsequence of $r_i$, there exists a ${\mathrm{\Theta }}^{\ast }>0$ such that we have $r_i^{-h}{T}_{x,r_i}\varphi \to {\mathrm{\Theta }}^{\ast }{\mathcal{C}}^h⌞\mathbb{V}(x)$ as $r_i\to 0$. Then by exploiting the item (iii) above we get also that $r_i^{-h}{T}_{x,r_i}(\varphi ⌞K)\to {\mathrm{\Theta }}^{\ast }{\mathcal{C}}^h⌞\mathbb{V}(x)$ as $r_i\to 0$. These two conclusions immediately imply, by exploiting Remark 2.7 and (2.22), that

$$\begin{array}{c}\hfill \underset{i\to +\infty }{lim}{r}_i^{-(h+1)}\left(F_{x,r_i},(\varphi ⌞K,{\mathrm{\Theta }}^{\ast }{\mathcal{C}}^h⌞x\mathbb{V}),+,F_{x,r_i},(\varphi ,\mathrm{\Theta }{\mathcal{C}}^h⌞x\mathbb{V})\right)\to 0,\end{array}$$

which is a contradiction with (98). Thus, the conclusion in (96) holds. Let us continue the proof of (94).

Taking into account the bound on $\epsilon$ and (96) we can apply Proposition 3.1, since $\mathbb{V}(x)\in {\mathrm{\Pi }}_{\epsilon }(x,r)$ for all $0<r<r_0$, and Proposition 5.3 to obtain, respectively, that for all $0<r<r_0$

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \underset{p\in K\cap B(x,r/4)}{sup}\mathrm{dist}(p,x\mathbb{V}(x))\le \underset{p\in E(\vartheta ,\gamma )\cap B(x,r/4)}{sup}\mathrm{dist}(p,x\mathbb{V}(x))\le C_{5}r{\epsilon }^{1/(h+1)},\\ \hfill \text{for every}p\in B(x,r/2)\cap x\mathbb{V}(x)\text{we have}B(p,{\epsilon }^{1/(h+2)}r)\cap K\ne \mathrm{\varnothing }.\end{array}\end{array}$$ 99

Let us proceed with the proof of (94). Fix $0<r<r_0$ and note that for any $w\in {\delta }_{1/r}(x^{-1}·K)\cap B(0,1/4)$ there exists a point $p\in K\cap B(x,r/4)$ such that $w=:{\delta }_{1/r}(x^{-1}·p)$. From the first line of (99), we get that $\mathrm{dist}(x^{-1}·p,\mathbb{V}(x))\le C_{5}r{\epsilon }^{1/(h+1)}$ and thus there exists a $v\in \mathbb{V}(x)$ such that $d(x^{-1}·p,v)\le C_{5}r{\epsilon }^{1/(h+1)}$. This in particular means that $d(w,{\delta }_{1/r}v)\le C_5{\epsilon }^{1/(h+1)}$ and then, since $w\in B(0,1/4)$, we get also that ${\delta }_{1/r}v\in \mathbb{V}(x)\cap B(0,1/4+C_5{\epsilon }^{1/(h+1)})$. Thus, we conclude that

$$\begin{array}{c}\hfill \mathrm{dist}(w,\mathbb{V}(x)\cap B(0,1/4+C_5{\epsilon }^{1/(h+1)}))\le C_5{\epsilon }^{1/(h+1)},\end{array}$$ 100

for all $w\in {\delta }_{1/r}(x^{-1}·K)\cap B(0,1/4)$. Define the following function

$$\begin{array}{c}\hfill f_2(\epsilon ):=\underset{u\in \mathbb{V}(x)\cap (B(0,1/4+C_5{\epsilon }^{1/(h+1)})\backslash U(0,1/4))}{sup}d(u,{\delta }_{4^{-1}{\Vert u\Vert }^{-1}}u),\end{array}$$ 101

and notice that by compactness it is easy to see that $f_2(\epsilon )\to 0$ as $\epsilon \to 0$. With the previous definition of $f_2$ in hands, we can exploit (100) and conclude that

$$\begin{array}{c}\hfill \underset{w\in {\delta }_{1/r}(x^{-1}·K)\cap B(0,1/4)}{sup}\mathrm{dist}(w,\mathbb{V}(x)\cap B(0,1/4))\le C_5{\epsilon }^{1/(h+1)}+f_2(\epsilon ).\end{array}$$ 102

The latter estimate is the first piece of information we need to prove (94). Let us now estimate $\mathrm{dist}({\delta }_{1/r}(x^{-1}·K)\cap B(0,1/4),v)$ for any $v\in \mathbb{V}(x)\cap B(0,1/4)$. If $u\in \mathbb{V}(x)\cap (B(0,1/4)\backslash U(0,1/4-{\epsilon }^{1/(h+2)}))$, then there exists a unique $\mu =\mu (u)>0$ such that ${\delta }_{\mu (u)}u\in \mathbb{V}(x)\cap \partial B(0,1/4-{\epsilon }^{1/(h+2)})$. Let us define

$$\begin{array}{c}\hfill f_3(\epsilon ):=\underset{u\in \mathbb{V}(x)\cap (B(0,1/4)\backslash U(0,1/4-{\epsilon }^{1/(h+2)}))}{sup}d(u,{\delta }_{\mu (u)}u),\end{array}$$ 103

and by compactness it is easy to see that $f_3(\epsilon )\to 0$ as $\epsilon \to 0$. Let us now fix $v\in \mathbb{V}(x)\cap B(0,1/4)$. Then $x·{\delta }_{r}v\in B(x,r/4)\cap x\mathbb{V}(x)\subseteq B(x,r/2)\cap x\mathbb{V}(x)$. We can use the second line of (99) to conclude that there exists $w\in B(x·{\delta }_{r}v,{\epsilon }^{1/(h+2)}r)\cap K$. Thus $\tilde{w}:={\delta }_{1/r}(x^{-1}·w)\in B(v,{\epsilon }^{1/(h+2)})\cap {\delta }_{1/r}(x^{-1}·K)$. Now we have two cases

• if v was in $B(0,1/4-{\epsilon }^{1/(h+2)})$ we would get $\tilde{w}\in B(0,1/4)$ and then

  $$\begin{array}{c}\hfill \mathrm{dist}({\delta }_{1/r}(x^1·K)\cap B(0,1/4),v)\le {\epsilon }^{1/(h+2)};\end{array}$$ 104
• if instead $v\in \mathbb{V}(x)\cap (B(0,1/4)\backslash U(0,1/4-{\epsilon }^{1/(h+2)}))$, we denote $v^{\prime }:={\delta }_{\mu (v)}v$ the point that we have defined above and then we still have $x·{\delta }_r{v}^{\prime }\in B(x,r/2)\cap x\mathbb{V}(x)$. Thus we can again apply the second line of (99) to deduce the existence of $w^{\prime }\in B(x·{\delta }_r{v}^{\prime },{\epsilon }^{1/(h+2)}r)\cap K$. Then we conclude ${\tilde{w}}^{\prime }:={\delta }_{1/r}(x^{-1}·w^{\prime })\in B(v^{\prime },{\epsilon }^{1/(h+2)})\cap {\delta }_{1/r}(x^{-1}·K)$. Now we can estimate

  $$\begin{array}{cc}\hfill d(\tilde{w},{\tilde{w}}^{\prime })=& \frac{1}{r}d(w,w^{\prime })\le \frac{1}{r}(d(w,x·{\delta }_{r}v)+d(x·{\delta }_{r}v,x·{\delta }_r{v}^{\prime })+d(x·{\delta }_r{v}^{\prime },w^{\prime }))\hfill \\ \hfill \le & 2{\epsilon }^{1/(h+2)}+f_3(\epsilon ).\hfill \end{array}$$ 105

  Moreover, since $v^{\prime }\in \partial B(0,1/4-{\epsilon }^{1/(h+2)})$ and ${\tilde{w}}^{\prime }\in B(v^{\prime },{\epsilon }^{1/(h+2)})$ we get that ${\tilde{w}}^{\prime }\in B(0,1/4)\cap {\delta }_{1/r}(x^{-1}·K)$. Then by the triangle inequality and (105) we conclude that, in this second case,

  $$\begin{array}{c}\hfill d({\tilde{w}}^{\prime },v)\le 3{\epsilon }^{1/(h+2)}+f_3(\epsilon ),\end{array}$$ 106

  and then

  $$\begin{array}{c}\hfill \mathrm{dist}({\delta }_{1/r}(x^1·K)\cap B(0,1/4),v)\le 3{\epsilon }^{1/(h+2)}+f_3(\epsilon ).\end{array}$$ 107

By joining together the conclusion of the two cases, see (104) and (107), we conclude that

$$\begin{array}{c}\hfill \underset{v\in \mathbb{V}(x)\cap B(0,1/4)}{sup}\mathrm{dist}({\delta }_{1/r}(x^1·K)\cap B(0,1/4),v)\le 3{\epsilon }^{1/(h+2)}+f_3(\epsilon ).\end{array}$$ 108

The equations (102) and (108) imply (94) by the very definition of Hausdorff distance. Thus the proof is concluded. $\square$

Let us now give the definition of intrinsically differentiable graph.

Definition 5.5

(Intrinsically differentiable graph) Let $\mathbb{V}$ and $\mathbb{L}$ be two complementary subgroups of a Carnot group $\mathbb{G}$. Let $\phi :K\subseteq \mathbb{V}\to \mathbb{L}$ be a continuous function with K compact in $\mathbb{V}$. Let $a_0\in K$. We say that $\mathrm{graph}(\phi )$ is an intrinsically differentiable graph at $a_0·\phi (a_0)$ if there exists a homogeneous subgroup $\mathbb{V}(a_0)$ such that for all $k>0$

$$\begin{array}{c}\hfill \underset{\lambda \to \infty }{lim}{d}_{H,\mathbb{G}}\left({\delta }_{\lambda },({(a_0·\phi (a_0))}^{-1}·\mathrm{graph}(\phi )),\cap ,B,(0,k),,,\mathbb{V},(a_0),\cap ,B,(0,k)\right)=0,\end{array}$$ 109

where $d_{H,\mathbb{G}}$ is the Hausdorff distance between closed subsets of $\mathbb{G}$.

We prove now that the support of a ${\mathcal{P}}_h^c$-rectifiable measure ${\mathcal{S}}^h⌞\mathrm{\Gamma }$, where $\mathrm{\Gamma }$ is compact, can be written as the countable union of almost everywhere intrinsically differentiable graphs.

Theorem 5.4

For any $1\le h\le Q$, there exist a countable subfamily $\mathcal{F}:={\{{\mathbb{V}}_k\}}_{k=1}^{+\infty }$ of $G{r}_c(h)$, and ${\mathbb{L}}_k$ complementary subgroups of ${\mathbb{V}}_k$ such that the following holds.

Let $\mathrm{\Gamma }$ be a compact subset of $\mathbb{G}$ such that $0<{\mathcal{S}}^h(\mathrm{\Gamma })<+\infty$, and ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is a ${\mathcal{P}}_h^c$-rectifiable measure. Then for every $\alpha >0$, there are countably many compact ${\mathrm{\Gamma }}_i$’s that are intrinsic graphs of functions ${\phi }_i:P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)\to {\mathbb{L}}_i$, and that satisfy the following three conditions: ${\mathrm{\Gamma }}_i$ are $C_{{\mathbb{V}}_i}(\alpha )$-sets, ${\mathrm{\Gamma }}_i$ are intrinsically differentiable graphs at $a·{\phi }_i(a)$ for ${\mathcal{S}}^h⌞P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$-almost every $a\in P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$, and

$$\begin{array}{c}\hfill {\mathcal{S}}^h(\mathrm{\Gamma }\backslash {\cup }_{i=1}^{+\infty }{\mathrm{\Gamma }}_i)=0.\end{array}$$

Proof

First of all, let

$$\begin{array}{c}\hfill \mathbf{F}(\mathbb{V},\mathbb{L}):={\epsilon }_1(\mathbb{V},\mathbb{L}),\text{for all}(\mathbb{V},\mathbb{L})\in \mathrm{Sub}(h),\end{array}$$

where $\mathrm{Sub}(h)$ is defined in (44). Given the above-defined function $\mathbf{F}$, we construct the family $\mathcal{F}:={\{{\mathbb{V}}_k\}}_{k=1}^{+\infty }$ and choose ${\mathbb{L}}_k$ complementary subgroups of ${\mathbb{V}}_k$ as in the statement of Theorem 3.4. Notice that this choice is dependent on the function $\mathbf{F}$ that we chose above. We claim that the family for which the statement holds is $\mathcal{F}$.

Applying Theorem 3.4 with $\beta \equiv min\{1/2,\alpha \}$ to the measure ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ we get countably many compact sets ${\mathrm{\Gamma }}_i\subseteq \mathrm{\Gamma }$ that are $C_{{\mathbb{V}}_i}(min\{\mathbf{F}({\mathbb{V}}_i,{\mathbb{L}}_i),\alpha \})$-sets and such that

$$\begin{array}{c}\hfill {\mathcal{S}}^h(\mathrm{\Gamma }\backslash {\cup }_{i=1}^{+\infty }{\mathrm{\Gamma }}_i)=0.\end{array}$$

Since $\mathbf{F}({\mathbb{V}}_i,{\mathbb{L}}_i)={\epsilon }_1({\mathbb{V}}_i,{\mathbb{L}}_i)$, we conclude that each ${\mathrm{\Gamma }}_i$ is also the intrinsic graph of a function ${\phi }_i:P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)\to {\mathbb{L}}_i$, see Proposition 2.17. It is left to show that, for every $i\in \mathbb{N}$, $\mathrm{graph}({\phi }_i)$ is an intrinsically differentiable graph at $a·{\phi }_i(a)$ for ${\mathcal{S}}^h⌞P_{\mathbb{V}}({\mathrm{\Gamma }}_i)$-almost every $a\in P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$.

Indeed, since ${\mathcal{S}}^h⌞\mathrm{\Gamma }$ is ${\mathcal{P}}_h^c$-rectifiable, we can apply Proposition 5.1 and, for every $i\in \mathbb{N}$, we conclude that

$$\begin{array}{cc}\hfill {\delta }_{1/r}(x^{-1}·{\mathrm{\Gamma }}_i)\to & \mathbb{V}(x),\text{as r goes to}0,\text{for}{\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i\text{-almost every}x\hfill \\ \hfill & \in \mathbb{G},\text{where}\mathbb{V}(x)\in Gr(h),\hfill \end{array}$$ 110

in the sense of Hausdorff convergence on closed balls ${\{B(0,k)\}}_{k>0}$. Moreover, thanks to Proposition 4.7 and to Lebesgue differentiation theorem in Proposition 2.2, we infer that ${({\mathrm{\Phi }}_i)}_{\ast }{\mathcal{S}}^h⌞{\mathbb{V}}_i$ is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞{\mathrm{\Gamma }}_i$, where ${\mathrm{\Phi }}_i$ is the graph map of ${\phi }_i$. Furthermore, since every point $x\in {\mathrm{\Gamma }}_i$ can be written as $x=a·{\phi }_i(a)$, with $a\in P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$, we conclude, from (110) and latter absolute continuity, that ${\mathrm{\Gamma }}_i=\mathrm{graph}({\phi }_i)$ is an intrinsically differentiable graph at $a·{\phi }_i(a)$ for ${\mathcal{S}}^h⌞P_{\mathbb{V}}({\mathrm{\Gamma }}_i)$-almost every $a\in P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$, and this concludes the proof. $\square$

In the following corollary we provide the proof of Corollary 1.5.

Corollary 5.5

For any $1\le h\le Q$, there exist a countable subfamily $\mathcal{F}:={\{{\mathbb{V}}_k\}}_{k=1}^{+\infty }$ of $G{r}_c(h)$, and ${\mathbb{L}}_k$ complementary subgroups of ${\mathbb{V}}_k$ such that the following holds.

For any ${\mathcal{P}}_h^c$-rectifiable measure $\varphi$ and for any $\alpha >0$, there exist countably many compact sets ${\mathrm{\Gamma }}_i$’s that are $C_{{\mathbb{V}}_i}(\alpha )$-sets, that are intrinsic graphs of functions ${\phi }_i:P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)\to {\mathbb{L}}_i$, and that satisfy the following conditions: ${\mathrm{\Gamma }}_i$ are intrinsically differentiable graphs at $a·{\phi }_i(a)$ for ${\mathcal{S}}^h⌞P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$-almost every $a\in P_{{\mathbb{V}}_i}({\mathrm{\Gamma }}_i)$, and

$$\begin{array}{c}\hfill \varphi (\mathbb{G}\backslash {\cup }_{i=1}^{+\infty }{\mathrm{\Gamma }}_i)=0.\end{array}$$

Proof

By restricting on closed balls of integer radii we can assume without loss of generality that $\varphi$ has compact support. Let us fix $\vartheta ,\gamma \in \mathbb{N}$. We can infer this corollary by working on $\varphi ⌞E(\vartheta ,\gamma )$, that is mutually absolutely continuous with respect to ${\mathcal{S}}^h⌞E(\vartheta ,\gamma )$, see Proposition 2.6, and by using the previous Corollary 5.4 together with Proposition 2.5. The resulting strategy is identical to the one in Corollary 4.14 so we omit the details. $\square$

Remark 5.3

(Uniformly intrinsically differentiable graphs and $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-surfaces) By the recent work of the second named author, see [41, Theorem 3], one can show that in an arbitrary Carnot group of homogeneous dimension Q, the support of a ${\mathcal{P}}_{Q-1}^{\ast }$-rectifiable measure can be covered by countably many $C_{\mathrm{H}}^1$-regular hypersurfaces. Moreover, it is known that a $C_{\mathrm{H}}^1$-regular hypersurface is characterized, locally, by being the graph of a uniformly intrinsically differentiable function, see [3, Theorem 1.6]. This means that, in some particular cases, as it is the codimension-one case, we can strengthen the conclusion in Corollary 5.5 by obtaining that the maps are uniformly intrinsically differentiable.

This latter observation gives raise to two questions, that in the co-horizontal case are the same thanks to [3, Theorem 1.6], but in general could be different: is it always possible to improve the intrinsic differentiability in Corollary 5.5 to some kind of uniform intrinsic differentiability? Is it possible to prove that when a ${\mathcal{P}}_h$-rectifiable measure, or even a ${\mathcal{P}}_h^{\ast }$-rectifiable measure, on $\mathbb{G}$ admits only complemented normal subgroups that have only complementary subgroups that are Carnot subgroups, then we can write its support as the countable union of $C_{\mathrm{H}}^1(\mathbb{G},{\mathbb{G}}^{\prime })$-surfaces, see Definition 5.2? Let us stress that if one answers positively to the second question, this would mean, taking into account Proposition 5.2, that whenever they can agree, see Remark 5.2, the two notions of $\mathcal{P}$-rectifiable measure and $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable set agree.

We do not address these questions in this paper, but we stress that with the results proved in [6], we show that, at least in the co-horizontal case, the notion of $\mathcal{P}$-rectifiable measure and the notion of rectifiability given in terms of $(\mathbb{G},{\mathbb{G}}^{\prime })$-rectifiable sets coincide, see [6, Corollary 5.3].

In the final part of this section, we briefly discuss how the notion of intrinsically differentiable graph in Definition 5.5 is related to the already available notion of intrinsic differentiability, see [14, Definition 3.2.1] and [4, Definition 2.5]. Throughout the rest of this section $\mathbb{V}$ and $\mathbb{L}$ are two fixed complementary subgroups in a Carnot group $\mathbb{G}$.

Definition 5.6

(Intrinsic translation of a function) Given a function $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$, we define, for every $q\in \mathbb{G}$,

$$\begin{array}{c}\hfill U_q:=\{a\in \mathbb{V}:P_{\mathbb{V}}(q^{-1}·a)\in U\},\end{array}$$

and ${\phi }_q:U_q\subseteq \mathbb{V}\to \mathbb{L}$ by setting

$$\begin{array}{c}\hfill {\phi }_q(a):=(P_{\mathbb{L}}(q^{-1}·a){)}^{-1}·\phi (P_{\mathbb{V}}(q^{-1}·a)).\end{array}$$ 111

Definition 5.7

(Intrinsically linear function) The map $\ell :\mathbb{V}\to \mathbb{L}$ is said to be intrinsically linear if $\mathrm{graph}(\ell )$ is a homogeneous subgroup of $\mathbb{G}$.

Definition 5.8

(Intrinsically differentiable function) Let $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$ be a function with U Borel in $\mathbb{V}$. Fix a density point $a_0\in \mathcal{D}(U)$ of U, let $p_0:=\phi {(a_0)}^{-1}·a_0^{-1}$ and denote with ${\phi }_{p_0}:U_{p_0}\subseteq \mathbb{V}\to \mathbb{L}$ the shifted function introduced in Definition 5.6. We say that $\phi$ is intrinsically differentiable at $a_0$ if there is an intrinsically linear map $d^{\phi }{\phi }_{a_0}:\mathbb{V}\to \mathbb{L}$ such that

$$\begin{array}{c}\hfill \underset{b\to e,b\in U_{p_0}}{lim}\frac{\Vert d^{\phi }{\phi }_{a_0}{[b]}^{-1}·{\phi }_{p_0}(b)\Vert }{\Vert b\Vert }=0.\end{array}$$ 112

The function $d^{\phi }{\phi }_{a_0}$ is called the intrinsic differential of $\phi$ at $a_0$.

Let us fix $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$ with U open. Whenever the intrinsic differential introduced in Definition 5.8 exists, it is unique: see [14, Theorem 3.2.8]. In [14] the authors prove the following result: a function $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$, with U open, is intrinsically differentiable at $a_0$ if and only if $\mathrm{graph}(\phi )$ is an intrinsically differentiable graph at $a_0·\phi (a_0)$ with the tangent $\mathbb{V}(a_0)$ complemented by $\mathbb{L}$, see Definition 5.5, and moreover $\mathbb{V}(a_0)=\mathrm{graph}(d^{\phi }{\phi }_{a_0})$. In the setting we are dealing with, i.e., with maps $\phi :U\subseteq \mathbb{V}\to \mathbb{L}$ with U compact, the above equivalence still holds at density points of U. We do not give a proof of this last assertion since it follows by routine modifications of the argument in [14], and moreover, we do not need it in this paper.

Funding

Open access funding provided by Scuola Normale Superiore within the CRUI-CARE Agreement.