A Rectifiability Result for Finite-Perimeter Sets in Carnot Groups

In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by Franchi, Serapioni, and Serra Cassano. Specifically, we consider subsets Γ that, in a way similar to intrinsic Lipschitz graphs, have a cone property: there exists an open dilation-invariant subset C whose translations by elements in Γ do not intersect Γ . However, a priori the cone C may not have any horizontal directions in its interior. In every Carnot group, we prove that the reduced boundary of every finite-perimeter subset can be covered by countably many subsets that have such a cone property. The cones are related to the semigroups generated by the horizontal half-spaces determined by the normal directions. We further study the case when one can find horizontal directions in the interior of the cones, in which case we infer that finite-perimeter subsets are countably rectifiable with respect to intrinsic Lipschitz graphs. A sufficient condition for this to hold is the existence of a horizontal one-parameter subgroup that is not an abnormal curve. As an application, we verify that this property holds in every filiform group, of either first or second kind.