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

Irina Zubareva

2023-06-10

Abstract:We find geodesics, shortest arcs, cut loci, first conjugate loci for some left-invariant sub-Riemannian metrics on the Lie groups $SU(1,1)\times\mathbb{R}$ and $SO_0(2,1)\times\mathbb{R}$.

Differential Geometry

What problem does this paper attempt to address?

Geodesics and Shortest Arcs of Some Sub-Riemannian Metrics on the Lie Groups and with Three-Dimensional Generating Distributions

I. A. Zubareva

DOI: https://doi.org/10.1134/s003744662402006x

2024-03-27

Siberian Mathematical Journal

Abstract:We find geodesics, shortest arcs, cut loci, and first conjugate loci for some left-invariant sub-Riemannian metrics on the Lie groups and .

mathematics
Sub-Lorentzian geodesics on ${\rm GL}^{+}(2,\mathbb{C})$ with the generating space of Hermitian matrices in the Lie algebra $\mathfrak{gl}^{+}(2,\mathbb{C})$

Valera Berestovskii,Irina Zubareva

2023-10-27

Abstract:The Lie subgroup ${\rm GL}^{+}(2,\mathbb{C})$ of all matrices in the Lie group ${\rm GL}(2,\mathbb{C})$ with positive real determinant is equipped with a left-invariant sub-Lorentzian (anti)metric defined by the natural structure of the 4-dimensional Minkowski space-time on the subspace of Hermitian matrices in its Lie algebra. In base of the corresponding time-anti-optimal control problem, formulated in the paper, and Pontryagin minimum principle for it, using geodesics and shortest arcs of the corresponding left-invariant sub-Riemannian metric on the Lie subgroup ${\rm SL}(2,\mathbb{C})$, the authors found sub-Lorentzian nonspacelike geodesics and longest arcs.

Differential Geometry
Geodesics, curvature, and conjugate points on Lie groups

Alice Le Brigant,Leandro Lichtenfelz,Stephen C. Preston

2024-08-07

Abstract:In a Lie group equipped with a left-invariant metric, we study the minimizing properties of geodesics through the presence of conjugate points. We give criteria for the existence of conjugate points along steady and nonsteady geodesics, using different strategies in each case. We consider both general Lie groups and quadratic Lie groups, where the metric in the Lie algebra $g(u,v)=\langle u,\Lambda v\rangle$ is defined from a bi-invariant bilinear form and a symmetric positive definite operator $\Lambda$. By way of illustration, we apply our criteria to $SO(n)$ equipped with a generalized version of the rigid body metric, and to Lie groups arising from Cheeger's deformation technique, which include Zeitlin's $SU(3)$ model of hydrodynamics on the $2$-sphere. Along the way we obtain formulas for the Ricci curvatures in these examples, showing that conjugate points occur even in the presence of some negative curvature.

Differential Geometry
Riemannian geometry of maximal surface group representations acting on pseudo-hyperbolic space

Nicholas Rungi

2024-02-20

Abstract:For any maximal surface group representation into $\mathrm{SO}_0(2,n+1)$, we introduce a non-degenerate scalar product on the the first cohomology group of the surface with values in the associated flat bundle. In particular, it gives rise to a non-degenerate Riemannian metric on the smooth locus of the subset consisting of maximal representations inside the character variety. In the case $n=2$, we carefully study the properties of the Riemannian metric on the maximal connected components, proving that it is compatible with the orbifold structure and finding some totally geodesic sub-varieties. Then, in the general case, we explain when a representation with Zariski closure contained in $\mathrm{SO}_0(2,3)$ represents a smooth or orbifold point in the maximal $\mathrm{SO}_0(2,n+1)$-character variety and we show that the associated space is totally geodesic for any $n\ge 3$.

Differential Geometry,Representation Theory
Sub-Riemannian geodesics on the Heisenberg 3D nil-manifold

A. Glutsyuk,Yu. Sachkov

2024-06-23

Abstract:We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold~$M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group. First we describe dynamical properties of the geodesic flow for $M$: periodic and dense orbits, and a dynamical characterization of the normal Hamiltonian flow of Pontryagin maximum principle. Then we obtain sharp twoside bounds of sub-Riemannian balls and distance in~$G$, and on this basis we estimate the cut time for sub-Riemannian geodesics in $M$.

