Are hyperbolic triangle groups hyperbolic?

1.2k Views Asked by At

This might be a silly question, but are hyperbolic triangle groups hyperbolic, in the sense of Gromov?

By a hyperbolic triangle group, I mean a group given by a presentation, $$\langle a, b, c; a^p, b^q, c^r, abc\rangle$$ where $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}<1$.

I think they are, and it seems to be implied in some places, but nowhere seems to state it explicitly (apart from cough wikipedia cough cough).

These groups act on they Hyperbolic plane in some way (they correspond to tilings of the plane with triangles which preserve the orientation of the triangles), so it is natural to generalise my question: is there some criteria $\mathcal{C}$ (faithfully, say) we can place on a group such that,

$G$ is Hyperbolic in the sense of Gromov if and only if $G$ acts on some hyperbolic plane in a $\mathcal{C}$ way.

(I should say that I understand that the "hyperbolic" which Gromov talks about is really talking about the Cayley graph having some hyperbolic properties, such as linear area and the $\delta$-thin triangle condition, and so on. However, hyperbolic groups can be defined in so many different-but-equivalent way and this one seems, well, a natural one to think about, even if it isn't necessarily easy to work with!)

1

There are 1 best solutions below

0
On BEST ANSWER

Here is one way to prove it: 1) If the triangle group is uniform, then Milnor-Schwarz shows that it is word-hyperbolic (since it acts properly discontinuously and cocompacty by isometries on the hyperbolic plane).

2) If the triangle group is nonuniform, then we can argue as follows: a) There is a single quasi-isometry class of nonuniform lattices in $SL_2(\mathbb R)$ (see, eg., Farb: "The quasi-isometry classification of lattices in semisimple Lie groups"). b) $SL_2(\mathbb Z)$ is word-hyperbolic (e.g. as being isomorphic to $\mathbb Z/4\mathbb Z \ast_{\mathbb Z/2\mathbb Z} \mathbb Z/6\mathbb Z$). c) Therefore the index 2 subgroup in the triangle group consisting of the orientation-preserving isometries is word-hyperbolic. d) Thus, the triangle group itself is word-hyperbolic.

However, the part 2) feels a bit overkill.