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

What problem does this paper attempt to address?

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
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
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
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
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
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
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
Cartan-Schouten metrics for information geometry and machine learning

Andre Diatta,Bakary Manga,Fatimata Sy

2024-08-28

Abstract:We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry. Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new parametric mean for data science and machine learning which comes with several advantages compared to traditional tools such as the arithmetic mean, median, mode, expectation, least square method, maximum likelihood, linear regression. We call a metric on a Lie group, a Cartan-Schouten metric, if its Levi-Civita connection is biinvariant, so every 1-parameter subgroup through the unit is a geodesic. Except for not being left or right invariant in general, Cartan-Schouten metrics enjoy the same geometry as biinvariant metrics, since they share the same Levi-Civita connection. To bypass the non-invariance apparent drawback, we show that Cartan-Schouten metrics are completely determined by their value at the unit. We give an explicit formula for recovering them from their value at the unit, thus making them much less computationally demanding, compared to general metrics on manifolds. Furthermore, Lie groups with Cartan-Schouten metrics are complete Riemannian or pseudo-Riemannian manifolds. We give a complete characterization of Lie groups with Riemannian or Lorentzian Cartan-Schouten metrics. Cartan-Schouten metrics are in abundance on 2-nilpotent Lie groups. Namely, on every 2-nilpotent Lie group, there is a 1-1 correspondence between the set of left invariant metrics and that of Cartan-Schouten metrics.

Differential Geometry,Information Theory,Mathematical Physics,Probability,Statistics Theory
Notes on "Einstein metrics on compact simple Lie groups attached to standard triples"

Huibin Chen,Zhiqi Chen

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

2017-01-06

Differential Geometry

Abstract:In the paper "Einstein metrics on compact simple Lie groups attached to standard triples", the authors introduced the definition of standard triples and proved that every compact simple Lie group $G$ attached to a standard triple $(G,K,H)$ admits a left-invariant Einstein metric which is not naturally reductive except the standard triple $(\Sp(4),2\Sp(2),4\Sp(1))$. For the triple $(\Sp(4),2\Sp(2),4\Sp(1))$, we find there exists an involution pair of $\sp(4)$ such that $4\sp(1)$ is the fixed point of the pair, and then give the decomposition of $\sp(4)$ as a direct sum of irreducible $\ad(4\sp(1))$-modules. But $\Sp(4)/4\Sp(1)$ is not a generalized Wallach space. Furthermore we give left-invariant Einstein metrics on $\Sp(4)$ which are non-naturally reductive and $\Ad(4\Sp(1))$-invariant. For the general case $(\Sp(2n_1n_2),2\Sp(n_1n_2),2n_2\Sp(n_1))$, there exist $2n_2-1$ involutions of $\sp(2n_1n_2)$ such that $2n_2\sp(n_1))$ is the fixed point of these $2n_2-1$ involutions, and it follows the decomposition of $\sp(2n_1n_2)$ as a direct sum of irreducible $\ad(2n_2\sp(n_1))$-modules. In order to give new non-naturally reductive and $\Ad(2n_2\Sp(n_1)))$-invariant Einstein metrics on $\Sp(2n_1n_2)$, we prove a general result, i.e. $\Sp(2k+l)$ admits at least two non-naturally reductive Einstein metrics which are $\Ad(\Sp(k)\times\Sp(k)\times\Sp(l))$-invariant if $k<l$. It implies that every compact simple Lie group $\Sp(n)$ for $n\geq 4$ admits at least $2[\frac{n-1}{3}]$ non-naturally reductive left-invariant Einstein metrics.
Generalised Einstein metrics on Lie groups

Vicente Cortés,Marco Freibert,Mateo Galdeano

2024-07-23

Abstract:We continue the systematic study of left-invariant generalised Einstein metrics on Lie groups initiated in <a class="link-https" data-arxiv-id="2206.01157" href="https://arxiv.org/abs/2206.01157">arXiv:2206.01157</a>. Our approach is based on a new reformulation of the corresponding algebraic system. For a fixed Lie algebra $\mathfrak{g}$, the unknowns of the system consist of a scalar product $g$ and a $3$-form $H$ on $\mathfrak{g}$ as well as a linear form $\delta$ on $\mathfrak{g}\oplus\mathfrak{g}^*$. As in <a class="link-https" data-arxiv-id="2206.01157" href="https://arxiv.org/abs/2206.01157">arXiv:2206.01157</a>, the Lie bracket of $\mathfrak{g}$ is considered part of the unknowns. In the Riemannian case, we show that the generalised Einstein condition always reduces to the commutator ideal and we provide a full classification of solvable generalised Einstein Lie groups. In the Lorentzian case, under the additional assumption $\delta=0$, we classify -- up to one case -- all almost Abelian generalised Einstein Lie groups. We then particularize to four dimensions and provide a full classification of generalised Einstein Riemannian Lie groups as well as generalised Einstein Lorentzian Lie groups with $\delta =0$ and non-degenerate commutator ideal.

Differential Geometry
Geodesics on adjoint orbits of

Brian Grajales,Lino Grama,Rafaela F. Prado

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

2024-02-26

Communications in Contemporary Mathematics

