Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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!)

share|improve this question
3  
When $G$ acts on a CAT(-1) space (such as the hyperbolic plane), it is indeed hyperbolic. Here, I say "acts" when I mean properly and cocompactly (as the triangle groups do). It is an open question if all (Gromov) hyperbolic groups are CAT(-1). That being said, not all hyperbolic groups can "act" on the hyperbolic plane, simply because the quotient is a a very special type of space, and your group has to be the fundamental group of that space, and there are restrictions there. –  user641 Feb 2 '12 at 15:50
2  
Gromov hyperbolic groups are often refereed to as it word-hyperbolic. Just to add to your general confusion, there is also a concept of hyperbolic Coxeter groups. The hyperbolic triangle groups have index 2 in corresponding hyperbolic Coxeter groups. It turns out that all hyperbolic Coxeter groups are word-hyperbolic, but there are word-hyperbolic Coxeter groups that are not hyperbolic Coxeter groups. I I think it has been proved that a Coxeter group is word-hyperbolic if and only if it doesn't contain a free abelian group of rank2 , and it is easy to decide that from the Coxeter diagram. –  Derek Holt Feb 2 '12 at 20:35
    
@DerekHolt: I know hyperbolic and word hyperbolic do not coincide for semigroups - is this perhaps similar? I mean, every presentation of a coxeter group defines a monoid, and there is something about embedding these monoids in the groups (was this perhaps a paper of yours?). Do you perhaps have a reference for this non-coinciding? –  user1729 Feb 2 '12 at 21:07
    
No, I am afraid I can't help much here. I know that Duncan and Gilman gave a language-theoretical definition of word-hyperbolic semigroups that turns out to be equivalent to word-hyperbolic for groups, butI have never come across any other definition of hyperbolic semigroups. –  Derek Holt Feb 2 '12 at 22:28
    
@DerekHolt: I have dug into my notes...so, embeddable monoids was in a paper of Dehornoy and Godelle, and was for Artin groups, not Coxeter ones. The hyperbolic semigroups I saw in a talk of Alan Cain's. The slides for the talk can be found here, www-history.mcs.st-and.ac.uk/~alanc/talks/conf.html. He defines a semi-group to be hyperbolic if the Cayley graph is hyperbolic, as in group theory, but crucially this does not imply a solution to the word problem (while being word-hyperbolic does). –  user1729 Feb 3 '12 at 10:41
add comment

1 Answer 1

up vote 4 down vote accepted

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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