Horofunction compactifications and duality
arXiv:2107.02710 · doi:10.1007/s12220-023-01205-0
Abstract
We study the global topology of the horofunction compactification of smooth manifolds with a Finsler distance. The main goal is to show, for certain classes of these spaces, that the horofunction compactification is naturally homeomorphic to the closed unit ball of the dual norm of the norm in the tangent space (at the base point) that generates the Finsler distance. We construct explicit homeomorphisms for a variety of spaces in three settings: bounded convex domains in with the Kobayashi distance, Hilbert geometries, and finite dimensional normed spaces. For the spaces under consideration, the horofunction boundary has an intrinsic partition into so called parts. The natural connection with the dual norm arises through the fact that the homeomorphism maps each part in the horofunction boundary onto the relative interior of a boundary face of the dual unit ball. For normed spaces the connection between the global topology of the horofunction boundary and the dual norm was suggested by Kapovich and Leeb. We confirm this connection for Euclidean Jordan algebras equipped with the spectral norm.
arXiv commentMinor revision from previous version (47 pp)
References in corpus (15)
- The horoboundary and isometry group of Thurston's Lipschitz metric
- On the Hilbert Geometry of Convex Polytopes
- The horofunction boundary of finite-dimensional normed spaces
- The max-plus Martin boundary
- The horofunction boundary of the Hilbert geometry
- Finsler bordifications of symmetric and certain locally symmetric spaces
- On the metric compactification of infinite-dimensional spaces
- The horofunction boundary of a Gromov hyperbolic space
- The horofunction boundary of finite-dimensional spaces
- Two extensions of Thurston's spectral theorem for surface diffeomorphisms
- Gauge-reversing maps on cones, and Hilbert and Thompson isometries
- Polyhedral Horofunction Compactification as a Polyhedral Ball
- Characterizing the metric compactification of spaces by random measures
- Horofunction Compactifications of Symmetric Spaces
- A metric version of Poincaré's theorem concerning biholomorphic inequivalence of domains