On the inner cone property for convex sets in two-step Carnot groups, with applications to monotone sets. (English) Zbl 07236048

Summary: In the setting of two-step Carnot groups we show a “cone property” for horizontally convex sets. Namely, we prove that, given a horizontally convex set \(C\), a pair of points \(P \in \partial C\) and \(Q \in \operatorname{int} (C)\), both belonging to a horizontal line \(\ell\), then an open truncated subRiemannian cone around \(\ell\) and with vertex at \(P\) is contained in \(C\).
We apply our result to the problem of classification of horizontally monotone sets in Carnot groups. We are able to show that monotone sets in the direct product \(\mathbb{H}\times\mathbb{R}\) of the Heisenberg group with the real line have hyperplanes as boundaries.


53C17 Sub-Riemannian geometry
52A01 Axiomatic and generalized convexity
Full Text: DOI arXiv Euclid


[1] L. Ambrosio, F. Serra Cassano, and D. Vittone, Intrinsic regular hypersurfaces in Heisenberg groups,J. Geom. Anal.16(2)(2006), 187-232. DOI: 10.1007/BF02922114. · Zbl 1085.49045
[2] G. Arena, A. O. Caruso, and R. Monti, Regularity properties ofH-convex sets,J. Geom. Anal.22(2)(2012), 583-602.DOI: 10.1007/s12220-010-9203-7. · Zbl 1262.32014
[3] G. Arena and R. Serapioni, Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs,Calc. Var. Partial Differential Equations35(4) (2009), 517-536.DOI: 10.1007/s00526-008-0218-x. · Zbl 1225.53031
[4] C. Bellettini and E. Le Donne, Regularity of sets with constant horizontal normal in the Engel group,Comm. Anal. Geom.21(3)(2013), 469-507.DOI: 10. 4310/CAG.2013.v21.n3.a1. · Zbl 1281.53037
[5] A. Calogero, G. Carcano, and R. Pini, Twisted convex hulls in the Heisenberg group,J. Convex Anal.14(3)(2007), 607-619. · Zbl 1149.53018
[6] A. Calogero and R. Pini, On theH-cone-functions forH-convex sets,J. Convex Anal.26(3)(2019), 967-989. · Zbl 1435.26006
[7] J. Cheeger and B. Kleiner, Metric differentiation, monotonicity and maps toL1,Invent. Math.182(2)(2010), 335-370.DOI: 10.1007/s00222-010-0264-9. · Zbl 1214.46013
[8] J. Cheeger, B. Kleiner, and A. Naor, Compression bounds for Lipschitz maps from the Heisenberg group toL1,Acta Math.207(2)(2011), 291-373. DOI: 10.1007/s11511-012-0071-9. · Zbl 1247.46020
[9] D. Danielli, N. Garofalo, and D.-M. Nhieu, Notions of convexity in Carnot groups,Comm. Anal. Geom.11(2)(2003), 263-341.DOI: 10.4310/CAG.2003. v11.n2.a5. · Zbl 1077.22007
[10] K. F¨assler, T. Orponen, and S. Rigot, Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group, Preprint (2018).arXiv:1803.04819.
[11] B. Franchi and R. P. Serapioni, Intrinsic Lipschitz graphs within Carnot groups,J. Geom. Anal.26(3)(2016), 1946-1994.DOI: 10.1007/s12220-0159615-5. · Zbl 1352.22008
[12] B. Franchi, R. Serapioni, and F. Serra Cassano, Rectifiability and perimeter in the Heisenberg group,Math. Ann.321(3)(2001), 479-531.DOI: 10.1007/ s002080100228. · Zbl 1057.49032
[13] B. Franchi, R. Serapioni, and F. Serra Cassano, On the structure of finite perimeter sets in step 2 Carnot groups,J. Geom. Anal.13(3)(2003), Article 421. DOI: 10.1007/BF02922053. · Zbl 1064.49033
[14] G. Lu, J. J. Manfredi, and B. Stroffolini, Convex functions on the Heisenberg group,Calc. Var. Partial Differential Equations19(1)(2003), 1-22. DOI: 10.1007/s00526-003-0190-4. · Zbl 1072.49019
[15] A. Montanari and D. Morbidelli, On the lack of semiconcavity of the subRiemannian distance in a class of Carnot groups,J. Math. Anal. Appl.444(2) (2016), 1652-1674.DOI: 10.1016/j.jmaa.2016.07.032. · Zbl 1345.53036
[16] R. Monti and M. Rickly, Geodetically convex sets in the Heisenberg group,J. Convex Anal.12(1)(2005), 187-196. · Zbl 1077.53030
[17] A. Nagel, E. M. Stein, and S. Wainger, Balls and metrics defined by vector fields. I: Basic properties,Acta Math.155(1-2)(1985), 103-147.DOI: 10.1007/ BF02392539. · Zbl 0578.32044
[18] A. Naor and R. Young, Vertical perimeter versus horizontal perimeter,Ann. of Math. (2)188(1)(2018), 171-279.DOI: 10.4007/annals.2018.188.1.4. · Zbl 1397.46020
[19] M.
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.