On Rectifiable Measures in Carnot Groups: Existence of Density

In this paper, we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $$ -rectifiable, for $$ , 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 $$ -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 $$ -rectifiable measures. Namely, we prove that the support of a $$ -rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of $$ -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 $$ -rectifiable measure has almost everywhere positive and finite h-density whenever the tangents admit at least one complementary subgroup.