On universal-homogeneous hyperbolic graphs and spaces and their isometry groups

TL;DR

This paper investigates the existence and properties of universal-homogeneous hyperbolic spaces, showing limitations for certain classes and constructing spaces with extension properties, analyzing their isometry groups.

Contribution

It proves the non-existence of universal-homogeneous hyperbolic spaces for all finite spaces and constructs specific hyperbolic spaces with extension properties for particular classes.

Findings

No universal-homogeneous hyperbolic space exists for all finite $ extdelta$-hyperbolic spaces.

Constructed hyperbolic spaces embed all spaces in a class with extension of isometries.

Isometry groups of these spaces lack elements of bounded displacement and dense conjugacy classes.

Abstract

The Urysohn space is the unique separable metric space that is universal and homogeneous for finite metric spaces, i.e., it embeds any finite metric space any isometry between finite subspaces extends to an isometry of the whole space. We here consider the existence of a universal-homogeneous hyperbolic space. We show that for $\delta>0$ there is no $\delta$-hyperbolic space which is universal and homogeneous in the above sense for all finite $\delta$-hpyerbolic spaces. We then show that for any $\delta\geq 0$ and any countable class $\mathcal{C}$ of $\delta$-hyperbolic spaces with countably many distinguished $\delta$-closed subspaces there exists a $\delta$-hyperbolic metric space $\mathbb{H}_\mathcal{C}$ such that every $X\in \mathcal{C}$ can be embedded into $\mathbb{H}_\mathcal{C}$ as a $\delta$-closed subspace and any isometry between distinguished $\delta$-closed subspaces extends to an isometry of $\mathbb{H}_\mathcal{C}$. If $\mathcal{C}$ consists of $\delta$-hyperbolic geodesic spaces, then $\mathbb{H}_\mathcal{C}$ contains the quasi-tree of spaces as defined by Bestvina et al.. For $\mathcal{C}_\delta$ the class of all finite $\delta$-hyperbolic spaces with rational distances or the class of finite $\delta$-hyperbolic graphs, the limit $\mathbb{H}_\delta$ is a $\delta$-hyperbolic space (or graph, respectively) universal for all finite $\delta$-hyperbolic spaces with rational distances (or finite $\delta$-hyperbolic graphs) and such that any isometry between $\delta$-closed subspaces extends to an isometry of $\mathbb{H}_\delta$. We show that the isometry group of $\mathbb{H}_\delta$ does not contain elements of bounded displacement and has no dense conjugacy class.