Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces

DOI10.1016/J.NA.2020.111983MaRDI QIDQ2201737zbMATH OpenOpenAlexWikidataFDO

Authors Gioacchino Antonelli, Enrico Le Donne

Publication date 17 September 2020

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3674497 (Why is no real title available?)
• scientific article; zbMATH DE number 953395 (Why is no real title available?)
• scientific article; zbMATH DE number 953396 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• A course in metric geometry
• A notion of rectifiability modeled on 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
• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Characteristic points, rectifiability and perimeter measure on stratified groups
• Control of nonholonomic systems: from sub-Riemannian geometry to motion planning
• Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademacher theorem
• Differentiability and area formula on stratified Lie groups
• Differentiability of intrinsic Lipschitz functions within Heisenberg groups
• Hausdorff volume in non equiregular sub-Riemannian manifolds
• IMPLICIT FUNCTION THEOREM IN CARNOT–CARATHÉODORY SPACES
• Intrinsic Lipschitz graphs in Heisenberg groups
• Intrinsic Lipschitz graphs within Carnot groups
• Intrinsic regular hypersurfaces in Heisenberg groups
• Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs
• Metric spaces with unique tangents
• On Carnot-Caratheodory metrics
• On some sub-Riemannian objects in hypersurfaces of sub-Riemannian manifolds
• On the structure of finite perimeter sets in step 2 Carnot groups
• Optimal Transport
• Rank-one theorem and subgraphs of BV functions in Carnot groups
• Rectifiability and perimeter in the Heisenberg group
• Rectifiable sets in metric and Banach spaces
• Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups
• Regular submanifolds, graphs and area formula in Heisenberg groups
• Size of characteristic sets and functions with prescribed gradient
• Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group
• Some remarks about parametrizations of intrinsic regular surfaces in the Heisenberg group
• Stratified Lie Groups and Potential Theory for their Sub-Laplacians
• Towards differential calculus in stratified groups
• Ultrarigid tangents of sub-Riemannian nilpotent groups
• Unrectifiability and rigidity in stratified groups
• \(C^1\) hypersurfaces of the Heisenberg group are \(N\)-rectifiable

Cited in

(12)

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

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)