On rectifiable measures in Carnot groups: existence of density (Q2157486)

The authors start a detailed study of a new notion of rectifiability in Carnot groups: they say that a Radon measure is \(\mathcal{P}_h\)-rectifiable, for \(h\in\mathbb{N},\) if it has positive \(h\)-lower density and finite \(h\)-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. First, they compare \(\mathcal{P}_h\)-rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups, and they prove that it is strictly weaker than those. Second, the authors prove several structure properties of Ph-rectifiable measures. Namely, they prove that the support of a \(\mathcal{P}_h\)-rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of \(\mathcal{P}_h\)-rectifiable measures with complemented tangents, they 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: the authors show that a \(\mathcal{P}_h\)-rectifiable measure has almost everywhere positive and finite \(h\)-density whenever the tangents admit at least one complementary subgroup.