Area of intrinsic graphs and coarea formula in Carnot groups (Q2137854)

The authors consider submanifolds of sub-Riemannian Carnot groups with intrinsic \(C^1\) regularity \((C^1_H )\). The first main result in the present paper is an area formula for \(C^1_H\) intrinsic graphs; as an application, the authors deduce density properties for Hausdorff measures on rectifiable sets. The second main result is a coarea formula for slicing \(C^1_H\) submanifolds into level sets of a \(C^1_H\) function