I've heard it conjectured that a finitely presentable group $G$ is hyperbolic if it satisfies the following two conditions.

  1. $G$ contains no subgroup isomorphic to a Baumslag-Solitar group $BS(n,m)$ (including $BS(1,1) \cong \mathbb{Z}^2$).
  2. $G$ is rationally of finite type in the sense that all the groups $H_k(G;\mathbb{Q})$ are finite-dimensional and $H_k(G;\mathbb{Q})=0$ for $k \gg 0$.

Question : Can someone tell me an example of a finitely presentable group that satisfies $1$ but but not $2$? All the examples of finitely presentable groups I know of that don't satisfy $2$ actually have plenty of copies of $\mathbb{Z}^2$ in them.

  • $\begingroup$ You probably know this, but if you relax f.p. to f.g. then I believe the first Grigorchuk group is an example (right?). $\endgroup$ Feb 8, 2013 at 2:58
  • 1
    $\begingroup$ @Khalid Bou-Rabee : That's right; it has infinite $\mathbb{Q}$-cohomological dimension (and it might have infinite rank $H_2$, though I don't know off the top of my head). $\endgroup$
    – Steven
    Feb 8, 2013 at 3:05
  • $\begingroup$ Steven: Your finiteness conditions are not quite right, in the conjecture you should assume instead that your finitely-presentable group $G$ has type $FP$ over ${\mathbb Q}$, i.e., ${\mathbb Q}$ admits a finite resolution by finitely-generated projective $G[{\mathbb Q}]$-modules, see Brown's book "Cohomology of groups". This is a much stronger assumption than your assumption on homology groups with trivial coefficients. If $G$ is torsion-free, you can simply say that $G$ admits a finite $K(G,1)$. Even then, this conjecture is widely expected to fail. $\endgroup$
    – Misha
    Feb 8, 2013 at 7:21
  • $\begingroup$ If you're interested in this problem, you may also want to take a look at the idea to find a counterexample in this paper: Benson Farb and Lee Mosher, Convex cocompact subgroups of mapping class groups, Geom. Topol. 6 (2002), 91–152 (electronic). MR MR1914566. $\endgroup$ Feb 8, 2013 at 14:40

1 Answer 1


Noel Brady's finitely presented non-hyperbolic group embeds in a hyperbolic group (and hence satisfies (1)), but has infinitely generated third integral homology.

I'm guessing, but don't remember with certainty, that the rational third homology is infinitely generated.

Noel Brady, Branched coverings of cubical complexes and subgroups of hyperbolic groups, J. London Math. Soc. (2) 60 (1999), no. 2, 461–480. MR MR1724853

  • $\begingroup$ I'm fairly certain that this is the only known example of a group with this property. I don't know a reference for this fact (though asking Noel would be a good start) - I thought this was stated explicitly in Bridson's problem list on the AIM 'Open Problems in Geometric Group Theory' wiki, but the wiki seems to have vanished! $\endgroup$
    – HJRW
    Feb 8, 2013 at 10:24
  • 1
    $\begingroup$ There are now (writing 8 years later) some more examples of subgroups of hyperbolic groups with interesting finiteness properties by Yash Lodha arxiv.org/abs/1403.6716 and Robert Kropholler arxiv.org/abs/1809.10594. $\endgroup$ Mar 19, 2021 at 16:30
  • 1
    $\begingroup$ And now there is even (finally) an example of finite type! See here: arxiv.org/abs/2105.14795 $\endgroup$ Jun 4, 2021 at 23:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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