Abstract:Communications in Contemporary Mathematics, Ahead of Print. In this paper, we examine the geodesics on adjoint orbits of [math] that are equipped with [math]-invariant metrics, where [math] is the maximal compact subgroup. Our primary technique involves translating this problem into a geometric problem in the tangent bundle of certain [math]-flag manifolds and describing the geodesic equations with respect to the Sasaki metric on the tangent bundle. Additionally, we utilize tools from Lie Theory to obtain explicit descriptions of families of geodesics. We provide a detailed analysis of the case for [math].

mathematics, applied
Left-invariant Pseudo-Riemannian metrics on Lie groups: The null cone

Sigbjorn Hervik

2024-02-06

Abstract:We study left-invariant pseudo-Riemannian metrics on Lie groups using the bracket flow of the corresponding Lie algebra. We focus on metrics where the Lie algebra is in the null cone of the $G=O(p,q)$-action; i.e., Lie algebras $\mu$ where zero is in the closure of the orbits: $0\in\overline{G\cdot \mu}$. We provide examples of such Lie groups in various signatures and give some general results. For signatures $(1,q)$ and $(2,q)$ we classify all cases belonging to the null cone. More generally, we show that all nilpotent and completely solvable Lie algebras are in the null cone of some $O(p,q)$ action. In addition, several examples of non-trivial Levi-decomposable Lie algebras in the null cone are given.

Differential Geometry,Mathematical Physics,Group Theory
Fundamental groups and group presentations with bounded relator lengths

Sergio Zamora

2018-07-24

Abstract:We study the geometry of compact geodesic spaces with trivial first Betti number admitting large finite groups of isometries. We show that if a finite group $G$ acts by isometries on a compact geodesic space $X$ whose first Betti number vanishes, then diam$(X) / $diam$(X / G ) \leq 4 \sqrt{ \vert G \vert }$. For a group $G$ and a finite symmetric generating set $S$, $P_k(\Gamma (G, S))$ denotes the 2-dimensional CW-complex whose 1-skeleton is the Cayley graph $\Gamma$ of $G$ with respect to $S$ and whose 2-cells are $m$-gons for $0 \leq m \leq k$, defined by the simple graph loops of length $m$ in $\Gamma$, up to cyclic permutations. Let $G$ be a finite abelian group with $\vert G \vert \geq 3$ and $S$ a symmetric set of generators for which $P_k(\Gamma (G,S))$ has trivial first Betti number. We show that the first nontrivial eigenvalue $-\lambda_1$ of the Laplacian on the Cayley graph satisfies $\lambda_1 \geq 2 - 2 \cos ( 2 \pi / k ) $. We also give an explicit upper bound on the diameter of the Cayley graph of $G$ with respect to $S$ of the form $O (k^2 \vert S \vert \log \vert G \vert )$. Related explicit bounds for the Cheeger constant and Kazhdan constant of the pair $(G,S)$ are also obtained.

Group Theory,Algebraic Topology,Metric Geometry
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})$.
Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups

Stephen Cantrell,Eduardo Reyes

2024-05-15

Abstract:For any non-elementary hyperbolic group $\Gamma$, we find an outer automorphism invariant geodesic bicombing for the space of metric structures on $\Gamma$ equipped with a symmetrized version of the Thurston metric on Techimüller space. We construct and study a boundary for this space and show that it contains many well-known pseudo metrics including those coming from actions on $\text{CAT}(0)$ cube complexes, real trees and coned-off Cayley graphs. As corollaries we deduce length spectrum rigidity results, regularity results for Manhattan curves, optimal growth rate results for Anosov representations and results regarding continuous extensions of translation distance functions to the space of geodesic currents. Using our results for geodesic currents we settle a conjecture of Bonahon in the negative.

Geometric Topology,Group Theory
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
Metric Lie Groups. Carnot-Carathéodory spaces from the homogeneous viewpoint

Enrico Le Donne

2024-10-09

Abstract:This book explores geometries defined by left-invariant distance functions on Lie groups, with a particular focus on nilpotent groups and Carnot groups equipped with geodesic distances. Geodesic left-invariant metrics are either sub-Riemannian or their generalizations, known as sub-Finsler geometries or Carnot-Carathéodory metrics. The primary objective is to illustrate how these non-smooth geometries, together with a Lie group structure, manifest in various mathematical fields, including metric geometry and geometric group theory. Additionally, the book demonstrates the role of metric Lie groups, particularly Carnot groups, in the following contexts: (a) as asymptotic cones of nilpotent groups; (b) as parabolic boundaries of rank-one symmetric spaces and, more broadly, of homogeneous negatively curved Riemannian manifolds; (c) as limits of Riemannian manifolds and tangents of sub-Riemannian manifolds.

Differential Geometry,Group Theory,Metric Geometry

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

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

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

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

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

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

Metabelian distributions and sub-Riemannian geodesics

Short Simple Geodesic Loops on a 2-Sphere

Cartan-Schouten metrics for information geometry and machine learning

Notes on "Einstein metrics on compact simple Lie groups attached to standard triples"

Generalised Einstein metrics on Lie groups

Geodesics on adjoint orbits of

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

Fundamental groups and group presentations with bounded relator lengths

Geodesics on the extended Siegel-Jacobi upper half-plane

Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

Metric Lie Groups. Carnot-Carathéodory spaces from the homogeneous viewpoint