Differential Geometry,Dynamical Systems,Optimization and Control
Geodesic orbit Randers metrics in homogeneous bundles over generalized Stiefel manifolds

Shaoxiang Zhang,Huibin Chen

DOI: https://doi.org/10.1515/forum-2023-0256

2024-04-25

Forum Mathematicum

Abstract:In this article, we study the geodesic orbit Randers spaces of the form ( G / H , F ) , such that G is one of the compact classical Lie groups SO ⁢ ( n ) , SU ⁢ ( n ) , Sp ⁢ ( n ) , and H is a diagonally embedded product H 1 × ⋯ × H s , where H i is of the same type as G . Such spaces include spheres, Stiefel manifolds, Grassmann manifolds, and flag manifolds. The present work is a contribution to the study of geodesic orbit Randers spaces ( G / H , F ) with H semisimple. We construct new examples of non-Riemannian Randers g.o. metrics in homogeneous bundles over generalized Stiefel manifolds which are not naturally reductive. Also, we obtain the specific expressions of these Randers g.o. metrics.

mathematics, applied
Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

Nikolaos Panagiotis Souris

DOI: https://doi.org/10.1142/S0219199723500682

2024-01-13

Abstract:We study the relation between two special classes of Riemannian Lie groups $G$ with a left-invariant metric $g$: The Einstein Lie groups, defined by the condition $\operatorname{Ric}_g=cg$, and the geodesic orbit Lie groups, defined by the property that any geodesic is the integral curve of a Killing vector field. The main results imply that extensive classes of compact simple Einstein Lie groups $(G,g)$ are not geodesic orbit manifolds, thus providing large-scale answers to a relevant question of Y. Nikonorov. Our approach involves studying and characterizing the $G\times K$-invariant geodesic orbit metrics on Lie groups $G$ for a wide class of subgroups $K$ that we call (weakly) regular. By-products of our work are structural and characterization results that are of independent interest for the classification problem of geodesic orbit manifolds.

Differential Geometry
Randers metrics on two-spheres of revolution with simple cut locus

Rattanasak Hama,Sorin V. Sabau

DOI: https://doi.org/10.3934/math.20231337

2023-09-21

Abstract:In the present paper, we study the Randers metric on two-spheres of revolution in order to obtain new families of Finsler of Randers type metrics with simple cut locus. We determine the geodesics behavior, conjugate and cut loci of some families of Finsler metrics of Randers type whose navigation data is not a Killing field and without sectional or flag curvature restrictions. Several examples of Randers metrics whose cut locus is simple are shown.

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

Domenico D'Alessandro,Benjamin Sheller

DOI: https://doi.org/10.48550/arXiv.1904.12063

2019-04-27

Abstract:The problem of finding minimizing geodesics for a manifold M with a sub-Riemannian structure is equivalent to the time optimal control of a driftless system on M with a bound on the control. We consider here a class of sub-Riemannian problems on the classical Lie groups G where the dynamical equations are of the form \dot x=\sum_j X_j(x) u_j and the X_j=X_j(x) are right invariant vector fields on G and u_j:=u_j(t) the controls. The vector fields X_j are assumed to belong to the P part of a Cartan K-P decomposition. These types of problems admit a group of symmetries K which act on G by conjugation. Under the assumption that the minimal isotropy group in K is discrete, we prove that we can reduce the problem to a Riemannian problem on the regular part of the associated quotient space G/K. On this part we define the corresponding quotient metric. For the special cases of the K-P decomposition of SU(n) of type AIII we prove that the assumption on the minimal isotropy group is verified. Moreover, under the assumption that the quotient space G/K with the given metric has negative curvature we prove that the cut locus has to belong to the singular part of G. As an example of applications of these techniques we characterize the cut locus for a problem on SU(2) of interest in the control of quantum systems.

Optimization and Control
Geodesics in the Engel Group with a Sub-Lorentzian Metric

Qihui Cai,Tiren Huang,Yu. L. Sachkov,Xiaoping Yang

DOI: https://doi.org/10.1007/s10883-015-9295-2

2019-01-01

Abstract:Let E be the Engel group and D be a rank 2 bracket generating left invariant distribution with a Lorentzian metric, which is a nondegenerate metric of index 1. In this paper, we first study some properties of horizontal curves on E . Second, we prove that time-like normal geodesics are locally maximizers in the Engel group and calculate the explicit expression of non-space-like geodesics.
Metabelian distributions and sub-Riemannian geodesics

