Abstract
The notion of curvature discussed in this paper is a far-going generalization of the Riemannian sectional curvature. It was first introduced by Agrachev et al. ([2015]), and it is defined for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler, and sub-Finsler structures. In this work, we study the generalized sectional curvature of Carnot groups with rank-two distributions. In particular, we consider the Cartan group and Carnot groups with horizontal distribution of Goursat-type. In these Carnot groups, we characterize ample and equiregular geodesics. For Carnot groups with horizontal Goursat distribution, we show that their generalized sectional curvatures depend only on the Engel part of the distribution. This family of Carnot groups contains naturally the three-dimensional Heisenberg group, as well as the Engel group. Moreover, we also show that in the Engel and Cartan groups, there exist initial covectors for which there is an infinite discrete set of times at which the corresponding ample geodesics are not equiregular.
Similar content being viewed by others
References
Agrachev A, Barilari D, Boscain U. 2016. Introduction to Riemannian and sub-Riemannian geometry (from Hamiltonian viewpoint), available at http://www.math.jussieu.fr/~barilari/notes.phpl.
Agrachev A, Barilari D, Rizzi L. 2015. The curvature: a variational approach. To appear in Memoirs of the AMS.
Agrachev A, Barilari D, Rizzi L. Sub-Riemannian curvature in contact geometry. J Geom Anal. 2016:1–43.
Agrachev A, Gamkrelidze RV. Feedback-invariant optimal control theory and differential geometry. I. Regular extremals. J Dyn Control Syst. 1997;3:343–89.
Agrachev A, Lee P. Generalized Ricci curvature bounds for three dimensional contact sub-Riemannian manifolds. Math Ann. 2014;1–2:209–53, 360.
Agrachev A, Lee P. Bishop and Laplacian comparison theorems on three-dimensional contact sub-Riemannian manifolds with symmetry. J Geom Anal. 2015;1:512–35, 25.
Agrachev A, Zelenko I. Geometry of Jacobi curves. I. J Dyn Control Syst. 2002; 1:93–140, 8.
Anzaldo-Meneses A, Monroy-Pérez F. Goursat distribution and sub-Riemannian structures. J Math Phys. 2003;6101–11:44.
Ardentov AA, Sachkov Yu L. Extremal trajectories in a nilpotent sub-Riemannian problem on the Engel group. Sbornik: Mathematics 2011;11:202.
Barilari D, Rizzi L. 2015. Comparison theorems for conjugate points in sub-Riemannian geometry. ESAIM: COCV. doi:10.1051/cocv/2015013.
Barilari D, Rizzi L. 2015. On Jacobi fields and canonical connection in sub-Riemannian geometry. ArXiv e-prints.
Baudoin F, Bonnefont M. Curvature-dimension estimates for the Laplace-Beltrami operator of a totally geodesic foliation. Nonlinear Anal. 2015;126:159–69.
Baudoin F, Bonnefont M, Garofalo N. A sub-Riemannian curvature-dimension inequality, volume doubling property and the Poincaré inequality. Math Ann. 2014;3–4: 833–60.
Baudoin F, Bonnefont M, Garofalo N, Munive I. Volume and distance comparison theorems for sub-Riemannian manifolds. J Funct Anal. 2014;267(7):2005–27.
Baudoin F, Garofalo N. Curvature-dimension inequalities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries. To appear in Journal of the EMS.
Baudoin F, Garofalo N. A note on boundedness of Riesz transform for some subelliptic operators. Int Math Res Not. 2013;2:398–421.
Baudoin F, Kim B. 2014. The Lichnerowicz-Obata theorem on sub-Riemannian manifolds with transverse symmetries. To appear in J Geom Anal.
Baudoin F, Sobolev BK. Poincaré and isoperimetric inequalities for subelliptic diffusion operators satisfying a generalized curvature dimension inequality. Revista Matematica Iberoamericana 2014;30:109–31.
Baudoin F, Kim B, Wang J. 2016. Transverse Weitzenböck formulas and curvature dimension inequalities on Riemannian foliations with totally geodesic leaves. To appear in Comm Anal Geom.
Baudoin F, Wang J. Curvature dimension inequalities and subelliptic heat kernel gradient bounds on contact manifolds. Potential Anal 2014;40:163–93.
Coron J-M. Control and nonlinearity, mathematical surveys and monographs, vol. 136. Providence, RI: American Mathematical Society; 2007. MR 2302744 (2008d:93001.
Fliess M, Lévine J, Martin P, Rouchon P. Flatness and defect of nonlinear systems: introductory theory and examples. Int J Control 1995;61:1327–61.
Fliess M, Lévine J., Martin P, Rouchon P. Flatness and motion planning: the car with n trailers. Proceedings of the European control conference. The Netherlands: Groningen; 1993. p. 1518–1522.
Goursat E. Lecons sur le probleme de Pfaff. Paris: Hermann; 1923.
Jakubzcyk B. Invariants of dynamic feedback and free systems. Proceedings of the European control conference. The Netherlands: Groningen; 1993. p. 1510–1513.
Jean F. The car with n trailers: characterization of the singular configurations. ESAIM: COCV 1996;1:241–66.
John B, Sastry S, Sussmann H, (eds). 1998. Essays on mathematical robotics, volume 104 of The IMA Volumes in Mathematics and its Applications. New York: Springer.
Boltyanskii VG, Gamkrelidze R V, Pontryagin RVGLS. The mathematical theory of optimal processes. Translated from the Russian by K N Trirogoff. In: Neustadt L W, editors. New York-London: Interscience Publishers John Wiley & Sons Inc.; 1962.
Laumond J -P. Controllability of a multibody mobile robot. IEEE Trans Robot Autom. 1993;9(6):755–63.
Laumond J-P. Robot motion planning and control. Lecture notes on control and information sciences. Berlin: Springer-Verlag; 1997.
Li X, Canny J, (eds). 1993. Nonholonomic motion planning, volume 192 of The Springer international series in engineering and computer science. US: Springer.
Loeper G. On the regularity of solutions of optimal transportation problems. Acta Math 2009;202(2):241–83.
Montgomery R. A tour of sub-Riemannian geometries, their geodesics and applications, volume 91 of mathematical surveys and monographs. Providence: American Mathematical Society; 2002.
Rizzi L. Measure contraction properties of Carnot groups. Calc Var. 2016;55:60.
Sachkov YL. An exponential mapping in the generalized Dido problem. Mat Sb 2003;194(9):63–90.
Samson C. Control of chain systems: application to path following and time-varying point stabilization of mobile robots. IEEE Trans Autom Control. 1995;40:64–77.
Sordalen O. 1993. Conversion of the kinematics of a car with n trailers into a chained form. In: Proc. of the IEEE conference on robotics and automation. Atlanta; p. 382–387.
Teel A, Murray R, Walsh G. Nonholonomic control systems: from steering to stabilization with sinusoids. Int J Control. 1995;62:849–70.
Tilbury D, Murray R, Sastry S. Trajectory generation for the n-trailer problem using Goursat normal form. IEEE Trans Automat Control 1995:802–19.
Whittaker E, Watson G. A course on modern analysis. New York: Cambridge Univ. Press; 1962.
Zelenko I, Li C. Differential geometry of curves in Lagrange Grassmannians with given Young diagram. Diff Geom Appl. 2009;27(6):723–42.
Acknowledgments
The author wishes to thank Andrei Agrachev, Davide Barilari, and Luca Rizzi for their constant interest and the many helpful conversations on sub-Riemannian geometry, especially on their paper [2]. The author also would like to thank the anonymous reviewers for their constructive comments, which helped to improve the contents of the paper, especially the content of Theorem 4.1. This work was done while the author was visiting the International School for Advanced Studies (SISSA) at Trieste, Italy.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Munive, I.H. Sub-Riemannian Curvature of Carnot Groups with Rank-Two Distributions. J Dyn Control Syst 23, 779–814 (2017). https://doi.org/10.1007/s10883-017-9365-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10883-017-9365-8