Abstract
A subset of a Carnot group is said to be precisely monotone if the restriction of its characteristic function to each integral curve of every left-invariant horizontal vector field is monotone. Equivalently, a precisely monotone set is a h-convex set with h-convex complement. Such sets have been introduced and classified in the Heisenberg setting by Cheeger and Kleiner in the 2010’s. In the present paper, we study precisely monotone sets in the wider setting of step-2 Carnot groups, equivalently step-2 Carnot algebras. In addition to general properties, we prove a classification in terms of sublevel sets of h-affine functions in step-2 rank-3 Carnot algebras that can be seen as a generalization of the one obtained by Cheeger and Kleiner in the Heisenberg setting. There is however a significant difference here as it is known that, unlike the Heisenberg setting, there are sublevel sets of h-affine functions on the free step-2 rank-3 Carnot algebra that are not half-spaces.
Similar content being viewed by others
References
Ambrosio, L., Kleiner, B., Le Donne, E.: Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane. J. Geom. Anal. 19(3), 509–540 (2009)
Antonelli, G., Le Donne, E.: Polynomial and horizontally polynomial functions on Lie groups. Ann. Mat. Pura Appl. (4) 201(5), 2063–2100 (2022)
Arena, G., Caruso, A.O., Monti, R.: Regularity properties of \(H\)-convex sets. J. Geom. Anal. 22(2), 583–602 (2012)
Bellettini, C., Le Donne, E.: Sets with constant normal in Carnot groups: properties and examples. Comment. Math. Helv. 96(1), 149–198 (2021)
Calogero, A., Pini, R.: On the \(\mathbb{H}\)-cone-functions for H-convex sets. J. Convex Anal. 26(3), 967–989 (2019)
Serra Cassano, F.: Some Topics of Geometric Measure Theory in Carnot Groups, Geometry, Analysis and Dynamics on Sub-Riemannian Manifolds. Vol. 1, EMS Ser. Lect. Math., Eur. Math. Soc., Zürich, pp. 1–121 (2016)
Cheeger, J., Kleiner, B.: Metric differentiation, monotonicity and maps to \(L^1\). Invent. Math. 182(2), 335–370 (2010)
Cheeger, J., Kleiner, B., Naor, A.: Compression bounds for Lipschitz maps from the Heisenberg group to \(L_1\). Acta Math. 207(2), 291–373 (2011)
Fässler, K., Orponen, T., Rigot, S.: Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group. Trans. Am. Math. Soc. 373(8), 5957–5996 (2020)
Franchi, B., Serapioni, R.: Intrinsic Lipschitz graphs within Carnot groups. J. Geom. Anal. 26(3), 1946–1994 (2016)
Franchi, B., Serapioni, R., Cassano, F.S.: Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321(3), 479–531 (2001)
Franchi, B., Serapioni, R., Cassano, F.S.: On the structure of finite perimeter sets in step 2 Carnot groups. J. Geom. Anal. 13(3), 421–466 (2003)
Le Donne, E., Morbidelli, D., Rigot, S.: Horizontally affine functions on step-2 Carnot algebras (2020). https://arxiv.org/abs/2004.08129
Marchi, M.: Regularity of sets with constant intrinsic normal in a class of Carnot groups. Ann. Inst. Fourier (Grenoble) 64(2), 429–455 (2014)
Montanari, A., Morbidelli, D.: Multiexponential maps in Carnot groups with applications to convexity and differentiability. Ann. Mat. Pura Appl. (4) 200(1), 253–272 (2021)
Montefalcone, F.: Some relations among volume, intrinsic perimeter and one-dimensional restrictions of BV functions in Carnot groups. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 4(1), 79–128 (2005)
Morbidelli, D.: On the inner cone property for convex sets in two-step Carnot groups, with applications to monotone sets. Publ. Mat. 64(2), 391–421 (2020)
Naor, A., Young, R.: Vertical perimeter versus horizontal perimeter. Ann. Math. (2) 188(1), 171–279 (2018)
Naor, A., Young, R.: Foliated corona decompositions. Acta Math. 229(1), 55–200 (2022)
Rickly, M.: On questions of existence and regularity related to notions of convexity in Carnot groups (2005). PhD Thesis, University of Bern
Rickly, M.: First-order regularity of convex functions on Carnot groups. J. Geom. Anal. 16(4), 679–702 (2006)
Varopoulos, N.T., Saloff-Coste, L., Coulhon, T.: Analysis and Geometry on Groups, Cambridge Tracts in Mathematics, vol. 100. Cambridge University Press, Cambridge (1992)
Young, R.: Area-minimizing ruled graphs and the Bernstein problem in the Heisenberg group. Calc. Var. Partial Differ. Equ. 61(4), 32 (2022)
Acknowledgements
The authors are grateful to E. Le Donne for several useful discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Morbidelli, D., Rigot, S. Precisely monotone sets in step-2 rank-3 Carnot algebras. Math. Z. 303, 54 (2023). https://doi.org/10.1007/s00209-023-03217-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03217-6