Enrico Le Donne,Nicola Paddeu,Alessandro Socionovo

2024-05-24

Abstract:We begin by characterizing metabelian distributions in terms of principal bundle structures. Then, we prove that in sub-Riemannian manifolds with metabelian distributions of rank $r$, the projection of strictly singular trajectories to some $r$-dimensional manifold must remain within an analytic variety. As a consequence, for rank-2 metabelian distributions, geodesics are of class $C^1$.

Differential Geometry,Optimization and Control
Geodesics on the Moduli Space of Oriented Circles in $$\Mathbb{s}^{3}$$

Linyuan Fan,Ying Lü,Changping Wang,Jingyang Zhong

DOI: https://doi.org/10.1007/s00025-011-0113-1

2011-01-01

Results in Mathematics

Abstract:Let ${\mathbb{Q}^3}$ be the moduli space of oriented circles in the three dimensional unit sphere ${\mathbb{S}^3}$. Given a natural complex structure such space becomes a three dimensional complex manifold, with a Möbius invariant Hermitian metric h of type (2, 1). Up to Möbius transformations, all geodesics with respect to the Lorentz metric g = Re(h) on ${\mathbb{Q}^3}$ are determined to form a one-parameter family of circles on a helicoid in a space form ${\mathbb{R}^3, \mathbb{H}^3}$ or ${\mathbb{S}^{3}}$, resp. We show also that any two oriented circles in ${\mathbb{S}^3}$ are connected by countably infinitely many geodesics in ${\mathbb{Q}^3}$.
Geodesics on the extended Siegel-Jacobi upper half-plane

Stefan Berceanu

DOI: https://doi.org/10.48550/arXiv.2101.08015

2021-01-20

Differential Geometry

Abstract:The semidirect product of the real Heisenberg group ${\rm H}_1(\mathbb{R})$ with ${\rm SL}(2,\mathbb{R})$, called the real Jacobi group $G^J_1(\mathbb{R})$, admits a four-parameter invariant metric expressed in the S-coordinates. We determine the geodesic equations on the extended Siegel--Jacobi upper half-plane $\tilde{\mathcal{X}}^J_1 =\frac{G^J_1(\R)}{\rm{SO}(2)}\approx\mathcal{X}^J_1\times\mathbb{R}\approx \mathcal{X}_1 \times\mathbb{R}^3$, where $\mathcal{X}^J_1$ ($\mathcal{X}_1)$ denotes the Siegel-Jacobi upper half-plane (respectively Siegel upper half-plane). Equating successively with zero the values of the three parameters in the geodesic equations on $\tilde{\mathcal{X}}^J_1$, we get the geodesic equations on $\mathcal{X}^J_1$, $\mathcal{X}_1$ and ${\rm H}_1(\mathbb{R})$.
On geodesic orbit nilmanifolds

Yu. G. Nikonorov

2024-06-13

Abstract:The paper is devoted to the study of geodesic orbit Riemannian metrics on nilpotent Lie groups. The main result is the construction of continuous families of pairwise non-isomorphic connected and simply connected nilpotent Lie groups, every of which admits geodesic orbit metrics. The minimum dimension of groups in the constructed families is $10$.

Differential Geometry
Short Simple Geodesic Loops on a 2-Sphere

Isabel Beach

2024-07-17

Abstract:The classic Lusternik--Schnirelmann theorem states that there are three distinct simple periodic geodesics on any Riemannian 2-sphere $M$. It has been proven by Y. Liokumovich, A. Nabutovsky and R. Rotman that the shortest three such curves have lengths bounded in terms of the diameter $d$ of $M$. We show that at any point $p$ on $M$ there exist at least two distinct simple geodesic loops (geodesic segments that start and end at $p$) whose lengths are respectively bounded by $8d$ and $14d$.

Differential Geometry
Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds

Eugenio Bellini,Ugo Boscain

DOI: https://doi.org/10.1051/cocv/2023072

2024-07-12

Abstract:We consider surfaces embedded in a 3D contact sub-Riemannian manifold and the problem of the finiteness of the induced distance (i.e., the infimum of the length of horizontal curves that belong to the surface). Recently it has been proved that for a surface having the topology of a sphere embedded in a tight co-orientable structure, the distance is always finite. In this paper we study closed surfaces of genus larger than 1, proving that such surfaces can be embedded in such a way that the induced distance is finite or infinite. We then study the structural stability of the finiteness/not-finiteness of the distance.

