Unique geodesics for Thompson’s metric
Annales de l'Institut Fourier, Volume 65 (2015) no. 1, p. 315-348

In this paper a geometric characterization of the unique geodesics in Thompson’s metric spaces is presented. This characterization is used to prove a variety of other geometric results. Firstly, it will be shown that there exists a unique Thompson’s metric geodesic connecting x and y in the cone of positive self-adjoint elements in a unital C * -algebra if, and only if, the spectrum of x -1/2 yx -1/2 is contained in {1/β,β} for some β1. A similar result will be established for symmetric cones. Secondly, it will be shown that if C is the interior of a finite-dimensional closed cone C, then the Thompson’s metric space (C ,d C ) can be quasi-isometrically embedded into a finite-dimensional normed space if, and only if, C is a polyhedral cone. Moreover, (C ,d C ) is isometric to a finite-dimensional normed space if, and only if, C is a simplicial cone. It will also be shown that if C is the interior of a strictly convex cone C with 3dimC<, then every Thompson’s metric isometry is projectively linear.

Nous présentons une caractérisation géométrique des géodésiques uniques des espaces métriques de Thompson. Nous utilisons cette caractérisation pour démontrer plusieurs autres résultats géométriques. D’abord, nous démontrons qu’il existe une géodésique unique de la métrique de Thompson entre x and y dans le cône d’éléments positifs autoadjoints dans une C * -algèbre unitale si et seulement s’il existe β1 tel que le spectre de x -1/2 yx -1/2 soit contenu dans {1/β,β}. Un résultat similaire est établi pour des cônes symétriques. Ensuite, nous démontrons que si C est l’intérieur d’un cône fermé C de dimension finie, il existe un plongement quasi-isométrique de l’espace métrique de Thompson (C ,d C ) dans un espace normé de dimension finie si et seulement si C est un cône polyédrale. De plus, (C ,d C ) est isométrique à un espace normé de dimension finie si et seulement si C est un cône simplicial. Par ailleurs, il est établi que pour C l’intérieur d’un cône C strictement convexe avec 3dimC<, chaque isométrie de la métrique de Thompson est projectivement linéaire.

