×

Rectifiability and parameterization of intrinsic regular surfaces in the Heisenberg group. (English) Zbl 1170.28300

Summary: We construct an intrinsic regular surface in the first Heisenberg group \(\mathbb{H}^1\equiv\mathbb{R}^3\) equipped wiht its Carnot-Carathéodory metric which has Euclidean Hausdorff dimension 2.5. Moreover we prove that each intrinsic regular surface in this setting is a 2-dimensional topological manifold admitting a \(\tfrac 12\)-Hölder continuous parameterization.

MSC:

28A75 Length, area, volume, other geometric measure theory
28A78 Hausdorff and packing measures
22E25 Nilpotent and solvable Lie groups

References:

[1] L. Ambrosio - B. Kirchheim, Rectifiable sets in metric and Banach spaces, Math. Ann. 318 (2000), 527-555. Zbl0966.28002 MR1800768 · Zbl 0966.28002 · doi:10.1007/s002080000122
[2] L. Ambrosio - B. Kirchheim, Currents in metric spaces, Acta Math. 185 (2000), 1-80. Zbl0984.49025 MR1794185 · Zbl 0984.49025 · doi:10.1007/BF02392711
[3] L. Ambrosio - V. Magnani, Weak differentiability of \(BV\) function on stratified groups, Math. Z. 245 (2003), 123-153. Zbl1048.49030 MR2023957 · Zbl 1048.49030 · doi:10.1007/s00209-003-0530-2
[4] Z. Balogh, Size of characteristic sets and functions with prescribed gradient, J. Reine Angew. Math. 564 (2003), 63-84. Zbl1051.53024 MR2021034 · Zbl 1051.53024 · doi:10.1515/crll.2003.094
[5] Z. Balogh - M. Rickly - F. Serra Cassano, Comparison of Hausdorff measures with respect to the Euclidean and the Heisenberg metric, Publ. Mat. 47 (2003), 237-259. Zbl1060.28002 MR1970902 · Zbl 1060.28002 · doi:10.5565/PUBLMAT_47103_11
[6] Z. Balogh - H. Hofer-Isenegger - J. T. Tyson, Lifts of Lipischitz maps and horizontal fractals in the Heisenberg group, Preprint (2003).
[7] A. Bellaïche, “The tangent space in subriemannian geometry”, In: “Subriemannian Geometry”, Progress in Mathematics 144, A. Bellaiche - J. Risler (eds.), Birkhauser Verlag, Basel, 1996. Zbl0862.53031 MR1421822 · Zbl 0862.53031
[8] G. Bellettini - M. Paolini - S. Venturini, Some results in surface measure in Calculus of Variations, Ann. Mat. Pura Appl. (4) 170 (1996), 329-357. Zbl0890.49020 MR1441625 · Zbl 0890.49020 · doi:10.1007/BF01758994
[9] M. Biroli - U. Mosco, Sobolev and isoperimetric inequalities for Dirichlet forms on homogeneous spaces, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 6 (1995), 37-44. Zbl0837.31006 MR1340280 · Zbl 0837.31006
[10] L. Capogna - D. Danielli - N. Garofalo, The geometric Sobolev embedding for vector fields and the isoperimetric inequality, Comm. Anal. Geom. 12 (1994), 203-215. Zbl0864.46018 MR1312686 · Zbl 0864.46018
[11] T. Coulhon - L. Saloff-Coste, Isopérimétrie pour les groupes et les variétés, Rev. Mat. Iberoamericana 9 (1993), 293-314. Zbl0782.53066 MR1232845 · Zbl 0782.53066 · doi:10.4171/RMI/138
[12] M. Chlebík, Hausdorff lower \(s\)-densities and rectifiability of sets in \(n\)-space, Preprint.
[13] D. Danielli - N. Garofalo - D. M. Nhieu, Traces inequalities for Carnot-Carathèodory spaces and applications, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 27 (1998), 195-252. Zbl0938.46036 MR1664688 · Zbl 0938.46036
[14] G. David - S. Semmes, “Fractured Fractals and Broken Dreams. Self-Similar Geometry through Metric and Measure”, Oxford University Press, 1997. Zbl0887.54001 MR1616732 · Zbl 0887.54001
[15] G. David - T. Toro, Reifenberg flat metric spaces, snowballs, and embeddings, Math. Ann. 315 (1999), 641-710. Zbl0944.53004 MR1731465 · Zbl 0944.53004 · doi:10.1007/s002080050332
[16] E. De Giorgi, Su una teoria generale della misura \((r-1)\)-dimensionale in uno spazio ad \(r\) dimensioni, Ann.Mat.Pura Appl. (4) 36 (1954), 191-213. Zbl0055.28504 MR62214 · Zbl 0055.28504 · doi:10.1007/BF02412838
[17] E. De Giorgi, Nuovi teoremi relativi alle misure \((r-1)\)-dimensionali in uno spazio ad \(r\) dimensioni, Ricerche Mat. 4 (1955), 95-113. Zbl0066.29903 MR74499 · Zbl 0066.29903
[18] E. De Giorgi - F. Colombini - L. C. Piccinini, “Frontiere orientate di misura minima e questioni collegate”, Scuola Normale Superiore, Pisa, 1972. Zbl0296.49031 MR493669 · Zbl 0296.49031
[19] E. De Giorgi, Problema di Plateau generale e funzionali geodetici, Atti Sem. Mat. Fis. Univ. Modena 43 (1995), 285-292. Zbl0862.49028 MR1366062 · Zbl 0862.49028
[20] E. De Giorgi, Un progetto di teoria unitaria delle correnti, forme differenziali, varietà ambientate in spazi metrici, funzioni a variazione limitata, Manuscript, (1995).
[21] E. De Giorgi, Un progetto di teoria delle correnti, forme differenziali e varietà non orientate in spazi metrici, In: “Variational Methods, Non Linear Analysys and Differential Equations in Honour of J. P. Cecconi”, (Genova 1993), M. Chicco et al. (eds.), ECIG, Genova, 67-71.
[22] H. Federer, “Geometric Measure Theory”, Springer, 1969. Zbl0176.00801 MR257325 · Zbl 0176.00801
[23] B. Franchi - S. Gallot - R. L. Wheeden, Sobolev and isoperimetric inequalities for degenerate metrics, Math. Ann. 300 (1994), 557-571. Zbl0830.46027 MR1314734 · Zbl 0830.46027 · doi:10.1007/BF01450501
[24] B. Franchi - R. Serapioni - F. Serra Cassano, Meyers-Serrin Type Theorems and Relaxation of Variational Integrals Depending Vector Fields, Houston J. Math. 22 (1996), 859-889. Zbl0876.49014 MR1437714 · Zbl 0876.49014
[25] B. Franchi - R. Serapioni - F. Serra Cassano, Sur les ensembles des périmètre fini dans le groupe de Heisenberg, C.R. Acad. Sci. Paris Ser. I Math. 329 (1999), 183-188. Zbl1033.49045 MR1711057 · Zbl 1033.49045 · doi:10.1016/S0764-4442(00)88590-0
[26] B. Franchi - R. Serapioni - F. Serra Cassano, Rectifiability and perimeter in the Heisenberg group, Math. Ann. 321 (2001), 479-531. Zbl1057.49032 MR1871966 · Zbl 1057.49032 · doi:10.1007/s002080100228
[27] B. Franchi - R. Serapioni - F. Serra Cassano, Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups, Comm. Anal. Geom. 11 (2003) 909-944. Zbl1077.22008 MR2032504 · Zbl 1077.22008 · doi:10.4310/CAG.2003.v11.n5.a4
[28] B. Franchi - R. Serapioni - F. Serra Cassano, Rectifiability and perimeter in step 2 groups, Proceedings of Equadiff10, 2001, Math. Bohem. 127 (2002), 219-228. Zbl1018.49029 MR1981527 · Zbl 1018.49029
[29] B. Franchi - R. Serapioni - F. Serra Cassano, On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal. 13 (2003), 421-466. Zbl1064.49033 MR1984849 · Zbl 1064.49033 · doi:10.1007/BF02922053
[30] N. Garofalo - D. M. Nhieu, Isoperimetric and Sobolev inequalities for Carnot-Carathéodory spaces and the existence of minimal surfaces, Comm. Pure Appl. Math. 49 (1996), 1081-1144. Zbl0880.35032 MR1404326 · Zbl 0880.35032 · doi:10.1002/(SICI)1097-0312(199610)49:10<1081::AID-CPA3>3.0.CO;2-A
[31] M. Gromov, “Carnot-Carathéodory spaces seen from within”, In: “Subriemannian Geometry”, Progress in Mathematics 144, A. Bellaiche and J. Risler (eds.), Birkhauser Verlag, Basel, 1996. Zbl0864.53025 MR1421823 · Zbl 0864.53025
[32] P. Hajłasz - P. Koskela, “Sobolev met Poincare”, Mem. AMS 145, 2000. Zbl0954.46022 MR1683160 · Zbl 0954.46022
[33] J. Heinonen - P. Koskela - N. Shanmuganlingam - J. Tyson, Sobolev classes of Banach space-valued functions and quasiconformal mappings, J. Anal. Math. 85 (2001), 87-139. Zbl1013.46023 MR1869604 · Zbl 1013.46023 · doi:10.1007/BF02788076
[34] B. Kirchheim, Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Amer. Math. Soc. 121 (1994), 113-123. Zbl0806.28004 MR1189747 · Zbl 0806.28004 · doi:10.2307/2160371
[35] B. Kirchheim - V. Magnani, A counterexample to the metric differentiability, Proc. Edinburgh Math. Soc. 46 (2003), 221-227. Zbl1059.26007 MR1961822 · Zbl 1059.26007 · doi:10.1017/S0013091501000578
[36] A. Korányi - H. M. Reimann, Foundation for the Theory of Quasiconformal Mappings on the Heisenberg Group, Adv. Math. 111 (1995), 1-87. Zbl0876.30019 · Zbl 0876.30019 · doi:10.1006/aima.1995.1017
[37] A. Lorent, Rectifiability of measures with locally uniform cube density, Proc. London Math. Soc. (3) 86 (2003), 153-249. Zbl1042.28002 MR1971467 · Zbl 1042.28002 · doi:10.1112/S0024611502013710
[38] V. Magnani, Differentiability and Area formula on stratified Lie groups, Houston J. Math. 27 (2001), 297-323. Zbl0983.22009 MR1874099 · Zbl 0983.22009
[39] V. Magnani, Characteristic points, rectifiability and perimeter measure on stratified groups, Preprint (2003). MR2262196 · Zbl 1107.22004
[40] M. A. Martin - P. Mattila, Hausorff measures, Hölder continuous maps and self-similar fractals, Math. Proc. Cambridge Philos. Soc. 114 (1993), 37-42. Zbl0783.28005 MR1219912 · Zbl 0783.28005 · doi:10.1017/S0305004100071383
[41] M. A. Martin - P. Mattila, On The Parametrization of Self-Similar And Other Fractal Sets, Trans. Amer. Math. Soc. 128 (2000), 2641-2648. Zbl0951.28005 MR1664402 · Zbl 0951.28005 · doi:10.1090/S0002-9939-00-05354-5
[42] P. Mattila, “Geometry of sets and measures in Euclidean spaces”, Cambridge U.P., 1995. Zbl0819.28004 MR1333890 · Zbl 0819.28004
[43] J. Mitchell, On Carnot-Carathèodory metrics, J. Differential Geom. 21 (1985), 35-45. Zbl0554.53023 MR806700 · Zbl 0554.53023
[44] R. Monti - F. Serra Cassano, Surface measures in Carnot-Carathéodory spaces, Calc. Var. Partial Differential Equations 13 (2001), 339-376. Zbl1032.49045 MR1865002 · Zbl 1032.49045 · doi:10.1007/s005260000076
[45] A. Nagel - E. M. Stein - S. Wainger, Balls and metrics defined by vector fields I: Basic properties, Acta Math. 155 (1985), 103-147. Zbl0578.32044 MR793239 · Zbl 0578.32044 · doi:10.1007/BF02392539
[46] P. Pansu, Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un, Ann. of Math. 129 (1989), 1-60. Zbl0678.53042 MR979599 · Zbl 0678.53042 · doi:10.2307/1971484
[47] P. Pansu, Une inégalité isopérimétrique sur le groupe de Heisenberg, C.R. Acad. Sci. Paris 295 I (1982), 127-130. Zbl0502.53039 MR676380 · Zbl 0502.53039
[48] P. Pansu, Geometrie du Group d’Heisenberg, These pour le titre de Docteur 3ème cycle, Universite Paris VII, (1982).
[49] S. D. Pauls, A notion of rectifiability modelled on Carnot groups, Indiana Univ. Math. J. 53 (2004), 49-81. Zbl1076.49025 MR2048183 · Zbl 1076.49025 · doi:10.1512/iumj.2004.53.2293
[50] D. Preiss - J. Tišer, On Besicovitch \(1/2\)-problem, J. London Math. Soc. 45 (1992), 279-287. Zbl0762.28003 · Zbl 0762.28003 · doi:10.1112/jlms/s2-45.2.279
[51] E. Reifenberg, Solution of the Plateau problem for m-dimensional surfaces of varying topological type, Acta Math. 104 (1960), 198-223. Zbl0099.08503 MR114145 · Zbl 0099.08503 · doi:10.1007/BF02547186
[52] S. Semmes, Chord- arc surfaces with small constant I, Adv. Math. 85 (1991), 198-223. Zbl0733.42015 MR1093006 · Zbl 0733.42015 · doi:10.1016/0001-8708(91)90056-D
[53] S. Semmes, Chord- arc surfaces with small constant II, Adv. Math. 88 (1991), 170-189. Zbl0733.42016 MR1120612 · Zbl 0733.42016 · doi:10.1016/0001-8708(91)90007-T
[54] S. Semmes, On the non existence of bilipschitz parameterization and geometric problems about \(A_\infty \) weights, Rev. Mat. Iberoamericana 12 (1996), 337-410. Zbl0858.46017 · Zbl 0858.46017 · doi:10.4171/RMI/201
[55] S. Semmes, Good metric spaces without good parameterization, Rev. Mat. Iberoamericana 12 (1996), 187-275. Zbl0854.57018 MR1387590 · Zbl 0854.57018 · doi:10.4171/RMI/198
[56] L. Simon, “Lectures on Geometric Measure Theory”, Proc. Centre for Math. Anal., Australian Nat. Univ. 3, 1983. Zbl0546.49019 MR756417 · Zbl 0546.49019
[57] E. M. Stein, “Harmonic Analysis”, Princeton University Press, 1993. Zbl0821.42001 MR1232192 · Zbl 0821.42001
[58] R. Strichartz, Self-similarity on nilpotent Lie groups, Contemp. Math. 140 (1992), 123-157. Zbl0797.43004 MR1197594 · Zbl 0797.43004
[59] T. Toro, Geometric conditions and existence of bi-lipschitz parameterizations, Duke Math. J. 77 (1995), 193-227. Zbl0847.42011 MR1317632 · Zbl 0847.42011 · doi:10.1215/S0012-7094-95-07708-4
[60] N. Th. Varopoulos, Analysis on Lie Groups, J. Funct. Anal. 76 (1988), 346-410. Zbl0634.22008 MR924464 · Zbl 0634.22008 · doi:10.1016/0022-1236(88)90041-9
[61] N. Th. Varopoulos - L. Saloff-Coste - T. Coulhon, “Analysis and Geometry on Groups”, Cambridge University Press, Cambridge, 1992. Zbl1179.22009 MR1218884 · Zbl 1179.22009
[62] S. K. Vodop’yanov, \({\mathcal{P}}\)-differentiability on Carnot groups in different topologies and related topics, Proc. on Analysis and Geometry, 603-670, Sobolev Institute Press, Novosibirsk, 2000. Zbl0992.58005 MR1847541 · Zbl 0992.58005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.