Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces

DOI10.1016/J.NA.2020.111983zbMATH Open1448.53042arXiv1910.12812OpenAlexW3028492440WikidataQ109520600 ScholiaQ109520600MaRDI QIDQ2201737FDOQ2201737

Enrico Le Donne, Gioacchino Antonelli

Publication date: 17 September 2020

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Abstract: This paper is related to the problem of finding a good notion of rectifiability in sub-Riemannian geometry. In particular, we study which kind of results can be expected for smooth hypersurfaces in Carnot groups. Our main contribution will be a consequence of the following result: there exists a $C^{infty}$ hypersurface $S$ without characteristic points that has uncountably many pairwise non-isomorphic tangent groups on every positive-measure subset. The example is found in a Carnot group of topological dimension 8, it has Hausdorff dimension 12 and so we use on it the Hausdorff measure $mathcal{H}^{12}$. As a consequence, we show that for every Carnot group of Hausdorff dimension 12, any Lipschitz map defined on a subset of it with values in $S$ has $mathcal{H}^{12}$-null image. In particular, we deduce that this smooth hypersurface cannot be Lipschitz parametrizable by countably many maps each defined on some subset of some Carnot group of Hausdorff dimension $12$. As main consequence we have that a notion of rectifiability proposed by S.Pauls is not equivalent to one proposed by B.Franchi, R.Serapioni and F.Serra Cassano, at least for arbitrary Carnot groups. In addition, we show that, given a subset $U$ of a homogeneous subgroup of Hausdorff dimension $12$ of a Carnot group, every bi-Lipschitz map $f:UoS$ satisfies $mathcal{H}^{12}(f(U))=0$. Finally, we prove that such an example does not exist in Heisenberg groups: we prove that all $C^{infty}$-hypersurfaces in $mathbb{H}^n$ with $ngeq2$ are countably $mathbb{H}^{n-1}imesmathbbR$-rectifiabile according to Pauls' definition, even with bi-Lipschitz maps.

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

Recommendations

• Carnot rectifiability of sub-Riemannian manifolds with constant tangent
• \(C^1\) hypersurfaces of the Heisenberg group are \(N\)-rectifiable
• Marstrand-Mattila rectifiability criterion for 1-codimensional measures in Carnot groups
• A rectifiability result for finite-perimeter sets in Carnot groups
• On rectifiable measures in Carnot groups: representation
• On rectifiable measures in Carnot groups: existence of density
• A notion of rectifiability modeled on Carnot groups
• Metric Rectifiability of ℍ-regular Surfaces with Hölder Continuous Horizontal Normal
• BiLipschitz decomposition of Lipschitz maps between Carnot groups
• On rectifiable measures in Carnot groups: Marstrand-Mattila rectifiability criterion

zbMATH Keywords

Carnot groupsHausdorff dimensionsmooth hypersurfaceintrinsic Lipschitz graphintrinsic rectifiable setcodimension-one rectifiabilityintrinsic \(C^1\) submanifolds

Mathematics Subject Classification ID

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

Cites Work

• Optimal Transport
• A course in metric geometry
• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Carnot-Caratheodory metrics
• On the structure of finite perimeter sets in step 2 Carnot groups
• Rectifiable sets in metric and Banach spaces
• Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups
• Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group
• Metric spaces with unique tangents
• IMPLICIT FUNCTION THEOREM IN CARNOT–CARATHÉODORY SPACES
• Stratified Lie Groups and Potential Theory for their Sub-Laplacians
• Title not available (Why is that?)
• Rectifiability and perimeter in the Heisenberg group
• Intrinsic regular hypersurfaces in Heisenberg groups
• Characteristic points, rectifiability and perimeter measure on stratified groups
• Regular submanifolds, graphs and area formula in Heisenberg groups
• Differentiability of intrinsic Lipschitz functions within Heisenberg groups
• Size of characteristic sets and functions with prescribed gradient
• Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning
• Differentiability and area formula on stratified Lie groups
• A notion of rectifiability modeled on Carnot groups
• Unrectifiability and rigidity in stratified groups
• Intrinsic Lipschitz graphs within Carnot groups
• Towards differential calculus in stratified groups
• Intrinsic Lipschitz graphs in Heisenberg groups
• Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem
• Ultrarigid tangents of sub-Riemannian nilpotent groups
• Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs
• Some remarks about parametrizations of intrinsic regular surfaces in the Heisenberg group
• Hausdorff volume in non equiregular sub-Riemannian manifolds
• \(C^1\) hypersurfaces of the Heisenberg group are \(N\)-rectifiable
• Rank-one theorem and subgraphs of BV functions in Carnot groups
• A primer on Carnot groups: homogenous groups, Carnot-Carathéodory spaces, and regularity of their isometries
• Boundedness of singular integrals on \(C^{1,{\alpha}}\) intrinsic graphs in the Heisenberg group
• On some sub-Riemannian objects in hypersurfaces of sub-Riemannian manifolds

Cited In (11)

• Exceptional families of measures on Carnot groups
• On rectifiable measures in Carnot groups: representation
• Lipschitz graphs and currents in Heisenberg groups
• Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
• Distributional solutions of Burgers' type equations for intrinsic graphs in Carnot groups of step 2
• A notion of rectifiability modeled on Carnot groups
• \(C^{1,\alpha}\)-rectifiability in low codimension in Heisenberg groups
• Sub-elliptic boundary value problems in flag domains
• Carnot rectifiability of sub-Riemannian manifolds with constant tangent
• Characterizations of \(k\)-rectifiability in homogeneous groups
• \(C^1\) hypersurfaces of the Heisenberg group are \(N\)-rectifiable

This page was built for publication: Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces

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