[Math] Parabolic isometries on Gromov hyperbolic spaces

geometric-group-theorygromov-hyperbolic-spacesgroup-actions

Let $X$ be a $\delta$-hyperbolic geodesic space. Then we have the following classification of isometries on $X$:

Theorem: Let $g$ be an isometry on $X$. Then, exactely one of the following case holds:
(i) $g$ is elliptic: for every $x \in X$, $\{ g^n \cdot x : n \in \mathbb{Z} \}$ is bounded; (ii) $g$ is parabolic: the action induced by $g$ on the boundary $\partial X$ has exactly one fixed point; (iii) $g$ is hyperbolic: the action induced by $g$ on the boundary $\partial X$ has exactly two fixed point.

Now let $G$ be a non elementary (ie. neither finite nor virtually $\mathbb{Z}$) hyperbolic group. If $X$ is a Cayley graph of $G$ then $G$ has a natural isometric action on $X$ and:

Theorem: $G$ has no parabolic isometry.

I would like to generelize this theorem for other hyperbolic space $X$. For example, let $G$ be a non elementary hyperbolic group acting freely on a hyperbolic geodesic space $X$ by isometry; can $G$ contain a parabolic isometry? (Feel free to modify the hypotheses.)

Edit 1: We can add the following requirement (where $X$ is $\delta$-hyperbolic): for all $x \in X$, $B(x,n_0\delta) \cap G \cdot x$ contains at most $C_0$ points, where $n_0$ and $C_0$ doesn't depend on $x$.

Best Answer

Gromov in his original 1987 book (Section 3.1) wrote a classification for arbitrary isometric group actions on hyperbolic spaces (with no further assumption) into 5 main classes. It goes at follows (the terminology is borrowed from here)

1: bounded: orbits are bounded

2: horocyclic: orbits are unbounded, $G$ acts with no hyperbolic isometry (hence there's a unique fixed boundary point)

3: lineal: there's a hyperbolic isometry and a fixed pair at infinity

4: focal: there's a hyperbolic isometry and a unique fixed point at infinity

5: general type: there's a hyperbolic isometry and no fixed point or pair at infinity.

According to Gromov, 1,2,3 are the elementary actions, i.e. the closure of an orbit in the boundary has at most 2 points, while in the non-elementary cases 4,5, this closure is uncountable.

If the action is cobounded, then case 2 (horocyclic action) can't occur. For the even more specific case of a discrete hyperbolic finitely generated group, case 4 (focal action) can't occur as well and Cases 1,3 are the virtually cyclic groups (finite and infinite).

On the other hand, all 5 cases occur for a group actions on trees, or on the hyperbolic plane (exercise).

Related Question