On geodesic extendibility and the space of compact balls of length spaces

DOI10.1007/S00605-021-01566-0MaRDI QIDQ1984535zbMATH OpenOpenAlexFDO

Authors W. Barrera, Luis M. Montes de Oca, Didier A. Solis

Publication date 16 September 2021

Published in Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.04377

zbMATH Keywords

geodesic extendibilityHadamard spacesHausdorff distanceisometric actions

Mathematics Subject Classification ID

Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Geodesics in global differential geometry (53C22) Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23) Direct methods ((G)-spaces of Busemann, etc.) (53C70)

Abstract: In this work we study the issue of geodesic extendibility on complete and locally compact metric length spaces. We focus on the geometric structure of the space $(Sigma(X),d_H)$ of compact balls endowed with the Hausdorff distance and give an explicit isometry between $(Sigma(X),d_H)$ and the closed half-space $Ximesmathbb{R}_{ge0}$ endowed with a taxicab metric. Among the applications we establish a group isometry between $mboxIso(X,d)$ and $mboxIso(Sigma(X),d_H)$ when $(X,d)$ is a Hadamard space.

Review text

This paper concerns the relationship of a strongly geodesically complete length space and the metric space (with the Hausdorff metric) of its compact balls. The authors define a locally compact length space as strongly geodesically complete, if for any point in it, every geodesic segment that starts at the point can be extended as a geodesic segment of any length. The main result of the paper is that the map, \(f: (X\times \mathbb{R}_{\geq 0})\to (\Sigma(X),d_H)\), \(f(x,t)=\bar{B}_t(x)\), is an isometry iff (\(X, d\)) is strongly geodesically complete. Here, (\(X, d\)) is a locally compact complete length space and \((\Sigma(X),d_H)\) is the space of compact balls of (\(X, d\)) with the Hausdorff metric \(d_H\). The space \(X\times \mathbb{R}_{\geq 0}\) is endowed with the taxicab metric \(d_T\), i.e., \(d_T((x,t),(y,s))=d(x,y)+|t-s|\). The authors also give a metric quotient version of the result. The last part of the paper shows that \(\mathrm{Isom}(\Sigma(X),d_H)\cong\mathrm{Isom}(X, d)\), if \((X, d)\) is a strongly geodesically complete length space with having unique midpoints.

Recommendations

• scientific article; zbMATH DE number 4119220
• Geodesically complete spaces with an upper curvature bound
• Isometries in Aleksandrov spaces of curvature bounded above
• Complete metric spaces with property \((Z)\) are length spaces
• Convexity of a ball in the Gromov-Hausdorff space

Cites work

• A course in metric geometry
• A pseudometric invariant under similarities in the hyperspace of non-degenerated compact convex sets of \(\mathbb{R}^n\)
• Conjugate points and closed geodesic arcs on convex surfaces
• Conjugate points in length spaces
• Geodesically complete spaces with an upper curvature bound
• Homogeneous manifolds with intrinsic metric. II
• scientific article; zbMATH DE number 1161515 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 7238948 (Why is no real title available?)
• Isometrien des Konvexringes
• Isometry groups of Alexandrov spaces
• Isometry groups of non-positively curved spaces: discrete subgroups
• Isometry groups of singular spaces
• Metric spaces of curvature k
• Riemannian geometry. A modern introduction
• The Gromov-Hausdorff hyperspace of a Euclidean space
• The group of isometries of a Riemannian manifold
• The Hadamard-Cartan theorem in locally convex metric spaces
• The space of compact subsets of E^d

Cited in

(3)

• Complete metric spaces with property \((Z)\) are length spaces
• scientific article; zbMATH DE number 7399133 (Why is no real title available?)
• On the space of compact diamonds of Lorentzian length spaces

This page was built for publication: On geodesic extendibility and the space of compact balls of length spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1984535)