zbMATH — the first resource for mathematics

On some convex cocompact groups in real hyperbolic space. (English) Zbl 1294.20054
It is classical problem to characterize the word-hyperbolic groups that admit nice actions on a real hyperbolic space \(\mathbb H^p\). More precisely, the question is what kind of word-hyperbolic groups can be realized as a convex-cocompact subgroup of \(\mathbb H^p\). In the paper under review, the question is studied for word-hyperbolic Coxeter groups. It should be noticed that the characterization of word-hyperbolic groups is given in Moussong’s Thesis. Also, it is known that some word-hyperbolic Coxeter groups can not be realized as reflection convex cocompact subgroups of \(\mathbb H^p\) [A. Felikson and P. Tumarkin, “A series of word-hyperbolic Coxeter groups”, arXiv:math/0507389] and that there are word-hyperbolic Coxeter groups that are not discrete cocompact subgroups of \(\text{Iso}(\mathbb H^p)\) [G. Moussong, Colloq. Math. Soc. János Bolyai. 56, 535-546 (1992; Zbl 0795.53038)].
The authors prove the following result. Let \(X\) be a simply connected even-gonal complex (roughly a two-dimensional complex with the faces being regular \(2m\)-polygons) such that the minimum number of sides of the polygons is \(\geq 4\) and the minimum of the girth of the links of vertices is \(\geq 4\). Let \(\Gamma\) be a uniform lattice of \(X\) that is virtually cubically special. Then \(\Gamma\) admits a faithful representation in the automorphism group of the Davis complex of a Coxeter group \(W\) and its image is virtually contained in \(W\). If all the exponents in the Coxeter presentation of \(W\) can be chosen to be finite, then we get a convex-cocompact representation if the minimum number of the sides of polygons is \(\geq 8\). If the all the polygons in \(X\) are \(2m\)-gons, then the target group can be chosen to be \(W(p,m)\), the Coxeter group on \(p\) generators with all the exponents in the Coxeter presentation of \(W\) equal to \(m\).
As an application of this result, let \((W,S)\) be a Coxeter system such that the weights in the Coxeter graph of the group are all equal to a number \(m\geq 4\) and the girth of the underlying graph is \(\geq 4\). Then the Davis complex satisfies the conditions of the above result and \(W\) is cubically special [F. Haglund and D. T. Wise, Adv. Math. 224, No. 5, 1890-1903 (2010; Zbl 1195.53055)]. Also, it generalizes a result of Kapovich that even-gons of finite groups admit a convex-cocompact action on \(\mathbb H^p\) [M. Kapovich, Geom. Topol. 9, 1915-1951 (2005; Zbl 1163.20029)].
As a special case, the authors prove that the groups \(W(p,m)\) admit a convex-cocompact action on \(\mathbb H^{p-1}\). Combining the last result with the main result, the authors show that a group \(\Gamma\) that satisfies the conditions in the last part of the main result, then it admits a convex-cocompact action on \(\mathbb H^p\).
There are two main remarks that should be made. For the Coxeter groups considered, the Davis complex is two dimensional. Also, the action on \(\mathbb H^p\) is not necessarily by reflections.
The authors state the conjecture that every Coxeter group with finite exponents in the Coxeter presentation \(\geq 4\) admits a convex-cocompact action on \(\mathbb H^p\). This conjecture, together with Agol’s Theorem [I. Agol et al., Geom. Topol. 13, No. 2, 1043-1073 (2009; Zbl 1229.20037)] implies that any uniform lattice on an even-ton with minimum number of sides of polygons \(\geq 8\) and minimum girth of links of vertices \(\geq 4\) is convex-cocompact in \(\mathbb H^p\). Also, it implies that every Coxeter group with exponents in the Coxeter presentation \(\geq 4\) admits a convex-cocompact action on \(\mathbb H^p\).
The second main open question that the authors state is the following. Let \(\Gamma\) be a virtually special uniform lattice of a holonomy free \(2m\)-gonal complex \(X\). Does the pair \((X,\Gamma)\) embed into \((\Sigma(W(p,m)),W(p,m))\)? Here \(\Sigma(W(p,m))\) is the Davis complex of \(W(p,m)\). A positive answer to this question will show that there are word-hyperbolic Coxeter groups that admit a convex-cocompact action on \(\mathbb H^p\) but they do not admit any faithful reflection representation in any \(\mathbb H^r\).

