Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups (Q2386784)

The authors give a definition of intrinsic regular hypersurfaces in general Carnot groups. The paper is intended as a generalization of the results contained in [\textit{B. Franchi, R. Serapioni} and \textit{F. Serra Cassano}, J. Geom. Anal. 13, No. 3, 421--466 (2003; Zbl 1064.49033)], even though the proof of De Giorgi's rectifiability results for sets of finite perimeter is far from being fully settled. The notion of regular hypersurface is given as the zero set of intrinsic regular functions; the main result of the paper is an intrinsic version of the implicit function theorem. Using this theorem, the authors show that regular surfaces are locally boundaries of sets of intrinsic finite perimeter and that every point is a point of essential boundary. Using this fact, a comparison result is given between the perimeter measure and other surface measures, showing in particular that a regular surface has always intrinsic Hausdorff dimension equal to \((Q-1)\), where \(Q\) is the homogeneous dimension of the Carnot group. Moreover, the topological dimension is proved to be \((n-1)\), where \(n\) is the topological dimension of the group, even though the Euclidean Hausdorff dimension can as well be strictly greater than \(n-1\).