4
$\begingroup$

A group $G$ is hyperbolic if it admits a geometric (the action is proper and co-bounded) action on a geodesic hyperbolic metric space. Also, the definition can be given as follows, a group $G$ generated by a finite set $X$ is hyperbolic if the Cayley graph $\Gamma(G;X)$ is a hyperbolic metric space. The equivalence of both the definitions can be provided by Svarc-Milnor Lemma.

My question is:

What are the examples of group (finitely generated and infinite) acting on a geodesic hyperbolic space cocompactly and fails to be hyperbolic? i.e., the action is not proper.

$\endgroup$
7
  • $\begingroup$ It is important here that you specify whether you require the hyperbolic metric space to be geodesic. $\endgroup$
    – YCor
    Nov 29 at 23:48
  • $\begingroup$ Yes! I have edited the question. Thanks. $\endgroup$
    – bishop1989
    Nov 29 at 23:52
  • $\begingroup$ Of course there are tons of such groups (e.g. direct product of hyperbolic with anything infinite). Beyond this, natural examples are lattices in products $X\times Y$ with $X$ hyperbolic. For an explicit example, consider for $n\ge 3$ the quadratic form $q=x_1^2+\dots+x_{n-2}^2+\sqrt{2}x_{n-1}^2-x_n^2$. Then $\mathrm{SO}(q)(\mathbf{Z}[\sqrt{2}]$ is a lattice in $\mathrm{SO}(n-1,1)\times\mathrm{SO}(n-2,2)$ and projects densely on $\mathrm{SO}(n-1,1)$, whence a cocompact but nonproper action. Also for $q'=x_1^2+\dots+x_{n-1}^2-x_n^2$, one gets an irreducible lattice in $\mathrm{SO}(n-1,1)^2$. $\endgroup$
    – YCor
    Nov 30 at 0:20
  • 1
    $\begingroup$ For non-proper cobounded actions on hyperbolic spaces, this is pretty much exactly the purview of Abbott--Balasubramanya--Osin's paper arxiv.org/abs/1710.05197 (and the many papers referencing it). Cocompact is more restrictive than cobounded, and I'm less sure of a good reference for a general picture of such things. (By the way a silly answer to your explicit question is, take any group you want and act trivially on a point.) $\endgroup$ Nov 30 at 0:21
  • $\begingroup$ Other trivial example: take the (finite metric) cone over the Cayley graph of G. This is bounded diameter and a hyperbolic geodesic metric space, and G acts faithfully. Presumably the question needs some modifications to rule out bounded actions of this sort. Relatively hyperbolic groups have actions as well (coning off the peripheral subgroups) on non-locally compact spaces. One might be able to say something for actions on locally compact geodesic hyperbolic spaces with unbounded orbits? $\endgroup$
    – Ian Agol
    Nov 30 at 6:31

4 Answers 4

4
$\begingroup$

As already said in the comments, every group acts cocompactly on a single point, which is hyperbolic. But of course, this is not an satisfying example. Another source of not so interesting actions comes from combinatorial horoballs. If $G$ is a finitely generated group, let it act on one its Cayley graph $X$ (associated to a finite generating set). The combinatorial horoball $\mathcal{H}(X)$ over $X$ is the graph obtained from $V(X) \times \mathbb{N}$ where two vertices $(u,n)$ and $(v,m)$ are connected by an edge if

  • $u=v$ and $m=n+1$;
  • $n=m$ and $d_X(u,v) \leq 2^n$.

Then $\mathcal{H}(X)$ is a locally finite hyperbolic graph on which $G$ acts with unbounded orbits (if $G$ is infinite). Thus, every finitely generated group acts properly on a hyperbolic space. But the action is not cobounded.

Admitting a cobounded action on an unbounded hyperbolic space is rather common. Groups that do not admit such actions are investigated in arxiv:2212.14292, under the name Property (NL). Constructing examples of such groups is not so obvious.

For cocompact actions, the picture is less clear (at least for me). Of course, groups with infinite hyperbolic groups are examples, and they may be far from being hyperbolic. This includes finitely generated groups with infinite abelianisations. For an explicit family of examples, consider for instance right-angled Artin groups. Namely, given a graph $\Gamma$, define $$A(\Gamma):= \langle u \in V(\Gamma) \mid [u,v]=1, \ \{u,v\} \in E(\Gamma) \rangle.$$ If $\Gamma$ is not a complete graph, i.e. there are two non-adjacent vertices $u,v \in V(\Gamma)$, then $A(\Gamma)$ retracts naturally onto $\langle u,v \rangle \simeq \mathbb{F}_2$. On the other hand, $A(\Gamma)$ is hyperbolic if and only if $\Gamma$ has no edge.

Again, such examples are not entirely satisfying, because the actions have huge kernels. As mentioned by ADL, amalgamated products and HNN extensions (or more generally, fundamental groups of finite graphs of groups) are examples of groups acting cocompactly on trees, but they may be far different from hyperbolic groups (e.g. Baumslag-Solitar groups). In the same vein, fundamental groups of complexes of groups can be considered. Examples I like are Higman groups: for every $n \geq 4$, $$H_n:= \langle a_i, \ i \in \mathbb{Z}/n \mathbb{Z} \mid a_ia_{i+1}a_i^{-1}=a_{i+1}^2 \rangle.$$ These groups can be described as simple polygons of groups (with vertex-groups isomorphic to $BS(1,2)$, infinite cyclic edge-groups, and a trivial face-group). The complex of groups is developpable, so $H_n$ naturally acts on a two-dimensional polygonal complex. For $n \geq 5$, this complex is hyperbolic.

Conclusion of the story: many groups act cocompactly on unbounded hyperbolic spaces, and even more when cocompactly is replaced with coboundedly*.

(*It would be interesting to have explicit examples of finitely generated groups acting coboundedly on unbounded hyperbolic spaces but not admiting a cocompact action. It probably exists, but I do not have a simple example in mind right now.)

$\endgroup$
3
$\begingroup$

Bass-Serre theory is the classical theory of groups acting on trees. Trees are hyperbolic, so this theory fits nicely into the context of this question.

Standard examples of groups acting on trees co-finitely include free products (possibly with amalgamation) and HNN extensions. Specific exotic/non-hyperbolic examples include $\operatorname{SL}_2$, Baumslag-Solitar groups (the standard examples of finitely presented non-hyperbolic groups), one-relator groups, and the Boone-Britton example of a finitely presented group with undecidable word problem.

Every non-trivial group acts non-trivially on a tree - take the rooted tree with a single root vertex, and children labelled by the group elements; the action is by left multiplication on the labels. Bass-Serre theory therefore assumes that an action does not have a global fixed point. The actions in the above paragraph do not have global fixed points. A group has Serre's property FA if every action on a tree has a global fixed point; such groups include finite groups, triangle groups, and groups with Kazhdan's property (T).

The standard reference is Serre's 1980 book Trees, translated into English by John Stillwell. Meier's book "Groups, Graphs and Trees" offers a more gentle introduction.

$\endgroup$
1
$\begingroup$

If $X$ is a manifold with a complete geodesic word-hyperbolic metric, and the action is cocompact and indiscrete, then Montgomery-Zippin should imply that $X$ is a rank one symmetric space and $G$ is a dense subgroup (like the examples given by Yves de Cornulier in the comments). If $G$ is not discrete, then its closure in $Isom(X)$ should be a Lie group with a transitive action by Montgomery-Zippin.

More generally, one can take dense subgroups of a locally compact hyperbolic topological group, such as the isometry group of a regular finite-valence tree or examples in this paper.

As indicated in the comments, without the assumption of local compactness or faithfulness, any finitely generated group has such an action (on a hyperbolic space with cocompact action).

$\endgroup$
1
$\begingroup$

Several interesting (and useful) examples of faithful, cocompact, and nonproper actions of groups on hyperbolic spaces occur under the umbrella of acylindrically hyperbolic groups including hierchically hyperbolic groups, and other related examples. These examples do tend to be non-locally compact; nonetheless they are cocompact by virtue of having nice compact subsets whose translates cover the whole space. For instance:

  • The action of the mapping class group $\text{MCG}(S)$ of a finite type surface $S$ on the curve complex of $S$ (Masur and Minsky);
  • The action of virtually compact special groups on certain quasitrees called contact graphs (Behrstock, Hagen and Sisto);
  • The actions of the outer automorphism group $\text{Out}(F_n)$ of a finite rank free group $F_n$ on its free factor complex (Bestvina and Feighn) and on its free splitting complex (Handel and myself).
$\endgroup$
1
  • $\begingroup$ Just for the record: If a group acts cocompactly on a median graph (or equivalently, a CAT(0) cube complex), then it acts cocompactly on the corresponding contact graph. There is not need for the action to be (virtually) special. This assumption is only used to get an acylindrical action. $\endgroup$
    – AGenevois
    Dec 2 at 17:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.