20F67 Hyperbolic groups and nonpositively curved groups
22E40 Discrete subgroups of Lie groups
20F55 Reflection and Coxeter groups (group-theoretic aspects)
51F15 Reflection groups, reflection geometries
57M20 Two-dimensional complexes (manifolds) (MSC2010)
20F65 Geometric group theory
20H10 Fuchsian groups and their generalizations (group-theoretic aspects)
53C23 Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces
20E26 Residual properties and generalizations; residually finite groups
Full Text: DOI
[1] I Agol, D Groves, J F Manning, The virtual Haken conjecture
[2] Y Benoist, P de la Harpe, Adhérence de Zariski des groupes de Coxeter, Compos. Math. 140 (2004) 1357 · Zbl 1131.20027
[3] N Bourbaki, Éléments de mathématique XXXIV: Groupes et algèbres de Lie, Actualités Scientifiques et Industrielles 1337, Hermann (1968) 288 · Zbl 0186.33001
[4] M Bourdon, Sur la dimension de Hausdorff de l’ensemble limite d’une famille de sous-groupes convexes co-compacts, C. R. Acad. Sci. Paris Sér. I Math. 325 (1997) 1097 · Zbl 0936.57021
[5] M Bozejko, T Januszkiewicz, R J Spatzier, Infinite Coxeter groups do not have Kazhdan’s property, J. Operator Theory 19 (1988) 63 · Zbl 0662.20040
[6] M R Bridson, A Haefliger, Metric spaces of non-positive curvature, Grundl. Math. Wissen. 319, Springer (1999) · Zbl 0988.53001
[7] I Chatterji, G Niblo, From wall spaces to \(\mathrm CAT(0)\) cube complexes, Internat. J. Algebra Comput. 15 (2005) 875 · Zbl 1107.20027
[8] M W Davis, Groups generated by reflections and aspherical manifolds not covered by Euclidean space, Ann. of Math. 117 (1983) 293 · Zbl 0531.57041
[9] M W Davis, J Meier, The topology at infinity of Coxeter groups and buildings, Comment. Math. Helv. 77 (2002) 746 · Zbl 1022.20016
[10] J Faraut, K Harzallah, Distances hilbertiennes invariantes sur un espace homogène, Ann. Inst. Fourier (Grenoble) 24 (1974) 171 · Zbl 0265.43013
[11] A Felikson, P Tumarkin, A series of word-hyperbolic Coxeter groups · Zbl 1198.20035
[12] É Ghys, P de la Harpe, Editors, Sur les groupes hyperboliques d’après Mikhael Gromov, Progress in Mathematics 83, Birkhäuser (1990) · Zbl 0731.20025
[13] M Gromov, Hyperbolic groups (editor S M Gersten), Math. Sci. Res. Inst. Publ. 8, Springer (1987) 75 · Zbl 0634.20015
[14] F Haglund, Les polyèdres de Gromov, C. R. Acad. Sci. Paris Sér. I Math. 313 (1991) 603 · Zbl 0749.52011
[15] F Haglund, F Paulin, Simplicité de groupes d’automorphismes d’espaces à courbure négative (editors I Rivin, C P Rourke, C Series), Geom. Topol. Monogr. 1 (1998) 181 · Zbl 0916.51019
[16] F Haglund, D T Wise, Special cube complexes, Geom. Funct. Anal. 17 (2008) 1551 · Zbl 1155.53025
[17] F Haglund, D T Wise, Coxeter groups are virtually special, Adv. Math. 224 (2010) 1890 · Zbl 1195.53055
[18] M Kapovich, Hyperbolic manifolds and discrete groups, Progress in Mathematics 183, Birkhäuser (2001) · Zbl 0958.57001
[19] M Kapovich, Representations of polygons of finite groups, Geom. Topol. 9 (2005) 1915 · Zbl 1163.20029
[20] G Moussong, Hyperbolic Coxeter groups, PhD thesis, Ohio State University (1988)
[21] G Moussong, Some nonsymmetric manifolds (editors J Szenthe, L Tamássy), Colloq. Math. Soc. János Bolyai 56, North-Holland (1992) 535 · Zbl 0795.53038
[22] G A Niblo, L D Reeves, Coxeter groups act on \(\mathrm{CAT}(0)\) cube complexes, J. Group Theory 6 (2003) 399 · Zbl 1068.20040
[23] B Nica, Cubulating spaces with walls, Algebr. Geom. Topol. 4 (2004) 297 · Zbl 1131.20030
[24] J G Ratcliffe, Foundations of hyperbolic manifolds, Graduate Texts in Mathematics 149, Springer (1994) · Zbl 0809.51001
[25] È B Vinberg, Discrete linear groups that are generated by reflections, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971) 1072
[26] D T Wise, The residual finiteness of negatively curved polygons of finite groups, Invent. Math. 149 (2002) 579 · Zbl 1040.20024
[27] D T Wise, Subgroup separability of the figure 8 knot group, Topology 45 (2006) 421 · Zbl 1097.20030
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.