On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion

DOI10.1016/J.JFA.2022.109495MaRDI QIDQ2127600zbMATH OpenOpenAlexFDO

Authors Gioacchino Antonelli, Andrea Merlo

Publication date 20 April 2022

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

Carnot groupsHeisenberg groupsPreiss's theoremrectifiability

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: In this paper we continue the study of the notion of $mathscrP$-rectifiability in Carnot groups. We say that a Radon measure is $mathscr{P}_h$-rectifiable, for $hinmathbbN$, if it has positive $h$-lower density and finite $h$-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. In this paper we prove a Marstrand--Mattila rectifiability criterion in arbitrary Carnot groups for $mathscrP$-rectifiable measures with tangent planes that admit a normal complementary subgroup. Namely, in this co-normal case, even if a priori the tangent planes at a point might not be the same at different scales, a posteriori the measure has a unique tangent almost everywhere. Since every horizontal subgroup of a Carnot group has a normal complement, our criterion applies in the particular case in which the tangents are one-dimensional horizontal subgroups. Hence, as an immediate consequence of our Marstrand--Mattila rectifiability criterion and a result of Chousionis--Magnani--Tyson, we obtain the one-dimensional Preiss's theorem in the first Heisenberg group $mathbb{H}^1$. More precisely, we show that a Radon measure $phi$ on $mathbb{H}^1$ with positive and finite one-density with respect to the Koranyi distance is absolutely continuous with respect to the one-dimensional Hausdorff measure $mathcal{H}^1$, and it is supported on a one-rectifiable set in the sense of Federer, i.e., it is supported on the countable union of the images of Lipschitz maps from $AsubseteqmathbbR$ to $mathbb{H}^1$.

Recommendations

• On rectifiable measures in Carnot groups: existence of density
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• Geometry of \(1\)-codimensional measures in Heisenberg groups
• On rectifiable measures in Carnot groups: representation
• Unrectifiability and rigidity in stratified groups

Cites work

• 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
• 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
• Geometry of \(1\)-codimensional measures in Heisenberg groups
• 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 2109357 (Why is no real title available?)
• scientific article; zbMATH DE number 1448982 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• Intrinsic Lipschitz graphs within Carnot groups
• Intrinsically Lipschitz functions with normal target in Carnot groups
• Marstrand's density theorem in the Heisenberg group
• Metric Lie groups admitting dilations
• On Besicovitch's ½-Problem
• On rectifiable measures in Carnot groups: representation
• On the structure of finite perimeter sets in step 2 Carnot groups
• On uniform measures in the Heisenberg group
• Pliability, or the Whitney extension theorem for curves in Carnot groups
• RECTIFIABILITY OF MEASURES WITH LOCALLY UNIFORM CUBE DENSITY
• Rectifiable sets, densities and tangent measures
• Sobolev Spaces on Metric Measure Spaces

Cited in

(12)

• Geometry of \(1\)-codimensional measures in Heisenberg groups
• On rectifiable measures in Carnot groups: existence of density
• Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces
• On rectifiable measures in Carnot groups: representation
• Measures with unique tangent measures in metric groups
• Parabolic rectifiability, tangent planes and tangent measures
• On sets with unit Hausdorff density in homogeneous groups
• Unextendable Intrinsic Lipschitz Curves:
• 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
• Carnot rectifiability and Alberti representations

This page was built for publication: On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion

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