  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 $\mathbb{C}^n$ 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.
