Rectifiability and parameterization of intrinsic regular surfaces in the Heisenberg group

Kirchheim, Bernd; Serra Cassano, Francesco

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 5, Tome 3 (2004) no. 4, pp. 871-896.

We construct an intrinsic regular surface in the first Heisenberg group ${ℍ}^1\equiv {ℝ}^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 $\frac{1}{2}$-Hölder continuous parameterization.

Classification : 28A75, 28A78, 22E25

[1] L. Ambrosio - B. Kirchheim, Rectifiable sets in metric and Banach spaces, Math. Ann. 318 (2000), 527-555. | MR | Zbl

[2] L. Ambrosio - B. Kirchheim, Currents in metric spaces, Acta Math. 185 (2000), 1-80. | MR | Zbl

[3] L. Ambrosio - V. Magnani, Weak differentiability of $BV$ function on stratified groups, Math. Z. 245 (2003), 123-153. | MR | Zbl

[4] Z. Balogh, Size of characteristic sets and functions with prescribed gradient, J. Reine Angew. Math. 564 (2003), 63-84. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[11] T. Coulhon - L. Saloff-Coste, Isopérimétrie pour les groupes et les variétés, Rev. Mat. Iberoamericana 9 (1993), 293-314. | MR | Zbl

[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. | Numdam | MR | Zbl

[14] G. David - S. Semmes, “Fractured Fractals and Broken Dreams. Self-Similar Geometry through Metric and Measure”, Oxford University Press, 1997. | MR | Zbl

[15] G. David - T. Toro, Reifenberg flat metric spaces, snowballs, and embeddings, Math. Ann. 315 (1999), 641-710. | MR | Zbl

[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. | MR | Zbl

[17] E. De Giorgi, Nuovi teoremi relativi alle misure $(r-1)$-dimensionali in uno spazio ad $r$ dimensioni, Ricerche Mat. 4 (1955), 95-113. | MR | Zbl

[18] E. De Giorgi - F. Colombini - L. C. Piccinini, “Frontiere orientate di misura minima e questioni collegate”, Scuola Normale Superiore, Pisa, 1972. | MR | Zbl

[19] E. De Giorgi, Problema di Plateau generale e funzionali geodetici, Atti Sem. Mat. Fis. Univ. Modena 43 (1995), 285-292. | MR | Zbl

[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. | MR | Zbl

[23] B. Franchi - S. Gallot - R. L. Wheeden, Sobolev and isoperimetric inequalities for degenerate metrics, Math. Ann. 300 (1994), 557-571. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[26] B. Franchi - R. Serapioni - F. Serra Cassano, Rectifiability and perimeter in the Heisenberg group, Math. Ann. 321 (2001), 479-531. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[32] P. Hajłasz - P. Koskela, “Sobolev met Poincare”, Mem. AMS 145, 2000. | MR | Zbl

[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. | MR | Zbl

[34] B. Kirchheim, Rectifiable metric spaces: local structure and regularity of the Hausdorff measure, Proc. Amer. Math. Soc. 121 (1994), 113-123. | MR | Zbl

[35] B. Kirchheim - V. Magnani, A counterexample to the metric differentiability, Proc. Edinburgh Math. Soc. 46 (2003), 221-227. | MR | Zbl

[36] A. Korányi - H. M. Reimann, Foundation for the Theory of Quasiconformal Mappings on the Heisenberg Group, Adv. Math. 111 (1995), 1-87. | Zbl

[37] A. Lorent, Rectifiability of measures with locally uniform cube density, Proc. London Math. Soc. (3) 86 (2003), 153-249. | MR | Zbl

[38] V. Magnani, Differentiability and Area formula on stratified Lie groups, Houston J. Math. 27 (2001), 297-323. | MR | Zbl

[39] V. Magnani, Characteristic points, rectifiability and perimeter measure on stratified groups, Preprint (2003). | MR

[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. | MR | Zbl

[41] M. A. Martin - P. Mattila, On The Parametrization of Self-Similar And Other Fractal Sets, Trans. Amer. Math. Soc. 128 (2000), 2641-2648. | MR | Zbl

[42] P. Mattila, “Geometry of sets and measures in Euclidean spaces”, Cambridge U.P., 1995. | MR | Zbl

[43] J. Mitchell, On Carnot-Carathèodory metrics, J. Differential Geom. 21 (1985), 35-45. | MR | Zbl

[44] R. Monti - F. Serra Cassano, Surface measures in Carnot-Carathéodory spaces, Calc. Var. Partial Differential Equations 13 (2001), 339-376. | MR | Zbl

[45] A. Nagel - E. M. Stein - S. Wainger, Balls and metrics defined by vector fields I: Basic properties, Acta Math. 155 (1985), 103-147. | MR | Zbl

[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. | MR | Zbl

[47] P. Pansu, Une inégalité isopérimétrique sur le groupe de Heisenberg, C.R. Acad. Sci. Paris 295 I (1982), 127-130. | MR | Zbl

[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. | MR | Zbl

[50] D. Preiss - J. Tišer, On Besicovitch $1/2$-problem, J. London Math. Soc. 45 (1992), 279-287. | Zbl

[51] E. Reifenberg, Solution of the Plateau problem for m-dimensional surfaces of varying topological type, Acta Math. 104 (1960), 198-223. | MR | Zbl

[52] S. Semmes, Chord- arc surfaces with small constant I, Adv. Math. 85 (1991), 198-223. | MR | Zbl

[53] S. Semmes, Chord- arc surfaces with small constant II, Adv. Math. 88 (1991), 170-189. | MR | Zbl

[54] S. Semmes, On the non existence of bilipschitz parameterization and geometric problems about $A_{\infty }$ weights, Rev. Mat. Iberoamericana 12 (1996), 337-410. | Zbl

[55] S. Semmes, Good metric spaces without good parameterization, Rev. Mat. Iberoamericana 12 (1996), 187-275. | MR | Zbl

[56] L. Simon, “Lectures on Geometric Measure Theory”, Proc. Centre for Math. Anal., Australian Nat. Univ. 3, 1983. | MR | Zbl

[57] E. M. Stein, “Harmonic Analysis”, Princeton University Press, 1993. | MR | Zbl

[58] R. Strichartz, Self-similarity on nilpotent Lie groups, Contemp. Math. 140 (1992), 123-157. | MR | Zbl

[59] T. Toro, Geometric conditions and existence of bi-lipschitz parameterizations, Duke Math. J. 77 (1995), 193-227. | MR | Zbl

[60] N. Th. Varopoulos, Analysis on Lie Groups, J. Funct. Anal. 76 (1988), 346-410. | MR | Zbl

[61] N. Th. Varopoulos - L. Saloff-Coste - T. Coulhon, “Analysis and Geometry on Groups”, Cambridge University Press, Cambridge, 1992. | MR | Zbl

[62] S. K. Vodop'Yanov, $𝒫$-differentiability on Carnot groups in different topologies and related topics, Proc. on Analysis and Geometry, 603-670, Sobolev Institute Press, Novosibirsk, 2000. | MR | Zbl