Differential Geometry,Dynamical Systems
Geodesics in the Heisenberg group H n with a Lorentzian metric

Tiren Huang,Xiaoping Yang

DOI: https://doi.org/10.1007/s10883-012-9156-1

2012-01-01

Abstract:Let ℍ^n be the Heisenberg group in ℝ^2n + 1 and D be a bracket generating left invariant distribution with a Lorentzian metric, which is a nondegenerate metric of index 1. In this paper, we first study the reachable sets by the time-like future directed curves. Second, we give a complete description of the Hamiltonian geodesics. Third, we compute the time-like conjugate locus of the origin.
Homogeneous Einstein (α,β)-metrics on compact simple Lie groups and spheres

Zaili Yan,Shaoqiang Deng

DOI: https://doi.org/10.1016/j.na.2016.09.016

2017-01-01

Abstract:In this paper, we study homogeneous Einstein (α,β)-metrics on compact Lie groups and spheres. We first show that any left invariant Einstein (α,β)-metric on a connected compact simple Lie groups except SU(2) with vanishing S-curvature must be a Randers metric. Secondly, we prove that any Sp(n+1)-invariant Einstein (α,β)-metric on S4n+3(n∈N+) with vanishing S-curvature is either a Randers metric, or SU(2n+2)-invariant. Finally, we give a complete description of SU(n+1)-invariant Einstein Finsler metrics on S2n+1(n≥2).
Left-invariant Pseudo-Riemannian metrics on Lie groups: The null cone II

Sigbjørn Hervik

2024-10-29

Abstract:We continue to study left-invariant pseudo-Riemannian metrics on Lie groups being in the null cone of the $O(p,q)$-action using the moving bracket approach. In particular, the Lie algebra being in the null cone implies that the pseudo-Riemannian metric have all vanishing scalar curvature invariants (VSI). We consider \emph{all} Lie algebras of dimension $\leq 6$ and we find that all solvable Lie algebras, and non-trivially Levi-decomposable Lie algebras, of dimension $\leq 6$ are in the null cone, \emph{except} the 3-dimensional solvable Lie algebra $\mathfrak{s}_{3,3}$. For $\mathfrak{g}$ semi-simple, we also give a construction where $\mathfrak{g}\oplus\mathbb{R}^m$ is in the null cone and give examples of such spaces for \emph{all} the real simple Lie algebras $\mathfrak{g}$. For example, for the exceptional split groups this construction places the split $\mathfrak{e}_6\oplus\mathbb{R}^6$, split $\mathfrak{e}_7\oplus\mathbb{R}^7$ and split $\mathfrak{e}_8\oplus\mathbb{R}^8$ in the null cone of the $O(42,42)$, $O(70.70)$ and $O(128,128)$ action, respectively, and hence, their corresponding left-invariant pseudo-Riemannian metrics are VSI.

Differential Geometry,Mathematical Physics,Group Theory

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

Geodesics and Shortest Arcs of Some Sub-Riemannian Metrics on the Lie Groups and with Three-Dimensional Generating Distributions

Sub-Lorentzian geodesics on ${\rm GL}^{+}(2,\mathbb{C})$ with the generating space of Hermitian matrices in the Lie algebra $\mathfrak{gl}^{+}(2,\mathbb{C})$

Geodesics, curvature, and conjugate points on Lie groups

Riemannian geometry of maximal surface group representations acting on pseudo-hyperbolic space

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

Geodesic orbit Randers metrics in homogeneous bundles over generalized Stiefel manifolds

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

Randers metrics on two-spheres of revolution with simple cut locus

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

Geodesics in the Engel Group with a Sub-Lorentzian Metric

Metabelian distributions and sub-Riemannian geodesics

Geodesics on the Moduli Space of Oriented Circles in $$\Mathbb{s}^{3}$$

Geodesics on the extended Siegel-Jacobi upper half-plane

On geodesic orbit nilmanifolds

Short Simple Geodesic Loops on a 2-Sphere

Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds

Geodesics in the Heisenberg group H n with a Lorentzian metric

Homogeneous Einstein (α,β)-metrics on compact simple Lie groups and spheres

Left-invariant Pseudo-Riemannian metrics on Lie groups: The null cone II