On Bestvina-Mess Formula

Abstract

Bestvina and Mess [BM] proved a remarkable formula for torsion free hyperbolic groups $$ \dim_L\partialΓ=cd_LΓ-1 $$ connecting the cohomological dimension of a group $Γ$ with the cohomological dimension of its boundary $\partialΓ$. In [Be] Bestvina introduced a notion of $\sZ$-structure on a discrete group and noticed that his formula holds true for all torsion free groups with $\sZ$-structure. Bestvina's notion of $\sZ$-structure can be extended to groups containing torsion by replacing the covering space action in the definition by the geometric action. Though the Bestvina-Mess formula trivially is not valid for groups with torsion, we show that it still holds in the following modified form: {\it The cohomological dimension of a $\sZ$-boundary of a group $Γ$ equals its global cohomological dimension for every PID $L$ as the coefficient group} $$ \dim_L\partialΓ=gcd_L(\partialΓ). $$ Using this formula we show that the cohomological dimension of the boundary $\dim_{L}\partialΓ$ is a quasi-isometry invariant of a group.