Abstract:We consider the nilpotent left-invariant sub-Riemannian structure on the Engel group. This structure gives a fundamental local approximation of a generic rank 2 sub-Riemannian structure on a 4-manifold near a generic point (in particular, of the kinematic models of a car with a trailer). On the other hand, this is the simplest sub-Riemannian structure of step three. We describe the global structure of the cut locus (the set of points where geodesics lose their global optimality), the Maxwell set (the set of points that admit more than one minimizer), and the intersection of the cut locus with the caustic (the set of conjugate points along all geodesics). The group of symmetries of the cut locus is described: it is generated by a one-parameter group of dilations $\mathbb{R}_+$ and a discrete group of reflections $\mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$. The cut locus admits a stratification with 6 three-dimensional strata, 12 two-dimensional strata, and 2 one-dimensional strata. Three-dimen-sional strata of the cut locus are Maxwell strata of multiplicity 2 (for each point there are 2 minimizers). Two-dimensional strata of the cut locus consist of conjugate points. Finally, one-dimensional strata are Maxwell strata of infinite multiplicity, they consist of conjugate points as well. Projections of sub-Riemannian geodesics to the 2-dimensional plane of the distribution are Euler elasticae. For each point of the cut locus, we describe the Euler elasticae corresponding to minimizers coming to this point. Finally, we describe the structure of the optimal synthesis, i.e., the set of minimizers for each terminal point in the Engel group.

Sub-Riemannian cut time and cut locus in Reiter–Heisenberg groups

SubRiemannian cut time and cut locus in Reiter-Heisenberg groups

On K-P sub-Riemannian Problems and their Cut Locus

Sub-Riemannian geometry on some step-two Carnot groups

Sub-Riemannian optimal synthesis for Carnot groups with the structure of a path geometry

Recent Results on the Moduli Spaces of Riemann Surfaces

The sphere and the cut locus at a tangency point in two-dimensional almost-Riemannian geometry

Sub-Riemannian geodesics on the free Carnot group with the growth vector (2,3,5,8)

Riemannian and sub-Riemannian structures on a cotangent bundle of Heisenberg group

Sub-Riemannian geodesics on the Heisenberg 3D nil-manifold

Sub-Riemannian Geometry of Curves and Surfaces in Roto-Translation Group Associated with Canonical Connection

Maxwell Strata and Cut Locus in Sub-Riemannian Problem on Engel group

Stepanov Differentiability Theorem for intrinsic graphs in Heisenberg groups

Insight in the Rumin Cohomology and Orientability Properties of the Heisenberg Group

On non-normal subvarieties of the moduli space of Riemann surfaces

The curvature exponent of sub-Finsler Heisenberg groups

Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

Curvature, Hodge-Dirac operators and Riesz transforms

Moduli of Sub-Laplacians on the second Heisenberg group

Geodesics and shortest arcs of some sub-Riemannian metrics on the Lie groups $SU(1,1)\times\mathbb{R}$ and $SO_0(2,1)\times\mathbb{R}$ with three-dimensional generating distributions