Most automorphisms of a hyperbolic group have very simple dynamics (Q2769908)

From MaRDI portal





scientific article; zbMATH DE number 1702166
Language Label Description Also known as
default for all languages
No label defined
    English
    Most automorphisms of a hyperbolic group have very simple dynamics
    scientific article; zbMATH DE number 1702166

      Statements

      Most automorphisms of a hyperbolic group have very simple dynamics (English)
      0 references
      0 references
      0 references
      17 November 2002
      0 references
      quasi-isometries
      0 references
      hyperbolic groups
      0 references
      automorphisms
      0 references
      fixed points
      0 references
      isogredience classes
      0 references
      geodesic metric spaces
      0 references
      Let \(G\) be a hyperbolic group. Assume it is non-elementary (i.e., \(G\) is not virtually cyclic). Let \(\alpha\) be an automorphism of \(G\) and \(\partial\alpha\) the homeomorphism induced by \(\alpha\) on \(\partial G\). We say that \(\partial\alpha\), or \(\alpha\), has ``North-South'' dynamics if \(\partial\alpha\) has two distinct fixed points \(X^+\), \(X^-\) and \(\lim_{n\to\infty}\partial\alpha^n(X^\pm)=X^\pm\) uniformly on compact subsets of \(\partial X\setminus\{X^\pm\}\).NEWLINENEWLINENEWLINELet \(\Phi\in\text{Out}(G)\), \(\alpha,\beta\in\Phi\) are isogredient if \(\beta=i_h\alpha i^{-1}_h\) for some \(h\in G\), with \(i_h(G)=hgh^{-1}\). We denote by \(S(\Phi)\) the set of isogredience classes of automorphisms representing \(\Phi\).NEWLINENEWLINENEWLINEOne of the main results of the paper under review is the following Theorem: (1) All but finitely many \(s\in\Phi\) have ``North-South'' dynamics. (2) The set \(S(\Phi)\) of isogredience classes is infinite.NEWLINENEWLINENEWLINEThe proof of the first assertion of the above theorem when \(G\) is not free uses the following fact. Let \(f\) be a \((\lambda,C)\)-quasiisometry of \(\delta\)-hyperbolic proper geodesic metric space \((E,d)\) to itself. There exists \(M(\delta,\lambda,C)\) independent of \(E\) and \(f\) with the following property: if \(d(f(x),x)>M\) for all \(x\in E\), then there exists a bi-infinite geodesic \(\gamma\) such that the Hausdorff distance between \(\gamma\) and \(f(\gamma)\) is finite.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references