Abstract
Let k be a positive integer and let m be the dimension of the horizontal subspace of a stratified group. Under the condition k ≤ m, we show that all submanifolds of codimension k are generically non-horizontal. For these submanifolds, we prove an area-type formula that allows us to compute their Q − k dimensional spherical Hausdorff measure. Finally, we observe that a.e. level set of a sufficiently regular vector-valued mapping on a stratified group is a non-horizontal submanifold. This allows us to establish a sub-Riemannian coarea formula for vector-valued Riemannian Lipschitz mappings on stratified groups.
Similar content being viewed by others
References
L. Ambrosio, B. Kleiner and E. Le Donne, Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane, 2008, preprint.
N. Arcozzi and D. Morbidelli, Stability of isometric maps in the Heisenberg group, Comment. Math. Helv. 83 (2008), 101–141.
Z. M. Balogh, J. T. Tyson and B. Warhurst, Sub-Riemannian vs Euclidean dimension comparison and fractal geometry on Carnot groups, 2007, preprint.
Z. M. Balogh, R. Hoefer-Isenegger and J. T. Tyson, Lifts of Lipschitz maps and horizontal fractals in the Heisenberg group, Ergodic Theory Dynam. Systems 26 (2006), 621–651.
V. Barone Adesi, F. Serra Cassano and D. Vittone, The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations, Calc. Var. Partial Differential Equations 30 (2007), 17–49.
A. Bellaïche and J. J. Risler eds, Sub-Riemannian Geometry, Birkhäuser Verlag, Basel, 1996.
Y. D. Burago and V. A. Zalgaller, Geometric Inequalities, Springer, Berlin, 1988.
L. Capogna and N. Garofalo, Ahlfors type estimates for perimeter measures in Carnot-Carathéodory spaces, J. Geom. Anal. 16 (2006), 455–497.
L. Capogna, D. Danielli and N. Garofalo, The geometric Sobolev embedding for vector fields and the isoperimetric inequality, Comm. Anal. Geom. 2 (1994), 203–215.
D. Danielli, N. Garofalo, D. M. Nhieu, Sub-Riemannian calculus on hypersurfaces in Carnot groups, Adv. Math. 215 (2007), 292–378.
D. Danielli, N. Garofalo and D. M. Nhieu, A notable family of entire intrinsic minimal graphs in the Heisenberg group which are not perimeter minimizing, Amer. J. Math 130 (2008), 317–339.
D. Danielli, N. Garofalo, D. M. Nhieu and S. D. Pauls Instability of graphical strips and a positive answer to the Bernstein problem in the Heisenberg group ℍ 1, J. Differential Geom., to appear.
H. Federer, Geometric Measure Theory, Springer-Verlag New York Inc., New York, 1969.
G. B. Folland and E. M. Stein, Hardy Spaces on Homogeneous Groups, Princeton University Press, Princeton, N.J., 1982.
B. Franchi, R. Serapioni and F. Serra Cassano, Rectifiability and Perimeter in the Heisenberg group, Math. Ann. 321 (2001), 479–531.
B. Franchi, S. Gallot and R. L. Wheeden, Sobolev and isoperimetric inequalities for degenerate metrics, Math. Ann. 300 (1994), 557–571.
B. Franchi, R. Serapioni and F. Serra Cassano, Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups, Comm. Anal. Geom. 11 (2003), 909–944.
B. Franchi, R. Serapioni and F. Serra Cassano, On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal. 13 (2003), 421–466.
B. Franchi, R. Serapioni and F. Serra Cassano, Regular submanifolds, graphs and area formula in Heisenberg groups, Adv. Math. 211 (2007), 152–203.
M. Gromov, Carnot-Carathéodory spaces seen from within, in Subriemannian Geometry, Birkhäuser, Basel, 1996, pp. 79–323.
P. Hajlasz and P. Koskela, Sobolev met Poincaré, Mem. Amer. Math. Soc. 145 (2000).
J. Heinonen, Calculus on Carnot groups, Ber. Univ. Jyväskylä Math. Inst. 68 (1995), 1–31.
B. Kirchheimand F. Serra Cassano, Rectifiability and parametrization of intrinsic regular surfaces in the Heisenberg group, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 3 (2004), 871–896.
I. Kupka, Géométrie sous-riemannienne, Séminaire Bourbaki, Vol. 1995/96, Astérisque 241 (1997), Exp. No. 817, 5, 351–380.
V. Magnani, On a general coarea inequality and applications, Ann. Acad. Sci. Fenn. Math. 27 (2002), 121–140.
V. Magnani, A blow-up theorem for regular hypersurfaces on nilpotent groups, Manuscripta Math. 110 (2003), 55–76.
V. Magnani, Note on coarea formulae in the Heisenberg group, Publ. Mat. 48 (2004), 409–422.
V. Magnani, The coarea formula for real-valued Lipschitz maps on stratified groups, Math. Nachr. 278 (2005), 1–17.
V. Magnani, Characteristic points, rectifiability and perimeter measure on stratified groups, J. Eur. Math. Soc. 8 (2006), 585–609.
V. Magnani, Blow-up of regular submanifolds in Heisenberg groups and applications, Cent. Eur. J. Math. 4 (2006), 82–109.
V. Magnani, Blow-up estimates at horizontal points and applications, in preparation.
V. Magnani, Towards differential calculus in stratified groups, arXiv: math.DG/0701322v2, (2007).
V. Magnani and D. Vittone, An intrinsic measure for submanifolds in stratified groups, J. Reine Angew. Math. 619 (2008), 203–232.
P. Mattila, Measures with unique tangent measures in metric groups, Math. Scand. 97 (2005), 298–308.
R. Monti and M. Rickly, Convex isoperimetric sets in the Heisenberg group, 2006, preprint.
R. Monti and D. Morbidelli, Regular domains in homogeneous groups, Trans. Amer. Math. Soc. 357 (2005), 2975–3011.
V. S. Varadarajan, Lie Groups, Lie Algebras and Their Representation, Springer-Verlag, New York, 1984.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Magnani, V. Non-horizontal submanifolds and coarea formula. J Anal Math 106, 95–127 (2008). https://doi.org/10.1007/s11854-008-0045-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-008-0045-1