A topological characterisation of hyperbolic groups (Q4396474)

The main result in this paper is the following Theorem: Let \(M\) be a perfect metrizable compact Hausdorff space and let \(\Gamma\) be a group of homeomorphisms of \(M\), such that the induced action on the space of distinct triples in \(M\) (that is, the space \(M\times M\times M\) minus the large diagonal) is properly discontinuous and cocompact. Then, \(\Gamma\) is a hyperbolic group. Furthermore, there exists a \(\Gamma\)-equivariant homeomorphism of \(M\) onto \(\partial\Gamma\). This result was conjectured by Gromov. Along the way, the author gives a characterization of hyperbolic groups as being convergence groups (in the sense defined by \textit{F. W. Gehring} and \textit{G. J. Martin} [in Proc. Lond. Math. Soc., III. Ser. 55, 331-358 (1987; Zbl 0628.30027)]) for which every point is a conical limit point. As the author says, results having the same flavour have been obtained by \textit{P. Tukia} [in J. Reine Angew. Math. 501, 71-98 (1998)]. The ingredients used in this paper include the notion of quasiconformal structure, which can be defined in terms of crossratios, or of annulus systems, and one of the main steps in the paper is the fact that a suitable quasiconformal structure on a set gives rise to a hyperbolic quasimetric on the set of distinct triples (a quasimetric being defined as a metric except that the triangle inequality is relaxed by the introduction of an additive constant).