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∞-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 H12. As a consequence, we show that any Lipschitz map defined on a subset of a Carnot group of Hausdorff dimension 12, with values in S, has negligible image with respect to the Hausdorff measure H12. In particular, we deduce that S 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 : U → S satisfies H12(f(U)) = 0. Finally, we prove that such an example does not exist in Heisenberg groups: we prove that all C∞-hypersurfaces in Hn with n ≥ 2 are countably Hn−1 ×R-rectifiable according to Pauls’ definition, even with bi-Lipschitz maps.

Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces

Antonelli, Gioacchino;Le Donne, Enrico
2020

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∞-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 H12. As a consequence, we show that any Lipschitz map defined on a subset of a Carnot group of Hausdorff dimension 12, with values in S, has negligible image with respect to the Hausdorff measure H12. In particular, we deduce that S 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 : U → S satisfies H12(f(U)) = 0. Finally, we prove that such an example does not exist in Heisenberg groups: we prove that all C∞-hypersurfaces in Hn with n ≥ 2 are countably Hn−1 ×R-rectifiable according to Pauls’ definition, even with bi-Lipschitz maps.
2020
Settore MATH-03/A - Analisi matematica
Carnot groups; Codimension-one rectifiability; Intrinsic C; 1; submanifolds; Intrinsic Lipschitz graph; Intrinsic rectifiable set; Smooth hypersurface;
   Geometry of subRiemannian groups: regularity of finite-perimeter sets, geodesics, spheres, and isometries with applications and generalizations to biLipschitz homogeneous spaces.
   Research Council of Finland
   288501

   Geometry of Metric groups
   GeoMeG
   European Commission
   Horizon 2020 Framework Programme
   713998
File in questo prodotto:
File Dimensione Formato  
Antonelli, Le Donne - Nonlinear Analysis.pdf

accesso aperto

Tipologia: Published version
Licenza: Creative Commons
Dimensione 1.16 MB
Formato Adobe PDF
1.16 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/146783
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex 16
social impact