A rectifiability result for finite-perimeter sets in Carnot groups

DOI10.1512/IUMJ.2022.71.9028MaRDI QIDQ5050704zbMATH OpenOpenAlexFDO

Authors Sebastiano Don, Enrico Le Donne, Terhi Moisala, Davide Vittone

Publication date 17 November 2022

Published in Indiana University Mathematics Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.00493

zbMATH Keywords

abnormal directionsCarnot groupsfiliform groupsintrinsic Lipschitz graphsouter cone propertyrectifiabilitysemigroups of horizontal normalsets of finite perimeter

Mathematics Subject Classification ID

Nilpotent and solvable Lie groups (22E25) Length, area, volume, other geometric measure theory (28A75) Geometric measure and integration theory, integral and normal currents in optimization (49Q15) Sub-Riemannian geometry (53C17)

Abstract: 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. Namely, we consider subsets $Gamma$ that, similarly to intrinsic Lipschitz graphs, have a cone property: there exists an open dilation-invariant subset $C$ whose translations by elements in $Gamma$ don't intersect $Gamma$. 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 type.

Recommendations

• Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane
• On rectifiable measures in Carnot groups: representation
• A notion of rectifiability modeled on Carnot groups
• Tangent halfspaces to sets of finite perimeter in Carnot groups
• On the structure of finite perimeter sets in step 2 Carnot groups

Cites work

• A comprehensive introduction to sub-Riemannian geometry. From the Hamiltonian viewpoint. With an appendix by Igor Zelenko
• A primer on Carnot groups: homogenous groups, Carnot-Carathéodory spaces, and regularity of their isometries
• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Cohomologie des algèbres de Lie nilpotentes. Application à l'étude de la variété des algèbres de Lie nilpotentes
• Currents in metric spaces
• Differential geometry, Lie groups, and symmetric spaces.
• Fine properties of functions with bounded variation in Carnot-Carathéodory spaces
• Hardy Spaces on Homogeneous Groups. (MN-28), Volume 28
• Hausdorff m Regular and Rectifiable Sets in n-Space
• scientific article; zbMATH DE number 1448982 (Why is no real title available?)
• Intrinsic Lipschitz graphs within Carnot groups
• Lipschitz surfaces, perimeter and trace theorems for BV functions in Carnot-Carathéodory spaces
• Measure theory and fine properties of functions
• Nuovi teoremi relativi alle misure (r - 1)-dimensionali in uno spazio ad r dimensioni
• On the structure of finite perimeter sets in step 2 Carnot groups
• On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds
• Pliability, or the Whitney extension theorem for curves in Carnot groups
• Rank-one theorem and subgraphs of BV functions in Carnot groups
• Rectifiability and perimeter in the Heisenberg group
• Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane
• Rectifiable sets in metric and Banach spaces
• Regularity of sets with constant horizontal normal in the Engel group
• Sard property for the endpoint map on some Carnot groups
• Sets of finite perimeter and geometric variational problems. An introduction to geometric measure theory
• Sets with constant normal in Carnot groups: properties and examples
• Su una teoria generale della misura \((r-1)\)-dimensionale in uno spazio ad \(r\) dimensioni
• Ultrarigid tangents of sub-Riemannian nilpotent groups

Cited in

(15)

• On the structure of finite perimeter sets in step 2 Carnot groups
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane
• Rectifiability of the reduced boundary for sets of finite perimeter over \(\operatorname{RCD} ( K , N )\) spaces
• Tangent halfspaces to sets of finite perimeter in Carnot groups
• Regularity of sets with constant horizontal normal in the Engel group
• A notion of rectifiability modeled on Carnot groups
• Rectifiability and perimeter in the Heisenberg group
• Unextendable Intrinsic Lipschitz Curves:
• Distributional solutions of Burgers' type equations for intrinsic graphs in Carnot groups of step 2
• Surface measure on, and the local geometry of, sub-Riemannian manifolds
• Monotone sets and local minimizers for the perimeter in Carnot groups
• Symmetry results for the area formula in homogeneous groups
• Carnot rectifiability and Alberti representations
• Locality of the perimeter in Carnot groups and chain rule

This page was built for publication: A rectifiability result for finite-perimeter sets in Carnot groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5050704)