DOI : https://doi.org/10.5802/aif.2932
Classification:  53C22,  51Fxx,  53C60
Keywords: Geodesics, Thompson’s (part) metric, Hilbert’s (projective) metric, cones, isometries
@article{AIF_2015__65_1_315_0,
     author = {Lemmens, Bas and Roelands, Mark},
     title = {Unique geodesics for Thompson's metric},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l'institut Fourier},
     volume = {65},
     number = {1},
     year = {2015},
     pages = {315-348},
     doi = {10.5802/aif.2932},
     zbl = {06496541},
     language = {en},
     url = {http://www.numdam.org/item/AIF_2015__65_1_315_0}
}
Lemmens, Bas; Roelands, Mark. Unique geodesics for Thompson’s metric. Annales de l'Institut Fourier, Volume 65 (2015) no. 1, pp. 315-348. doi : 10.5802/aif.2932. http://www.numdam.org/item/AIF_2015__65_1_315_0/

[1] Akian, M.; Gaubert, S.; Lemmens, B.; Nussbaum, R. D. Iteration of order preserving subhomogeneous maps on a cone, Math. Proc. Cambridge Philos. Soc., Tome 140 (2006) no. 1, pp. 157-176 | Article | MR 2197581 | Zbl 1101.37032

[2] Andruchow, E.; Corach, G.; Stojanoff, D. Geometrical significance of Löwner-Heinz inequality, Proc. Amer. Math. Soc., Tome 128 (2000) no. 4, pp. 1031-1037 | Article | MR 1636922 | Zbl 0945.46040

[3] Bernig, A. Hilbert geometry of polytopes, Arch. Math. (Basel), Tome 92 (2009) no. 4, pp. 314-324 | Article | MR 2501287 | Zbl 1171.53046

[4] Birkhoff, G. Extensions of Jentzsch’s theorem, Trans. Amer. Math. Soc., Tome 85 (1957) no. 1, pp. 219-227 | MR 87058 | Zbl 0079.13502

[5] Bosché, A. Symmetric cones, the Hilbert and Thompson metrics (arXiv:1207.3214)

[6] Colbois, B.; Verovic, P. Hilbert domains that admit a quasi-isometric embedding into Euclidean space, Adv. Geom., Tome 11 (2011) no. 2, pp. 465-470 | MR 2817589 | Zbl 1220.53089

[7] Conway, J. B. A course in functional analysis, Springer-Verlag, New York, Graduate Texts in Mathematics, Tome 96 (1990) | MR 1070713 | Zbl 0706.46003

[8] Corach, G.; Maestripieri, A. L. Differential and metrical structure of positive operators, Positivity, Tome 3 (1999) no. 4, pp. 297-315 | Article | MR 1721561 | Zbl 0962.46055

[9] Corach, G.; Porta, H.; Recht, L. Convexity of the geodesic distance on spaces of positive operators, Illinois J. Math., Tome 38 (1994) no. 1, pp. 87-94 | MR 1245836 | Zbl 0802.53012

[10] De La Harpe, P. On Hilbert’s metric for simplices, Geometric group theory, Vol. 1 (Sussex, 1991), Cambridge Univ. Press, Cambridge (London Math. Soc. Lecture Note Ser.) Tome 181 (1993), pp. 97-119 | MR 1238518 | Zbl 0832.52002

[11] Faraut, J.; Korányi, A. Analysis on Symmetric Cones, Clarendon Press, Oxford, Oxford Mathematical Monographs (1994) | MR 1446489 | Zbl 0841.43002

[12] Foertsch, T.; Karlsson, A. Hilbert metrics and Minkowski norms, J. Geom., Tome 83 (2005) no. 1-2, pp. 22-31 | Article | MR 2193224 | Zbl 1084.52008

[13] Hyers, D. H.; Isac, G.; Rassias, T. M. Topics in nonlinear analysis & applications, World Scientific Publishing Co., Inc., River Edge, NJ, (1997) | MR 1453115 | Zbl 0878.47040

[14] Karlsson, A.; Noskov, G. A. The Hilbert metric and Gromov hyperbolicity, Enseign. Math. (2), Tome 48 (2002) no. 1-2, pp. 73-89 | MR 1923418 | Zbl 1046.53026

[15] Koecher, M. Positivitätsbereiche im n , Amer. J. Math., Tome 79 (1957), pp. 575-596 | Article | MR 90771 | Zbl 0078.01205

[16] Lawson, J.; Lim, Y. Metric convexity of symmetric cones, Osaka J. Math., Tome 44 (2007) no. 4, pp. 795-816 | MR 2383810 | Zbl 1135.53014

[17] Lemmens, B.; Nussbaum, R. Nonlinear Perron-Frobebius theory, Cambridge Univ. Press, Cambridge, Cambridge Tracts in Mathematics, Tome 189 (2012) | MR 2953648 | Zbl 1246.47001

[18] Lim, Y. Finsler metrics on symmetric cones, Math. Ann., Tome 316 (2000), pp. 379-389 | Article | MR 1741275 | Zbl 0948.22007

[19] Lim, Y. Hilbert’s projective metric on Lorentz cones and Birkhoff formula for Lorentzian compressions, Linear Algebra Appl., Tome 423 (2007) no. 2–3, pp. 246-254 | Article | MR 2312404 | Zbl 1117.47026

[20] Lim, Y. Geometry of midpoint sets for Thompson’s metric, Linear Algebra Appl., Tome 439 (2013) no. 1, pp. 211-227 | Article | MR 3045232 | Zbl 1281.15038

[21] Lim, Y.; Pálfia, M. Matrix power means and the Karcher mean, J. Funct. Anal., Tome 262 (2012) no. 4, pp. 1498-1514 | Article | MR 2873848 | Zbl 1244.15014

[22] Liverani, C.; Wojtkowski, M. P. Generalization of the Hilbert metric to the space of positive definite matrices, Pacific J. of Math., Tome 166 (1994), pp. 339-355 | Article | MR 1313459 | Zbl 0824.53019

[23] Molnár, L. Thompson isometries of the space of invertible positive operators, Proc. Amer. Math. Soc., Tome 137 (2009), pp. 3849-3859 | Article | MR 2529894 | Zbl 1184.46021

[24] Noll, W.; Schäffer, J. J. Orders, gauge, and distance in faceless linear cones; with examples relevant to continuum mechanics and relativity, Arch. Rational Mech. Anal., Tome 66 (1977) no. 4, pp. 345-377 | Article | MR 450166 | Zbl 0373.73011

[25] Noll, W.; Schäffer, J. J. Order-isomorphisms in affine spaces, Ann. Mat. Pura Appl. (4), Tome 117 (1978), pp. 243-262 | Article | MR 515964 | Zbl 0399.46006

[26] Nussbaum, R. D. Hilbert’s projective metric and iterated nonlinear maps, Mem. Amer. Math. Soc., Tome 391 (1988), pp. 1-137 | MR 961211 | Zbl 0666.47028

[27] Nussbaum, R. D. Finsler structures for the part metric and Hilbert’s projective metric and applications to ordinary differential equations, Differential Integral Equations, Tome 7 (1994) no. 5–6, pp. 1649-1707 | MR 1269677 | Zbl 0844.58010

[28] Nussbaum, R. D.; Walsh, C. A metric inequality for the Thompson and Hilbert geometries, J. Inequal. Pure Appl. Math., Tome 5 (2004) no. 3 (Article 54, 14 pp) | MR 2084864 | Zbl 1061.53051

[29] Papadopoulos, A. Metric Spaces, Convexity, and Nonpositive Curvature, European Math. Soc. Zürich, IRMA Lectures in Mathematics and Theoretical Physics 6 (2005) | MR 2132506 | Zbl 1115.53002

[30] Rockafellar, R. T. Convex Analysis, Princeton Landmarks in Mathematics, Princeton, N.J. (1997) | MR 1451876 | Zbl 0193.18401

[31] Thompson, A. C. On certain contraction mappings in a partially ordered vector space, Proc. Amer. Math. Soc., Tome 14 (1963), pp. 438-443 | MR 149237 | Zbl 0147.34903

[32] Vinberg, E. B. Homogeneous cones, Soviet Math. Dokl., Tome 1 (1960), pp. 787-790 | MR 141680 | Zbl 0143.05203