Abstract
We consider the left-invariant sub-Riemannian and Riemannian structures on the Heisenberg groups. A classification of these structures was found previously. In the present paper, we find (for each normalized structure) the isometry group, the exponential map, the totally geodesic subgroups, and the conjugate locus. Finally, we determine the minimizing geodesics from identity to any given endpoint. (Several of these points have been covered, to varying degrees, by other authors.)
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Over the last two decades, invariant sub-Riemannian structures on Lie groups have received quite some attention, both from the point of view of classifying such structures (see, e.g., [1, 8]; also [27, 56]) as well as the investigation of geodesics, conjugate loci, and cut loci (see, e.g., [10, 11, 18, 19, 44, 46–48, 54, 55]). Invariant Riemannian structures, on the other hand, have been studied for several decades. In particular, such structures (especially on nilpotent Lie groups) have proved to be a rich source of examples and counterexamples for a number of questions and conjectures in Riemannian geometry (see, e.g., [23–25, 29, 30, 34, 35, 37–41, 45, 61–63]).
Sub-Riemannian (and Riemannian) structures on nilpotent Lie groups (and particularly Carnot groups) are arguably the simplest and serve as prototypes; amongst the most basic of these structures are the ones on the Heisenberg groups. Sub-Riemannian structures on the Heisenberg group H 2n+1 have been studied by quite a number of authors; we give only a partial overview here. Vershik and Gershkovich [58, 59] studied the three-dimensional case in the 1980s; in particular, they described the sub-Riemannian geodesics and wave front. (The three-dimensional case was also treated as a fundamental example in [13].) Around the year 2000, Beals, Gaveau, and Greiner [12] (see also the monograph [21] and the references therein) worked out in detail the subelliptic geometry of the Heisenberg groups and related it to complex Hamiltonian mechanics. In particular, they describe the minimizing geodesics for a class of sub-Riemannian structures on H 2n+1 (which it turns out covers all sub-Riemannian structures on H 2n+1, up to isometry). Around the same time, Monroy-Pérez and Anzaldo-Meneses [47] considered a class of optimal control problems on H 2n+1 (which again it turns out covers all sub-Riemannian structures on H 2n+1, up to isometry). In particular, they computed the sub-Riemannian exponential map and determined the conjugate locus. Monti [50] studied some properties of Carnot-Carathéodory balls in the Heisenberg group and in particular described the geodesics, but it turns out only for the maximally symmetric case (i.e., when the isometry group is maximal). A couple of years later, Ambrosio and Rigot [9] considered optimal mass transportation in the Heisenberg group; toward that end, they described the minimizing geodesics, but it turns out only for the maximally symmetric case. Meanwhile, Tan and Yang [57] explicitly described the minimizing sub-Riemannian geodesics for Heisenberg type groups, as well as describing the isometry groups; however, this again covers only the case of maximal symmetry on the Heisenberg group. More recently, Agrachev, Barilari and Boscain [3] investigated some properties of the Hausdorff volume in sub-Riemannian geometry. In particular, they investigated geodesics of a class of contact sub-Riemannian structures on nilpotent Lie groups (it turns out that these structures are, up to isometry, exactly the sub-Riemannian structures on H 2n+1); it is shown that geodesics are optimal up to the first conjugate point (and so the cut and conjugate loci coincide).
Riemannian structures on the Heisenberg group have received comparatively less attention. Nonetheless, more general classes of Riemannian structures on nilpotent Lie groups have been considered by quite a few authors; we mention a few relevant papers (mostly from the 1990s). Eberlein [24, 25] (see also [26]) investigated the geometry of invariant Riemannian structures on two-step nilpotent Lie groups; in particular, geodesics are explicitly described and the totally geodesic submanifolds are characterized. Walschap [61] showed that the cut and conjugate loci coincide for a large class of invariant Riemannian structures on two-step nilpotent Lie groups; this class includes the invariant Riemannian structures on H 2n+1. For the maximally symmetric Riemannian structure on H 2n+1, a derivation of the geodesics, using the Levi-Civita connection, can be found in [42]. We note that for Riemannian structures on the Heisenberg groups, only the maximally symmetric case is a Heisenberg type group. (Heisenberg type groups, introduced by Kaplan [34], are a special subclass of two-step nilpotent Lie groups endowed with an invariant Riemannian metric.) The geometry of Heisenberg type groups is fairly well understood (see, e.g., the monograph [14] and references therein).
In this paper, we revisit the invariant sub-Riemannian and Riemannian structures on H 2n+1. With regard to geodesics, we follow the approach given by geometric control theory [2, 6, 33]. That is, the sub-Riemannian geodesic problem is regarded as an invariant optimal control problem and the Pontryagin Maximum Principle is used to obtain first-order necessary conditions for minimizing geodesics. Furthermore, we shall regard a Riemannian structure simply as a special case of a sub-Riemannian structure; in the words of Agrachev and Gamkrelidze [5] “Even in the classical case of Riemannian geometry, the maximum principle approach to finding geodesics leads to a final result much simpler and shorter than the traditional method of using the Levi-Civita connection.”
Section 2 contains the preliminaries (with regard to invariant sub-Riemannian structures on Lie groups and the Pontryagin Maximum Principle).
In a previous paper [16], we classified the sub-Riemannian and Riemannian structures on H 2n+1; we restate this classification in Section 3.1. (Recently, there has also appeared a classification of Riemannian and Lorentzian metrics on H 2n+1 in [60].) In Section 3.2, the Riemannian and sub-Riemannian structures on the H 2n+1 are shown to be (compatible) central extensions of the Euclidean space \(\mathbb {E}^{2n}\) (in the sense explored in [15]); in particular, this implies that the sub-Riemannian geodesics are (in a sense) simply projections of the Riemannian geodesics. For each normalized sub-Riemannian and Riemannian structure, we determine the isometry group (Section 3.3). As each isometry preserving the identity is an automorphism of H 2n+1, this problem is essentially one of determining the subgroup of automorphisms of the Lie algebra preserving the metric at identity. In the maximally symmetric sub-Riemannian (resp. Riemannian) case, the isometry group was previously found in [57] (resp. [34, 42, 57]); our result is a simple extension of those results. (We note, however, that there is a small mistake in the description of the isometry group given in [42].) It was noticed in [57] that the isometry groups for the (maximally symmetric) sub-Riemannian and Riemannian structures coincide; this result turns out to hold generally on H 2n+1 (when the Riemannian structure tames the sub-Riemannian one). In Section 3.4, the (sub-Riemannian) exponential map is calculated.
In Section 4, we investigate the totally geodesic subgroups of the normalized sub-Riemannian and Riemannian structures exhibited in Section 3.1. (We say that a closed subgroup N is totally geodesic if any geodesic tangent to N remains on N.) A simple characterization for a subgroup to be totally geodesic is given in terms of invariant subspaces of the associated Hamilton–Poisson system on the corresponding Lie–Poisson space. Not many authors appear to have considered totally geodesic submanifolds of sub-Riemannian structures; we note, however, that in [7], some sufficient conditions for a submanifold to be totally geodesic were given (although their definition of a totally geodesic submanifold differs from ours). In Section 4.2, we specialize Eberlein’s [25] characterization of totally geodesic subgroups of Riemannian structures on two-step nilpotent Lie groups to the Heisenberg group. It is shown that the sub-Riemannian case is closely related to the Riemannian case. The totally geodesic subgroups are enumerated (up to isometry) in both the Riemannian and sub-Riemannian cases. We say that a totally geodesic subgroup is representative, if all geodesics of the ambient structure can be recovered via isometries from the geodesics of the restricted structure (along with some other regularity conditions). In Section 4.3, we identify a representative totally geodesic subgroup of minimal dimension for each normalized structure. In particular, the maximally symmetric structures on H 2n+1 turn out to have three-dimensional representative totally geodesic subgroups.
In Section 5, we investigate the minimizing geodesics (of the normalized structures exhibited in Section 3.1). First, in Section 5.1, we calculate the first conjugate time and consequently the conjugate locus (of identity). In [47], it was concluded that the conjugate locus (for the sub-Riemannian structures) is simply the center of the group. We show, however, that is only true in the case of maximal symmetry. Nonetheless, our result concerning the first conjugate time agrees with that in [47]. Even though our calculations agree with and are very similar to those presented in [47] (see also [3]), details are given for the sake of clarity and completeness. In Section 5.2, we proceed to describe the minimizing geodesics from identity to any given endpoint. We make use of the fact that no geodesic is minimizing beyond the first conjugate time; this yields a subset of geodesics to consider when searching for the minimizer. We show that there exists either only one such geodesic from identity to the endpoint or a family of such geodesics, all of the same length. Consequently, we find that the conjugate and cut loci coincide both in the Riemannian case ([61]) and in the sub-Riemannian case (cf. [3]). Furthermore, we give a simple expression for Carnot–Carathéodory distance. The results presented in this paper concerning the sub-Riemannian minimizing geodesics (and Carnot–Carathéodory distance) are consistent with those presented in [12]. However, we believe that both our presentation and our proof are clearer and simpler. (In particular, the necessary condition for minimality involving the first conjugate time is not utilized in [12].) To our knowledge, an explicit description of the Riemannian minimizing geodesics (from identity to any given endpoint) has not appeared before.
A remarkable feature of our presentation is the extent to which the Riemannian and sub-Riemannian cases could be treated simultaneously.
2 Preliminaries
2.1 Left-Invariant Sub-Riemannian Structures
A left-invariant sub-Riemannian structure on a (real, finite-dimensional, connected) Lie group G with identity 1 is a triplet \((\mathsf {G},\mathcal {D},\mathbf {g})\). Here, \(\mathcal {D}\) is a smooth nonintegrable left-invariant distribution on G and g is a left-invariant Riemannian metric on \(\mathcal {D}\). More precisely, \(\mathcal {D}(\mathbf {1})\) is a linear subspace of the Lie algebra \(\mathfrak {g}\) of G and \(\mathcal {D}(g)=g\mathcal {D}(\mathbf {1})\); the metric g 1 is a positive definite symmetric bilinear form on \(\mathcal {D}(\mathbf {1})\) and g g (g A,g B) = g 1 (A,B) for \(A,B\in \mathfrak {g}\), g∈G. The product g A is given by T 1 L g ⋅A, where L g :h↦g h is the left translation by g and T 1 L g is the tangent map of L g at identity. (T G has the left trivialization \(T\mathsf {G}\cong \mathsf {G}\times \mathfrak {g}\), g A⇔(g,A).) We shall denote by ι the inclusion map \(\iota :\mathcal {D}(\mathbf {1})\to \mathfrak {g}=T_{\mathbf {1}}\mathsf {G}\) and by ι ∗ its dual \(\iota ^{*}:\mathfrak {g}^{*}\to \mathcal {D}(\mathbf {1})^{*}\). Furthermore, we have the musical isomorphisms \(\flat :\mathcal {D}(\mathbf {1})\to \mathcal {D}(\mathbf {1})^{*}\), A↦g 1 (A,⋅) and \(\sharp =\flat ^{-1}:\mathcal {D}(\mathbf {1})^{*}\to \mathcal {D}(\mathbf {1})\). When \(\mathcal {D}=T\mathsf {G}\) (i.e., \(\mathcal {D}(\mathbf {1})=\mathfrak {g}\) or equivalently \(\iota =\text {id}_{\mathfrak {g}}\)), we recover a left-invariant Riemannian structure (G,g). A Riemannian structure \((\mathsf {G},\tilde {\mathbf {g}})\) is said to tame a sub-Riemannian structure \((\mathsf {G},\mathcal {D},\mathbf {g})\) if \(\tilde {\mathbf {g}}|_{\mathcal {D}}=\mathbf {g}\). Note that any left-invariant structure \((\mathsf {G},\mathcal {D},\mathbf {g})\) on G is uniquely determined by the subspace \(\mathcal {D}(\mathbf {1})\subseteq \mathfrak {g}\) and the scalar product g 1 on \(\mathcal {D}(\mathbf {1})\). A list of k smooth vector fields (X 1,…,X k ) is said to be an orthonormal frame for \((\mathsf {G},\mathcal {D},\mathbf {g})\) if \(\mathcal {D}(g)=\text {span}(X_{1}(g),\ldots ,X_{k}(g))\) and g(X i ,X j ) = δ i j ; we note that any left-invariant sub-Riemannian structure on a Lie group admits a global orthonormal frame of left-invariant vector fields.
An absolutely continuous curve g(⋅):[0,t 1]→G is called a \(\mathcal {D}\)-curve if \(\dot {g}(t)\in \mathcal {D}(g(t))\) for almost every t∈[0,t 1]. We shall assume that \(\mathcal {D}\) satisfies the bracket generating condition, i.e., \(\mathcal {D}(\mathbf {1})\) generates \(\mathfrak {g}\); by the Chow–Rashevskii theorem, this condition is necessary and sufficient for any two points in G to be connected by a \(\mathcal {D}\)-curve (see, e.g., [20, 49]).The length of a \(\mathcal {D}\)-curve g(⋅) is given by
A sub-Riemannian structure \((\mathsf {G},\mathcal {D},\mathbf {g})\) is endowed with a natural metric space structure, namely the Carnot–Carathéodory distance:
When \(\mathcal {D}=T\mathsf {G}\), we recover the Riemannian distance. By left invariance \(d(g_{1},g_{2})=d(\mathbf {1},g_{1}^{-1}g_{2})\). A \(\mathcal {D}\)-curve curve g(⋅) that realizes the Carnot–Carathéodory distance between two points is called a minimizing geodesic.
Proposition 1 (cf. 13)
Let \((\mathsf {G},\mathcal {D},\mathbf {g})\) be a left-invariant sub-Riemannian structure on a (connected) Lie group G. Then:
-
1.
The Carnot–Carathéodory metric d is complete.
-
2.
Any two points in G can be joined by a minimizing geodesic.
Proof
Let \((\mathsf {G},\tilde {\mathbf {g}})\) be a left-invariant Riemannian structure taming \((\mathsf {G},\mathcal {D},\mathbf {g})\). Furthermore, let d R be the distance associated to \((\mathsf {G},\tilde {\mathbf {g}})\) and d SR be the distance associated to \((\mathsf {G},\mathcal {D},\mathbf {g})\). As \((\mathsf {G},\tilde {\mathbf {g}})\) is homogeneous, d R is complete. Hence, as \((\mathsf {G},\tilde {\mathbf {g}})\) tames \((\mathsf {G},\mathcal {D},\mathbf {g})\), it follows that d SR is complete (see, e.g., [56]). Item 1 implies item 2 (see, e.g., [2, 49]). □
An isometry between two left-invariant sub-Riemannian (or Riemannian) structures \((\mathsf {G},\mathcal {D},\mathbf {g})\) and \((\mathsf {G}^{\prime },\mathcal {D}^{\prime },\mathbf {g}^{\prime })\) is a diffeomorphism ϕ:G→G ′ such that
i.e., \(T_{g}\phi \cdot \mathcal {D}(g)=\mathcal {D}^{\prime }(\phi (g))\) and \(\mathbf {g}_{g}(gA,gB)=\mathbf {g}^{\prime }_{\phi (g)}(T_{g}\phi \cdot gA,T_{g}\phi \cdot gB)\). We shall denote the group of isometries of a structure \((\mathsf {G},\mathcal {D},\mathbf {g})\) by \(\mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\). The isotropy subgroup of g∈G (i.e., the subgroup of isometries fixing g) will be denoted by \(\mathsf {Iso}_{g}(\mathsf {G},\mathcal {D},\mathbf {g})\).
Remark 1
Every isometry is distance preserving (i.e., for any isometry ϕ we have that d(g,h) = d(ϕ(g),ϕ(h))). Conversely, every distance-preserving diffeomorphisms ϕ is an isometry (see, e.g., [56]). Moreover, if all geodesics are normal, then any distance-preserving homeomorphism is smooth ([31], see also [22]).
Every left translation is an isometry by definition. Hence, the group of isometries \(\mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) is generated by the left translations L g :h↦g h, g∈G and the isotropy subgroup of identity. Indeed, any isometry \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) can be written as ϕ = L ϕ(1)∘ϕ ′, where \(\phi ^{\prime }\in \mathsf {Iso}_{\mathbf {1}}(\mathsf {G}.\mathcal {D},\mathbf {g})\).
2.1.1 Sub-Riemannian and Riemannian Structures on Nilpotent Groups
A k-step Carnot group G is a simply connected nilpotent Lie group whose Lie algebra \(\mathfrak {g}\) has stratification \(\mathfrak {g}=\mathfrak {g}_{1}\oplus \mathfrak {g}_{2}\oplus \cdots \oplus \mathfrak {g}_{k}\) with \([\mathfrak {g}_{1},\mathfrak {g}_{j}]=\mathfrak {g}_{1+j}\), j=1,…,k−1, \([\mathfrak {g}_{1},\mathfrak {g}_{k}]=\{0\}\), and \(\mathfrak {g}_{k}\neq \{0\}\). Let \(\mathcal {D}\) be the left-invariant distribution on G specified by \(\mathcal {D}(\mathbf {1})=\mathfrak {g}_{1}\). Once we fix a left-invariant metric g on \({\mathcal {D}}\), we have a left-invariant sub-Riemannian structure on G (note that \(\mathcal {D}\) is bracket generating). We shall refer to such a structure as a sub-Riemannian Carnot group.
For any Carnot group G, there exists a (one-parameter) family of automorphisms δ r ∈A u t(G), r ≠ 0 given by the corresponding Lie algebra automorphisms (cf. [31, 36])
Consequently, for a sub-Riemannian Carnot group \((\mathsf {G},\mathcal {D},\mathbf {g})\), we have that \((\delta _{r})_{*}\mathcal {D}=\mathcal {D}\) and \(\delta _{r}^{*}\mathbf {g}=r^{2}\mathbf {g}\). Accordingly, if d is the Carnot–Carathéodry distance associated to \((\mathsf {G},\mathcal {D},\mathbf {g})\), then d(δ r (g 1),δ r (g 2))=|r| d(g 1,g 2) for g 1,g 2∈G. Also, δ r maps minimizing geodesics (of length ℓ) to minimizing geodesics (of length |r|ℓ).
We have the following characterization of isometries between sub-Riemannian Carnot groups.
Proposition 2 (cf. 31, 36; see also 22)
Let \((\mathsf {G},\mathcal {D},\mathbf {g})\) and \((\mathsf {G}^{\prime },\mathcal {D}^{\prime },\mathbf {g}^{\prime })\) be two sub-Riemannian Carnot groups. A diffeomorphism ϕ:G→G ′ is an isometry between \((\mathsf {G},{\mathcal {D}},\mathbf {g})\) and \((\mathsf {G}^{\prime },{\mathcal {D}}^{\prime },\mathbf {g}^{\prime })\) if and only if ϕ is the composition ϕ=L ϕ(1)∘ϕ′ of a left translation L ϕ(1) on G ′ and a Lie group isomorphism \(\phi ^{\prime }=L_{\phi (\mathbf {1})^{-1}}\circ \phi :\mathsf {G}\to \mathsf {G}^{\prime }\) such that \(T_{\mathbf {1}}\phi ^{\prime }\cdot {\mathcal {D}}(\mathbf {1})={\mathcal {D}}^{\prime }(\mathbf {1}^{\prime })\) and \(\mathbf {g}_{\mathbf {1}}(A,B)=\mathbf {g}^{\prime }_{\mathbf {1}^{\prime }}(T_{\mathbf {1}}\phi ^{\prime }\cdot A,T_{\mathbf {1}}\phi ^{\prime }\cdot B)\).
Likewise, in the Riemannian case, we have the following result.
Proposition 3 (cf. 62; see also 40)
Let (G,g) and (G ′,g ′) be two left-invariant Riemannian structures on simply connected nilpotent Lie groups G and G ′, respectively. A diffeomorphism ϕ:G→G ′ is an isometry between (G,g) and (G ′,g ′) if and only if ϕ is the composition ϕ=L ϕ(1)∘ϕ′ of a left translation L ϕ(1) on G ′ and a Lie group isomorphism \(\phi ^{\prime }=L_{\phi (\mathbf {1})^{-1}}\circ \phi :\mathsf {G}\to \mathsf {G}^{\prime }\) such that \(\mathbf {g}_{\mathbf {1}}(A,B)=\mathbf {g}^{\prime }_{\mathbf {1}^{\prime }}(T_{\mathbf {1}}\phi ^{\prime }\cdot A,T_{\mathbf {1}}\phi ^{\prime }\cdot B)\).
For a sub-Riemannian Carnot group \((\mathsf {G},\mathcal {D},\mathbf {g})\) or a Riemannian structure \((\mathsf {G},\mathcal {D}=T\mathsf {G},\mathbf {g})\) on a simply connected nilpotent Lie group, we have that the isotropy subgroup is given by
Accordingly, the isometry group \(\mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) decomposes as a semidirect product of the normal subgroup L G ={L g : g∈G} of left translations and the isotropy subgroup \(\mathsf {Iso}_{\mathbf {1}}(\mathsf {G},\mathcal {D},\mathbf {g})\) of the identity. Consequently, any isometry \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) is uniquely expressible as ϕ = L ϕ(1)∘ϕ ′, where \(\phi ^{\prime }\in \mathsf {Iso}_{\mathbf {1}}(\mathsf {G}.\mathcal {D},\mathbf {g})\). We shall denote by \(d\mathsf {Iso}_{\mathbf {1}}(\mathsf {G},\mathcal {D},\mathbf {g})\) the group \(\{T_{\mathbf {1}}\phi \,:\,\phi \in \mathsf {Iso}_{\mathbf {1}}(\mathsf {G},\mathcal {D},\mathbf {g})\}\cong \mathsf {Iso}_{\mathbf {1}}(\mathsf {G},\mathcal {D},\mathbf {g})\) of linearized isotropies.
2.2 Pontryagin Maximum Principle
A drift-free left-invariant control affine system on a (real, finite-dimensional, connected) Lie group G consists of a family of left-invariant vector fields Ξ u on G, linearly parametrized by controls \(u\in \mathbb {R}^{k}\). Such a system is written as
Here, B 1,…,B k are linearly independent elements of the Lie algebra \(\mathfrak {g}\). Admissible controls are bounded and measurable maps \(u(\cdot ) : [0,t_{1}] \to \mathbb {R}^{k}\). A trajectory for an admissible control u(⋅) is an absolutely continuous curve g(⋅):[0,t 1]→G such that \(\dot {g}(t) = {\Xi }_{u(t)}(g(t))\).
A standard argument shows that the length minimization problem
is equivalent to the energy minimization problem, or invariant optimal control problem:
Here, Ξ u (g) = g(u 1 B 1+⋯ + u k B k ) with B 1,…,B k being some linearly independent elements of \(\mathfrak {g}\) such that \(\text {span}(B_{1},\ldots ,B_{k})=\mathcal {D}(\mathbf {1})\); L(u(t)) = g 1 (Ξ u(t)(1),Ξ u(t)(1)). (Energy minimizers are exactly those length minimizers which have constant speed.)
The Pontryagin Maximum Principle provides necessary conditions for optimality which are naturally expressed in the language of the geometry of the cotangent bundle T ∗ G of G (see [6, 33]). The cotangent bundle T ∗ G can be trivialized (from the left) such that \(T^{*}\mathsf {G}=\mathsf {G}\times \mathfrak {g}^{*}\); here \(\mathfrak {g}^{*}\) is the dual of the Lie algebra \(\mathfrak {g}\). More precisely, each element \((g,p)\in \mathsf {G}\times \mathfrak {g}^{*}\) is identified with \((T_{g}L_{g^{-1}})^{*}\cdot p\in T^{*}_{g}\mathsf {G}\). To an optimal control problem (1), we associate, for each real number λ and each control parameter \(u\in \mathbb {R}^{k}\), a Hamiltonian function on \(T^{*}\mathsf {G}=\mathsf {G}\times \mathfrak {g}^{*}\):
We denote by \(\vec {H}_{u}^{\lambda }\) the corresponding Hamiltonian vector field (with respect to the symplectic structure on T ∗ G). In terms of the above Hamiltonians, the Maximum Principle can be stated as follows.
Maximum Principle
Suppose that the controlled trajectory \((\bar {g}(\cdot ),\bar {u}(\cdot ))\) , defined over the interval [0,t 1 ], is a solution for the optimal control problem ( 1 ). Then, there exist a curve ξ(⋅):[0,t 1 ]→T ∗ G with \(\xi (t)\in T^{\ast }_{\bar {g}(t)}\mathsf {G},\,t\in [0,t_{1}]\), and a real number λ≤0, such that the following conditions hold for almost every t∈[0,t1]:
Any optimal trajectory, \(\bar {g}(\cdot ) : [0,t_{1}] \to \mathsf {G}\), is the projection of some integral curve ξ(⋅) of the Hamiltonian vector field \(\vec {H}^{\lambda }_{\bar {u}(t)}\). A pair (ξ(⋅),u(⋅)) is said to be an extremal pair if it satisfies the conditions (2), (3), and (4). The component ξ(⋅) of an extremal pair is called an extremal. An extremal curve is called normal if λ<0 and abnormal if λ=0. The normal (resp. abnormal) geodesics of \((\mathsf {G},\mathcal {D},\mathbf {g})\) are the projection to G of the normal (resp. abnormal) extremal curves ξ(⋅).
For the class of optimal control problems under consideration, the maximum condition (4) eliminates the parameter u from the family of Hamiltonians (H u ); as a result, we obtain a smooth G-invariant function H (without parameters) on \(T^{*}\mathsf {G}=\mathsf {G}\times \mathfrak {g}^{*}\); for any orthonormal frame (X 1,X 2,…,X k ) of \((\mathsf {G},\mathcal {D},\mathbf {g})\), we have that \(H(\xi )={\sum }_{i=1}^{k}\xi (X_{i}(g))^{2}={\sum }_{i=1}^{k}p(X_{\mathbf {1}}(\mathbf {1}))^{2}\), \(\xi =(g,p)\in T^{*}_{g}\mathsf {G}\). The dual space \(\mathfrak {g}^{*}\) of \(\mathfrak {g}\) admits a natural Poisson structure, the (minus) Lie-Poisson structure (see, e.g., [43]), given by
Here, \(F,G\in C^{\infty }(\mathfrak {g}^{*})\) and d F(p),d G(p) are elements of the double dual \(\mathfrak {g}^{**}\) which is canonically identified with the Lie algebra \(\mathfrak {g}\). The Hamiltonian vector field associated to a function \(F\in C^{\infty }(\mathfrak {g}^{*})\) is specified by \(\vec {F}[G]=\{G,F\}\). The Hamilton–Poisson system H on T ∗ G can be reduced to a Hamilton–Poisson system on the Lie–Poisson space \(\mathfrak {g}^{*}\). The normal geodesics of \((\mathsf {G},\mathcal {D},\mathbf {g})\) can then be described as follows.
Proposition 4 (cf. 6, 33; see also 17)
The normal geodesics g(⋅) of \((\mathsf {G},\mathcal {D},\mathbf {g})\) are given by
where \(H(p)= \frac {1}{2}(\iota ^{*}p)\cdot (\iota ^{*}p)^{\sharp }\) , g∈G, \( p\in \mathfrak {g}^{*}\).
For a normal geodesic g(⋅), we have
Therefore, the unit-speed geodesics correspond to \(H(p(0))=\frac {1}{2}\).
The sub-Riemannian exponential map \(\text {Exp}_{g}:T^{*}_{g}\mathsf {G}\to \mathsf {G}\) from g∈G is defined as \(\text {Exp}_{g}(\xi )=\pi \circ e^{\vec {H}}(\xi )\), where π:T ∗ G→G is the canonical projection and \(\vec {H}\) is the Hamiltonian vector field on T ∗ G. Note that, as \((\mathsf {G},\mathcal {D},\mathbf {g})\) is complete (Proposition 1), the exponential map Exp g is defined for all \(\xi \in T_{g}^{*}{\mathsf {G}}\) ([2]). Isometries are compatible with the exponential map in the following sense.
Proposition 5
If \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) , then ϕ∘Exp g =Exp ϕ(g) ∘(T ϕ(g) ϕ −1 ) ∗.
Proof
Let \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) and let
be the cotangent lift of ϕ. T ∗ ϕ is a symplectic transformation of the symplectic structure on T ∗ G (see, e.g., [43]). Note that T ∗ ϕ −1 covers ϕ (i.e., ϕ∘π = π∘T ∗ ϕ −1). Let X 1,…X k be an orthonormal frame for \((\mathsf {G},\mathcal {D},\mathbf {g})\). The Hamiltonian H on T ∗ G is given by \(H(\xi )=\frac {1}{2}{\sum }_{i=1}^{k}\xi (X_{i}(g))^{2}\) for ξ∈T g G. We have that \((H\circ T^{*}\phi ^{-1})(\xi )=\tfrac {1}{2}{\sum }_{i=1}^{k}\xi (\phi ^{-1}_{*}X_{i}(g))^{2}\) for ξ∈T g G. As ϕ −1 is an isometry, we have that \(\phi ^{-1}_{*}X_{1},\ldots ,\phi ^{-1}_{*}X_{k}\) is also an orthonormal frame. Hence H∘T ∗ ϕ −1 = H. It follows that T ∗ ϕ −1 maps integral curves of \(\vec {H}\) to integral curves of \(\vec {H}\). Let ξ(⋅) be an integral curve of \(\vec {H}\). Then π(ξ(t))=Exp π(ξ(0))(t ξ(0)). Hence (ϕ∘π)(ξ(t)) = π(T ∗ ϕ −1⋅ξ(t))=Exp(ϕ∘π)(ξ(0))(t T ∗ ϕ −1⋅ξ(0)). □
The exponential map is left invariant, i.e., for ξ=(g,p) we have that Exp g (g,p) = g Exp 1 (1,p). Hence, we shall consider only the exponential map Exp 1 from identity, which we simply write as Exp. Moreover, we have that \(\text {Exp}:\mathfrak {g}^{*}\to \mathsf {G}\) is given by Exp(t p(0)) = g(t) where g(⋅) and p(⋅) are solutions to Eq. 5 with g(0) = 1. Note that, for any element p contained in the annihilator \(\mathcal {D}(\mathbf {1})^{\circ }=\{p\in \mathfrak {g}^{*}\,:\,p(A)=0\,\text { for all }\,A\in \mathcal {D}(\mathbf {1})\}=\ker \iota ^{*}\), we have Exp(p) = 1.
Remark 2
In the Riemannian case, the usual (Riemannian) exponential map \(\widetilde {\text {Exp}}:T_{\mathbf {1}}\mathsf {G}=\mathfrak {g}\to \mathsf {G}\) is simply given by \(\widetilde {\text {Exp}}(A)=\text {Exp}(A^{\flat })\). Also, for any isometry ϕ, we have that ϕ(Exp(A ♭))=Exp((T 1 ϕ⋅A)♭) as expected.
3 Structures, Isometries, and Geodesics
3.1 Sub-Riemannian and Riemannian Structures on the Heisenberg Groups
The (2n+1)-dimensional Heisenberg group is, up to isomorphism, the only (2n+1)-dimensional simply connected two-step nilpotent Lie group with a one-dimensional center. The Heisenberg group is often represented as \(\mathbb {R}\times \mathbb {R}^{n}\times \mathbb {R}^{n}\) endowed with group product
We shall, however, prefer to represent the Heisenberg group as the matrix Lie group
Nonetheless, with this choice of parametrization \(m:\mathbb {R}^{2n+1}\to \mathsf {H}_{2n+1}\), we have that
The Lie algebra of H 2n+1 is given by
and has non-zero commutators [X i ,Y i ] = Z. If \(\mathfrak {g}_{1}=\text {span}(X_{1},Y_{1},\ldots ,X_{n},Y_{n})\) and \(\mathfrak {g}_{2}=\text {span}(Z)\), then \(\mathfrak {h}_{2n+1}\) decomposes as a direct sum of subspaces \(\mathfrak {g}_{1}\oplus \mathfrak {g}_{2}\) such that \([\mathfrak {g}_{1},\mathfrak {g}_{1}]=\mathfrak {g}_{2}\) and \([\mathfrak {g}_{1},\mathfrak {g}_{2}]=\{0\}\). Therefore H 2n+1 is a two-step Carnot group. Whenever convenient, the elements \(Z,X_{i},Y_{i}\in \mathfrak {h}_{2n+1}\) will be identified with their corresponding left-invariant vector fields.
Throughout, we use the ordered basis (Z,X 1,Y 1,X 2,Y 2,…,X n ,Y n ) for \(\mathfrak {h}_{2n+1}\). Typically, we shall write an element \(A\in \mathfrak {h}_{2n+1}\) as \(A=a_{z}Z+{\sum }_{i=1}^{n}a_{x_{i}}X_{i}+a_{y_{i}}Y_{i}\). Let \((Z^{*},X_{1}^{*},Y_{1}^{*},\ldots ,X_{n}^{*},Y_{n}^{*})\) be the basis for \(\mathfrak {h}_{2n+1}^{*}\) dual to (Z,X 1,Y 1,…,X n ,Y n ); we likewise write an element \(p\in \mathfrak {h}_{2n+1}^{*}\) as \(p=p_{z}Z^{*}+{\sum }_{i=1}^{n}p_{x_{i}}X_{i}^{*}+p_{y_{i}}Y_{i}^{*}\) or simply as \(p=(p_{z},p_{x_{1}},p_{y_{1}},\ldots ,p_{x_{n}},p_{y_{n}})\).
The automorphisms of \(\mathfrak {h}_{2n+1}\) are exactly those linear isomorphisms that preserve the center \(\mathfrak {z}=\text {span}(Z)\) of \(\mathfrak {h}_{2n+1}\) and for which the induced map on \(\mathfrak {h}_{2n+1}/\mathfrak {z}\) preserves an appropriate symplectic structure (cf. [28]). More precisely, let ω be the skew-symmetric bilinear form on \(\mathfrak {h}_{2n+1}\) specified by [A,B] = ω(A,B)Z for \(A,B\in \mathfrak {h}_{2n+1}\). A linear isomorphism \(\psi :\mathfrak {h}_{2n+1}\to \mathfrak {h}_{2n+1}\) is a Lie algebra automorphism if and only if ψ⋅Z = c Z and ω(ψ⋅A,ψ⋅B) = c ω(A,B) for some c ≠ 0.
We give a matrix representation for the group of automorphisms. The bilinear form ω takes the form
We note that the linear map
is an automorphism.
Proposition 6 (cf. 16, 53)
The group of automorphisms \(\mathsf {Aut}(\mathfrak {h}_{2n+1})\) is given by
where
is the n(2n+1)-dimensional symplectic group over \(\mathbb {R}\).
The Lie group exponential \(\exp :\mathfrak {h}_{2n+1}\to \mathsf {H}_{2n+1}\) is simply given by
Accordingly, as ϕ(exp(A))= exp(T 1 ϕ⋅A) for any automorphism ϕ∈A u t(H 2n+1), the action of ϕ on an element m(z,x 1,x 2,…,x n ,y n ) is identical to the action of the linear map T 1 ϕ on the (exponential) coordinates (z,x 1,y 1,…,x n ,y n ). Also, as H 2n+1 is simply connected, for every \(\psi \in \mathsf {Aut}(\mathfrak {h}_{2n+1}),\) there exists a ϕ∈A u t(H 2n+1) such that T 1 ϕ = ψ.
In a previous paper [16], we classified the left-invariant sub-Riemannian and Riemannian structures on H 2n+1 up to isometric Lie group automorphisms (i.e., isometries which are also Lie group automorphisms). In light of Propositions 2 and 3, we restate these results as a classification of the left-invariant sub-Riemannian and Riemannian structures up to isometry. (A classification of Riemannian and Lorentzian metrics on the Heisenberg groups was also recently obtained in [60].)
Theorem 1
Any left-invariant sub-Riemannian structure on H 2n+1 is isometric to exactly one of the structures \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{{\lambda }})\) specified by
i.e., with orthonormal frame
Here, 1=λ1≥λ2≥⋯≥λn>0 parametrize a family of (non-isometric) class representatives.
Note 1
As the distribution \(\mathcal {H}\) is strongly bracket-generating all geodesics of the sub-Riemannian structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{{\lambda }})\) are normal (see, e.g., [20, 49]).
Note 2
\((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{{\lambda }})\) is a sub-Riemannian Carnot group.
Theorem 2
Any left-invariant Riemannian structure on H 2n+1 is isometric to exactly one of the structures \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{{\lambda }})\) specified by
i.e., with orthonormal frame
Here λ1≥λ2≥⋯≥λn>0 parametrize a family of (non-isometric) class representatives.
Note 3
Although λ 1 can be normalized to λ 1=1 in the sub-Riemannian case, we shall find it more convenient not to impose this normalization explicitly in the ensuing discussions. (This allows for a more unified presentation of the sub-Riemannian and Riemannian cases.)
3.2 Extensions of Sub-Riemannian Structures
Let G be a Lie group with Lie algebra \(\mathfrak {g}\) and center Z(G)=Z; let \(\mathfrak {z}\) be the center of \(\mathfrak {g}\) and let q:G→G/Z be the canonical quotient map. We say that a sub-Riemannian structure \((\mathsf {G},\tilde {\mathcal {D}},\tilde {\mathbf {g}})\) is an central extension of a sub-Riemannian structure \((\mathsf {G}/\mathsf {Z},\mathcal {D},\mathbf {g})\) if
-
1.
\(T_{\mathbf {1}}q\cdot \tilde {\mathcal {D}}(\mathbf {1})=\mathcal {D}(\mathbf {1})\);
-
2.
\(\tilde {\mathbf {g}}_{\mathbf {1}}(A,B)=\mathbf {g}_{\mathbf {1}}(T_{\mathbf {1}}q\cdot A,T_{\mathbf {1}}q\cdot B)\) for \(A,B\in \hat {\mathcal {D}}(\mathbf {1})\), where
$$\hat{\mathcal{D}}(\mathbf{1})=(\mathfrak{z}\cap\tilde{\mathcal{D}}(\mathbf{1}))^{\bot}=\{A\in\tilde{\mathcal{D}}(\mathbf{1})\,:\,\tilde{\mathbf{g}}_{\mathbf{1}}(A,B)=0\,\text{ for }\,B\in \mathfrak{z}\cap\tilde{\mathcal{D}}(\mathbf{1})\}.$$
We call the sub-Riemannian structure \((\mathsf {G},\hat {\mathcal {D}},\hat {\mathbf {g}})\) with \(\hat {\mathbf {g}}=\tilde {\mathbf {g}}|_{\hat {\mathcal {D}}}\) the corresponding shrunk extension.
For any \(\mathcal {D}\)-curve g(⋅) on G/Z and any \(\hat {g}_{0}\in \mathsf {G}\) such that \(q(\hat {g}_{0})=g(0)\), there exists a unique \(\hat {\mathcal {D}}\)-curve \(\hat {g}(\cdot )\) on G such that \(\hat {g}(0)=\hat {g}_{0}\) and \(q\circ \hat {g}(\cdot )=g(\cdot )\). We say that \(\hat {g}(\cdot )\) is the \(\hat {\mathcal {D}}\) -lift through \(\hat {g}_{0}\) of g(⋅). On the other hand, for any \(\tilde {\mathcal {D}}\)-curve \(\tilde {g}(\cdot )\), there exists a unique \(\hat {\mathcal {D}}\)-curve \(\hat {g}(\cdot )\) such that \(\hat {g}(0)=\tilde {g}(0)\) and \(q\circ \hat {g}(\cdot )=q\circ \tilde {g}(\cdot )\). We call \(\hat {g}(\cdot )\) the \(\hat {\mathcal {D}}\) -projection of \(\tilde {g}(\cdot )\). Note that the \(\hat {\mathcal {D}}\)-projection of \(\tilde {g}(\cdot )\) is exactly the \(\hat {\mathcal {D}}\)-lift through \(\tilde {g}(0)\) of \(q\circ \tilde {g}(\cdot )\). \(\hat {\mathcal {D}}\)-lifts and \(\hat {\mathcal {D}}\)-projections are compatible with (normal) geodesics in the following sense.
Proposition 7 (15)
The \(\hat {\mathcal {D}}\) -lift of any (minimizing, normal, or abnormal) geodesic of \((\mathsf {G}/\mathsf {Z},\mathcal {D},\mathbf {g})\) is a (minimizing, normal, or abnormal, respectively) geodesic of both \((\mathsf {G},\hat {\mathcal {D}},\hat {\mathbf {g}})\) and \((\mathsf {G},\tilde {\mathcal {D}},\tilde {\mathbf {g}})\) . Furthermore, the normal geodesics of \((\mathsf {G},\hat {\mathcal {D}},\hat {\mathbf {g}})\) are exactly the \(\hat {\mathcal {D}}\) -projections of the normal geodesics of \((\mathsf {G},\tilde {\mathcal {D}},\tilde {\mathbf {g}})\).
The Riemannian structure \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) is a central extension of the Riemannian structure on the Abelian group \(\mathsf {H}_{2n+1}/\mathrm {Z}(\mathsf {H}_{2n+1})\cong \mathbb {R}^{2n}\) with orthonormal frame
Here, \(q:\mathsf {H}_{2n+1}\to \mathsf {H}_{2n+1}/\mathrm {Z}(\mathsf {H}_{2n+1})\cong \mathbb {R}^{2n}\). Moreover, the sub-Riemannian structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) tamed by \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) is the corresponding shrunk extension. Accordingly, we have the following result.
Proposition 8
Suppose \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) tames \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). Then:
-
1.
The normal geodesics of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) are exactly the \(\mathcal {H}\) -projections of the normal geodesics of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\).
-
2.
The curve \(g(t)=m(0,\frac {\bar {x}_{1}}{t_{1}}t,\frac {\bar {y}_{1}}{t_{1}} t,\ldots ,\frac {\bar {x}_{n}}{t_{1}} t,\frac {\bar {y}_{n}}{t_{1}} t)\) with \(t_{1}=\sqrt {{\sum }_{i=1}^{n}\lambda _{i}(\bar {x}_{i}^{2}+\bar {y}_{i}^{2})}\) is a unit-speed minimizing geodesic from identity to \(g(t_{1})=m(0,\bar {x}_{1},\bar {y}_{1},\ldots ,\bar {x}_{n},\bar {y}_{n})\) for both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\).
Proof
The first item is simply a consequence of Proposition 7. The Euclidean space with orthonormal frame (7) has minimizing geodesics \(g^{\prime }(t)=(\frac {\bar {x_{1}}}{t_{1}} t,\frac {\bar {y}_{1}}{t_{1}} t,\ldots ,\frac {\bar {x}_{n}}{t_{1}} t,\frac {\bar {y}_{n}}{t_{1}} t)\) for \((\bar {x}_{1},\bar {y}_{1},\ldots ,\bar {x}_{n},\bar {y}_{n})\in \mathbb {R}^{2n}\). The \(\mathcal {H}\)-lift of g ′(t) through g(0) = 1 is g(t). Hence by Proposition 7, these are minimizing geodesics. □
Remark 3
The first item in the above proposition explains (in part) the similarity between the Riemannian and sub-Riemannian cases in the ensuing sections.
3.3 Isometry Groups
We calculate the group of isometries for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). Let μ 1>μ 2>⋯>μ k >0 denote the distinct values in the list (λ 1,λ 2,…,λ n ) and let ν 1,…,ν k denote the corresponding multiplicities. We refer to the pair (μ,ν) as the metric data for the structure. It turns out that if \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) and \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) have the same metric data, then their respective isometry groups are identical.
Theorem 3
Suppose \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) have metric data (μ,ν). The groups \(d\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \(d\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) of linearized isotropies are identical and given by
Here the unitary group \(\mathsf {U}\,(\nu _{i})=\mathsf {Sp}\,(\nu _{i},\mathbb {R})\cap \mathsf {O}\,(2\nu _{i})\) , the orthogonal group \(\mathsf {O}(m)=\{g\in \mathbb {R}^{m\times m}\,:\,g^{\top }g=I_{m}\}\) and σ is the involutive automorphism ( 6 ).
Proof
Suppose that \(\psi \in d\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\), i.e., \(\psi \in \mathsf {Aut}(\mathfrak {h}_{2n+1})\), \(\psi \cdot \mathcal {H}(\mathbf {1})=\mathcal {H}(\mathbf {1})\), and \(\mathbf {g}^{\lambda }_{\mathbf {1}}(A,B)=\mathbf {g}^{\lambda }_{\mathbf {1}}(\psi \cdot A,\psi \cdot B)\). As ψ is a Lie algebra automorphism, we have
for some r>0, \({v}\in \mathbb {R}^{1\times 2n}\) and \(g\in \mathsf {Sp}\,(n,\mathbb {R})\). We need only consider the former case, as a simple computation shows that \(\sigma \in d\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\).
For the sub-Riemannian case, we have v=0 as \(\psi \cdot \mathcal {H}(\mathbf {1})=\mathcal {H}(\mathbf {1})\). Moreover, as \(\mathbf {g}^{{\lambda }}_{\mathbf {1}}(A,B)=\mathbf {g}^{{\lambda }}_{\mathbf {1}}(\psi \cdot A, \psi \cdot B)\) for \(A,B\in \mathcal {H}(\mathbf {1})\), we get that Λ = r 2 g ⊤Λg. Since J g ⊤ = g −1 J, the eigenvalues of JΛ and J g ⊤Λg coincide. Hence, as Λ = r 2 g ⊤Λg, the eigenvalues of JΛ and r 2 JΛ must also coincide. The eigenvalues of JΛ are purely imaginary and appear in conjugate pairs ±i λ j , j=1,…,n; likewise, the eigenvalues of r 2 JΛ are ±i r 2 λ j , j=1,…,n. Therefore, it follows that r=1. On the other hand, for the Riemannian case, the condition \(\mathbf {g}^{{\lambda }}_{\mathbf {1}}(A,B)=\mathbf {g}^{{\lambda }}_{\mathbf {1}}(\psi \cdot A, \psi \cdot B)\) for \(A,B\in \mathfrak {h}_{2n+1}\) implies that r=1, v=0, and Λ = g ⊤Λg.
In either case, we have
It is a simple matter to show that JΛg = g JΛ. Thus, as Λ2=−JΛJΛ, we have Λ2 g = gΛ2. Hence \({\Lambda }^{2}g w={\mu _{i}^{2}}g w\) whenever w is an eigenvector of Λ2 associated to the eigenvalue \({\mu _{i}^{2}}\). It follows that g (resp. g ⊤) preserves each eigenspace of Λ2. That is, \(g\,\mathfrak {e}_{i}=\mathfrak {e}_{i}\) and \(g^{\top }\,\mathfrak {e}_{i}=\mathfrak {e}_{i}\), i=1,…,k where \(\mathfrak {e}_{i}\) denotes the eigenspace of Λ2 corresponding to \({\mu _{i}^{2}}\). Therefore, g takes block diagonal form
Moreover, as g ⊤ J g = J and g ⊤Λg=Λ, we have \(g_{i}\in \mathsf {Sp}\,(\nu _{i},\mathbb {R})\cap \mathsf {O}\,(2\nu _{i})=\mathsf {U}(\nu _{i})\). Finally, it is easy to verify that each mapping \(\psi =\left [\begin {array}{cc} 1 &0\\ 0& g \end {array}\right ]\) of this form satisfies \(\psi \in \mathsf {Aut}(\mathfrak {h}_{2n+1})\), \(\psi \cdot \mathcal {H}(\mathbf {1})=\mathcal {H}(\mathbf {1})\), and \(\mathbf {g}^{\lambda }_{\mathbf {1}}(A,B)=\mathbf {g}^{\lambda }_{\mathbf {1}}(\psi \cdot A,\psi \cdot B)\) and so is a linearized isotropy. □
Remark 4
We have that ϕ∈A u t(H 2n+1),
is always an isotropy of identity for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) irrespective of the metric data. Hence, the isotropy subgroup is at least n-dimensional.
Corollary 1
For the structures \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) with metric data (μ,ν) we have that
and
The minimal dimension is attained when the values λ 1 ,…,λ n are all distinct; the maximal dimension is attained when the values λ 1 ,…,λ n are all identical.
Remark 5
The Riemannian structures \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{{\lambda }})\) are not symmetric, i.e., there exists no involutive isotropy ϕ such that T 1 ϕ=−I. However, the sub-Riemannian structures \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{{\lambda }})\) are sub-symmetric, i.e., there exists an involutive isotropy ϕ such that \(\left .T_{\mathbf {1}}\phi \right |_{\mathcal {H}(\mathbf {1})}=-I\) (cf. [56]), namely the automorphism δ −1 given by \(T_{\mathbf {1}}\delta _{-1}:a_{z}Z+{\sum }_{i=1}^{n}a_{x_{i}}X_{i}+a_{y_{i}}Y_{i}\mapsto a_{z}Z-{\sum }_{i=1}^{n}a_{x_{i}}X_{i}+a_{y_{i}}Y_{i}\).
Remark 6
As noted in Section 2.1.1, the sub-Riemannian Carnot group \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) admits the homotheties
That is, \((\delta _{r})_{*}\mathcal {H}=\mathcal {H}\) and \(\delta _{r}^{*}\mathbf {g}^{\lambda }=r^{2}\,\mathbf {g}^{\lambda }\) and so d SR(δ r (g 1),δ r (g 2)) = r d SR(g 1,g 2) for g 1,g 2∈H 2n+1. (Here, d SR is the Carnot–Carathéodory distance associated with \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\).) On the other hand, \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) admits no homotheties which are not isometries (i.e., if \(\phi ^{*}\tilde {\mathbf {g}}^{\lambda }=r\tilde {\mathbf {g}}^{\lambda }\) for some r>0, then r=1 and ϕ is an isometry).
3.4 Exponential Map
The sub-Riemannian structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) has (reduced) Hamiltonian
Likewise, the Riemannian structure \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) has Hamiltonian
Here, \(p=p_{z}Z^{*}+{\sum }_{i=1}^{n}p_{x_{i}}X_{i}^{*}+p_{y_{i}}Y_{i}^{*}\). The Hamiltonian vector fields \(\vec {H}^{SR}\) and \(\vec {H}^{R}\) coincide (as \(C(p)={p_{z}^{2}}\) is a Casimir function for \(\mathfrak {h}_{2n+1}^{*}\)) and are given by
The normal geodesic \(\dot {g}=m(z,x_{1},y_{1},\ldots ,x_{n},y_{n})\) corresponding to an integral curve p(⋅) of \(\vec {H}\) is then given by (see Proposition 4)
in the sub-Riemannian case and by
in the Riemannian case. These equations are easily integrated (with g(0) = 1) to yield the exponential Exp(p(0)) = g(1).
Proposition 9
The exponential map \(\text {Exp} :\mathfrak {h}_{2n+1}^{*}\to \mathsf {H}_{2n+1}\) for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) is given by \(\text {Exp}(p_{z},p_{x_{1}},p_{y_{1}},\ldots ,p_{x_{n}},p_{y_{n}})=m(z,x_{1},y_{1},\ldots ,x_{n},y_{n})\) , where
when p z ≠0 and \((z,x_{1},y_{1},\ldots ,x_{n},y_{n})=(0,\frac {p_{x_{1}}}{\lambda _{1}},\frac {p_{y_{1}}}{\lambda _{1}},\ldots ,\frac {p_{x_{n}}}{\lambda _{n}},\frac {p_{y_{n}}}{\lambda _{n}})\) when p z =0.
Note 4
The annihilator of \(\mathcal {H}(\mathbf {1})\) is given by \(\mathcal {H}(\mathbf {1})^{\circ }=\text {span}\{Z^{*}\}\).
Proposition 10
The exponential map \(\text {Exp}:\mathfrak {h}_{2n+1}^{*}\to \mathsf {H}_{2n+1}\) for \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) is given by \(\text {Exp}(p_{z},p_{x_{1}},p_{y_{1}},\ldots ,p_{x_{n}},p_{y_{n}})=m(z,x_{1},y_{1},\ldots ,x_{n},y_{n})\) , where
when p z ≠0 and \((z,x_{1},y_{1},\ldots ,x_{n},y_{n})=(0,\frac {p_{x_{1}}}{\lambda _{1}},\frac {p_{y_{1}}}{\lambda _{1}},\ldots ,\frac {p_{x_{n}}}{\lambda _{n}},\frac {p_{y_{n}}}{\lambda _{n}})\) when p z =0.
Remark 7
The x i and y i coordinates for the sub-Riemannian and Riemannian exponential maps coincide; this is in accordance with the sub-Riemannian geodesics being \(\mathcal {H}\)-projections of the Riemannian geodesics (see Section 3.2).
Remark 8
The projection of a geodesic of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) to H 2n+1/Z(H 2n+1) (endowed with the Riemannian structure admitting the orthonormal frame (7)) has constant curvature (cf. [32]). Moreover, in the maximally symmetric case, this projection is a point, a line, or a circle. The same two comments hold true for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\).
4 Totally Geodesic Subgroups
By analogy to the Riemannian case, there are two prospective definitions for a (connected) closed subgroup N to be a (normal) totally geodesic subgroup of a left-invariant sub-Riemannian structure \((\mathsf {G},\mathcal {D},\mathbf {g})\):
- \(\mathfrak {D}1\).:
-
Whenever a normal geodesic g(⋅) of \((\mathsf {G},\mathcal {D},\mathbf {g})\) is tangent to N at some point g(t 1)∈N, then the entire trace of g(⋅) is contained in N.
- \(\mathfrak {D}2\).:
-
Any normal geodesic of the restricted structure \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\), \(\mathcal {E}(g)=\mathcal {D}(g)\cap T_{g}\mathsf {N}\) is a normal geodesic of the ambient structure \((\mathsf {G},\mathcal {D},\mathbf {g})\).
Remark 9
As the sub-Riemannian structures on the Heisenberg group admit no abnormal geodesics (Note 1), we find it convenient here to restrict our definition to normal geodesics.
In the Riemannian case, \(\mathfrak {D}1\) and \(\mathfrak {D}2\) are equivalent. However, for sub-Riemannian structures, they do not coincide. Indeed, for the structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) on the Heisenberg group, any Abelian subgroup N with Lie algebra \(\mathfrak {n}\subset \mathcal {H}(\mathbf {1})\) satisfies \(\mathfrak {D}2\) but not \(\mathfrak {D}1\) (see Proposition 9). On the other hand, it turns out that \(\mathfrak {D}1\) implies \(\mathfrak {D}2\) (at least on the Heisenberg group). Accordingly, we shall say that a closed subgroup N is a totally geodesic subgroup of \((\mathsf {G},\mathcal {D},\mathbf {g})\) if it satisfies \(\mathfrak {D}1\). (We note, however, that in [7] totally geodesic submanifolds are defined in accordance to \(\mathfrak {D}2\).)
Proposition 11
Let N be a closed subgroup with Lie algebra \(\mathfrak {n}\). The following statements are equivalent:
-
1.
N is a totally geodesic subgroup of \((\mathsf {G},\mathcal {D},\mathbf {g})\).
-
2.
Exp(p)∈N for every \(p\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\subseteq \mathfrak {g}^{*}\).
-
3.
\(({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\subseteq \mathfrak {g}^{*}\) is an invariant subspace of the Hamiltonian vector field \(\vec {H}\).
Remark 10
\(({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})=({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n}\cap \mathcal {D}(\mathbf {1}))=(\iota ^{*})^{-1}((\mathfrak {n}\cap \mathcal {D}(\mathbf {1}))^{\flat })\). So in the Riemannian case, items 2 and 3 can be restated as: (2) Exp(A ♭)∈N for \(A\in \mathfrak {n}\), (3) \(\mathfrak {n}^{\flat }\subseteq \mathfrak {g}^{*}\) is an invariant subspace of the Hamiltonian vector field \(\vec {H}\).
Proof
(1 ⇒3) Suppose N is a totally geodesic subgroup of \((\mathsf {G},\mathcal {D},\mathbf {g})\). Let \(p\in \mathfrak {g}^{*}\), \((\iota ^{*} p)^{\sharp }\in \mathfrak {n}\). Then g(t)=Exp(t p) is a geodesic such that \(\dot {g}(0)=(\iota ^{*} p)^{\sharp }\in \mathfrak {n}\) (see Proposition 4). Therefore, Exp(t p)∈N for all t including t=1.
(2 ⇒3) Suppose Exp(p)∈N for every \(p\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\). Let \(p\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\) and p(⋅) be the integral curve of \(\vec {H}\) through p(0) = p. Let g(t)=Exp(t p(0)). As \(t\,p(0) \in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\) we have that g(t)∈N for all t. Hence, as \(\dot {g}(t)=T_{\mathbf {1}}L_{g(t)}\cdot (\iota ^{*}p(t))^{\sharp }\), we have that \((\iota ^{*}p(t))^{\sharp }=T_{g(t)}L_{g(t)^{-1}}\,\cdot \dot {g}(t)\in \mathfrak {n}\). Thus \(p(t)\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\) for all t.
(3 ⇒1) Suppose \(({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\subseteq \mathfrak {g}^{*}\) is an invariant subspace of the Hamiltonian vector field \(\vec {H}\). Let g(⋅) be a normal geodesic tangent to N at g(0). We have that \(\dot {g}(t)=T_{\mathbf {1}}L_{g(t)}\cdot (\iota ^{*}p(t))^{\sharp }\) for some p(⋅), \(\dot {p}(t)=\vec {H}(p(t))\). Furthermore, \(g(0)^{-1}\,\dot {g}(0)=(\iota ^{*}p(0))^{\sharp }\in \mathfrak {n}\). Therefore, \(p(0)\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\) and so \(p(t)\in ({\sharp }\circ \iota ^{*})^{-1}(\mathfrak {n})\) for all t. Consequently \(g(t)^{-1}\,\dot {g}(t)\in \mathfrak {n}\) for all t and so (as g(0)∈N) it follows that g(t)∈N for all t. □
4.1 Notation
We fix some notation to be used throughout Sections 4.2 and 4.3. Let (μ,ν) be the metric data (see Section 3.3) of the sub-Riemannian structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) or Riemannian structure \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) under consideration (i.e., μ 1>μ 2>⋯>μ k >0 denote the distinct values in the list (λ 1,λ 2,…,λ n ) and ν 1,…,ν k denote the corresponding multiplicities). Furthermore, let χ i = ν 1 + ν 2+⋯ + ν i and χ 0=0.
In the sub-Riemannian case, the Lie algebra of \(\mathfrak {h}_{2n+1}\) decomposes as a direct sum \(\mathfrak {h}_{2n+1}=\mathfrak {z}\oplus \mathcal {H}(\mathbf {1})\). Likewise, in the Riemannian case, \(\mathfrak {h}_{2n+1}=\mathfrak {z}\oplus \mathfrak {z}^{\bot }\). Furthermore, the subspace \(\mathcal {H}(\mathbf {1})=\mathfrak {z}^{\bot }\subset \mathfrak {h}_{2n+1}\) decomposes as a direct sum \(\mathcal {H}(\mathbf {1})=\mathfrak {e}_{1}\oplus \mathfrak {e}_{2}\oplus \cdots \oplus \mathfrak {e}_{k}\) of eigenspaces of Λ corresponding to values μ 1,…,μ k and with dimension ν 1,…,ν k , respectively. Hence, we have the following direct sum decomposition \(\mathfrak {h}_{2n+1}=\mathfrak {z}\oplus \mathfrak {e}_{1}\oplus \cdots \oplus \mathfrak {e}_{k}\).We shall denote by ρ j (𝜃) the isotropy specified by (see Remark 4)
(We note that ρ j (𝜃) is simply a rotation in the x i ,y i plane.) Likewise, when λ i = λ j , we shall denote by ρ i,j (𝜃) the isotropy specified by (see Theorem 3)
Furthermore, let σ denote the isotropy
(T 1 σ is given by Z↦Z, X i ↦Y i , and Y i ↦−X i ).
4.2 Characterization and Classification
In the Riemannian case, the totally geodesic subalgebras of nonsingular two-step nilpotent metric Lie algebras were classified by Eberlein in [25]. Let \(j:\mathfrak {z}\to \mathfrak {so}(\mathfrak {z}^{\bot })\) be the linear map given by
We have (with respect to (X 1,Y 1,…,X n ,Y n ))
Remark 11
A two-step nilpotent metric Lie algebra is said to be of Heisenberg type if \(j(Z)^{2}=-\|Z\|^{2}\text {id}_{\mathfrak {z}^{\bot }}\). We note that \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) is of Heisenberg type exactly when λ 1=⋯ = λ n =1.
By Eberlein’s result, a subgroup N with Lie algebra \(\mathfrak {n}\) is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) if and only if exactly one of the following occurs:
-
1.
\(\mathfrak {n}\) is an Abelian subalgebra contained in \(\mathfrak {z}^{\bot }\)
-
2.
\(\mathfrak {n}\) is a subspace of \(\mathfrak {z}\)
-
3.
\(j(Z)(\mathfrak {n}\cap \mathfrak {z}^{\bot })=\mathfrak {n}\cap \mathfrak {z}^{\bot }\) and \(\mathfrak {n}\) is a direct sum of nonzero subspaces \(\mathfrak {n}\cap \mathfrak {z}\) and \(\mathfrak {n}\cap \mathfrak {z}^{\bot }\).
For the Riemannian structure \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) on the Heisenberg group, the above characterization can be specialized as follows.
Theorem 4
A subgroup N with Lie algebra \(\mathfrak {n}\) is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) if and only if \(\mathfrak {n}\) is an Abelian subalgebra contained in \(\mathfrak {z}^{\bot }\) or
We now proceed to describe the totally geodesic subgroups of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). It turns out that the totally geodesic subgroups of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) are closely related to those of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\).
Proposition 12
Let N be a subgroup with Lie algebra \(\mathfrak {n}\) and let \(\widetilde {\mathsf {N}}\) be the subgroup with Lie algebra \(\mathfrak {n}+\mathfrak {z}\). Furthermore, let \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) be the Riemannian structure taming \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). N is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) if and only if \(\widetilde {\mathsf {N}}\) is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\).
Proof
Let \(H^{SR}\in C^{\infty }(\mathfrak {h}_{2n+1}^{*})\) be the Hamiltonian corresponding to \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and let \(H^{R}\in C^{\infty }(\mathfrak {h}_{2n+1}^{*})\) be the Hamiltonian corresponding to \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). Likewise, let \(\sharp _{SR}:\mathcal {H}(\mathbf {1})^{*}\to \mathcal {H}(\mathbf {1})\) and \(\iota _{SR}^{*}:\mathfrak {h}_{2n+1}^{*}\to \mathcal {H}(\mathbf {1})^{*}\) be the maps associated to \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and let \(\flat _{R}:\mathfrak {h}_{2n+1}\to \mathfrak {h}_{2n+1}^{*}\) be the map associated with \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). We have that \(\vec {H}^{SR}=\vec {H}^{R}\) (see Section 3.4). N is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) if and only if \(({\sharp }_{SR}\circ \iota _{SR}^{*})^{-1}(\mathfrak {n})\subseteq \mathfrak {g}^{*}\) is an invariant subspace of the Hamiltonian vector field \(\vec {H}^{SR}\) (Proposition 11). It is a simple matter to show that \(({\sharp }_{SR}\circ \iota _{SR}^{*})^{-1}(\mathfrak {n})=(\mathfrak {n}+\mathfrak {z})^{\flat _{R}}\). The result then follows as \(\widetilde {\mathsf {N}}\) is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) if and only if \((\mathfrak {n}+\mathfrak {z})^{\flat _{R}}\) is an invariant subspace of \(\vec {H}^{R}=\vec {H}^{SR}\). □
Accordingly, we get the following characterization of the totally geodesic subgroups of \((\mathsf {H}_{2n+1},\mathcal {H},\tilde {\mathbf {g}}^{\lambda })\).
Theorem 5
A subgroup N with Lie algebra \(\mathfrak {n}\) is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) if and only if
Remark 12
Suppose \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) tames \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). The only totally geodesic subgroups of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) which are not totally geodesic subgroups of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) are the Abelian subgroups with Lie algebra contained in \(\mathfrak {z}^{\bot }\). Excluding the center (which is a totally geodesic subgroup of the sub-Riemannian structure to which no geodesic is tangent), these are exactly the totally geodesic subgroups of the Riemannian structure that are flat (cf. [51]).
Next, we enumerate the totally geodesic subgroups up to isometry.
Corollary 2
Any subgroup of H 2n+1 with Lie algebra spanned by
is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) ; any other nontrivial totally geodesic subgroup is the image under an isotropy \(\phi \in \mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) of one of these subgroups.
Corollary 3
Any subgroup of H 2n+1 with Lie algebra spanned by Eq. 9 is a totally geodesic subgroup of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). Moreover, any other non-Abelian totally geodesic subgroup is the image under an isotropy \(\phi \in \mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) of one of these subgroups.
Proof Corollaries 2 and 3
By Theorems 4 and 5, the given subgroups are totally geodesic. It remains to be shown that any other totally geodesic subgroup is the image under an isotropy of identity of one of the subgroups given. We consider only the sub-Riemannian case (the Riemannian case is completely analogous).
Let \(\pi _{i}:\mathfrak {h}_{2n+1}\to \mathfrak {e}_{i}\) denote the projection corresponding to the direct sum decomposition \(\mathfrak {h}_{2n+1}=\mathfrak {z}\oplus \mathfrak {e}_{1}\oplus \cdots \oplus \mathfrak {e}_{k}\). Let N be a totally geodesic subgroup with Lie algebra \(\mathfrak {n}\). Suppose \(\pi _{r}(\mathfrak {n})\neq \{0\}\) for some r∈{1,2,…,k}. Note that, by Theorem 5, we have that \(\pi _{i}(\mathfrak {n})=\mathfrak {n}\cap \mathfrak {e}_{i}\). Let A 1,…,A s be a basis for \(\pi _{r}(\mathfrak {n})\) and let \(A_{j}={\sum }_{i=\chi _{r-1}+1}^{\chi _{r}} a^{j}_{x_{i}}X_{i}+a^{j}_{y_{i}} Y_{i}\). There exists t such that χ r−1+1≤t≤χ r ,
and \((a^{u}_{x_{t}})^{2}+(a^{u}_{y_{t}})^{2}\neq 0\) for some u; we may assume u=1. (Note that when t = χ r−1+1, the condition (10) falls away.) Let \(a^{1}_{x_{t}}=\varepsilon \cos \theta \) and \(a^{1}_{y_{t}}=\varepsilon \sin \theta \); we may assume ε=1. We have that \(\rho _{r}(-\theta )\in \mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). Hence \(B_{1}=T_{\mathbf {1}}\rho _{r}(-\theta )\cdot A_{1}=X_{t}+{\sum }_{i=t+1}^{\chi _{r}} a^{1}_{x_{i}}X_{i}+a^{1}_{y_{i}}Y_{i}\). Suppose \((a^{1}_{x_{\bar {t}}})^{2}+(a^{1}_{y_{\bar {t}}})^{2}\neq 0\) for some \(\bar {t}\geq t+1\); we may assume \(a^{1}_{x_{\bar {t}}}\neq 0\) and \(a^{1}_{y_{\bar {t}}}=0\) by application of an appropriate isotropy \(\rho _{\bar {t}}(\theta )\). Let \(a^{1}_{x_{t}}=\varepsilon \cos \theta \) and \(a^{1}_{x_{\bar {t}}} =\varepsilon \sin \theta \). Then \(\rho _{t,\bar {t}}(-\theta )\cdot B_{1}=\varepsilon X_{t}+{\sum }_{i=t+1,\,i\neq \bar {t}}^{\chi _{r}} a^{1}_{x_{i}}X_{i}+a^{1}_{y_{i}}Y_{i}\); by rescaling, we may assume ε=1. Accordingly, (repeating this process several times if necessary) there exists an isotropy ϕ such that T 1 ϕ⋅B 1 = X t .
As \(T_{\mathbf {1}}\sigma (\mathfrak {n})=\mathfrak {n}\) and T 1 σ∘π i = π i ∘T 1 σ, we have \(T_{\mathbf {1}}\sigma (\pi _{r}(\mathfrak {n}))=\pi _{r}(\mathfrak {n})\). Hence, we get that \(T_{\mathbf {1}}\sigma (X_{t})=Y_{t}\in T_{\mathbf {1}}\phi (\pi _{r}(\mathfrak {n}))\). Accordingly, there exists an isotropy ϕ such that \(X_{t},Y_{t}\in T_{\mathbf {1}}\phi (\pi _{r}(\mathfrak {n}))\). Therefore, \(T_{\mathbf {1}}\phi (\pi _{r}(\mathfrak {n}))\) has basis X t ,Y t ,C 3,…,C s where C 3,…,C s are some elements of \(\mathfrak {e}_{i}\) with \(c^{i}_{x_{j}}=c^{i}_{y_{j}}=0\) for j = χ r−1+1,…,t. Repeating the above procedure (possibly several times), it follows that there exists an isotropy ϕ such that \(T_{\mathbf {1}}\phi (\pi _{r}(\mathfrak {n}))\) has basis \(\{X_{t_{1}},Y_{t_{1}},\ldots ,X_{t_{s}},Y_{t_{s}}\}\) for some χ r−1+1≤t 1<t 2<…<t s ≤χ r and some 0≤s≤ν r . As \(\pi _{r}(\mathfrak {n})=\mathfrak {n}\cap \mathfrak {e}_{r}\), it follows that \(X_{t_{1}},Y_{t_{1}},\ldots ,X_{t_{s}},Y_{t_{s}}\in T_{\mathbf {1}}\phi (\mathfrak {n})\). Moreover, we have that the isotropy ϕ constructed fixes all elements in \(\mathfrak {z}\) and \(\pi _{i}(\mathfrak {n})\), i≠r. Therefore, the procedure can be carried out for each subspace \(\pi _{i}(\mathfrak {n})\). Lastly, as \(X_{i},Y_{i}\in T_{\mathbf {1}}\phi (\mathfrak {n})\) for some i∈{1,2,…,n}, it follows that \(Z=[X_{i},Y_{i}]\in T_{\mathbf {1}}\phi (\mathfrak {n})\). □
4.3 Representative Subgroups
We say that a totally geodesic subgroup N of \((\mathsf {G},\mathcal {D},\mathbf {g})\) is representative if the following four conditions hold:
-
1.
The distribution \(\mathcal {E}\) on N given by \(\mathcal {E}(g)=\mathcal {D}(g)\cap T_{g} \mathsf {N}\) is bracket generating.
-
2.
For every geodesic g(⋅) of \((\mathsf {G},\mathcal {D},\mathbf {g}),\) there exists an isometry \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) such that the trace of ϕ∘g(⋅) is contained in N.
-
3.
Every minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\) is a minimizing geodesic of the ambient structure \((\mathsf {G},\mathcal {D},\mathbf {g})\).
-
4.
For every isometry \(\phi \in \mathsf {Iso}(\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}}),\) there exists an isometry \(\tilde {\phi }\in (\mathsf {G},\mathcal {D},\mathbf {g})\) such that \(\tilde {\phi }(\mathsf {N})=\mathsf {N}\) and \(\tilde {\phi }|_{\mathsf {N}}=\phi \).
For example, the Euclidean space \(\mathbb {E}^{n}\) (viewed as a left-invariant Riemannian structure on the Abelian group \(\mathbb {R}^{n}\)) has representative totally geodesic subgroup \(\mathbb {E}^{1}\). If N is a representative totally geodesic subgroup of \((\mathsf {G},\mathcal {D},\mathbf {g})\), then the problem of finding the minimizing geodesics of \((\mathsf {G},\mathcal {D},\mathbf {g})\) can effectively be reduced to the problem of finding the minimizing geodesics of \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\) in the following way.
Proposition 13
Let N be a representative totally geodesic subgroup of \((\mathsf {G},\mathcal {D},\mathbf {g})\). If g(⋅) is a minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}\left .|_{\mathcal {E}}\right .)\), then ϕ∘g(⋅) is a minimizing geodesic of \((\mathsf {G},\mathcal {D},\mathbf {g})\) for every \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\). Moreover, for every minimizing geodesic \(\bar {g}(\cdot )\) of \((\mathsf {G},\mathcal {D},\mathbf {g})\), there exists an isometry \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) and a minimizing geodesic g(⋅) of \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\) such that \(\bar {g}(\cdot )=\phi \circ g(\cdot )\).
Proof
Let g(⋅) be a minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\). Then g(⋅) is a minimizing geodesic of the ambient structure (G,N,g). Hence, as isometries map minimizing geodesics to minimizing geodesics, it follows that ϕ∘g(⋅) is a minimizing geodesic of \((\mathsf {G},\mathcal {D},\mathbf {g})\) for every \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\). On the other hand, let \(\bar {g}(\cdot )\) be a minimizing geodesic of \((\mathsf {G},\mathcal {D},\mathbf {g})\). Then there exists an isometry \(\phi \in \mathsf {Iso}(\mathsf {G},\mathcal {D},\mathbf {g})\) such that the trace of \(\phi \circ \bar {g}(\cdot )\) is contained in N. Consequently, \(g(\cdot )=\phi \circ \bar {g}(\cdot )\) is a minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}|_{\mathcal {E}})\) such that \(\bar {g}(\cdot )=\phi ^{-1}\circ g(\cdot )\). □
We now proceed to find representative totally geodesic subgroups of minimal dimension for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\).
Theorem 6
For both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\), the (2k+1)-dimensional subgroup N with Lie algebra spanned by
is a representative totally geodesic subgroup of minimal dimension.
Proof
We provide a proof for the sub-Riemannian case; the Riemannian case can be proved similarly. Suppose λ i = λ i+1. Let N be the totally geodesic subgroup with Lie algebra spanned by (Z,X 1,Y 1,…,X i ,Y i ,X i+2,Y i+2,…,X n ,Y n ). We claim that N is a representative totally geodesic subgroup. Clearly, \(\mathcal {E}\) is bracket generating. By Theorem 3, it follows that, for every isometry \(\phi \in \mathsf {Iso}(\mathsf {N},\mathcal {E},\mathbf {g}^{\lambda }|_{\mathcal {E}})\), there exists an isometry \(\tilde {\phi }\in (\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) such that \(\tilde {\phi }(\mathsf {N})=\mathsf {N}\) and \(\tilde {\phi }|_{\mathsf {N}}=\phi \).
Let g(t)=Exp(t p) be a (normal) geodesic on H 2n+1 and let \(p_{x_{i}}=r_{i} \cos \theta _{i}\), \(p_{y_{i}}=r_{i} \sin \theta _{i}\). Then ρ i (−𝜃 i )(Exp(t p))=Exp(t (T 1 ρ i (𝜃 i ))∗⋅p), where the \(X_{i}^{*},Y_{i}^{*}\) components of p ′=(T 1 ρ i (𝜃 i ))∗⋅p are \(p^{\prime }_{x_{i}}=r_{i}\) and \(p^{\prime }_{y_{i}}=0\) (see Proposition 5). Likewise, there then exists an isotropy ρ i+1(−𝜃 i+1) such that p ″=(T 1 ρ i+1(𝜃 i+1))∗⋅p ′ takes the form
Let r i = rcos𝜃 and r i+1 = rsin𝜃. We have that \(\rho _{i,i+1}(-\theta )\in \mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and p ″′=(T 1 ρ i,i+1(𝜃))∗⋅p ″ takes the form
If \(m(\bar {z}(t),\bar {x}_{1}(t),\bar {y}_{1}(t),\ldots ,\bar {x}_{n}(t),\bar {y}_{n}(t))=\text {Exp}(t\,p^{\prime \prime \prime })\), then \(\bar {x}_{i+1}(t)=\bar {y}_{i+1}(t)=0\). Thus, for every geodesic g(⋅) of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\), there exists an isotropy ϕ such that the trace of ϕ∘g(⋅) is contained in N.
It remains to be shown that every minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}^{\lambda }|_{\mathcal {E}})\) is a minimizing geodesic of the ambient structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). Let g(⋅) be a minimizing geodesic of \((\mathsf {N},\mathcal {E},\mathbf {g}^{\lambda }|_{\mathcal {E}})\). We may assume g(0) = 1 (by left invariance). Suppose that g(⋅) is not a minimizing geodesic of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\), i.e., there exists a minimizing geodesic \(\bar {g}(\cdot )\), \(\bar {g}(0)=\mathbf {1}\), \(\bar {g}(t_{1})=g(t_{1})\) such that
We have \(\bar {g}(t)=\text {Exp}(t\,p)\) for some \(p\in \mathfrak {h}_{2n+1}^{*}\). Therefore
However, as \(\bar {g}(t_{1})=g(t_{1})\in \mathsf {N}\), we have that \(\bar {x}_{i+1}(t_{1})=\bar {y}_{i+1}(t_{1})=0\). Thus either \(p_{x_{i+1}}=p_{y_{i+1}}=0\) or \(p_{z} t_{1}\in 2\pi \lambda _{i+1}\mathbb {Z}\). Suppose \(p_{x_{i+1}}=p_{y_{i+1}}=0\). Then \(\bar {g}(\cdot )\) is a curve on N and so is a minimizing geodesic of \((\mathsf {N},\mathcal {E},\left .\mathbf {g}^{\lambda }\right |_{\mathcal {E}})\). Thus
which contradicts \(\ell (\bar {g}(\cdot ))<\ell (g(\cdot ))\). On the other hand, suppose \(p_{z} t_{1}\in 2\pi \lambda _{i+1}\mathbb {Z}\), p z ≠0. Then \(\bar {x}_{i}(t_{1})=\bar {y}_{i}(t_{1})=0\) (as λ i = λ i+1). Consequently, the isotropy ϕ constructed above fixes the point g(t 1). Moreover, \(\phi \circ \bar {g}(\cdot )\) is a minimizing geodesic of \((\mathsf {N},\mathcal {E},\left .\mathbf {g}^{\lambda }\right |_{\mathcal {E}})\). Thus
which contradicts \(\ell (\bar {g}(\cdot ))<\ell (g(\cdot ))\). Lastly, suppose p z =0. In this case g(t 1)=(0,x 1(t 1),y 1(t 1),…,x i (t 1),y i (t 1),0,0,x i+2(t 1),y i+2(t 1),…,x n (t 1),y n (t 1)). Therefore, by Proposition 8, it follows that \(d^{(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })}(\mathbf {1},g(t_{1}))=d^{(\mathsf {N},\mathcal {E},\left .\mathbf {g}^{\lambda }\right |_{\mathcal {E}})}(\mathbf {1},g(t_{1}))\), which again contradicts \(\ell (\bar {g}(\cdot ))<\ell (g(\cdot ))\).
It is easy to show that the property of being a representative totally geodesic subgroup is transitive. Consequently, we can apply the above process until we end up with a representative totally geodesic subgroup of the given form (i.e., one that is isometric to a structure for which λ 1>⋯>λ k >0). Every (linearized) isotropy preserves \(\mathfrak {z}\) and each subspace \(\mathfrak {e}_{i}\); moreover, \(\dim \mathfrak {e}_{i}\geq 2\), i=1,…,k. Therefore, no representative totally geodesic subgroup can have dimension less than 2k+1. □
Remark 13
The maximally symmetric structures (i.e., ones for which λ 1 = λ 2=⋯ = λ n ) have minimal representative totally geodesic subgroup (isomorphic to) H 3. The minimally symmetric structures (i.e., ones for which λ 1>λ 2>⋯>λ n ) have no representative totally geodesic subgroups (except trivially the group H 2n+1 itself).
Note 5
Henceforth, we will consider only the minimally symmetric structures (i.e., λ 1>λ 2>⋯>λ n ), as any structure \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) or \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\, \) has a representative totally geodesic subgroup isometric to one of these structures.
5 Minimizing Geodesics
5.1 Conjugate Locus
A point \(\bar {g}\in \mathsf {H}_{2n+1}\) is said to be conjugate to 1 if it is a critical value of \(\text {Exp}:\mathfrak {g}^{*}\to \mathsf {G}\). Likewise, \(\bar {g}\) is conjugate to 1 along the geodesic g(t)=Exp(t p) if \(\bar {g}=g(t_{1})\) and t 1 p 1 is a critical point of the exponential map. A point \(\bar {g}\in \mathsf {H}_{2n+1}\) is said to be a first conjugate point if there exists a geodesic g(t)=Exp(t p) with \(g(t_{1})=\bar {g}\) conjugate to 1 and g(t) not conjugate to 1 for 0<t<t 1. The collection of first conjugate points is referred as the first conjugate locus. It is known that a geodesic g(t)=Exp(t p) is not minimizing after passing through a conjugate point (see, e.g., [2, 6, 33]).
We proceed to determine the first conjugate locus for both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). Throughout, we assume λ 1>λ 2>⋯>λ n >0 (see Note 5). In both cases, the Jacobian \(\mathcal {J}\) of Exp takes the form (cf. [47])
where
and
In the sub-Riemannian case
and so
Likewise, in the Riemannian case
and so
The term \(\eta _{i}(p_{z})=1-\cos \frac {p_{z}}{\lambda _{i}}-\frac {p_{z}}{2\lambda _{i}}\sin \frac {p_{z}}{\lambda _{i}}\) is positive for
and zero for p z =0 and p z =±2π λ i . Indeed, η i (0)=0, \(\frac {d \eta _{i}}{p_{z}}|_{p_{z}=0}=0\) and \(\frac {d^{2}\eta _{i}}{d{p_{z}^{2}}}=\frac {p_{z}}{2{\lambda _{i}^{3}}}\sin \frac {p_{z}}{\lambda _{i}}>0\) for p z ∈(0,π λ i ); hence η i (p z )>0 for p z ∈(0,π λ i ). On the other hand, \(1-\cos \frac {p_{z}}{\lambda _{i}}>0\) and \(-\frac {p_{z}}{2\lambda _{i}}\sin \frac {p_{z}}{\lambda _{i}}\geq 0\) for p z ∈[π λ i ,2π λ i ). Finally, note that η i (−p z ) = η i (p z ).
Accordingly, for \(p=(p_{z},p_{x_{1}},p_{y_{1}},\ldots ,p_{x_{n}},p_{y_{n}})\in \mathfrak {h}_{2n+1}^{*}\), p z ∈[−2π λ n ,0)∪(0,2π λ n ], we have that p is a critical point for the sub-Riemannian (resp. Riemannian) exponential map exactly when p z =±2π λ n .
Theorem 7
For both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\):
-
1.
If p z =0, then there are no conjugate points along the geodesic t↦Exp(t p).
-
2.
If p z ≠0 and \(p\notin \mathcal {H}(\mathbf {1})^{\circ }\) , then the first conjugate point along the geodesic t↦Exp(t p) is attained at \(t=\frac {2 \pi \lambda _{n}}{|p_{z}|}\).
Next, we determine the first conjugate locus. In Fig. 1, we graph the conjugate loci for the three- and five-dimensional cases. (In the five-dimensional case, we graph the projection of the loci under the mapping (z,x 1,y 1,x 2,y 2)↦(z,x 1,y 1).)
Theorem 8
For \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) , the first conjugate locus of identity is
For \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) , the first conjugate locus of identity is
Here, \(\varepsilon _{i}= \frac {2\pi \lambda _{n}-\lambda _{i}\sin \frac {2\pi \lambda _{n}}{\lambda _{i}}}{\lambda _{i}\sin ^{2} \frac {\pi \lambda _{n}}{\lambda _{i}}}>0\) , i=1,2,…,n−1.
Proof
By Theorem 7, the first conjugate locus \(\mathcal {C}\) is given by \(\mathcal {C}=\{\text {Exp}(p)\,:\, p\in \mathfrak {h}_{2n+1}^{*}\backslash \mathcal {H}(\mathbf {1})^{\circ },\,|p_{z}|= 2\pi \lambda _{n}\}\). Let m(z,x 1,y 1,…,x n ,y n )=Exp(p) with |p z |=2π λ n . Then
and x n = y n =0. Therefore,
Consequently, (as sgn(p z )=sgn(z))
in the sub-Riemannian case and
in the Riemannian case. By ranging through \(p_{x_{n}},p_{y_{n}}\in \mathbb {R}\), we arrive at the given expression. □
Remark 14
In the general case (i.e., λ 1≥λ 2≥⋯≥λ n >0), the conjugate locus is identical to the orbit, under the action of isotropy group \(\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\), of the conjugate locus of a minimal representative totally geodesic subgroup. For example, in the case of maximal symmetry (i.e., λ 1 = λ 2=⋯ = λ n ), the conjugate locus of the minimal representative totally geodesic subgroup H 3 (with Lie algebra spanned by Z,X 1,X 2) is the center of the group (or a subset of the center in the Riemannian case). Consequently, as any isotropy fixes each element in the center, the conjugate locus in this case coincides with the conjugate locus of the minimal representative totally geodesic subgroup H 3.
We shall find it convenient (for both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\)) to partition H 2n+1 into the following four subsets.
-
\(\mathcal {I}\): the collection of points Exp(t p) for which there are no conjugate points along t↦Exp(t p). (\(\mathcal {I}\) coincides with collection of endpoints of the minimizing geodesics described in Proposition 8.)
-
\(\mathsf {H}_{2n+1}\backslash (\mathcal {C}\cup \mathcal {I})\): the collection of points which are not first conjugate points and do not belong to \(\mathcal {I}\).
-
\(\partial \mathcal {C}\): the boundary of \(\mathcal {C}\) (excluding identity, with respect to the subgroup H 2n−1 of codimension two containing \(\mathcal {C}\)).
-
\(\text {int} \mathcal {C}\): the interior of the first conjugate locus (again with respect to the subgroup H 2n−1 of codimension two containing \(\mathcal {C}\)).
These subsets can be characterized as follows:
Here, g = m(z,x 1,y 1,…,x n ,y n ), \(\varepsilon _{i}= \frac {2\pi \lambda _{n}-\lambda _{i}\sin \frac {2\pi \lambda _{n}}{\lambda _{i}}}{\lambda _{i}\sin ^{2} \frac {\pi \lambda _{n}}{\lambda _{i}}}\), and
in the sub-Riemannian and Riemannian cases, respectively. We note that in the three-dimensional case \(\partial \mathcal {C}^{SR}\) is empty and \(\partial \mathcal {C}^{R}=\{\pm 2\pi \lambda _{1}\}\).
5.2 Optimal Synthesis
For every \(\bar {g}\in \mathsf {H}_{2n+1}\), we describe the minimizing geodesics from identity to \(\bar {g}\). (All other minimizing geodesics can be recovered by left translations.) Again, it is assumed that λ 1>λ 2>⋯>λ n >0 (see Note 5).
Theorem 9
Let \(\bar {g}=m(\bar {z},\bar {x}_{1},\bar {y}_{1},\bar {x}_{2},\bar {y}_{2},\ldots ,\bar {x}_{n},\bar {y}_{n})\in \mathsf {H}_{2n+1}\) . In the sub-Riemannian case \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) , let
and in the Riemannian case \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) , let
Furthermore, let
For both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) , the unit-speed minimizing geodesics
from g(0) = 1 to \(g(t_{1})=\bar {g}\) (having length t 1 ) are given below.
-
1.
If \(\bar {g}\in \mathcal {I}\), then there exists a unique unit-speed minimizing geodesic from 1 to \(\bar {g}\) given by
$$z(t)=0,\quad x_{i}(t)=\frac{\bar{x}_{i}}{t_{1}}\,t,\quad y_{i}(t)=\frac{\bar{y}_{i}}{t_{1}}\,t $$where \(t_{1}=\sqrt {{\sum }_{i=1}^{n}\lambda _{i}(\bar {x}_{i}^{2}+\bar {y}_{i}^{2})}\).
-
2.
If \(\bar {g}\notin \mathcal {I}\cup \mathcal {C}\) , then there exists a unique unit-speed minimizing geodesic from 1 to \(\bar {g}\) given by
$$\left\{\begin{array}{cc}z(t)=\tau_{n}\left(\alpha,\frac{\alpha \,t}{t_{1}}\right)\\ \left[\begin{array}{c}x_{i}(t)\\y_{i}(t)\end{array}\right]=R_{i}(t,t_{1},\alpha)\,\left[\begin{array}{c}\bar{x}_{i}\\\bar{y}_{i}\end{array}\right],& \quad i=1,\ldots,n \end{array}\right.$$where \(\text {sgn}(\bar {z})\alpha \) is the unique solution to \(\tau _{n}(s,s)=|\bar {z}|\) on the interval (0,2πλ n ) and \(t_{1}=|\alpha |\sqrt {\kappa _{n}(\alpha )}\).
-
3.
If \(\bar {g}\in \partial \mathcal {C}\) , then there exists a unique unit-speed minimizing geodesic from 1 to \(\bar {g}\) given by
$$\left\{\begin{array}{rl} z(t)&=\tau_{n-1}\left(\alpha,\frac{\alpha \, t}{t_{1}}\right)\\ \left[\begin{array}{c}x_{i}(t)\\y_{i}(t)\end{array}\right]&=R_{i}(t,t_{1},\alpha)\,\left[\begin{array}{c}\bar{x}_{i}\\\bar{y}_{i}\end{array}\right],\quad i=1,\ldots,n-1\\ x_{n}(t)&=y_{n}(t)=0 \end{array}\right. $$where \(\alpha =2\text {sgn}(\bar {z})\pi \lambda _{n}\) and \(t_{1}=2\pi \lambda _{n}\sqrt {\kappa _{n-1}(2\pi \lambda _{n})}\).
-
4.
If \(\bar {g}\in \text {int}\mathcal {C}\) , then there exists a family of unit-speed minimizing geodesics
$$\left\{\begin{array}{rl} z(t)&=\tau_{n-1}\left(\alpha,\frac{\alpha \, t}{t_{1}}\right)+ \frac{|\bar{z}|-\zeta}{2\pi}\left(\frac{\alpha\,t}{\lambda_{n}\,t_{1}}-\sin \frac{\alpha\,t}{\lambda_{n} t_{1}}\right)\\ \left[\begin{array}{c}x_{i}(t)\\y_{i}(t)\end{array}\right]&=R_{i}(t,t_{1},\alpha)\,\left[\begin{array}{c}\bar{x}_{i}\\\bar{y}_{i}\end{array}\right],\quad i=1,\ldots,n-1\\ \left[\begin{array}{c}x_{n}(t)\\y_{n}(t)\end{array}\right]&= \frac{\text{sgn}(\bar{z}) \sqrt{|\bar{z}|-\zeta} }{\sqrt{\pi}} \left[\begin{array}{cc} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right] \left[\begin{array}{c} \sin\frac{ \alpha \,t}{\lambda_{n}t_{1}}\\ 1- \cos\frac{ \alpha\, t}{\lambda_{n} t_{1}} \end{array}\right] \end{array}\right.$$from 1 to \(\bar {g}\) , parametrized by \(\left [\begin {array}{ll} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end {array}\right ]\in \mathsf {SO}\,(2)\) . Here \(\alpha =2\text {sgn}(\bar {z})\pi \lambda _{n}\) and \(t_{1}=2\sqrt {\pi \lambda _{n}}\sqrt {|\bar {z}|-\zeta +\pi \lambda _{n}\kappa _{n-1}(2\pi \lambda _{n})}\) . Moreover, the subgroup
$$\left\{\phi\in\mathsf{Aut}(\mathsf{H}_{2n+1})\,:\,T_{\mathbf{1}}\phi =\left[\begin{array}{ccccc} 1&0 & & &0\\ 0&I_{2}& &&0\\ & &\ddots& &\\ & & &I_{2} &\\ 0&0 & & &g_{n}\end{array}\right],\;g_{n}\in\mathsf{SO}\,(2)\right\}$$of the isotropy subgroup \(\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })=\mathsf {Iso}_{\mathbf {1}}(\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) acts transitively on this family of minimal geodesics.
Proof
We note that the existence of minimizing geodesics is assured by Proposition 1. (Also, on the Heisenberg group, every minimizing geodesic is a normal geodesic, i.e., takes the form t↦Exp(t p).) We prove only the sub-Riemannian case (the Riemannian case follows similarly). Throughout, we make use of the characterizations of \(\mathcal {I}\), \(\mathsf {H}_{2n+1}\backslash (\mathcal {I}\cup \mathcal {C})\), \(\partial \mathcal {C}\), and \(\text {int} \mathcal {C}\) given in Section 5.1.
If \(\bar {z}=0\), then there is exactly one unit-speed geodesic from identity to \(\bar {g}\), namely the one described in Proposition 8. Henceforth, we assume \(\bar {z}\neq 0\). We seek \(p\in \mathfrak {h}_{2n+1}^{*}\), \(H(p)=\tfrac {1}{2}\) and minimal t 1>0 such that \(\text {Exp}(t_{1} \,p)=\bar {g}\), i.e.,
Note that \(\text {sgn}(p_{z})=\text {sgn}(\bar {z})\). The condition \(H(p)=\tfrac {1}{2}\) corresponds to the restriction to unit-speed geodesics. By Theorem 7, we have that |p z |t 1∈(0,2π λ n ].
Suppose \({x_{n}^{2}}+{y_{n}^{2}}\neq 0\); then |p z |t 1≠2π λ n and so |p z |t 1∈(0,2π λ n ). We have
Hence,
and so \(\bar {z}=\tau _{n}(p_{z} \,t_{1},p_{z}\,t_{1})\). We have that \(\lim _{s\to 0}\tau _{n}(s,s)=0\), \(\lim _{s\to 2\pi \lambda _{n}}\tau _{n}(s,s)=\infty \), and \(\frac {d\tau _{n}(s,s)}{ds}=\frac {\left (\bar {x}_{i}^{2}+\bar {y}_{i}^{2}\right ) \left (2 \lambda _{i}-s \cot \frac {s}{2 \lambda _{i}}\right ) }{{\lambda _{i}^{2}}\sin ^{2}\frac {s}{2 \lambda _{i}}}>0\) for s∈(0,2π λ n ). Hence, there exists a unique solution s ′ to \(\tau _{n}(s,s)=|\bar {z}|\) on (0,2π λ n ). As τ n (−s,−s)=−τ n (s,s), it follows that \(\tau _{n}(\text {sgn}(\bar {z})s^{\prime },\text {sgn}(\bar {z})s^{\prime })=\bar {z}\). Let \(\alpha =\text {sgn}(\bar {z})s^{\prime }\); then we have that p z t 1 = α. As \(H(p)=\tfrac {1}{2}\), we have that
Therefore, \(t_{1}=\frac {\alpha }{p_{z}}=\text {sgn}(\bar {z})\alpha \sqrt {\kappa _{n}(\alpha )}\). Thus, we have obtained a unique p and t 1 such that Exp(t 1 p) = g 1 with \(t_{1}\in (0,\tfrac {2\pi \lambda _{n}}{|p_{z}|})\). Substituting the value for p (with \(p_{z}=\frac {\alpha }{t_{1}}\)) back into expression for Exp(t p) yields the expression given.
Henceforth, suppose \(\bar {x}_{n}^{2}+\bar {y}_{n}^{2}=0\). As |p z |t 1∈(0,2π λ n ] it follows that Eq. 11 holds, but only for i=1,2,…,n−1. Accordingly
Suppose \(|\bar {z}|<\tau _{n-1}(2\pi \lambda _{n},2\pi \lambda _{n})\). If |p z |t 1=2π λ n , then \(|\bar {z}|\geq \tau _{n-1}(2\pi \lambda _{n},2\pi \lambda _{n})\), which is a contradiction. Hence, |p z |t 1∈(0,2π λ n ) and so the above argument holds for this case.
Suppose \(|\bar {z}|=\tau _{n-1}(2\pi \lambda _{n},2\pi \lambda _{n})\). As \(\bar {x}_{n}^{2}+\bar {y}_{n}^{2}=0\), it follows that |p z |t 1=2π λ n or \(p_{x_{i}}^{2}+p_{y_{i}}^{2}=0\). If \(p_{x_{i}}^{2}+p_{y_{i}}^{2}=0\), then τ n−1(2π λ n ,2π λ n ) = τ n−1(|p z |t 1,|p z |t 1) and so (as τ n−1(s,s) is increasing on (0,2π λ n ]) we have that |p z |t 1=2π λ n . If |p z |t 1=2π λ n , then
and so \(p_{x_{n}}^{2}+p_{y_{n}}^{2}=0\). Therefore, in either case, we have that |p z |t 1=2π λ n and \(p_{x_{n}}^{2}+p_{y_{n}}^{2}=0\). As \(H(p)=\tfrac {1}{2}\), we have that
Therefore, \(t_{1}=\frac {2\pi \lambda _{n}}{|p_{z}|}=2\pi \lambda _{n}\sqrt {\kappa _{n-1}(2\pi \lambda _{n})}\). Again, substituting the unique value for p back into expression for Exp(t p) yields the expression given.
Lastly, suppose \(\bar {z}>\tau _{n-1}(2\pi \lambda _{n},2\pi \lambda _{n})\). If \(p_{x_{n}}^{2}+p_{y_{n}}^{2}=0\), then we have that \(|\bar {z}|=\tau _{n-1}(|p_{z}| t_{1},|p_{z}| t_{1})\leq \tau _{n-1}(2\pi \lambda _{n},2\pi \lambda _{n})\), which is a contradiction. Hence, as \({x_{n}^{2}}+{y_{n}^{2}}=0\), it follows that |p z |t 1=2π λ n . Consequently, as \(H(p)=\tfrac {1}{2}\), we have that
Therefore, \(p_{x_{n}}^{2}+p_{y_{n}}^{2}=\lambda _{n}-\lambda _{n}{p_{z}^{2}}\kappa _{n-1}(2\pi \lambda _{n})\) and so
Thus
Let \(p_{x_{n}}=r\cos \theta \) and \(p_{y_{n}}=r\sin \theta \). As \(p_{x_{n}}^{2}+p_{y_{n}}^{2}=\lambda _{n}-\lambda _{n}{p_{z}^{2}}\kappa _{n-1}(2\pi \lambda _{n})\) and \(|p_{z}|=\frac {2\pi \lambda _{n}}{t_{1}}\), we have that
We have determined p up to a rotation in the \(p_{x_{n}},p_{y_{n}}\) plane. Nonetheless, all these geodesics have the same unique length t 1 and so are minimal. Hence, we have a family of minimizing geodesics parametrized by S O (2). Again, substituting the value for p (with \(p_{x_{n}}=r\cos \theta \), \(p_{y_{n}}=r\sin \theta \), and r as given above) back into expression for Exp(t p) yields the expression given. □
Corollary 4
The associated (Carnot–Carathéodory) distance for \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) is given by
Here, g=m(z,x 1 ,y 1 ,…,x n ,y n ), α is the unique solution to τ n (s)=|z| on (0,2πλ n ),
in the sub-Riemannian case and
in the Riemannian case.
Remark 15
We note that, in the above corollary,
in the sub-Riemannian case, and
in the Riemannian case.
Remark 16
If a Riemannian structure tames a sub-Riemannian one, then d SR(1,g)≥d R(1,g). On the Heisenberg group, we have that d SR(1,g) = d R(1,g) if and only if \(g\in \mathcal {I}\).
For the sub-Riemannian and Riemannian structures on the Heisenberg group, we have that \(\mathcal {H}\)-projections are compatible with minimizing geodesics (see Section 3.2).
Corollary 5
Suppose that \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) is tamed by \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\). An absolutely continuous curve on H 2n+1 is a minimizing geodesic of \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) if and only if its \(\mathcal {H}\)-projection is a minimizing geodesic of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\).
Furthermore, it turns out that the cut and conjugate loci coincide. (We say \(\bar {g}\in \mathsf {H}_{2n+1}\) is a cut point if there exists a geodesic g(⋅) with g(0) = 1 and \(g(t_{1})=\bar {g}\) such that d(1,g(t)) = ℓ(g(t)) for 0<t≤t 1, but d(1,g(t))<ℓ(g(t)) for t>t 1. The cut locus is the collection of cut points.)
Corollary 6 (cf. [3, 61])
For both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\) , the first conjugate locus and the cut locus coincide.
Remark 17 (cf. 61)
If a (strictly normal) geodesic g(⋅) from identity is minimizing up to (but not beyond) a cut point \(\bar {g}=g(t_{1})\), then \(\bar {g}\) is a conjugate point or there exists another geodesic of the same length from 1 to \(\bar {g}\). (This is well known in the Riemannian case, see, e.g., [52]; for the sub-Riemannian case, see [2, 4].) For both \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and \((\mathsf {H}_{2n+1},\tilde {\mathbf {g}}^{\lambda })\), the points \(\bar {g}\in \partial \mathcal {C}\) are examples of cut points which are conjugate points but for which there exists only one geodesic from 1 to \(\bar {g}\) of length \(d(\mathbf {1},\bar {g})\). (However, note that this does not occur in the maximally symmetric sub-Riemannian case, as \(\partial \mathcal {C}^{SR}\) is empty.)
In Fig. 2, we plot the wavefronts \(\mathcal {W}(s)=\{\text {Exp}(s\,p)\,:\,p\in \mathfrak {g}^{*}\backslash \mathcal {H}(\mathbf {1})^{\circ },\,H(p)=\frac {1}{2}\}\) for s = π λ n ,2π λ n ,4π λ n in the Riemannian case and for s=1 in the sub-Riemannian case. (In the sub-Riemannian case \(\mathcal {W}^{SR}(s)=\delta _{s}(\mathcal {W}^{SR}(1))\), see Remark 6.) In Fig. 3, we graph some typical minimizing geodesics.
Beals, Gaveau, and Greiner [12] previously described the minimizing geodesics (and Carnot–Carathéodory distance) of the sub-Riemannian structures on the Heisenberg groups, though from a different point of view. To facilitate the comparison of results, we give an isometry between the normalized sub-Riemannian structure considered in [12] and \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). In [12], the Heisenberg group is represented as \(\mathbb {R}^{2n}\times \mathbb {R}\) with group law
where a 1,a 2,…,a n are constants such that 0<a 1≤a 2≤⋯≤a p <a p+1=⋯ = a n . The vector fields
are left invariant and generate the Lie algebra; we have \([V_{2j-1},V_{2j}]= -4 a_{j}\frac {\partial }{\partial t}\). The sub-Riemannian structure considered in [12] is exactly the structure \((\mathbb {R}^{2n}\times \mathbb {R},\mathcal {E},\mathbf {h})\) on \(\mathbb {R}^{2n}\times \mathbb {R}\) admitting the orthonormal frame (V 1,V 2,…,V 2n ). It is a simple matter to show that the mapping \(\phi :\mathbb {R}^{2n}\times \mathbb {R}\to \mathsf {H}_{2n+1}\) given by
with \(\lambda _{j}=\frac {1}{4 a_{j}}\) is a Lie group isomorphism. Moreover, \(\phi _{*}V_{2j-1}=\frac {1}{\sqrt {\lambda _{j}}}Y_{j}\) and \(\phi _{*}V_{2j}=\frac {1}{\sqrt {\lambda _{j}}}X_{j}\). Accordingly, ϕ is an isometry between \((\mathbb {R}^{2n}\times \mathbb {R},\mathcal {E},\mathbf {h})\) and \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\). Hence, ϕ maps minimizing geodesics of \((\mathbb {R}^{2n}\times \mathbb {R},\mathcal {E},\mathbf {h})\) to minimizing geodesics of \((\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })\) and, of course, \(d^{(\mathbb {R}^{2n}\times \mathbb {R},\mathcal {E},\mathbf {h})}((0,0),(x,t))=d^{(\mathsf {H}_{2n+1},\mathcal {H},\mathbf {g}^{\lambda })}(\mathbf {1},\phi (x,t))\).
References
Agrachev A, Barilari D. Sub-Riemannian structures on 3D Lie groups. J Dyn Control Syst 2012;18(1):21–44. doi:10.1007/s10883-012-9133-8.
Agrachev A, Barilari D, Boscain U. Introduction to Riemannian and sub-Riemannian geometry. http://webusers.imj-prg.fr/~davide.barilari/Notes.php. Preprint SISSA 09/2012/M.
Agrachev A, Barilari D, Boscain U. On the Hausdorff volume in sub-Riemannian geometry. Calc Var Partial Differential Equations 2012;43(3-4):355–88. doi:10.1007/s00526-011-0414-y.
Agrachev AA. Exponential mappings for contact sub-Riemannian structures. J Dynam Control Systems 1996;2(3):321–58. doi:10.1007/BF02269423.
Agrachev AA, Gamkrelidze RV. Feedback-invariant optimal control theory and differential geometry. I. Regular extremals. J Dyn Control Syst 1997;3(3):343–89. doi:10.1007/BF02463256.
Agrachev AA, Sachkov YuL. Control theory from the geometric viewpoint. Berlin: Springer; 2004. doi:10.1007/978-3-662-06404-7.
Alcheikh M, Orro P, Pelletier F. Characterizations of Hamiltonian geodesics in sub-Riemannian geometry. J Dyn Control Syst 1997;3(3):391–418. doi:10.1007/BF02463257.
Almeida DM. Sub-Riemannian homogeneous spaces of Engel type. J Dyn Control Syst 2014;20(2):149–66. doi:10.1007/s10883-013-9194-3.
Ambrosio L, Rigot S. Optimal mass transportation in the Heisenberg group. J Funct Anal 2004;208(2):261–301. doi:10.1016/S0022-1236(03)00019-3.
Ardentov AA, Sachkov YuL. Extremal trajectories in the nilpotent sub-Riemannian problem on the Engel group. Mat Sb 2011;202(11):31–54. doi:10.1070/SM2011v202n11ABEH004200.
Ardentov AA, Sachkov YuL. Conjugate points in nilpotent sub-Riemannian problem on the Engel group. J Math Sci (N Y) 2013;195(3):369–90. doi:10.1007/s10958-013-1584-2. Translation of Sovrem. Mat. Prilozh. No. 82 (2012).
Beals R, Gaveau B, Greiner PC. Hamilton–Jacobi theory and the heat kernel on Heisenberg groups. J Math Pures Appl 2000;79(7):633–89. doi:10.1016/S0021-7824(00)00169-0.
Bellaïche A. The tangent space in sub-Riemannian geometry. In: Bellaïche A and Risler JJ, editors. Sub-Riemannian geometry, pp 1–78. Basel: Birkhäuser; 1996, 10.1007/978-3-0348-9210-0_1.
Berndt J, Tricerri F, Vanhecke L. Generalized Heisenberg groups and Damek-Ricci harmonic spaces Lecture Notes in Mathematics, vol 1598. Berlin: Springer; 1995.
Biggs R, Nagy PT. On extensions of sub-Riemannian structures on Lie groups. Differential Geom Appl 2016;46:25–38. doi:10.1016/j.difgeo.2016.02.001.
Biggs R, Nagy PT. A classification of sub-Riemannian structures on the Heisenberg groups. Acta Polytech Hungar 2013;10(7):41–52. doi:10.12700/APH.10.07.2013.7.4.
Biggs R, Remsing CC. On the equivalence of cost-extended control systems on Lie groups. In: Karimi HR, editors. Recent researches in automatic control, systems science and communications, Porto, Portugal, 2012, pp 60–65. WSEAS Press; 2012.
Boscain U, Rossi F. Invariant Carnot–Caratheodory metrics on S3,SO(3),SL(2), and lens spaces. SIAM J Control Optim 2008; 47 (4): 1851–78. doi:10.1137/070703727.
Butt YA, Sachkov YuL, Bhatti AI. Extremal trajectories and Maxwell strata in sub-Riemannian problem on group of motions of pseudo-Euclidean plane. J Dyn Control Syst 2014;20(3):341–64. doi:10.1007/s10883-014-9239-2.
Calin O, Chang DC. Sub-Riemannian geometry. Cambridge: Cambridge University Press; 2009. doi:10.1017/CBO9781139195966.
Calin O, Chang DC, Greiner P. Geometric analysis on the Heisenberg group and its generalizations. American Mathematical Society, Providence, RI. Somerville: International Press; 2007.
Capogna L, Le Donne E. Smoothness of subRiemannian isometries (arXiv:1305.5286).
Cowling M, Dooley A, Korányi A, Ricci F. An approach to symmetric spaces of rank one via groups of Heisenberg type. J Geom Anal 1998;8(2): 199–237. doi:10.1007/BF02921641.
Eberlein P. Geometry of 2-step nilpotent groups with a left invariant metric. Ann Sci École Norm Sup 1994;27(5):611–60. http://www.numdam.org/item?id=ASENS_1994_4_27_5_611_0.
Eberlein P. Geometry of 2-step nilpotent groups with a left invariant metric. II. Trans Amer Math Soc 1994;343(2):805–28. doi:10.2307/2154743.
Eberlein P. Geometry of 2-step nilpotent Lie groups. Modern dynamical systems and applications. Cambridge: Cambridge University Press; 2004. p. 67–101.
Falbel E, Gorodski C. Sub-Riemannian homogeneous spaces in dimensions 3 and 4. Geom Dedicata 1996;62(3):227–52. doi:10.1007/BF00181566.
Gorbatsevich VV, Onishchik AL, Vinberg EB. Foundations of Lie theory and Lie transformation groups. Berlin: Springer; 1997.
Gordon C. Isospectral closed Riemannian manifolds which are not locally isometric. J Differential Geom 1993;37(3):639–49. http://projecteuclid.org/euclid.jdg/1214453902.
Ha KY, Lee JB. Left invariant metrics and curvatures on simply connected three-dimensional Lie groups. Math Nachr 2009;282(6):868–98. doi:10.1002/mana.200610777.
Hamenstädt U. Some regularity theorems for Carnot–Carathéodory metrics. J Differential Geom 1990;32(3):819–50.
Homolya Sz, Nagy PT. Submersions on nilmanifolds and their geodesics. Publ Math Debrecen 2003;62(3-4):415–28.
Jurdjevic V. Geometric control theory. Cambridge: Cambridge University Press; 1997.
Kaplan A. Riemannian nilmanifolds attached to Clifford modules. Geom Dedicata 1981;11(2):127–36. doi:10.1007/BF00147615.
Kaplan A. On the geometry of groups of Heisenberg type. Bull London Math Soc 1983;15(1):35–42. doi:10.1112/blms/15.1.35.
Kishimoto I. Geodesics and isometries of Carnot groups. J Math Kyoto Univ 2003; 43(3):509–22.
Korányi A. Geometric properties of Heisenberg-type groups. Adv Math 1985;56 (1):28–38. doi:10.1016/0001-8708(85)90083-0.
Lauret J. Homogeneous nilmanifolds of dimensions 3 and 4. Geom Dedicata 1997; 68(2):145–55. doi:10.1023/A:1004936725971.
Lauret J. Homogeneous nilmanifolds attached to representations of compact Lie groups. Manuscripta Math 1999;99(3):287–309. doi:10.1007/s002290050174.
Lauret J. Modified H-type groups and symmetric-like Riemannian spaces. Differential Geom Appl 1999;10(2):121–43. doi:10.1016/S0926-2245(99)00002-9.
Lauret J. Einstein solvmanifolds and nilsolitons. New developments in Lie theory and geometry, Contemp. Math., vol 491, pp 1–35. Providence: Amer. Math. Soc.; 2009, 10.1090/conm/491/09607.
Marenich V. Geodesics in Heisenberg groups. Geom Dedicata 1997;66(2):175–85. doi:10.1023/A:1004916117293.
Marsden JE, Ratiu TS. Introduction to mechanics and symmetry. New York: Springer; 1994.
Mazhitova AD. Sub-riemannian geodesics on the three-dimensional solvable non-nilpotent Lie group SOLV−. J Dyn Control Syst 2012;18(3):309–22. doi:10.1007/s10883-012-9145-4.
Milnor J. Curvatures of left invariant metrics on Lie groups. Advances in Math 1976;21(3):293–329. doi:10.1016/S0001-8708(76)80002-3.
Moiseev I, Sachkov YuL. Maxwell strata in sub-Riemannian problem on the group of motions of a plane. ESAIM Control Optim Calc Var 2010;16(2):380–99. doi:10.1051/cocv/2009004.
Monroy-Pérez F, Anzaldo-Meneses A. Optimal control on the Heisenberg group. J Dyn Control Syst 1999;5(4):473–99. doi:10.1023/A:1021787121457.
Monroy-Pérez F, Anzaldo-Meneses A. Optimal control on nilpotent Lie groups. J Dyn Control Syst 2002;8(4):487–504. doi:10.1023/A:1020711301924.
Montgomery R. 2002. A tour of subriemannian geometries, their geodesics and applications: American Mathematical Society, Providence.
Monti R. Some properties of Carnot–Carathéodory balls in the Heisenberg group. Atti Accad Naz Lincei Cl Sci Fis Mat Natur Rend Lincei (9) Mat Appl 2000;11(3):155–67.
Nagy PT, Homolya Sz. Geodesic vectors and subalgebras in two-step nilpotent metric Lie algebras. Adv Geom 2015;15(1):121–6. doi:10.1515/advgeom-2014-0028.
Petersen P. Riemannian geometry, 2nd edn. New York: Springer; 2006.
Saal L. The automorphism group of a Lie algebra of Heisenberg type. Rend Sem Mat Univ Politec Torino 1996;54(2):101–13.
Sachkov YuL. Conjugate and cut time in the sub-Riemannian problem on the group of motions of a plane. ESAIM Control Optim Calc Var 2010;16(4):1018–39. doi:10.1051/cocv/2009031.
Sachkov YuL. Cut locus and optimal synthesis in the sub-Riemannian problem on the group of motions of a plane. ESAIM Control Optim Calc Var 2011;17(2):293–321. doi:10.1051/cocv/2010005.
Strichartz RS. Sub-Riemannian geometry. J Differential Geom 1986;24(2):221–63. http://projecteuclid.org/euclid.jdg/1214440436.
Tan KH, Yang XP. Characterisation of the sub-Riemannian isometry groups of H-type groups. Bull Austral Math Soc 2004;70(1):87–100. doi:10.1017/S000497270003584X.
Vershik AM, Gershkovich VY. Nonholonomic problems and the theory of distributions. Acta Appl Math 1988;12(2):181–209. doi:10.1007/BF00047498.
Vershik AM, Gershkovich VY. Nonholonomic dynamical systems, geometry of distributions and variational problems. In: Arnol’d VI and Novikov SP, editors. Dynamical systems VII. Berlin: Springer; 1994. p. 1–81. doi:10.1007/978-3-662-06796-3.
Vukmirović S. Classification of left-invariant metrics on the Heisenberg group. J Geom Phys 2015;94:72–80. doi:10.1016/j.geomphys.2015.01.005.
Walschap G. Cut and conjugate loci in two-step nilpotent Lie groups. J Geom Anal 1997;7(2):343–55. doi:10.1007/BF02921727.
Wilson EN. Isometry groups on homogeneous nilmanifolds. Geom Dedicata 1982; 12(3):337–46. doi:10.1007/BF00147318.
Wolf JA. Curvature in nilpotent Lie groups. Proc Amer Math Soc 1964;15:271–4.
Author information
Authors and Affiliations
Corresponding author
Additional information
The research leading to these results has received funding from the European Union’s Seventh Framework Programme (FP7/2007–2013) under grant agreement no. 317721. The first author is primarily funded by the Claude Leon Foundation.
Rights and permissions
About this article
Cite this article
Biggs, R., Nagy, P.T. On Sub-Riemannian and Riemannian Structures on the Heisenberg Groups. J Dyn Control Syst 22, 563–594 (2016). https://doi.org/10.1007/s10883-016-9316-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10883-016-9316-9
Keywords
- Sub-Riemannian geometry
- Riemannian geometry
- Heisenberg group
- Isometries
- Geodesics
- Totally geodesic subgroups
- Conjugate locus