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 \({\mathscr {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 \({\mathscr {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 \({\mathscr {P}}_h\)-rectifiable measures. Namely, we prove that the support of a \({\mathscr {P}}_h\)-rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of \({\mathscr {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 \({\mathscr {P}}_h\)-rectifiable measure has almost everywhere positive and finite h-density whenever the tangents admit at least one complementary subgroup.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In Euclidean spaces, a Radon measure \(\phi \) 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 \(\phi \) is a Radon measure on \({\mathbb {R}}^n\) and k is a natural number such that \(1\le k\le n\). Then, \(\phi \) is a k-rectifiable measure if and only if for \(\phi \)-almost every \(x\in {\mathbb {R}}^n\) we have
-
(i)
\(0<\Theta ^k_*(\phi ,x)\le \Theta ^{k,*}(\phi ,x)<+\infty \),
-
(ii)
\(\mathrm {Tan}_k(\phi ,x) \subseteq \{\lambda {\mathcal {H}}^k\llcorner V:\lambda >0,\,\,\text {and } \)V\( \text {~is a~} \)k\(\text {-dimensional vector subspace}\}\),
where \(\Theta ^k_*(\phi ,x)\) and \(\Theta ^{k,*}(\phi ,x)\) are, respectively, the lower and the upper k-density of \(\phi \) at x, see Definition 2.8, and \(\mathrm {Tan}_k(\phi ,x)\) is the set of k-tangent measures to \(\phi \) 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}\rightarrow ({\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^1_{\mathrm {H}}\) 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,18,19, 21, 22, 24,25,26, 31, 32, 39,40,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 \({\mathscr {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 \({\mathscr {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.
1.1 \({\mathscr {P}}\)-Rectifiable Measures
In this paper, we study structure results in the class of \({\mathscr {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
(\({\mathscr {P}}\)-rectifiable measures) Let \(1\le h\le Q\) be a natural number. A Radon measure \(\phi \) on \({\mathbb {G}}\) is said to be \({\mathscr {P}}_h\)-rectifiable if for \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
-
(i)
\(0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<+\infty \),
-
(ii)
\(\mathrm {Tan}_h(\phi ,x) \subseteq \{\lambda {\mathcal {S}}^h\llcorner {\mathbb {V}}(x):\lambda \ge 0\}\), where \({\mathbb {V}}(x)\) is a homogeneous subgroup of \({\mathbb {G}}\) of Hausdorff dimension h,
where \(\Theta ^h_*(\phi ,x)\) and \(\Theta ^{h,*}(\phi ,x)\) are, respectively, the lower and the upper h-density of \(\phi \) at x, see Definition 2.8, \(\mathrm {Tan}_h(\phi ,x)\) is the set of h-tangent measures to \(\phi \) 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 \(\phi \) is \({\mathscr {P}}_h^*\)-rectifiable if (ii) is replaced with the weaker
If we impose more regularity on the tangents, we can define different subclasses of \({\mathscr {P}}\)-rectifiable or \({\mathscr {P}}^*\)-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 \({\mathscr {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 \({\mathscr {P}}_h\)-rectifiable measure, we can equivalently substitute item (ii) of Definition 1.1 with the weaker requirement
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^1_{\mathrm {H}}\)-regular surfaces with complemented tangents in \({\mathbb {G}}\), i.e., sets that are locally the zero-level sets of \(C^1_{\mathrm H}\) 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}}')\)-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 \({\mathscr {P}}\)-rectifiable measure and the notion of rectifiability given in terms of \(({\mathbb {G}},{\mathbb {G}}')\)-rectifiable sets coincide.
Proposition 1.2
Let us fix \({\mathbb {G}}\) and \({\mathbb {G}}'\) two arbitrary Carnot groups of homogeneous dimensions Q and \(Q'\), respectively. Let us take \(\Sigma \subseteq {\mathbb {G}}\) a \(({\mathbb {G}},{\mathbb {G}}')\)-rectifiable set. Then \({\mathcal {S}}^{Q-Q'}\llcorner \Sigma \) is a \({\mathscr {P}}_{Q-Q'}\)-rectifiable measure with complemented tangents. Moreover, there exists \({\mathbb {G}}\) a Carnot group, \(\Sigma \subseteq {\mathbb {G}}\), and \(1\le h\le Q\) such that \({\mathcal {S}}^h\llcorner \Sigma \) is a \({\mathscr {P}}_h\)-rectifiable measure and, for every Carnot group \({\mathbb {G}}'\), \(\Sigma \) is not \(({\mathbb {G}},{\mathbb {G}}')\)-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^1_{\mathrm {H}}\)-regular surfaces \(\Sigma \) with complemented tangents \(\mathrm {Ker}(df_p)\) at \(p\in \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^1_{\mathrm {H}}\)-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 \({\mathscr {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)\(\Leftrightarrow \)(iv) of Theorem 3.15] shows that in the Heisenberg groups the \({\mathscr {P}}\)-rectifiability with tangents that are vertical subgroups is equivalent to the rectifiability given in terms of \(C^1_{\mathrm H}\)-regular surfaces. Moreover [39, (i)\(\Leftrightarrow \)(iv) of Theorem 3.14] shows that in the Heisenberg groups, the \({\mathscr {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 \({\mathscr {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 \({\mathscr {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 \(\phi \) on \({\mathbb {H}}^1\) such that the tangents are \(\phi \)-almost everywhere the vertical line.
1.2 Results
The main contribution of this paper is the proof of the fact that a \({\mathscr {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}}\cdot {\mathbb {L}}\) and \({\mathbb {V}}\cap {\mathbb {L}}=\{0\}\).
Theorem 1.3
(Existence of the density) Let \(\phi \) be a \({\mathscr {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 \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
Moreover, for \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
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}}\), \(\Theta ^h(\phi ,x)\) is the h-density with respect to the distance d, and \({\mathcal {C}}^h\llcorner {\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 \(\Gamma \subseteq {\mathbb {G}}\) is a Borel set such that \(0<{\mathcal {S}}^h(\Gamma )<+\infty \), and \({\mathcal {C}}^h\llcorner \Gamma \) is \({\mathscr {P}}_h\)-rectifiable with complemented tangents, then \(\Theta ^h({\mathcal {C}}^h\llcorner \Gamma ,x)=1\) for \({\mathcal {C}}^h\)-almost every \(x\in \Gamma \). See Remark 4.1. We remark that the fact that \({\mathcal {C}}^h\llcorner \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 \({\mathscr {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 \({\mathscr {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 \({\mathscr {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 \({\mathscr {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 \({\mathscr {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 \cdot \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 pC_{{\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 \(\phi \) be a \({\mathscr {P}}_h\)-rectifiable measure on \({\mathbb {G}}\). Then \({\mathbb {G}}\) can be covered \(\phi \)-almost everywhere with countably many compact sets with the cone property with arbitrarily small opening. In other words for every \(\alpha >0\), we have
where \(\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 \(\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 \(\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 \(\phi \)-almost every x are constant multiples of \({\mathcal {S}}^h\llcorner {\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 \(\varphi :U\subseteq {\mathbb {V}}\rightarrow {\mathbb {L}}\) is intrinsically differentiable at \(a_0\cdot \varphi (a_0)\) if \(\mathrm {graph}(\varphi )\) admits a homogeneous subgroup as Hausdorff tangent at \(a_0\cdot \varphi (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,\ldots ,Q\}\), and let \(\phi \) be a \({\mathscr {P}}_h^c\)-rectifiable, i.e., a \({\mathscr {P}}_h\)-rectifiable measure with tangents that are complemented almost everywhere.
Then \({\mathbb {G}}\) can be covered \(\phi \)-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
where \(\Gamma _i=\mathrm {graph}(\varphi _i)\) are compact sets, with \(\varphi _i:A_i\subseteq {\mathbb {V}}_i\rightarrow {\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}(\varphi _i)\) is a \(C_{{\mathbb {V}}_i}(\alpha )\)-set, and it is an intrinsically differentiable graph at \(a\cdot \varphi _i(a)\) for \({\mathcal {S}}^h\llcorner 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^1_{\mathrm H}\)-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 \({\mathscr {P}}_h\)-rectifiability of measures of the type \({\mathcal {S}}^h\llcorner \Gamma \) is equivalent to the fact that \({\mathcal {S}}^h\)-almost every \(\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 \({\mathscr {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 \({\mathscr {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\llcorner \Gamma \) is a \({\mathscr {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\llcorner \Gamma \) exists almost everywhere and the tangent is unique almost everywhere. The analogous property in \({\mathbb {H}}^n\), but with \({\mathscr {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 \(\Theta _*^h({\mathcal {S}}^h\llcorner \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 \({\mathscr {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 \({\mathscr {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.
2 Preliminaries
2.1 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 \),
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,\ldots ,\kappa \). Furthermore, we define \(\pi _i:{\mathbb {G}}\rightarrow V_i\) to be the projection maps on the i-th strata. We will often shorten the notation to \(v_i:=\pi _iv\).
For a Carnot group \({\mathbb {G}}\), the exponential map \(\exp :{\mathfrak {g}} \rightarrow {\mathbb {G}}\) is a global diffeomorphism from \({\mathfrak {g}}\) to \({\mathbb {G}}\). Hence, if we choose a basis \(\{X_1,\ldots , X_n\}\) of \({\mathfrak {g}}\), any \(p\in {\mathbb {G}}\) can be written in a unique way as \(p=\exp (p_1X_1+\cdots +p_nX_n)\). This means that we can identify \(p\in {\mathbb {G}}\) with the n-tuple \((p_1,\ldots , p_n)\in {\mathbb {R}}^n\) and the group \({\mathbb {G}}\) itself with \({\mathbb {R}}^n\) endowed with the group operation \(\cdot \) determined by the Baker–Campbell–Hausdorff formula. From now on, we will always assume that \({\mathbb {G}}=({\mathbb {R}}^n,\cdot )\) 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}} \rightarrow {\mathbb {G}}\) as
As already remarked above, the group operation \(\cdot \) is determined by the Campbell–Hausdorff formula, and it has the form (see [19, Proposition 2.1])
where \({\mathscr {Q}}=({\mathscr {Q}}_1,\ldots , {\mathscr {Q}}_\kappa ):{\mathbb {R}}^n\times {\mathbb {R}}^n \rightarrow V_1\oplus \cdots \oplus V_\kappa \), and the \({\mathscr {Q}}_i\)’s have the following properties. For any \(i=1,\ldots \kappa \) and any \(p,q\in {\mathbb {G}}\) we have
-
(i)
\({\mathscr {Q}}_i(\delta _\lambda p,\delta _\lambda q)=\lambda ^i{\mathscr {Q}}_i(p,q)\),
-
(ii)
\({\mathscr {Q}}_i(p,q)=-{\mathscr {Q}}_i(-q,-p)\),
-
(iii)
\({\mathscr {Q}}_1=0\) and \({\mathscr {Q}}_i(p,q)={\mathscr {Q}}_i(p_1,\ldots ,p_{i-1},q_1,\ldots ,q_{i-1})\).
Thus, we can represent the product \(\cdot \) as
The stratification of \({\mathfrak {g}}\) carries with it a natural family of dilations \(\delta _\lambda :{\mathfrak {g}}\rightarrow {\mathfrak {g}}\), that are Lie algebra automorphisms of \({\mathfrak {g}}\) and are defined by
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
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
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\cdot \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}}\rightarrow {\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 \cdot \Vert \) on \({\mathbb {G}}\) is a function \(\Vert \cdot \Vert :{\mathbb {G}}\rightarrow [0,+\infty )\) such that \(\Vert \delta _\lambda x\Vert =\lambda \Vert x\Vert \) for every \(\lambda >0\) and \(x\in {\mathbb {G}}\); \(\Vert x\cdot 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
where \(\varepsilon _1=1\) and \(\varepsilon _2,\ldots \varepsilon _{\kappa }\) are suitably small parameters depending only on the group \({\mathbb {G}}\). For the proof of the fact that we can choose the \(\varepsilon _i\)’s in such a way that \(\Vert \cdot \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 \cdot \Vert \) on \({\mathbb {G}}\), the distance d induced by \(\Vert \cdot \Vert \) is defined as follows:
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 \cdot \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
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
for every \(A\subseteq {\mathbb {G}}\). We define the h-dimensional Hausdorff measure relative to d as
for every \(A\subseteq {\mathbb {G}}\). We define the h-dimensional centered Hausdorff measure relative to d as
for every \(A\subseteq {\mathbb {G}}\), where
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
where
for every \(x\in {\mathbb {G}}\) and \(A\subseteq {\mathbb {G}}\).
2.2 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 \(\{\phi _i\}_{i\in {\mathbb {N}}}\) of Radon measures on \({\mathbb {G}}\), we say that \(\phi _i\) weakly converges to a Radon measure \(\phi \), and we write \(\phi _i\rightharpoonup \phi \), if
Definition 2.7
(Tangent measures) Let \(\phi \) be a Radon measure on \({\mathbb {G}}\). For any \(x\in {\mathbb {G}}\) and any \(r>0\) we define the measure
Furthermore, we define \(\mathrm {Tan}_{h}(\phi ,x)\), the h-dimensional tangents to \(\phi \) 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
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 \(\phi \) is a Radon measure on \({\mathbb {G}}\), and \(h>0\), we define
and we say that \(\Theta _*^{h}(\phi ,x)\) and \(\Theta ^{h,*}(\phi ,x)\) are the lower and upper h-density of \(\phi \) at the point \(x\in {\mathbb {G}}\), respectively. Furthermore, we say that measure \(\phi \) has h-density if
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 \(\phi \) is a Radon measure on \({\mathbb {G}}\) with \(0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<\infty \) for \(\phi \)-almost every \(x\in {\mathbb {G}}\). Then, for any Borel set \(B\subseteq {\mathbb {G}}\) and for \(\phi \)-almost every \(x\in B\), we have
Proof
This is a direct consequence of Lebesgue differentiation Theorem of [23, page 77] that can be applied since \(({\mathbb {G}},d,\phi )\) is a Vitali metric measure space due to [23, Theorem 3.4.3]. \(\square \)
We stress that whenever the h-lower density of \(\phi \) is strictly positive and the h-upper density of \(\phi \) is finite \(\phi \)-almost everywhere, the set \(\mathrm {Tan}_h(\phi ,x)\) is nonempty for \(\phi \)-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 \(\phi \) be a Radon measure such that for \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
Then for every \(\rho \in L^1(\phi )\) that is nonnegative \(\phi \)-almost everywhere we have \(\mathrm {Tan}_h(\rho \phi ,x)=\rho (x)\mathrm {Tan}_h(\phi ,x)\) for \(\phi \)-almost every \(x\in {\mathbb {G}}\). More precisely, the following holds: for \(\phi \)-almost every \(x\in {\mathbb {G}}\), then
Let us introduce a useful split of the support of a Radon measure \(\phi \) on \({\mathbb {G}}\).
Definition 2.9
Let \(\phi \) be a Radon measure on \({\mathbb {G}}\) that is supported on the compact set K. For any \(\vartheta ,\gamma \in {\mathbb {N}}\) we define
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 \(\phi \) is a Radon measure supported on the compact set K such that \( 0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<\infty \) for \(\phi \)-almost every \(x\in {\mathbb {G}}\). Then \(\phi ({\mathbb {G}}\setminus \bigcup _{\vartheta ,\gamma \in {\mathbb {N}}} E(\vartheta ,\gamma ))=0\).
Proof
Let \(w\in K\setminus \bigcup _{\vartheta ,\gamma } E(\vartheta ,\gamma )\) and note that this implies that either \(\Theta ^h_*(\phi ,x)=0\) or \(\Theta ^{h,*}(\phi ,x)=\infty \). Since \( 0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<\infty \) for \(\phi \)-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 \(\phi \) be a Radon measure supported on a compact set on \({\mathbb {G}}\) such that \(0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<\infty \) for \(\phi \)-almost every \(x\in {\mathbb {G}}\). For every \(\vartheta ,\gamma \in {\mathbb {N}}\), we have that \(\phi \llcorner E(\vartheta ,\gamma )\) is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\).
2.3 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
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\rightarrow V\), then for every \(v\in V\) there exist \(v_n\in V_n\) such that \(v_n\rightarrow v\);
-
(ii)
if \(V_n\rightarrow V\) and there is a sequence \(v_n\in V_n\) such that \(v_n\rightarrow 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
is said to be a complement of \({\mathbb {G}}\). We let \(Gr_c(h)\) to be the subfamily of those \({\mathbb {V}}\in Gr(h)\) that have a complement and we will refer to \(Gr_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,\ldots ,Q\}\) and for any \({\mathbb {V}}\in Gr(h)\) we denote with \({\mathfrak {s}}({\mathbb {V}})\) the vector
that with abuse of language we call the stratification, or the stratification vector, of \({\mathbb {V}}\). Furthermore, we define
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,\ldots ,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
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,\ldots ,\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,
where the convergence is meant in the Euclidean Grassmannian \(Gr(k_i,V_i)\). As a consequence
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
where the direct sums above are orthogonal too. Let us notice that, from (6) it follows that
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
Indeed, on the compact set B(0, 1), one has \(d\le Cd_{\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 Cd_{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}}}\),
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}}=\exp W\), 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\rightarrow a\), and \(b_n\rightarrow b\). Then, by continuity of the operation, \(a_n\cdot b_n \rightarrow a\cdot b\), and \(a_n\cdot b_n\in {\mathbb {W}}_n\). Then from the second point of Remark 2.2 we get that \(a\cdot b\in {\mathbb {W}}\). \(\square \)
Proposition 2.8
There exists a constant \(\hbar _{\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 \hbar _{{\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)\rightarrow 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\rightarrow {\mathbb {W}}\) where \({\mathbb {W}}\) has the same stratification of the \({\mathbb {W}}_i\)’s, and \({\mathbb {V}}_i\rightarrow {\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)\rightarrow 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 \(\hbar \) that depends both on \({\mathbb {G}}\) and h. However, taking the minimum over h of such \(\hbar \)’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\llcorner {\mathbb {V}}\), \({\mathcal {H}}^h\llcorner {\mathbb {V}}\), \({\mathcal {C}}^h\llcorner {\mathbb {V}}\) and \({\mathcal {H}}^d_{\mathrm {eu}}\llcorner {\mathbb {V}}\) are Haar measures of \({\mathbb {V}}\). Furthermore, any Haar measure \(\lambda \) of \({\mathbb {V}}\) is h-homogeneous in the sense that
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\rightarrow v\cdot 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}}^d_{\mathrm {eu}}\llcorner {\mathbb {V}}\), we conclude that \({\mathcal {H}}^d_{\mathrm {eu}}\llcorner {\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}}\cdot {\mathbb {L}}\) of the group.
Definition 2.13
(Projections related to a splitting) For any \({\mathbb {V}}\in Gr_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
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 Gr_c(h)\) and \({\mathbb {L}}\) two complementary homogeneous subgroups of a Carnot group \({\mathbb {G}}\). Then, for any \(x\in {\mathbb {G}}\), the map \(\Psi :{\mathbb {V}}\rightarrow {\mathbb {V}}\) defined as \(\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}}}(xP_{{\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}}}(xP_{{\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 \cdot \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{aligned} {\mathcal {H}}_{\mathrm {eu}}^{d}\left( B(p,r)\cap {\mathbb {W}}\right) =C_{2}r^{h}, \end{aligned}$$(9) -
(ii)
there exists a constant \(\beta ({\mathbb {W}})\) such that \( {\mathcal {C}}^{h}\llcorner {\mathbb {W}} =\beta ({\mathbb {W}}){\mathcal {H}}_{\mathrm {eu}}^{d}\llcorner {\mathbb {W}}\),
-
(iii)
\(\beta ({\mathbb {W}})={\mathcal {H}}^d_{\mathrm {eu}}\llcorner {\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
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
Concerning (ii) thanks to Proposition 2.9, we have that both \({\mathcal {C}}^h\llcorner {\mathbb {W}}\) and \({\mathcal {H}}^d_{\mathrm {eu}}\llcorner {\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}}^d_{\mathrm {eu}}\llcorner {\mathbb {W}}={\mathcal {C}}^h\llcorner {\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
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 \(\varepsilon >0\), let us take \(A\subseteq {\mathbb {W}}\cap B(0,1)\) such that \({\mathcal {C}}^h_0(A)\ge {\mathcal {C}}^h({\mathbb {W}}\cap B(0,1))-\varepsilon \), \(\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
This implies that
where the first inequality is true since \({\mathcal {C}}^h(B(0,1)\cap {\mathbb {W}})\ge {\mathcal {C}}^h(A)\ge {\mathcal {C}}^h_0(A)\), and the third equality is true since \(x_i\in {\mathbb {W}}\) and \({\mathcal {C}}^h\llcorner {\mathbb {W}}\) is a Haar measure on \({\mathbb {W}}\). Thanks to the arbitrariness of \(\varepsilon \), 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): \Theta ^{*,h}({\mathcal {C}}^h\llcorner {\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\llcorner {\mathbb {W}}\)-almost every \(x\in {\mathbb {W}}\cap B(0,1)\) we have that \(\Theta ^{*,h}({\mathcal {C}}^h\llcorner {\mathbb {W}},x)\le 1\). For one of such \(x\in {\mathbb {W}}\cap B(0,1)\) we can write
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
We conclude this subsection with two Propositions.
Proposition 2.12
(Corollary 2.15 of [15]) Let \(\Vert \cdot \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
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 Gr_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
Furthermore, for any Borel set \(A\subseteq {\mathbb {G}}\) for which \({\mathcal {S}}^{h}(A)<\infty \), we have
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
\(\square \)
2.4 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 \cdot \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
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
Lemma 2.14
For any \({\mathbb {W}}_1,{\mathbb {W}}_2\in Gr(h)\), \(\varepsilon >0\) and \(\alpha >0\) if \(d_{\mathbb {G}}({\mathbb {W}}_1,{\mathbb {W}}_2)<\varepsilon /4\), then
Proof
We prove that any \(z\in C_{{\mathbb {W}}_1}(\alpha )\) is contained in the cone \(C_{{\mathbb {W}}_2}(\alpha +\varepsilon )\). Thanks to the triangle inequality, we infer
Thus, choosing \(b^*\in {\mathbb {W}}_1\) in such a way that \(d(z,b^*)=\text {dist}(z,{\mathbb {W}}_1)\), and evaluating the previous inequality at \(b^*\), we get
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^*\in {\mathbb {W}}\) is one of the points at minimum distance from \({\mathbb {W}}\) to p, then the following inequality holds
Indeed,
Now, by homogeneity, since \(b^*\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^*)\) 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^*)\Vert \le 2\). Finally we obtain
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^*)\Vert \le 2\), and thus, from (15), the point at minimum distance of \(D_{1/\Vert z\Vert }(b^*)\) 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)<\varepsilon /4\). Joining (14), and (16), we get \(z\in C_{{\mathbb {W}}_2}(\alpha +\varepsilon )\), that was what we wanted. \(\square \)
Lemma 2.15
Let \({\mathbb {V}}\in Gr_c(h)\), and let \({\mathbb {L}}\) be a complementary subgroup of \({\mathbb {V}}\). There exists \({\varepsilon _{1}}:={\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})>0\) such that
Moreover, we can, and will, choose \({\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}}):=C_{3}({\mathbb {V}},{\mathbb {L}})/2\).
Proof
We prove that it suffices to take \({\varepsilon _{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}}}({\varepsilon _{1}})\). From Proposition 2.12 and from the very definition of the cone \(C_{{\mathbb {V}}}({\varepsilon _{1}})\) we have
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 \(Gr_c(h)\) is an open subset of \(Gr(h)\).
Proof
Fix a \({\mathbb {W}}\in Gr_c(h)\) and let \({\mathbb {L}}\) be one complementary subgroup of \({\mathbb {W}}\) and set \(\varepsilon <\min \{{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}}),\hbar _{{\mathbb {G}}}\}\). Then, if \({\mathbb {W}}^\prime \in Gr(h)\) is such that \(d_{\mathbb {G}}({\mathbb {W}},{\mathbb {W}}^\prime )<\varepsilon /4\), Lemma 2.14 implies that \({\mathbb {W}}^\prime \subseteq C_{{\mathbb {W}}}(\varepsilon )\) and in particular
Moreover, since \(\varepsilon <\hbar _{\mathbb {G}}\) from Proposition 2.8, we get that \({\mathbb {W}}'\) 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}}'\cap V_i)+({\mathbb {L}}\cap V_i)=V_i\) for every \(i=1,\ldots ,\kappa \). This, jointly with the fact that \({\mathbb {L}}\cap {\mathbb {W}}'=\{0\}\), implies that \({\mathbb {L}}\) and \({\mathbb {W}}'\) are complementary subgroups in \({\mathbb {G}}\) due to the triangular structure of the product \(\cdot \) on \({\mathbb {G}}\), see (1). For an alternative proof of the fact that \({\mathbb {L}}\) and \({\mathbb {W}}'\) 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 Gr_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\rightarrow {\mathbb {L}}\) is said to be an \(\alpha \)-intrinsically Lipschitz function if \(\text {graph}(f):=\{v\cdot f(v):v\in E\}\) is a \(C_{\mathbb {W}}(\alpha )\)-set. A function \(f:E\rightarrow {\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 Gr_c(h)\) with complement \({\mathbb {L}}\). If \(\Gamma \subset {\mathbb {G}}\) is a \(C_{{\mathbb {W}}}(\alpha )\)-set for some \(\alpha \le {\varepsilon _{1}}({\mathbb {W}},{\mathbb {L}})\), then the map \(P_{{\mathbb {W}}}:\Gamma \rightarrow {\mathbb {W}}\) is injective. As a consequence, \(\Gamma \) is the intrinsic graph of an intrinsically Lipschitz map defined on \(P_{{\mathbb {W}}}(\Gamma )\).
Proof
Suppose by contradiction that \(P_{{\mathbb {W}}}:\Gamma \rightarrow {\mathbb {W}}\) is not injective. Then, there exist \(p\ne q\) with \(p,q\in \Gamma \) such that \(P_{{\mathbb {W}}}(p)=P_{{\mathbb {W}}}(q)\). Thus \(p^{-1}\cdot q\in {\mathbb {L}}\). Moreover, since \(\Gamma \) is a \(C_{{\mathbb {W}}}(\alpha )\)-set, we have that \(p^{-1}\cdot q\in C_{{\mathbb {W}}}(\alpha )\). Eventually we get
where the last inclusion follows since \(\alpha \le {\varepsilon _{1}}({\mathbb {W}},{\mathbb {L}})\). The above inclusion, jointly with Lemma 2.15, gives that \(p^{-1}\cdot q=0\) and this is a contradiction. Concerning the last part of the statement, let us notice that the map \(P_{{\mathbb {L}}}\circ \big ((P_{{\mathbb {W}}})_{|_{\Gamma }}\big )^{-1}\) is well defined from \(P_{{\mathbb {W}}}(\Gamma )\) to \({\mathbb {L}}\) and its intrinsic graph is \(\Gamma \) by definition. Moreover, since \(\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 \({\mathscr {P}}^{c}_h\)-rectifiable measures have h-density.
Lemma 2.18
Let \({\mathbb {V}}\in Gr_c(h)\) and \({\mathbb {L}}\) be one of its complementary subgroups. For any \(0<\alpha <C_{3}({\mathbb {V}},{\mathbb {L}})/2\), let
Then we have
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
This implies in particular that \(\Vert P_{\mathbb {L}}(v)\Vert \le {\mathfrak {c}}(\alpha )\Vert P_{\mathbb {V}}(v)\Vert \) and thus
This concludes the proof of the lemma. \(\square \)
Lemma 2.19
Let \({\mathbb {V}}\in Gr_c(h)\) and \({\mathbb {L}}\) be one of its complementary subgroups. Suppose \(\Gamma \) is a \(C_{{\mathbb {V}}}(\alpha )\)-set with \(\alpha <C_{3}({\mathbb {V}},{\mathbb {L}})/2\), and let
where \({\mathfrak {c}}(\alpha )\) is defined in (17). Then
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
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
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}\Gamma )\). Thanks to our choice of y, there are a \(w_1\in x^{-1}\Gamma \) and a \(w_2\in B(0,{\mathfrak {C}}(\alpha )r)\cap C_{\mathbb {V}}(\alpha )\) such that
Furthermore, since \(\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
Furthermore, since by assumption \(w_2\in B(0,{\mathfrak {C}}(\alpha )r)\cap C_{\mathbb {V}}(\alpha )\), Lemma 2.18 yields
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}\Gamma \) and this concludes the proof of the inclusion (22). Finally (21), (22) imply
Furthermore, for any Borel subset \({\mathcal {E}}\) of \({\mathbb {G}}\), we have \(P_{\mathbb {V}}(x{\mathcal {E}})=P_{\mathbb {V}}(xP_{\mathbb {V}}({\mathcal {E}}))\), since for every \(g\in {\mathcal {E}}\) we have the following simple equality \(P_{{\mathbb {V}}}(xg)=P_{{\mathbb {V}}}(xP_{{\mathbb {V}}}g)\). Therefore, by using the latter observation and Proposition 2.10, we get, denoting with \(\Psi \) the map \(\Psi (v)=P_{{\mathbb {V}}}(x^{-1}v)\) for every \(v\in {\mathbb {V}}\), that
Joining together (25) and (26) gives the sought conclusion. \(\square \)
2.5 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,\ldots ,Q\}\) we let \({\mathfrak {M}}(h)\) to be the family of flat h-dimensional measures in \({\mathbb {G}}\), i.e.,
Furthermore, if G is a subset of the h-dimensional Grassmannian \(Gr(h)\), we let \({\mathfrak {M}}(h,G)\) to be the set
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
(\({\mathscr {P}}_h\) and\({\mathscr {P}}_h^*\)-rectifiable measures) Let \(h\in \{1,\ldots ,Q\}\). A Radon measure \(\phi \) on \({\mathbb {G}}\) is said to be a \({\mathscr {P}}_h\)-rectifiable measure if for \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
-
(i)
\(0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<+\infty \),
-
(ii)
there exists a \({\mathbb {V}}(x)\in Gr(h)\) such that \(\mathrm {Tan}_h(\phi ,x) \subseteq \{\lambda {\mathcal {S}}^h\llcorner {\mathbb {V}}(x):\lambda \ge 0\}\).
Furthermore, we say that \(\phi \) is \({\mathscr {P}}_h^*\)-rectifiable if (ii) is replaced with the weaker
- \({\mathrm{(ii)}}*\):
-
\(\mathrm {Tan}_h(\phi ,x) \subseteq \{\lambda {\mathcal {S}}^h\llcorner {\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 \(\Theta ^h_*(\phi ,x)>0\) for \(\phi \)-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 \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
for some \({\mathbb {V}}(x)\in Gr(h)\), hence \(\Theta ^h_*(\phi ,x)>0\) for \(\phi \)-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 \(\Theta ^h_*(\phi ,x)=0\), then there exists \(r_i\rightarrow 0\) such that \(r_i^{-h}\phi (B(x,r_i))=0\). Since \(\Theta ^{h,*}(\phi ,x)<+\infty \), up to subsequences (see [1, Theorem 1.60]), we have \(r_i^{-h}T_{x,r_i}\phi \rightarrow \lambda {\mathcal {S}}^h\llcorner {\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}\phi (B(0,1))\rightarrow \lambda {\mathcal {S}}^h\llcorner {\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 \({\mathscr {P}}_h\)- and \({\mathscr {P}}_h^*\)-rectifiable measures, given by the measures that have complemented tangents. More precisely, we give the following definition.
Definition 2.19
(\({\mathscr {P}}_h^c\)-rectifiable measures) Let \(h\in \{1,\ldots ,Q\}\). In the following we denote by \({\mathscr {P}}^{c}_h\) the family of those \({\mathscr {P}}_h\)-rectifiable measures such that for \(\phi \)-almost every \(x\in {\mathbb {G}}\) we have
Remark 2.6
As explained in the introduction, the bridge between the notion of \({\mathscr {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 }\cdot {\mathbb {N}}_{\gamma ,\delta }\) where \(\alpha ,\beta ,\gamma ,\delta \in {\mathbb {R}}\) satisfy \(\alpha \delta -\beta \gamma \ne 0\), and
In this case notice that, by homogeneity, \({\mathcal {S}}^1\llcorner {\mathbb {M}}_{\alpha ,\beta }\) and \({\mathcal {S}}^6\llcorner {\mathbb {N}}_{\gamma ,\delta }\) are both \({\mathscr {P}}_h^c\)-rectifiable measures. Notice, moreover, that \({\mathbb {N}}_{\gamma ,\delta }\) is normal and it is also a \(C^1_{\mathrm {H}}\)-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}}\cdot {\mathbb {H}}_{\alpha ,\beta }\), where \(\alpha ,\beta \in {\mathbb {R}}\) satisfy \(\alpha +\beta \ne 0\), and
Notice that \({\mathcal {S}}^3\llcorner {\mathbb {K}}\) and \({\mathcal {S}}^4\llcorner {\mathbb {H}}_{\alpha ,\beta }\) are both \({\mathscr {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^1_{\mathrm H}({\mathbb {E}};{\mathbb {G}}')\) for any Carnot group \({\mathbb {G}}'\) 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,\ldots ,Q\}\) and assume \(\phi \) 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}\phi \rightharpoonup \lambda {\mathcal {C}}^h\llcorner {\mathbb {V}}\) for some \(\lambda >0\) and \({\mathbb {V}}\in Gr(h)\) then
Proof
Since \({\mathcal {C}}^h\llcorner {\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
and this concludes the proof. \(\square \)
The above proposition has the following immediate consequence.
Corollary 2.21
Let \(h\in \{1,\ldots ,Q\}\) and assume \(\phi \) is a \({\mathscr {P}}^*_h\)-rectifiable. Then for \(\phi \)-almost every \(x\in {\mathbb {G}}\), we have
We introduce now a way to estimate how far two measures are.
Definition 2.20
Given \(\phi \) and \(\psi \) two Radon measures on \({\mathbb {G}}\), and given \(K\subseteq {\mathbb {G}}\) a compact set, we define
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}(\phi ,\psi )=rF_{0,1}(T_{x,r}\phi ,T_{x,r}\psi )\). Furthermore, \(F_K\) enjoys the triangle inequality, indeed if \(\phi _1,\phi _2,\phi _3\) are Radon measures and \(f\in {{\,\mathrm{Lip_1^+}\,}}(K)\), then
The arbitrariness of f concludes that \(F_K(\phi _1,\phi _2)\le F_K(\phi _1,\phi _3)+F_K(\phi _3,\phi _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 )\rightarrow 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,\ldots ,Q\}\), and any \(r>0\), we define the functional:
Furthermore, if G is a subset of the h-dimensional Grassmannian \(Gr(h)\), we also define
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}(\phi ,{\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\llcorner x{\mathbb {V}}\), we obtain the same functional.
Proposition 2.23
Let \(\phi \) 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 \(\phi \)-almost every \(x\in {\mathbb {G}}\), we have \(\mathrm {Tan}_h(\phi ,x)\subseteq {\mathfrak {M}}(h,G)\), then, for \(\phi \)-almost every \(x\in {\mathbb {G}}\), we have
Proof
Let us fix \(x\in {\mathbb {G}}\) a point for which \(\mathrm {Tan}_h(\phi ,x)\subseteq {\mathfrak {M}}(h,G)\) and let us assume by contradiction that there exist \(r_i\rightarrow 0\) such that, for some \(\varepsilon >0\) we have
Since \(\phi \) satisfies item (i) in Definition 2.18, we can use [1, Proposition 1.62(b)] and then, up to subsequences, there are \(\Theta ^*>0\) and \({\mathbb {V}}^*\in G\) such that
Thus,
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 \)
3 Structure of \({\mathscr {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 \(\phi \) 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\llcorner x{\mathbb {V}}\), with \({\mathbb {V}}\in Gr(h)\), is sufficiently near to \(\phi \) 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
For the precise statement of (33), see Proposition 3.1. Let us remark that when \(\phi \) is a \({\mathscr {P}}_h\)-rectifiable measure, then for \(\phi \)-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 \({\mathscr {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 xC_{{\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\rightarrow 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 \({\varepsilon _{1}}:={\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) such that every \(C_{{\mathbb {V}}}({\varepsilon _{1}})\)-set is the intrinsic graph of a function \(f:A\subseteq {\mathbb {V}}\rightarrow {\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 \({\varepsilon _{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<{\varepsilon _{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 \(\phi \) a Radon measure on \({\mathbb {G}}\). We define \(\Pi _{\delta }(x,r)\) to be the subset of planes \({\mathbb {V}}\in Gr(h)\) for which there exists \(\Theta >0\) such that
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 \(\phi \) 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 \Pi _{\delta }(x,r)\), see Definition 3.1, we have
Proof
Let \({\mathbb {V}}\) be any element of \(\Pi _{\delta }(x,r)\) and suppose \(\Theta >0\) is such that
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
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
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
where the second inequality comes from the fact that \(B(y,D/2)\subseteq B(x,r/2)\). This implies thanks to (36), that
\(\square \)
Remark 3.1
Notice that a priori \(\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}(\phi ,{\mathfrak {M}})\le \delta \) then \(\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(\phi ,x)\subseteq \{\lambda {\mathcal {S}}^h\llcorner {\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
Proof
By using Proposition 2.23, we conclude that
From the previous equality, it follows that for every \(\varepsilon >0\) there exists \(1/\gamma>r_0(\varepsilon )>0\) such that
Now we aim at proving that, for \(\varepsilon >0\) small enough, \(E(\vartheta ,\gamma )\cap B(x,r_0(\varepsilon )/4)\subseteq xC_{{\mathbb {V}}(x)}(\alpha )\). In order to prove this, we notice that (37) and Proposition 3.1 imply that, for \(\varepsilon >0\) sufficiently small, the following inequality holds
Indeed, from (37), it follows that \({\mathbb {V}}(x)\in \Pi _{\varepsilon }(x,r)\) for every \(0<r\le r_0\), see Definition 3.1; so that it suffices to choose \(\varepsilon <\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 \(\varepsilon <\delta _{{\mathbb {G}}}\) so small that the inequality \(8C_{5}(h,\vartheta )\varepsilon ^{1/(h+1)}<\alpha \) holds. We finally prove \(E(\vartheta ,\gamma )\cap B(x,r_0(\varepsilon )/4)\subseteq xC_{{\mathbb {V}}(x)}(\alpha )\). Indeed, let \(p\in E(\vartheta ,\gamma )\cap B(x,r_0(\varepsilon )/4)\), and \(k\ge 3\) be such that \(r_02^{-k}< \Vert x^{-1}\cdot p\Vert \le r_02^{-k+1}\). Since \(p\in E(\vartheta ,\gamma )\cap B(x,(r_02^{-k+3})/4)\), from (38), we get
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 \({\mathscr {P}}_h\) or a \({\mathscr {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 \({\mathscr {F}}\subseteq Gr(h)\) and a function \(\alpha :{\mathscr {F}}\rightarrow (0,1)\) such that for every \(x\in E\), there exist \(\rho (x)>0\), and \({\mathbb {V}}(x)\in {\mathscr {F}}\) for which
whenever \(0<r<\rho (x)\). Then, there are countably many compact \(C_{{\mathbb {V}}_i}(3\beta _i)\)-sets \(\Gamma _i\) such that \({\mathbb {V}}_i\in {\mathscr {F}}\), and \(\alpha ({\mathbb {V}}_i)<\beta _i<2\alpha ({\mathbb {V}}_i)\) for which
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
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}}\)
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
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\setminus B(p,1/(3j))\), let \(p^*,q^*\in {\mathbb {V}}\) be such that \(d(p,q_\ell {\mathbb {V}})=\Vert (p^*)^{-1} q_\ell ^{-1} p\Vert \), and \(d(q,q_\ell {\mathbb {V}})=\Vert (q^*)^{-1} q_{\ell }^{-1} q\Vert \). Let us prove that \(\Vert q^*\Vert \le 4k\) and \(\Vert p^*\Vert \le 4k\). This is due to the fact that
where the last inequality follows from the definition of \(S(\ell )\), see (41). From the previous inequality, it follows that \(\Vert q^*\Vert \le 2k+1\), since \(q,q_\ell \in B(0,k)\). A similar computation proves the bound for \(\Vert p^*\Vert \) and this implies that
The application of Lemma 2.1 and the fact that \((q^*)^{-1}p^*\) and \(p^{-1} q_\ell p^*\) are in B(0, 14k), due to the previous inequality, imply that
Finally, thanks to (41) and (43) we infer
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
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 \(Gr_c(h)\times Gr_c(Q-h)\) defined by
we fix a function \(\mathbf{F}:\mathrm {Sub}(h)\rightarrow (0,1)\), and for every \(\ell \in {\mathbb {N}}\) with \(\ell \ge 2\) let us define
Observe that Proposition 2.7 implies that \(Gr_c^{\mathbf{F}}(h,\ell )\) is separable for any \(\ell \in {\mathbb {N}}\), since \(Gr_c^{\mathbf{F}}(h,\ell )\subseteq Gr(h)\) and \((Gr(h),d_{{\mathbb {G}}})\) is a compact metric space, see Proposition 2.7. Let
be a countable dense subset of \(Gr_c^{\mathbf{F}}(h,\ell )\) and
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)\rightarrow (0,1)\) be a function, where \(\mathrm {Sub}(h)\) is defined in (44), and for every \(\ell \in {\mathbb {N}}\) define \({\mathscr {D}}_\ell \) as in (45), set \({\mathscr {F}}:=\{{\mathbb {V}}_{i,\ell }\}_{i,\ell \in {\mathbb {N}}}\), and choose \({\mathbb {L}}_{i,\ell }\) as in (46). Furthermore, let \(\beta :{\mathbb {N}}\rightarrow (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 \({\mathscr {F}}:=\{{\mathbb {V}}_k\}_{k\in {\mathbb {N}}}\). Then the following holds.
Let \(\phi \) be a \({\mathscr {P}}_h^c\)-rectifiable measure. There are countably many compact sets \(\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 {\mathscr {F}}\), and such that
Proof
Let us notice that without loss of generality, by restricting the measure on balls with integer radius, we can suppose that \(\phi \) 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 \(\phi \). Furthermore, for any \(\ell ,i,j\in {\mathbb {N}}\), we let
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
Indeed, let \(w\in E(\vartheta ,\gamma )\) be such that \(\mathrm {Tan}_h(\phi ,w)\subseteq \{\lambda {\mathcal {S}}^{h}\llcorner {\mathbb {V}}(w):\lambda >0\}\) for some \({\mathbb {V}}(w)\in Gr_c(h)\); this can be done for \(\phi \)-almost every point w in \(E(\vartheta ,\gamma )\) since \(\phi \) is \({\mathscr {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 Gr_c^{\mathbf{F}}(h,\ell (w))\). By density of the family \({\mathscr {D}}_{\ell (w)}\) in \(Gr_c^{\mathbf{F}}(h,\ell (w))\), there exists a plane \({\mathbb {V}}_{i,\ell (w)}\in {\mathscr {D}}_{\ell (w)}\) such that
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
where the last inclusion follows from the fact that by definition of the family \({\mathscr {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
In particular, putting together (49) and (50), we infer that for \(\phi \)-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
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 \({\mathscr {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 \(\phi \)-almost everywhere for \(E(\vartheta ,\gamma )\), allowing \(i,\ell \) to vary in \({\mathbb {N}}\), since (48) holds. Finally, we have
due to Proposition 2.5.
Thus, we can cover \(\phi \)-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 \({\mathscr {F}}:=\{{\mathbb {V}}_k\}_{k\in {\mathbb {N}}}\) of \(Gr(h)\) such that the following holds. Let \(\phi \) be a \({\mathscr {P}}_h\)-rectifiable measure. For any \(0<\beta <1\), there are countably many compact sets \(\Gamma _k\) that are \(C_{{\mathbb {V}}_k}(\beta )\)-sets for some \({\mathbb {V}}_k\in {\mathscr {F}}\), and such that
Proof
The proof is similar to the one of Theorem 3.4. It suffices to choose, as a family \({\mathscr {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 \)
4 Bounds for the Densities of \({\mathcal {S}}^h\) on \(C_{\mathbb {V}}(\alpha )\)-Sets
Throughout this subsection, we assume that \({\mathbb {V}}\in Gr_c(h)\) and that \({\mathbb {V}}\cdot {\mathbb {L}}={\mathbb {G}}\). In this chapter whenever we deal with \(C_{{\mathbb {V}}}(\alpha )\)-sets we are always assuming that \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\), where \({\varepsilon _{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 \(\Gamma \) be a compact \(C_{{\mathbb {V}}}({\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}}))\) set, and recall that by Proposition 2.17 we can write \(\Gamma =\mathrm {graph}(\varphi )\) with \(\varphi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {L}}\). Let us denote \(\Phi (v):=v\cdot \varphi (v)\) for every \(v\in P_{{\mathbb {V}}}(\Gamma )\).
We first show that if we assume that \(\Theta _*^h({\mathcal {S}}^h\llcorner \Gamma ,x)>0\) at \({\mathcal {S}}^h\llcorner \Gamma \)-almost every point x, then the push-forward measure \((\Phi )_*({\mathcal {S}}^h\llcorner {\mathbb {V}})\) is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner \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 Gr_c(h)\), \(\Gamma \) is a compact \(C_{{\mathbb {V}}}(\alpha )\)-set with \(\alpha \) sufficiently small, and \({\mathcal {S}}^h\llcorner \Gamma \) is a \({\mathscr {P}}_h\)-rectifiable measure with complemented tangents, which we called \({\mathscr {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\llcorner \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 \(Gr_c(h)\). There exists \(C:=C({\mathbb {V}})\) such that the following holds. Suppose \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set with \(\alpha <C({\mathbb {V}})\) and such that \({\mathcal {S}}^h\llcorner \Gamma \) is a \({\mathscr {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 \Gamma \) we have
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\llcorner P_{{\mathbb {V}}}(\Gamma )\) and \({\mathcal {S}}^h\llcorner {\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\llcorner \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}}}({\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}}))\) and any \(z\in B(y,1/5A)\), we have \(w^{-1}z\not \in {\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}}}({\varepsilon _{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}}({\varepsilon _{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}}}({\varepsilon _{1}})\cap {\mathbb {L}}=\{0\}\) by Lemma 2.15. \(\square \)
Proposition 4.3
Let \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and suppose \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set. For any \(x\in \Gamma \) let \(\rho (x)\) to be the biggest number satisfying the following condition. For any \(y\in B(x,\rho (x))\cap \Gamma \) we have
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 \(\Gamma \) and upper semicontinuous.
Proof
Let \(x\in \Gamma \) and suppose by contradiction that there is a sequence of points \(\{y_i\}_{i\in {\mathbb {N}}}\subseteq \Gamma \) converging to x and
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
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{aligned} \lim _{i\rightarrow \infty }\delta _{1/\rho _i}(x^{-1}y_i)=y, \end{aligned}$$ -
(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{aligned} \lim _{i\rightarrow \infty } \delta _{1/\rho _i}(x^{-1}z_i)=z, \end{aligned}$$ -
(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{aligned} \lim _{i\rightarrow \infty } \delta _{1/\rho _i}(x^{-1}w_i)=w. \end{aligned}$$
Since \(\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 <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\), we have \(y\in \partial B(0,1)\cap C_{\mathbb {V}}({\varepsilon _{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
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 \Gamma \) and we assume by contradiction that there exists a sequence \(\{x_i\}_{i\in {\mathbb {N}}}\subseteq \Gamma \) converging to x such that
for some \(\tau >0\). Fix an \(y\in B(x,(1+\tau /2)\rho (x))\cap \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
This, however, thanks to the definition of \(\rho (x_i)\), implies that
Summing up, we have proved that for any \(y\in B(x,(1+\tau /2)\rho (x))\cap \Gamma \) whenever \(r,s<d(x,y)/5A\) we have
and this contradicts the maximality of \(\rho (x)\). This concludes the proof. \(\square \)
Corollary 4.4
Let us fix \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and suppose that \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set. Let us fix \(x\in \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
where \(A=A({\mathbb {V}},{\mathbb {L}})\) is the constant yielded by Lemma 4.2.
Proof
Let us first prove that there exists \({\widetilde{\alpha }}:={\widetilde{\alpha }}(\alpha ,x)\) such that whenever \(y\in \Gamma \) is such that \(d(x,y)\ge \rho (x)\) then \(d(P_{{\mathbb {V}}}(x),P_{{\mathbb {V}}}(y))\ge {\widetilde{\alpha }}\). Indeed if it is not the case, we have a sequence \(\{y_i\}_{i\in {\mathbb {N}}}\subseteq \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))\rightarrow 0\) as \(i\rightarrow +\infty \). Since \(\Gamma \) is compact, we can suppose, up to passing to a non-re-labeled subsequence, that \(y_i\rightarrow y\in \Gamma \). Moreover, since \(d(x,y_i)\ge \rho (x)\) and \(d(P_{{\mathbb {V}}}(x),P_{{\mathbb {V}}}(y_i))\rightarrow 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}\cdot x\in {\mathbb {L}}\cap C_{{\mathbb {V}}}(\alpha )\) that is a contradiction with Lemma 2.15 because \(y\ne x\) and \(\alpha <{\varepsilon _{1}}\).
Since \(P_{\mathbb {V}}\) is uniformly continuous on the closed tubular neighborhood \(B(\Gamma ,1)\), there exists a \(r(x)>0\) depending on \({\widetilde{\alpha }}={\widetilde{\alpha }}(\alpha ,x)\) such that for any \(y\in \Gamma \) and any \(r<r(x)\), we have
Let us show the first part of the statement. It is sufficient to prove that if \(r<r(x)\) and \(y\in \Gamma \) is such that \(d(x,y)\ge \rho (x)\), then \(P_{\mathbb {V}}(B(x,2r)) \cap P_{\mathbb {V}}(B(y,10r))=\emptyset \). Indeed if \(d(x,y)\ge \rho (x)\) then \(d(P_{{\mathbb {V}}}(x),P_{{\mathbb {V}}}(y))\ge {\widetilde{\alpha }}\). Moreover, from (56), we deduce that \(P_{{\mathbb {V}}}(B(x,10r))\subseteq B(P_{{\mathbb {V}}}(x),{\widetilde{\alpha }}/10)\) and \(P_{{\mathbb {V}}}(B(y,10r))\subseteq B(P_{{\mathbb {V}}}(y),{\widetilde{\alpha }}/10)\). Since \(d(P_{{\mathbb {V}}}(x),P_{{\mathbb {V}}}(y))\ge {\widetilde{\alpha }}\), we conclude that \(B(P_{{\mathbb {V}}}(x),{\widetilde{\alpha }}/10)\cap B(P_{{\mathbb {V}}}(y),{\widetilde{\alpha }}/10)=\emptyset \) and then also \(P_{{\mathbb {V}}}(B(x,10r))\cap P_{{\mathbb {V}}}(B(y,10r))=\emptyset \), 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 \({\mathscr {F}}\) is a family of closed balls of \({\mathbb {G}}\) with uniformly bounded radii. Then we can find a countable disjoint subfamily \({\mathscr {G}}\) of \({\mathscr {F}}\) such that
-
(i)
if \(B,B^\prime \in {\mathscr {G}}\) then \(5^NB\) and \(5^N B^\prime \) are disjoint,
-
(ii)
\(\bigcup _{B\in {\mathscr {F}}}B\subseteq \bigcup _{B\in {\mathscr {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 \({\mathscr {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 \(\widetilde{{\mathscr {F}}}:=\{ 5^{k+1}B: B\in {\mathscr {G}}_k\}\). We obtain a countable subfamily \(\widetilde{{\mathscr {G}}}\) of \(\widetilde{{\mathscr {F}}}\) such that if \(5^{k+1}B,5^{k+1}B^\prime \in \widetilde{{\mathscr {G}}}\) then \(5^{k+1}B\) and \(5^{k+1}B^\prime \) are disjoint and that satisfies \(\bigcup _{B\in \widetilde{{\mathscr {F}}}} B\subseteq \bigcup _{B\in \widetilde{{\mathscr {G}}}} 5B\). Therefore, if we define
point (i) directly follows and thanks to the inductive hypothesis we have
proving the second point of the statement. \(\square \)
Proposition 4.6
Let \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and suppose \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set of finite \({\mathcal {S}}^h\)-measure such that
for \({\mathcal {S}}^h\)-almost every \(x\in \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 \Gamma \) there exists an \(R:=R(x)>0\) such that for any \(0<\ell \le R\) we have
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
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
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 \(\Theta ^{h,*}({\mathcal {S}}^h\llcorner \Gamma ,x)\le 1\). Secondly, if we set, for any \(k\in {\mathbb {N}}\), \(\Gamma _k:=\{w\in \Gamma : 1/(k+1)<\Theta ^{h}_*({\mathcal {S}}^h\llcorner \Gamma ,x)\le 1/k\}\), we have that
We observe now that if \({\mathcal {S}}^h(\Gamma _k)>0\), then \({\mathcal {S}}^h\)-almost every \(w\in \Gamma _k\) belongs to some \(E(k+1,\gamma )\) provided \(\gamma \) is big enough, or in other words
If our claim (58) holds true, whenever \({\mathcal {S}}^h(E(k+1,\gamma ))>0\), we have that for \({\mathcal {S}}^h\llcorner E(k+1,\gamma )\)-almost every w there exists R(w) such that whenever \(0<\ell <R(w)\) the following chain of inequalities holds
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,
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\llcorner E(\vartheta ,\gamma )(A_{\vartheta ,\gamma }(k)\setminus {\mathscr {D}}_{\vartheta ,\gamma }(k))=0 \). This comes from the fact that the points of \({\mathscr {D}}_{\vartheta ,\gamma }(k)\) are exactly the points of density one of \(A_{\vartheta ,\gamma }(k)\) with respect to the measure \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\), that is asymptotically doubling at \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\)-almost every point because it has positive lower density and finite upper density at \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\)-almost every point, see Proposition 2.2. Moreover observe that from Proposition 4.3\({\mathcal {S}}^h(E(\vartheta ,\gamma )\setminus \cup _{k=1}^{+\infty } A_{\vartheta ,\gamma }(k))=0\). Let us apply Lemma 4.5 to N and \({\mathscr {F}}_\delta (k)\), and thus we infer that there exists a subfamily \({\mathscr {G}}_\delta (k)\) such that
- (\(\alpha \)):
-
for any \(B,B^\prime \in {\mathscr {G}}_\delta (k)\) we have that \(5^NB\cap 5^NB^\prime =\emptyset \),
- (\(\beta \)):
-
\(\bigcup _{B\in {\mathscr {F}}_\delta (k)} B\subseteq \bigcup _{B\in {\mathscr {G}}_\delta (k)} 5^{N+1}B\).
The point (\(\alpha \)) above implies in particular that whenever \(B(x,r),B(y,s)\in {\mathscr {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
Throughout the rest of the proof, we fix a \(w\in {\mathscr {D}}_{\vartheta ,\gamma }(k)\) and a
such that
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\llcorner \Gamma \)-almost every point of \({\mathscr {D}}_{\vartheta ,\gamma }(k)\) has density one with respect to the asymptotically doubling measure \({\mathcal {S}}^h\llcorner \Gamma \). Let us stress that if we prove our initial claim for such w and R(w) we are done since \({\mathcal {S}}^h\llcorner \Gamma \)-every point of \({\mathscr {D}}_{\vartheta ,\gamma }(k)\) satisfies (62), \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )(A_{\vartheta ,\gamma }(k)\setminus {\mathscr {D}}_{\vartheta ,\gamma }(k))=0\), and \({\mathcal {S}}^h(E(\vartheta ,\gamma )\setminus \cup _{k=1}^{+\infty }A_{\vartheta ,\gamma }(k))=0\).
Let us notice that the definition of \({\mathscr {F}}_\delta (k)\) implies that there must exist a ball \(B\in {\mathscr {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 {\mathscr {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
Indeed, Suppose that \(p\in B(x,5^{N+1}r)\cap B(w,R)\) and note that
where the last inequality comes from the choice of N. The bound (64) shows in particular that
where the last inequality comes from the fact that by construction x is supposed to be in \({\mathscr {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
Thanks to our choice of R, see (62), and the definition of \({\mathscr {G}}_{\delta }(w,R)\) we have
Let \({\mathscr {G}}_{\delta }(w,R)=\{B(x_i,r_i)\}_{i\in {\mathbb {N}}}\) and recall that \( x_i\in {\mathscr {D}}_{\vartheta ,\gamma }(k)\) and that \(5^{N+1}r_i\le 1/\gamma \). This implies, thanks to Proposition 2.13, that
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
We now prove that the projection under \(P_{\mathbb {V}}\) of the closure of \(\bigcup _{B\in {\mathscr {F}}_\delta (w,R)} B\) converges in the Hausdorff sense to \(P_{\mathbb {V}}(\overline{{\mathscr {D}}_{\vartheta ,\gamma }(k)\cap B(w,R)})\) as \(\delta \) goes to 0. Since the set \(\bigcup _{B\in {\mathscr {F}}_\delta (w,R)} B\) is a covering of \({\mathscr {D}}_{\vartheta ,\gamma }(k)\cap B(w,R)\) we have that
On the other hand, since by definition the balls of \({\mathscr {F}}_\delta (w,R)\) have radii smaller than \(\delta /4\) and center in \({\mathscr {D}}_{\vartheta ,\gamma }(k)\), we also have
Putting together (65) and (66), we infer that the closure of \(\bigcup _{B\in {\mathscr {F}}_\delta (w,R)} B\) converges in the Hausdorff metric to the closure of \(B(w,R)\cap {\mathscr {D}}_{\vartheta ,\gamma }(k)\). Furthermore, since \(P_{\mathbb {V}}\) restricted to the ball \(B(w,R+1)\) is uniformly continuous, we infer that
Thanks to the upper semicontinuity of the Lebesgue measure with respect to the Hausdorff convergence we eventually infer that
where the last inequality above comes from the fact that by construction \({\mathscr {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
thus showing the claim (58) and then the proof. \(\square \)
Proposition 4.7
Let us fix \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and suppose \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set of finite \({\mathcal {S}}^h\)-measure such that
for \({\mathcal {S}}^h\)-almost every \(x\in \Gamma \). Let us set \(\varphi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {L}}\) the map whose graph is \(\Gamma \), see Proposition 2.17, and set \(\Phi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {G}}\) to be the graph map of \(\varphi \). Let us define \(\Phi _*{\mathcal {S}}^h\llcorner {\mathbb {V}}\) to be the measure on \(\Gamma \) such that for every measurable \(A\subseteq \Gamma \) we have \(\Phi _*{\mathcal {S}}^h\llcorner {\mathbb {V}}(A):={\mathcal {S}}^h\llcorner {\mathbb {V}}(\Phi ^{-1}(A))={\mathcal {S}}^h\llcorner {\mathbb {V}}(P_{{\mathbb {V}}}(A))\). Then \(\Phi _*{\mathcal {S}}^h\llcorner {\mathbb {V}}\) is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner \Gamma \).
Proof
The fact that \(\Phi _*{\mathcal {S}}^h\llcorner {\mathbb {V}}\) is absolutely continuous with respect to \({\mathcal {S}}^h\llcorner \Gamma \) is an immediate consequence of Proposition 2.13. Vice-versa, suppose by contradiction that there exists a compact subset C of \(\Gamma \) of positive \({\mathcal {S}}^h\)-measure such that
Since by assumption \(\Theta ^h_*({\mathcal {S}}^h\llcorner 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}}(\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\llcorner P_{\mathbb {V}}(\Gamma )\).
Definition 4.1
(\(\phi \)-Vitali relation) Let (X, d) be a metric space with a Borel measure \(\phi \) 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
Furthermore for any \(Z\subseteq X\) we let
Finally a covering S is said to be fine at \(x\in X\) if and only if
By a \(\phi \)-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 \(\phi \)-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
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 \(\phi \)-Vitali relation, and a Lebesgue theorem for \(\phi \)-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 \(\phi \) 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
for \(\phi \)-almost every \(x\in X\). Then S is a \(\phi \)-Vitali relation.
Moreover, if S is a \(\phi \)-Vitali relation on X, and f is a \(\phi \)-measurable real-valued function with \(\int _K |f|\mathrm {d}\phi <+\infty \) on every bounded \(\phi \)-measurable K, we have
for \(\phi \)-almost every \(x\in X\). In addition, given \(A\subseteq X\), if we define
then P is \(\phi \)-measurable and \(\phi (A\setminus P)=0\).
Proposition 4.9
Let \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and suppose that \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set of finite \({\mathcal {S}}^h\)-measure such that
for \({\mathcal {S}}^h\)-almost every \(x\in \Gamma \). As in the statement of Proposition 4.7, let us denote with \(\Phi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {G}}\) the graph map of \(\varphi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {L}}\) whose intrinsic graph is \(\Gamma \). Then the covering relation
is a \({\mathcal {S}}^h\llcorner P_{\mathbb {V}}(\Gamma )\)-Vitali relation, where \(R(\Phi (z))\) is defined as in Proposition 4.6 for \({\mathcal {S}}^h\llcorner P_{\mathbb {V}}(\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}}(\Gamma )\) sine \(P_{{\mathbb {V}}}\) is continuous. Let us prove that \(S_1\) is a \({\mathcal {S}}^h\llcorner P_{\mathbb {V}}(\Gamma )\)-Vitali relation in \((P_{\mathbb {V}}(\Gamma ),d)\) with the distance d induced form \({\mathbb {G}}\). For \(x\in \ P_{{\mathbb {V}}}(\Gamma )\) and \(r>0\), define \(G(x,r):=P_{\mathbb {V}}(B(\Phi (x),r)\cap \Gamma )\). Notice that an arbitrary element of \(S_1(P_{{\mathbb {V}}}(\Gamma ))\), see (68), is of the form G(x, r) for some \(x\in P_{{\mathbb {V}}}(\Gamma )\) and some \(0<r<\min \{1,R(\Phi (x))\}\). Let \(\delta \big (G(x,r)\big ):=r\) and note that the \(\delta \)-enlargement, see (69), of G(x, r) is
Whenever \(G(x,r)\cap G(y,s)\ne \emptyset \) we have that \(d(\Phi (x),\Phi (y))\le r+s\): indeed, since \(P_{\mathbb {V}}\) is injective on \(\Gamma \), see Proposition 2.17, we have \(P_{\mathbb {V}}(B(\Phi (x),r)\cap \Gamma )\cap P_{\mathbb {V}}(B(\Phi (y),s)\cap \Gamma )\ne \emptyset \) if and only if \(B(\Phi (x),r)\cap B(\Phi (y),s)\cap \Gamma \ne \emptyset \). In particular, since \(s\le 5r\) we have \(B(\Phi (y),s)\Subset B(\Phi (x),12r)\), and thus \({\hat{G}}(x,r)\subseteq G(x,12r)\) for every \(x\in P_{{\mathbb {V}}}(\Gamma )\) and \(0<r<\min \{1,R(\Phi (x))\}\).
Finally, thanks to Proposition 4.6 and Proposition 4.7, for \({\mathcal {S}}^h\)-almost every \(x\in P_{\mathbb {V}}(\Gamma )\), we have
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\llcorner P_{\mathbb {V}}(\Gamma )\)-Vitali relation. \(\square \)
Proposition 4.10
Let \(\alpha <{\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\) and let \(\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 \(\Phi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {G}}\) the graph map of \(\varphi :P_{{\mathbb {V}}}(\Gamma )\rightarrow {\mathbb {L}}\) whose intrinsic graph is \(\Gamma \). Then for \({\mathcal {S}}^h\)-almost every \(w\in P_{\mathbb {V}}(\Gamma )\), we have
Proof
For any \(w\in {\mathbb {V}}\setminus P_{\mathbb {V}}(\Gamma )\), we let
It is immediate to see that \(\rho (w)\le {{\,\mathrm{dist}\,}}(w,P_{{\mathbb {V}}}(\Gamma ))\) and that \(\rho (w)=0\) if and only if \(w\in P_{\mathbb {V}}(\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}}\setminus P_{\mathbb {V}}(\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}}(\Gamma )\) then \(r\in (0,1)\) and \(G(w,r):=P_{\mathbb {V}}(B(\Phi (w),r)\cap \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
If we prove that S is a \({\mathcal {S}}^h\llcorner {\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
where we explicitly mentioned the set over which we take the supremum only the first time for the ease of notation, and where \({\hat{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\llcorner {\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}}\setminus P_{\mathbb {V}}(\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
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
Since \(P_{\mathbb {V}}(\Gamma )\) is compact and \(P_{\mathbb {V}}\) is continuous on the closed tubular neighborhood \(B(\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}}(\Gamma )\) and, on the other hand, by construction the \(z_i\)’s converge to w which is not contained in \(P_{\mathbb {V}}(\Gamma )\), and this is a contradiction. This implies that if \(0<r<r(w)\), we have
where in the inclusion we are using the fact that if y were in \({\mathbb {P}}_{{\mathbb {V}}}(\Gamma )\), and \(s\le 5r\), then \(G(y,s)\subseteq P_{{\mathbb {V}}}(B(\Gamma ,s))\subseteq P_{{\mathbb {V}}}(B(\Gamma ,5r))\) which would be in contradiction with \(G(y,s)\cap G(w,r)\ne \emptyset \), since we chose \(0<r<r(w)\). Summing up, if \(w\in {\mathbb {V}}\setminus P_{\mathbb {V}}(\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}}(\Gamma )\), the situation is more complicated. If \(y\in {\mathbb {V}}\setminus P_{\mathbb {V}}(\Gamma )\) and \(s\le 5r\) are such that
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}}}(\Gamma )\) and \(0<r<1\), we have
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}}(\Gamma )\), \(s\le 5r\) and
then \(P_{\mathbb {V}}(B(\Phi (y),10r))\cap P_{\mathbb {V}}(B(\Phi (w),2r))\ne \emptyset \). This observation and Corollary 4.4 imply that if \(0<r<r(w)\) is sufficiently small we have \(d(\Phi (w),\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
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(\Phi (w),r))\), and every \(\Delta \in B(0,3r^\kappa )\cap {\mathbb {V}}\) we have \(z\Delta \in P_{\mathbb {V}}(B(\Phi (w), C(\Gamma )r))\), where \(C(\Gamma )\) is a constant depending only on \(\Gamma \). Indeed, since \(\Gamma \) is compact and \(P_{{\mathbb {L}}}\) is continuous, there exists a constant \(K':=K'(\Gamma )\) such that whenever \(0<r<1\), and \(z\in P_{\mathbb {V}}(B(\Phi (w),r))\), there exists an \(\ell \in {\mathbb {L}}\) such that \(z\ell \in B(\Phi (w),r)\) and \(\Vert \ell \Vert \le K'\). Thus there exists a constant \(K:=K(\Gamma )>0\) such that whenever \(0<r<1\), \(z\in P_{\mathbb {V}}(B(\Phi (w),r))\), and \(\Delta \in B(0,3r^\kappa )\cap {\mathbb {V}}\), there exists \(\ell \in {\mathbb {L}}\) with \(z\ell \in B(\Phi (w),r)\) and \(\Vert \Delta \Vert +\Vert \ell \Vert \le K\). Thus, we can estimate
where the second inequality in the last equation comes from Lemma 2.1. Thus, \(z\Delta \in P_{{\mathbb {V}}}(B(\Phi (w),C(\Gamma )r))\), and the claim is proved. Summing up, we have proved that whenever \(w\in P_{{\mathbb {V}}}(\Gamma )\) and \(0<r<r(w)\) is sufficiently small we have
and thus (74) immediately follows by the homogeneity of \({\mathcal {S}}^h\llcorner {\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 < {\varepsilon _{1}}({\mathbb {V}},{\mathbb {L}})\). Suppose \(\Gamma \) is a compact \(C_{\mathbb {V}}(\alpha )\)-set such that \({\mathcal {S}}^h\llcorner \Gamma \) is \({\mathscr {P}}^c_h\)-rectifiable. For \({\mathcal {S}}^h\)-almost every \(x\in \Gamma \) we have
where \({\mathfrak {c}}(\alpha )\) is defined in Lemma 2.18.
Proof
Let us preliminarily observe that since \({\mathcal {S}}^h\llcorner {\mathbb {V}}\) and \({\mathcal {C}}^h\llcorner {\mathbb {V}}\) are both Haar measures on \({\mathbb {V}}\), they coincide up to a constant. Since for \({\mathcal {S}}^h\)-almost every \(x\in \Gamma \) we have \(\Theta ^{h,*}({\mathcal {S}}^h\llcorner \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(\Phi _*{\mathcal {C}}^h\llcorner {\mathbb {V}})\) such that
-
(i)
\(\rho (x)>0\) for \(\Phi _*{\mathcal {C}}^h\llcorner {\mathbb {V}}\)-almost every \(x\in \Gamma \),
-
(ii)
\({\mathcal {S}}^h\llcorner \Gamma =\rho \Phi _*{\mathcal {C}}^h\llcorner {\mathbb {V}}\).
We stress that the following reasoning holds for \({\mathcal {S}}^h\llcorner \Gamma \)-almost every \(x\in \Gamma \). Let \(\{r_i\}_{i\in {\mathbb {N}}}\) be an infinitesimal sequence such that \(r_i^{-h}T_{x,r_i}{\mathcal {S}}^h\llcorner \Gamma \rightharpoonup \lambda {\mathcal {C}}^h\llcorner {\mathbb {V}}(x)\) for some \(\lambda >0\). First of all, we immediately see that Corollary 2.21 implies that \(\lambda \in [\Theta _*^h({\mathcal {S}}^h\llcorner \Gamma ,x),\Theta ^{h,*}({\mathcal {S}}^h\llcorner \Gamma ,x)]\) and that
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 \(\Gamma \) is a \(C_{\mathbb {V}}(\alpha )\)-set, we have
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
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
Thanks to the definition of \(\Theta ^{h}_*({\mathcal {S}}^h\llcorner \Gamma ,x)\) and \(\Theta ^{h,*}({\mathcal {S}}^h\llcorner \Gamma ,x)\) we can find two sequences \(\{r_i\}_{i\in {\mathbb {N}}}\) and \(\{s_i\}_{i\in {\mathbb {N}}}\) such that
and without loss of generality, taking Proposition 2.20 into account, we can assume that
The bounds (81) imply therefore that
Finally the bounds in (82) yield
and this concludes the proof. \(\square \)
We prove now the existence of density of \({\mathscr {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\llcorner \Gamma \), and then we conclude with the proof of the existence of the density for arbitrary \({\mathscr {P}}_h^c\)-rectifiable measures.
Lemma 4.12
Let us fix \(0<\varepsilon <1\) a real number, \(\ell ,h\in {\mathbb {N}}\), and let f be the function defined as follows
Then, there exists \({\widetilde{\alpha }}:={\widetilde{\alpha }}(\varepsilon ,\ell ,h)>0\) such that the following implication holds
Proof
Let us choose \(0<{\widetilde{\varepsilon }}:={\widetilde{\varepsilon }}(\varepsilon ,h)<1\) such that
Let us show that the sought constant \({\widetilde{\alpha }}(\varepsilon ,\ell ,h)\) is \({\widetilde{\alpha }}:={\widetilde{\varepsilon }}/(\ell (1+{\widetilde{\varepsilon }}))\). Indeed, if \(\alpha \le {\widetilde{\alpha }}\) and \(C>1/\ell \) we infer that \(\alpha <C\) and
This implies that if \(\alpha \le {\widetilde{\alpha }}\) and \(C>1/\ell \), then
where the last inequality above comes from the choice of \({\widetilde{\varepsilon }}\). This concludes the proof. \(\square \)
Theorem 4.13
Let \(\Gamma \) be a compact subset of \({\mathbb {G}}\) such that \({\mathcal {S}}^h\llcorner \Gamma \) is a \({\mathscr {P}}^c_h\)-rectifiable measure. Then
Proof
In the following, for any \(\varepsilon >0\), we will construct a measurable set \(A_{\varepsilon }\subseteq \Gamma \) such that \({\mathcal {S}}^h(\Gamma \setminus A_\varepsilon )=0\) and
If (83) holds then we are free to choose \(\varepsilon =1/n\) for every \(n\in {\mathbb {N}}\) and then the density of \({\mathcal {S}}^h\llcorner \Gamma \) exists on the set \(\cap _{n=1}^{+\infty } A_{1/n}\), that has full \({\mathcal {S}}^h\llcorner \Gamma \)-measure. So we are left to construct \(A_\varepsilon \) as in (83). Let us define the function
Let us take the family \({\mathscr {F}}:=\{{\mathbb {V}}_i\}_{i=1}^{+\infty } \subseteq Gr_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 \({\mathscr {F}}\) and of the complementary subgroups depend on the function \(\mathbf{F}\) previously defined, see the discussion before Theorem 3.4. Let us define
where \({\widetilde{\alpha }}(\varepsilon ,\ell ,h)\) is the constant in Lemma 4.12, and with an abuse of notation let us lift \(\beta \) to a function on \({\mathscr {F}}\) as we did in the statement of Theorem 3.4. From Theorem 3.4 we conclude that there exist countably many \(\Gamma _i\)’s that are compact \(C_{{\mathbb {V}}_i}(\min \{{\varepsilon _{1}}({\mathbb {V}}_i,{\mathbb {L}}_i),\beta ({\mathbb {V}}_i)\})\)-sets contained in \(\Gamma \) such that
Let us write, for the ease of notation, \(\alpha _i:= \min \{{\varepsilon _{1}}({\mathbb {V}}_i,{\mathbb {L}}_i),\beta ({\mathbb {V}}_i)\}\) for every \(i\in {\mathbb {N}}\). Since \(\Gamma _i\subseteq \Gamma \) and \({\mathcal {S}}^h\llcorner \Gamma \) is \({\mathscr {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\llcorner \Gamma _i\) are \({\mathscr {P}}_h^c\)-rectifiable as well for every \(i\in {\mathbb {N}}\). Thus, since \(\alpha _i\le {\varepsilon _{1}}({\mathbb {V}}_i,{\mathbb {L}}_i)\), we can apply Proposition 4.11 and conclude that, for every \(i\in {\mathbb {N}}\), we have
where \({\mathfrak {c}}(\alpha _i):=\alpha _i/(C_{3}({\mathbb {V}}_i,{\mathbb {L}}_i)-\alpha _i)\). Since \(\Theta ^{*,h}({\mathcal {S}}^h\llcorner \Gamma _i,x)=\Theta ^{*,h}({\mathcal {S}}^h\llcorner \Gamma ,x)\) and \(\Theta ^h_*({\mathcal {S}}^h\llcorner \Gamma _i,x)=\Theta ^h_*({\mathcal {S}}^h\llcorner \Gamma ,x)\) for \({\mathcal {S}}^h\llcorner \Gamma _i\)-almost every \(x\in {\mathbb {G}}\), see Proposition 2.2, for every \(i\in {\mathbb {N}}\) we conclude that
Let us now fix \(i\in {\mathbb {N}}\) and note there exists a unique \(\ell (i)\in {\mathbb {N}}\) such that
Moreover, from the definition of \(\beta \) and \({\mathscr {F}}\) we see that \(\beta ({\mathbb {V}}_i)=\beta (\varepsilon ,\ell (i),h)\). This allows us to infer that
-
1.
\(\alpha _i\le \beta ({\mathbb {V}}_i)=\beta (\varepsilon ,\ell (i),h)\), since \(\alpha _i:= \min \{{\varepsilon _{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) < {\varepsilon _{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
This shows, thanks to (85), that for any \(i\in {\mathbb {N}}\), we have
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 \(\Theta ^h({\mathcal {S}}^h\llcorner 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 \({\mathscr {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 \(\Gamma \subseteq {\mathbb {G}}\) is a Borel set such that \(0<{\mathcal {S}}^h(\Gamma )<+\infty \), and \({\mathcal {C}}^h\llcorner \Gamma \) is \({\mathscr {P}}_h^c\)-rectifiable, then \(\Theta ^h({\mathcal {C}}^h\llcorner \Gamma ,x)=1\) for \({\mathcal {C}}^h\)-almost every \(x\in \Gamma \).
Corollary 4.14
Let \(\phi \) be a \({\mathscr {P}}^c_h\)-rectifiable measure on a Carnot group \({\mathbb {G}}\). Then
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 \(\phi \) has compact support. Let us first recall that, by Proposition 2.5, we have
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 \(\phi \) being \({\mathscr {P}}_h^c\)-rectifiable implies that \(\phi \llcorner E(\vartheta ,\gamma )\) is \({\mathscr {P}}_h^c\)-rectifiable. From Proposition 2.6 we deduce that \(\phi \llcorner E(\vartheta ,\gamma )\) is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner 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\llcorner E(\vartheta ,\gamma ))\) such that \(\phi \llcorner E(\vartheta ,\gamma )=\rho {\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\). We stress that we can apply Lebesgue–Radon–Nikodym theorem since \(\phi \llcorner 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\llcorner E(\vartheta ,\gamma )\) is a \({\mathscr {P}}_h^c\)-rectifiable measure, since \(\phi \llcorner E(\vartheta ,\gamma )\) is a \({\mathscr {P}}_h^c\)-rectifiable measure. Thus, we can apply Theorem 4.13 to \({\mathcal {S}}^h\llcorner E(\vartheta ,\gamma )\) and obtain that for every \(\vartheta ,\gamma \in {\mathbb {N}}\), we have that
Since \(\phi \llcorner E(\vartheta ,\gamma )=\rho {\mathcal {S}}^h\llcorner 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
The previous equality, jointly with Proposition 2.2 and together with (86) allows us to conclude the proof. \(\square \)
5 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 \(\phi \) be a \({\mathscr {P}}_h\)-rectifiable measure. Let K be a compact set such that \(\phi (K)>0\). Then for \(\phi \)-almost every point \(x\in K\) there exists \({\mathbb {V}}(x)\in Gr(h)\) such that
in the sense of Hausdorff convergence on closed balls \(\{B(0,k)\}_{k>0}\).
First of all, by reducing the measure \(\phi \) 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}(\phi \llcorner K,\Theta {\mathcal {S}}^h\llcorner 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\llcorner \Gamma \). Finally by the usual reduction to \(E(\vartheta ,\gamma )\), we can give the proof of Corollary 1.5 for arbitrary measures.
5.1 \(C^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-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}}')\)-rectifiable set is \({\mathscr {P}}\)-rectifiable. In [25] the authors give the following definitions of \(C^1_{\mathrm H}\)-submanifold of a Carnot group and rectifiable sets. We first recall the definition of \(C^1_{\mathrm H}\)-function.
Definition 5.1
(\(C^1_{\mathrm H}\)-function) Let \({\mathbb {G}}\) and \({\mathbb {G}}'\) be two Carnot groups endowed with left-invariant homogeneous distances d and \(d'\), respectively. Let \(\Omega \subseteq {\mathbb {G}}\) be open and let \(f:\Omega \rightarrow {\mathbb {G}}'\) be a function. We say that f is Pansu differentiable at \(x\in \Omega \) if there exists a homogeneous homomorphism \(df_x:{\mathbb {G}}\rightarrow {\mathbb {G}}'\) such that
Moreover, we say that f is of class \(C^1_{\mathrm H}\) in \(\Omega \) if the map \(x\mapsto df_x\) is continuous from \(\Omega \) to the space of homogeneous homomorphisms from \({\mathbb {G}}\) to \({\mathbb {G}}'\).
Definition 5.2
(\(C^1_{\mathrm H}\)-submanifold) Given an arbitrary Carnot group \({\mathbb {G}}\), we say that \(\Sigma \subseteq {\mathbb {G}}\) is a \(C^1_{\mathrm H}\)-submanifold of \({\mathbb {G}}\) if there exists a Carnot group \({\mathbb {G}}'\) such that for every \(p\in \Sigma \), there exists an open neighborhood \(\Omega \) of p and a function \(f\in C^1_{\mathrm H}(\Omega ;{\mathbb {G}}')\) such that
and \(df_p:{\mathbb {G}}\rightarrow {\mathbb {G}}'\) is surjective with \({\mathrm Ker}(df_p)\) complemented. In this case we say that \(\Sigma \) is a \(C^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-submanifold.
Definition 5.3
((\({\mathbb {G}},{\mathbb {G}}')\)-rectifiable set) Given two arbitrary Carnot groups \({\mathbb {G}}\) and \({\mathbb {G}}'\) of homogeneous dimension Q and \(Q'\), respectively, we say that \(\Sigma \subseteq {\mathbb {G}}\) is a \(({\mathbb {G}},{\mathbb {G}}')\) -rectifiable set if there exist countably many subsets \(\Sigma _i\) of \({\mathbb {G}}\) that are \(C^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-submanifolds, such that
Using the results of [25], we prove the following.
Proposition 5.2
Let us fix \({\mathbb {G}}\) and \({\mathbb {G}}'\) two arbitrary Carnot groups of homogeneous dimensions Q and \(Q'\), respectively, and suppose \(\Sigma \subseteq {\mathbb {G}}\) is a \(({\mathbb {G}},{\mathbb {G}}')\)-rectifiable set. Then the measure \({\mathcal {S}}^{Q-Q'}\llcorner \Sigma \) is \({\mathscr {P}}_{Q-Q'}^c\)-rectifiable.
Proof
By [25, Corollary 3.6] a \(({\mathbb {G}},{\mathbb {G}}')\)-rectifiable set \(\Sigma \) has \({\mathcal {S}}^{Q-Q'}\llcorner \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}}')\)-rectifiable set and \(C^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-submanifold, it suffices to prove the statement when \(\Sigma \) is the zero-level set of a function \(f\in C^1_{\mathrm H}(\Omega ,{\mathbb {G}}')\), with \(\Omega \subseteq {\mathbb {G}}\) open, and such that for every \(p\in \{g\in \Omega :f(g)=0\}=:\Sigma \) the differential \(df_p:{\mathbb {G}}\rightarrow {\mathbb {G}}'\) is surjective with \(\mathrm {Ker}(df_p)\) complemented.
Fix \(p\in \Sigma \) and note that the homogeneous subgroup \(\mathrm {Ker}(df_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 \(\Sigma \). We first prove that
Indeed, from [25, Lemma 3.4], denoting by \(\Sigma _{p,r}\) the set \( \delta _{1/r}(p^{-1}\cdot \Sigma )\), we have
We claim that this last equality implies that
thus showing (88). Indeed, for every measurable set \(A\subseteq {\mathbb {G}}\), we have
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}}')\)-rectifiable set has density \({\mathcal {S}}^{Q-Q'}\)-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^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-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 \({\mathscr {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
(\({\mathscr {P}}\)-rectifiability and \(({\mathbb {G}},{\mathbb {G}}')\)-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}}')\)-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}}'\). 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\llcorner L\) is \({\mathscr {P}}_1\)-rectifiable, on the other hand, L is not \(({\mathbb {H}}^1,{\mathbb {G}}')\)-rectifiable for any Carnot group \({\mathbb {G}}'\) since L is not normal.
5.2 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 \(\phi \) 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
and then let us define the constant
Proposition 5.3
Let \(\phi \) be a Radon measure supported on a compact subset of \({\mathbb {G}}\) and let K be a Borel subset of \(\mathrm {supp}\phi \). 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 \(\Theta >0\) and \({\mathbb {V}}\in Gr(h)\) such that
Then for any \(w\in B(x,r/2)\cap x{\mathbb {V}}\) we have \(\phi (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 \emptyset \).
Proof
From the hypothesis, we have that \(F_{x,r}(\phi ,\Theta {\mathcal {C}}^h\llcorner 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 \(\Theta \) above, we deduce that
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}\cdot ))\in {{\,\mathrm{Lip_1^+}\,}}(B(x,r))\). Simplifying and rearranging the above chain of inequalities, we infer that
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 \(\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 \(\phi \big (B(w,\lambda r)\cap K\big )>0\). This will finish the proof. By contradiction assume there is \(w\in x{\mathbb {V}}\cap B(x,r/2)\) such that \(\phi \big (B(w,\lambda r)\cap K\big )=0\). This would imply that
where the first equality comes from Remark 2.4, and the last inequality comes from the choice of \(\Theta \) as in the statement, and the fact that
\(\lambda rg(\delta _{1/(\lambda r)}(w^{-1}\cdot ))\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 )<\Theta \), we have that
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 \(\phi \) 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 \(\phi \) is a \({\mathscr {P}}_h\)-rectifiable measure, by using the locality of tangents with the density \(\rho \equiv \chi _K\), see Proposition 2.3, for \(\phi \)-almost every \(x\in K\) we have that the following three conditions hold
-
(i)
\(\mathrm {Tan}_h(\phi ,x)\subseteq \{\lambda {\mathcal {S}}^h\llcorner {\mathbb {V}}(x):\lambda >0\}\), where \({\mathbb {V}}(x)\in Gr(h)\),
-
(ii)
\( 0<\Theta ^h_*(\phi ,x)\le \Theta ^{h,*}(\phi ,x)<+\infty \).
-
(iii)
if \(r_i\rightarrow 0\) is such that there exists \(\Theta >0\) with \(r_i^{-h}T_{x,r_i}\phi \rightarrow \Theta {\mathcal {C}}^h\llcorner {\mathbb {V}}(x)\), then \( r_i^{-h}T_{x,r_i}(\phi \llcorner K)\rightarrow \Theta {\mathcal {C}}^h\llcorner {\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
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 \( \varepsilon <\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(\varepsilon )\) and a real function \(f_1\) such that
where
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(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 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(\varepsilon )<1/\gamma \) such that the following holds
The conclusion in (96) follows if we prove that
We prove (97) by contradiction. If (97) was not true, there would exist an \({\widetilde{\varepsilon }}\) and an infinitesimal sequence \(\{r_i\}_{i\in {\mathbb {N}}}\) such that
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 \(\Theta ^*>0\) such that we have \(r_i^{-h}T_{x,r_i}\phi \rightarrow \Theta ^*{\mathcal {C}}^h\llcorner {\mathbb {V}}(x)\) as \(r_i\rightarrow 0\). Then by exploiting the item (iii) above we get also that \(r_i^{-h}T_{x,r_i}(\phi \llcorner K)\rightarrow \Theta ^*{\mathcal {C}}^h\llcorner {\mathbb {V}}(x)\) as \(r_i\rightarrow 0\). These two conclusions immediately imply, by exploiting Remark 2.7 and (2.22), that
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 \(\varepsilon \) and (96) we can apply Proposition 3.1, since \({\mathbb {V}}(x)\in \Pi _{\varepsilon }(x,r)\) for all \(0<r<r_0\), and Proposition 5.3 to obtain, respectively, that for all \(0<r<r_0\)
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}\cdot 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}\cdot p)\). From the first line of (99), we get that \({{\,\mathrm{dist}\,}}(x^{-1}\cdot p,{\mathbb {V}}(x))\le C_{5}r\varepsilon ^{1/(h+1)}\) and thus there exists a \(v\in {\mathbb {V}}(x)\) such that \(d(x^{-1}\cdot p,v)\le C_{5}r\varepsilon ^{1/(h+1)}\). This in particular means that \(d(w,\delta _{1/r}v)\le C_{5}\varepsilon ^{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}\varepsilon ^{1/(h+1)})\). Thus, we conclude that
for all \(w\in \delta _{1/r}(x^{-1}\cdot K)\cap B(0,1/4)\). Define the following function
and notice that by compactness it is easy to see that \(f_2(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\). With the previous definition of \(f_2\) in hands, we can exploit (100) and conclude that
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}\cdot 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 \big (B(0,1/4)\setminus U(0,1/4-\varepsilon ^{1/(h+2)})\big )\), 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-\varepsilon ^{1/(h+2)})\). Let us define
and by compactness it is easy to see that \(f_3(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\). Let us now fix \(v\in {\mathbb {V}}(x)\cap B(0,1/4)\). Then \(x\cdot \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\cdot \delta _r v,\varepsilon ^{1/(h+2)}r)\cap K\). Thus \({{\widetilde{w}}}:=\delta _{1/r}(x^{-1}\cdot w) \in B(v,\varepsilon ^{1/(h+2)})\cap \delta _{1/r}(x^{-1}\cdot K)\). Now we have two cases
-
if v was in \( B(0,1/4-\varepsilon ^{1/(h+2)})\) we would get \({{\widetilde{w}}} \in B(0,1/4)\) and then
$$\begin{aligned} {{\,\mathrm{dist}\,}}(\delta _{1/r}(x^{1}\cdot K)\cap B(0,1/4),v) \le \varepsilon ^{1/(h+2)}; \end{aligned}$$(104) -
if instead \(v\in {\mathbb {V}}(x)\cap \big (B(0,1/4)\setminus U(0,1/4-\varepsilon ^{1/(h+2)})\big )\), we denote \(v':=\delta _{\mu (v)}v\) the point that we have defined above and then we still have \(x\cdot \delta _{r}v'\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'\in B(x\cdot \delta _r v',\varepsilon ^{1/(h+2)}r)\cap K\). Then we conclude \({{\widetilde{w}}}':=\delta _{1/r}(x^{-1}\cdot w') \in B(v',\varepsilon ^{1/(h+2)})\cap \delta _{1/r}(x^{-1}\cdot K)\). Now we can estimate
$$\begin{aligned} d({{\widetilde{w}}},{{\widetilde{w}}}')= & {} \frac{1}{r} d(w,w') \le \frac{1}{r}\big (d(w,x\cdot \delta _r v)+d(x\cdot \delta _r v,x\cdot \delta _r v')+d(x\cdot \delta _r v',w')\big ) \nonumber \\\le & {} 2\varepsilon ^{1/(h+2)}+f_3(\varepsilon ). \end{aligned}$$(105)Moreover, since \(v'\in \partial B(0,1/4-\varepsilon ^{1/(h+2)})\) and \({{\widetilde{w}}}'\in B(v',\varepsilon ^{1/(h+2)})\) we get that \({{\widetilde{w}}}'\in B(0,1/4)\cap \delta _{1/r}(x^{-1}\cdot K)\). Then by the triangle inequality and (105) we conclude that, in this second case,
$$\begin{aligned} d({{\widetilde{w}}}',v)\le 3\varepsilon ^{1/(h+2)}+f_3(\varepsilon ), \end{aligned}$$(106)and then
$$\begin{aligned} {{\,\mathrm{dist}\,}}(\delta _{1/r}(x^{1}\cdot K)\cap B(0,1/4),v)\le 3\varepsilon ^{1/(h+2)}+f_3(\varepsilon ). \end{aligned}$$(107)
By joining together the conclusion of the two cases, see (104) and (107), we conclude that
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 \({\varphi }:K\subseteq {\mathbb {V}} \rightarrow {\mathbb {L}}\) be a continuous function with K compact in \({\mathbb {V}}\). Let \(a_0\in K\). We say that \(\mathrm {graph}(\varphi )\) is an intrinsically differentiable graph at \(a_0\cdot \varphi (a_0)\) if there exists a homogeneous subgroup \({\mathbb {V}}(a_0)\) such that for all \(k>0\)
where \(d_{H,{\mathbb {G}}}\) is the Hausdorff distance between closed subsets of \({\mathbb {G}}\).
We prove now that the support of a \({\mathscr {P}}_h^c\)-rectifiable measure \({\mathcal {S}}^h\llcorner \Gamma \), where \(\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 \({\mathscr {F}}:=\{{\mathbb {V}}_k\}_{k=1}^{+\infty }\) of \(Gr_c(h)\), and \({\mathbb {L}}_k\) complementary subgroups of \({\mathbb {V}}_k\) such that the following holds.
Let \(\Gamma \) be a compact subset of \({\mathbb {G}}\) such that \(0<{\mathcal {S}}^h(\Gamma )<+\infty \), and \({\mathcal {S}}^h\llcorner \Gamma \) is a \({\mathscr {P}}^c_h\)-rectifiable measure. Then for every \(\alpha >0\), there are countably many compact \(\Gamma _i\)’s that are intrinsic graphs of functions \(\varphi _i:P_{{\mathbb {V}}_i}(\Gamma _i)\rightarrow {\mathbb {L}}_i\), and that satisfy the following three conditions: \(\Gamma _i\) are \(C_{{\mathbb {V}}_i}(\alpha )\)-sets, \(\Gamma _i\) are intrinsically differentiable graphs at \(a\cdot \varphi _i(a)\) for \({\mathcal {S}}^h\llcorner P_{{\mathbb {V}}_i}(\Gamma _i)\)-almost every \(a\in P_{{\mathbb {V}}_i}(\Gamma _i)\), and
Proof
First of all, let
where \(\mathrm {Sub}(h)\) is defined in (44). Given the above-defined function \(\mathbf{F}\), we construct the family \({\mathscr {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 \({\mathscr {F}}\).
Applying Theorem 3.4 with \(\beta \equiv \min \{1/2,\alpha \}\) to the measure \({\mathcal {S}}^h\llcorner \Gamma \) we get countably many compact sets \(\Gamma _i\subseteq \Gamma \) that are \(C_{{\mathbb {V}}_i}(\min \{\mathbf{F}({\mathbb {V}}_i,{\mathbb {L}}_i),\alpha \})\)-sets and such that
Since \(\mathbf{F}({\mathbb {V}}_i,{\mathbb {L}}_i)={\varepsilon _{1}}({\mathbb {V}}_i,{\mathbb {L}}_i)\), we conclude that each \(\Gamma _i\) is also the intrinsic graph of a function \(\varphi _i:P_{{\mathbb {V}}_i}(\Gamma _i)\rightarrow {\mathbb {L}}_i\), see Proposition 2.17. It is left to show that, for every \(i\in {\mathbb {N}}\), \(\mathrm {graph}(\varphi _i)\) is an intrinsically differentiable graph at \(a\cdot \varphi _i(a)\) for \({\mathcal {S}}^h\llcorner P_{{\mathbb {V}}}(\Gamma _i)\)-almost every \(a\in P_{{\mathbb {V}}_i}(\Gamma _i)\).
Indeed, since \({\mathcal {S}}^h\llcorner \Gamma \) is \({\mathscr {P}}_h^c\)-rectifiable, we can apply Proposition 5.1 and, for every \(i\in {\mathbb {N}}\), we conclude that
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 \((\Phi _i)_*{\mathcal {S}}^h\llcorner {\mathbb {V}}_i\) is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner \Gamma _i\), where \(\Phi _i\) is the graph map of \(\varphi _i\). Furthermore, since every point \(x\in \Gamma _i\) can be written as \(x=a\cdot \varphi _i(a)\), with \(a\in P_{{\mathbb {V}}_i}(\Gamma _i)\), we conclude, from (110) and latter absolute continuity, that \(\Gamma _i=\mathrm {graph}(\varphi _i)\) is an intrinsically differentiable graph at \(a\cdot \varphi _i(a)\) for \({\mathcal {S}}^h\llcorner P_{{\mathbb {V}}}(\Gamma _i)\)-almost every \(a\in P_{{\mathbb {V}}_i}(\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 \({\mathscr {F}}:=\{{\mathbb {V}}_k\}_{k=1}^{+\infty }\) of \(Gr_c(h)\), and \({\mathbb {L}}_k\) complementary subgroups of \({\mathbb {V}}_k\) such that the following holds.
For any \({\mathscr {P}}^c_h\)-rectifiable measure \(\phi \) and for any \(\alpha >0\), there exist countably many compact sets \(\Gamma _i\)’s that are \(C_{{\mathbb {V}}_i}(\alpha )\)-sets, that are intrinsic graphs of functions \(\varphi _i:P_{{\mathbb {V}}_i}(\Gamma _i)\rightarrow {\mathbb {L}}_i\), and that satisfy the following conditions: \(\Gamma _i\) are intrinsically differentiable graphs at \(a\cdot \varphi _i(a)\) for \({\mathcal {S}}^h\llcorner P_{{\mathbb {V}}_i}(\Gamma _i)\)-almost every \(a\in P_{{\mathbb {V}}_i}(\Gamma _i)\), and
Proof
By restricting on closed balls of integer radii we can assume without loss of generality that \(\phi \) has compact support. Let us fix \(\vartheta ,\gamma \in {\mathbb {N}}\). We can infer this corollary by working on \(\phi \llcorner E(\vartheta ,\gamma )\), that is mutually absolutely continuous with respect to \({\mathcal {S}}^h\llcorner 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^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-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 \({\mathscr {P}}^*_{Q-1}\)-rectifiable measure can be covered by countably many \(C^1_{\mathrm H}\)-regular hypersurfaces. Moreover, it is known that a \(C^1_{\mathrm H}\)-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 \({\mathscr {P}}_h\)-rectifiable measure, or even a \({\mathscr {P}}_h^*\)-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^1_{\mathrm H}({\mathbb {G}},{\mathbb {G}}')\)-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 \({\mathscr {P}}\)-rectifiable measure and \(({\mathbb {G}},{\mathbb {G}}')\)-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 \({\mathscr {P}}\)-rectifiable measure and the notion of rectifiability given in terms of \(({\mathbb {G}},{\mathbb {G}}')\)-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 \(\varphi :U\subseteq {\mathbb {V}}\rightarrow {\mathbb {L}}\), we define, for every \(q\in {\mathbb {G}}\),
and \({\varphi }_q:{U}_q\subseteq {\mathbb {V}}\rightarrow {\mathbb {L}}\) by setting
Definition 5.7
(Intrinsically linear function) The map \(\ell : {\mathbb {V}} \rightarrow {\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 \({\varphi }:{U}\subseteq {\mathbb {V}} \rightarrow {\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:={\varphi }(a_0)^{-1}\cdot a_0^{-1}\) and denote with \({\varphi }_{p_0}:{U}_{p_0}\subseteq {\mathbb {V}}\rightarrow {\mathbb {L}}\) the shifted function introduced in Definition 5.6. We say that \({\varphi }\) is intrinsically differentiable at \(a_0\) if there is an intrinsically linear map \(d^{\varphi }\varphi _{a_0}:{\mathbb {V}}\rightarrow {\mathbb {L}}\) such that
The function \(d^{\varphi }\varphi _{a_0}\) is called the intrinsic differential of \(\varphi \) at \(a_0\).
Let us fix \(\varphi :U\subseteq {\mathbb {V}}\rightarrow {\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 \(\varphi :U\subseteq {\mathbb {V}}\rightarrow {\mathbb {L}}\), with U open, is intrinsically differentiable at \(a_0\) if and only if \(\mathrm {graph}(\varphi )\) is an intrinsically differentiable graph at \(a_0\cdot \varphi (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^\varphi \varphi _{a_0})\). In the setting we are dealing with, i.e., with maps \(\varphi :U\subseteq {\mathbb {V}}\rightarrow {\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.
References
Ambrosio, L., Fusco, N., Pallara, D.: Functions of bounded variation and free discontinuity problems. In: Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, pp. xviii+434 (2000). ISBN 0-19-850245-1
Ambrosio, L., Kirchheim, B.: Rectifiable sets in metric and Banach spaces. Math. Ann. 318(3), 527–555 (2000). (issn: 0025-5831)
Antonelli, G., Di Donato, D., Don, S., Le Donne, E.: Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups. Ann. l’Inst. Fourier. arXiv:2005.11390 (2020)
Antonelli, G., Merlo, A.: Intrinsically Lipschitz functions with normal target in Carnot groups. Ann. Fenn. Math. 46, 571–579 (2021)
Antonelli, G., Merlo, A.: On rectifiable measures in Carnot groups: Marstrand–Mattila rectifiability criterion. J. Funct. Anal. 283(1), 109495 (2022)
Antonelli, G., Merlo, A.: On rectifiable measures in Carnot groups: representation. Calc. Var. 61(1), 7–52 (2022)
Antonelli, G., Merlo, A.: On rectifiable measures in Carnot groups: structure theory. arXiv:2009.13941 (2020)
Corni, F., Magnani, V.: Area formula for regular submanifolds of low codimension in Heisenberg groups. arXiv:2002.01433 (2020)
De Lellis, C.: Rectifiable sets, densities and tangent measures. Zurich Lectures in Advanced Mathematics, pp. vi+127. European Mathematical Society (EMS), Zürich (2008). 978-3-03719-044-9
Di Donato, D., Fässler, K., Orponen, T.: Metric rectifiability of H-regular surfaces with Hölder continuous horizontal normal. International Mathematics Research Notices arXiv:1906.10215 (2021)
Don, S., Le Donne, E., Moisala, T., Vittone, D.: A rectifiability result for finite-perimeter sets in Carnot groups. Indiana Univ. Math. J. arXiv:1912.00493 (2019)
Edgar, G.A.: Centered densities and fractal measures. New York J. Math. 13, 33–87 (2007)
Federer, H.: Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153, pp. xiv+676. Springer-Verlag New York Inc., New York (1969) (References 46)
Franchi, B., Marchi, M., Serapioni, R.P.: Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem. Anal. Geom. Metr. Spaces 2(1), 258–281 (2014)
Franchi, B., Serapioni, R.P.: Intrinsic Lipschitz graphs within Carnot groups. J. Geom. Anal 26(3), 1946–1994 (2016). (issn: 1050-6926)
Franchi, B., Serapioni, R.P., Cassano, F.S.: Area formula for centered Hausdorff measures in metric spaces. Nonlinear Anal. 126, 218–233 (2015). (issn: 0362-546X)
Franchi, B., Serapioni, R., Cassano, F.S.: Differentiability of intrinsic Lipschitz functions within Heisenberg groups. J. Geom. Anal 21(4), 1044–1084 (2011). (issn: 1050-6926)
Franchi, B., Serapioni, R., Cassano, F.S.: Intrinsic Lipschitz graphs in Heisenberg groups. J. Nonlinear Convex. Anal. 7(3), 423–441 (2006). (issn: 1345-4773)
Franchi, B., Serapioni, R., Cassano, F.S.: On the structure of finite perimeter sets in step 2 Carnot groups. J. Geom. Anal. 13(3), 421–466 (2003). (issn: 1050-6926)
Franchi, B., Serapioni, R., Cassano, F.S.: Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321(3), 479–531 (2001). (issn: 0025-5831)
Franchi, B., Serapioni, R., Cassano, F.S.: Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups. Commun. Anal. Geom. 11(5), 909–944 (2003). (issn: 1019- 8385)
Franchi, B., Serapioni, R., Cassano, F.S.: Regular submanifolds, graphs and area formula in Heisenberg groups. Adv. Math. 211(1), 152–203 (2007). (issn: 0001-8708)
Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.T.: Sobolev spaces on metric measure spaces. New Mathematical Monographs. An Approach Based on Upper Gradients, Vol. 27, pp. xii+434. Cambridge University Press, Cambridge (2015) ISBN: 978-1-107-09234-1
Idu, K., Obinna, M., Valentino, M., Francesco P.: Characterizations of k-rectifiability in Homogenous Groups. J. Math. Anal. Appl. 500 (2021)
Julia, A., Golo, S.N., Vittone, D.: Area of intrinsic graphs and coarea formula in Carnot groups. Math. Z. arXiv:2004.02520 (2020)
Julia, A., Golo, S.N., Vittone, D.: Lipschitz functions on submanifolds in Heisenberg groups. Int. Math. Res. Notices. arXiv:2107.00515 (2021)
Julia, A., Golo, S.N., Vittone, D.: Nowhere differentiable intrinsic Lipschitz graphs. Bull. Lond. Math. Soc. arXiv:2101.02985 (2021)
Le Donne, E.: A metric characterization of Carnot groups. Proc. Am. Math. Soc. 143(2), 845–849 (2015). (issn: 0002-9939)
Le Donne, E.: A primer on Carnot groups: homogenous groups, Carnot–Carathéodory spaces, and regularity of their isometries. Anal. Geom. Metr. Spaces 5(1), 116–137 (2017)
Le Donne, E., Golo, S.N.: Metric Lie groups admitting dilations. Arkiv Matematik 59, 125–163 (2021)
Le Donne, E., Terhi, M.: Semigenerated step-3 Carnot algebras and applications to sub-Riemannian perimeter. Math. Z. arXiv:2004.08619 (2021)
Magnani, V.: Characteristic points, rectifiability and perimeter measure on stratified groups. J. Eur. Math. Soc. 8(4), 585–609 (2006). (issn: 1435-9855)
Magnani, V.: Towards a theory of area in homogeneous groups. Calc. Var. Partial Differ. Equ. 58(3), 91 (2019)
Magnani, V.: Towards differential calculus in stratified groups. J. Aust. Math. Soc. 95(1), 76–128 (2013). (issn: 1446-7887.)
Magnani, V.: Unrectifiability and rigidity in stratified groups. Arch. Math. (Basel) 83(6), 568–576 (2004). (issn: 0003-889X)
Mattila, P.: Geometry of sets and measures in Euclidean spaces, Vol. 44. Cambridge Studies in Advanced Mathematics. Fractals and Rectifiability, pp. xii+343. Cambridge University Press, Cambridge (1995) ISBN 0-521-46576-1
Mattila, P.: Measures with unique tangent measures in metric groups. Math. Scand. 97(2), 298–308 (2005). (issn: 0025-5521)
Mattila, P.: Parabolic rectifiability, tangent planes and tangent measures. Ann. Fenn. Math. https://doi.org/10.54330/afm.119821 (2022)
Mattila, P., Serapioni, R., Cassano, F.S.: Characterizations of intrinsic rectifiability in Heisenberg groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. 9(4), 687–723 (2010)
Merlo, A: Geometry of 1-codimensional measures in Heisenberg groups. Invent. Math. arXiv:1908.11639 (2019)
Merlo, A.: Marstrand-Mattila rectifiability criterion for 1-codimensional measures in Carnot groups. Anal. PDEs. arXiv:2007.03236 (2020)
Preiss, D.: Geometry of measures in Rn: distribution, rectifiability, and densities. Ann. Math. 125(3), 537–643 (1987). (issn: 0003-486X)
Cassano, F.S.: Some topics of geometric measure theory in Carnot groups. In: Geometry, Analysis and Dynamics on Sub-Riemannian Manifolds, vol. 1. EMS Ser. Lect. Math. Eur. Math. Soc., Zürich, 2016, pp. 1–121
Vittone, D.: Lipschitz graphs and currents in Heisenberg groups. Forum Math. arXiv:2007.14286 (2020)
Acknowledgements
The first author is partially supported by the European Research Council (ERC Starting Grant 713998 GeoMeG ‘Geometry of Metric Groups’). The second author is supported by the Simons Foundation Wave Project, Grant 601941, GD. The authors wish tho express their gratitude to the anonymous referee for the careful reading of the paper.
Funding
Open access funding provided by Scuola Normale Superiore within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Antonelli, G., Merlo, A. On Rectifiable Measures in Carnot Groups: Existence of Density. J Geom Anal 32, 239 (2022). https://doi.org/10.1007/s12220-022-00971-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-00971-7
Keywords
- Carnot groups
- Rectifiability
- Rectifiable measure
- Density
- Intrinsic Lipschitz graph
- Intrinsic differentiable graph