On rectifiable measures in Carnot groups: representation

DOI10.1007/S00526-021-02112-4MaRDI QIDQ2667170zbMATH OpenOpenAlexWikidataFDO

Authors Gioacchino Antonelli, Andrea Merlo

Publication date 24 November 2021

Published in Calculus of Variations and Partial Differential Equations (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Carnot groupsLipschitz graphsrectifiabilitytangent measures

Mathematics Subject Classification ID

Nilpotent and solvable Lie groups (22E25) Lipschitz (Hölder) classes (26A16) 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: This paper deals with the theory of rectifiability in arbitrary Carnot groups, and in particular with the study of the notion of $mathscrP$-rectifiable measure. First, we show that in arbitrary Carnot groups the natural extit{infinitesimal} definition of rectifiabile measure, i.e., the definition given in terms of the existence of extit{flat} tangent measures, is equivalent to the global definition given in terms of coverings with intrinsically differentiable graphs, i.e., graphs with extit{flat} Hausdorff tangents. In general we do not have the latter equivalence if we ask the covering to be made of intrinsically Lipschitz graphs. Second, we show a geometric area formula for the centered Hausdorff measure restricted to intrinsically differentiable graphs in arbitrary Carnot groups. The latter formula extends and strengthens other area formulae obtained in the literature in the context of Carnot groups. As an application, our analysis allows us to prove the intrinsic $C^1$-rectifiability of almost all the preimages of a large class of Lipschitz functions between Carnot groups. In particular, from the latter result, we obtain that any geodesic sphere in a Carnot group equipped with an arbitrary left-invariant homogeneous distance is intrinsic $C^1$-rectifiable.

Review text

This paper deals with the theory of rectifiability in arbitrary Carnot groups, and in particular with the study of the notion of \(\mathcal{P}\)-rectifiable measure. First, the authors show that in arbitrary Carnot groups the natural \textit{infinitesimal} definition of rectifiabile measure, i.e., the definition given in terms of the existence of flat tangent measures, is equivalent to the global definition given in terms of coverings with intrinsically differentiable graphs, i.e., graphs with flat Hausdorff tangents. In general the authors do not have the latter equivalence if one asks the covering to be made of intrinsically Lipschitz graphs. Second, the authors show a geometric area formula for the centered Hausdorff measure restricted to intrinsically differentiable graphs in arbitrary Carnot groups. The latter formula extends and strengthens other area formulae obtained in the literature in the context of Carnot groups. As an application, the analysis allows one to prove the intrinsic \(C^1\)-rectifiability of almost all the preimages of a large class of Lipschitz functions between Carnot groups. In particular, from the latter result, the authors obtain that any geodesic sphere in a Carnot group equipped with an arbitrary left-invariant homogeneous distance is intrinsic \(C^1\)-rectifiable.

Recommendations

• On rectifiable measures in Carnot groups: existence of density
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion
• A notion of rectifiability modeled on Carnot groups
• Area of intrinsic graphs and coarea formula in Carnot groups

Cites work

• C^1 hypersurfaces of the Heisenberg group are N-rectifiable
• A notion of rectifiability modeled on Carnot groups
• A primer on Carnot groups: homogenous groups, Carnot-Carathéodory spaces, and regularity of their isometries
• An intrinsic measure for submanifolds in stratified groups
• Area formula for centered Hausdorff measures in metric spaces
• Centered densities and fractal measures
• Characterizations of intrinsic rectifiability in Heisenberg groups
• Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem
• Differentiability of intrinsic Lipschitz functions within Heisenberg groups
• Fine properties of functions with bounded variation in Carnot-Carathéodory spaces
• Geometry of measures in \(R^ n:\) Distribution, rectifiability, and densities
• scientific article; zbMATH DE number 739280 (Why is no real title available?)
• scientific article; zbMATH DE number 2062443 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• Intrinsic Lipschitz graphs in Heisenberg groups
• Intrinsic Lipschitz graphs within Carnot groups
• Intrinsic regular surfaces of low codimension in Heisenberg groups
• Intrinsically Lipschitz functions with normal target in Carnot groups
• Lipschitz surfaces, perimeter and trace theorems for BV functions in Carnot-Carathéodory spaces
• Metric Lie groups admitting dilations
• On the rate of convergence to the asymptotic cone for nilpotent groups and subFinsler geometry
• On the structure of finite perimeter sets in step 2 Carnot groups
• On transversal submanifolds and their measure
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• Rectifiability and perimeter in the Heisenberg group
• Rectifiable sets, densities and tangent measures
• Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups
• Regular submanifolds, graphs and area formula in Heisenberg groups
• Regularity properties of spheres in homogeneous groups
• Semigenerated Carnot algebras and applications to sub-Riemannian perimeter
• Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group
• Sobolev Spaces on Metric Measure Spaces
• Some remarks about parametrizations of intrinsic regular surfaces in the Heisenberg group
• Towards a theory of area in homogeneous groups
• Towards differential calculus in stratified groups

Cited in

(22)

• A new class of \((\mathcal H^k, 1)\)-rectifiable subsets of metric spaces
• Extensions and corona decompositions of low-dimensional intrinsic Lipschitz graphs in Heisenberg groups
• On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion
• A reverse coarea-type inequality in Carnot groups
• On rectifiable measures in Carnot groups: existence of density
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups
• C^1 hypersurfaces of the Heisenberg group are N-rectifiable
• A notion of rectifiability modeled on Carnot groups
• scientific article; zbMATH DE number 2109357 (Why is no real title available?)
• On Carleson measures induced by Beltrami coefficients being compatible with Fuchsian groups
• A rectifiability result for finite-perimeter sets in Carnot groups
• Parabolic rectifiability, tangent planes and tangent measures
• Some topics of geometric measure theory in Carnot groups
• On sets with unit Hausdorff density in homogeneous groups
• Unextendable Intrinsic Lipschitz Curves:
• Area formula for regular submanifolds of low codimension in Heisenberg groups
• Exceptional families of measures on Carnot groups
• Marstrand-Mattila rectifiability criterion for 1-codimensional measures in Carnot groups
• Identifying 1-rectifiable measures in Carnot groups
• On the converse of Pansu's theorem
• Carnot rectifiability and Alberti representations

This page was built for publication: On rectifiable measures in Carnot groups: representation

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