A combination theorem for special cube complexes

Abstract

We prove that certain compact cube complexes have special finite covers. This means they have finite covers whose fundamental groups are quasiconvex subgroups of right-angled Artin groups. As a result we obtain linearity and the separability of quasiconvex subgroups for the groups we consider. Our result applies, in particular, to a compact negatively curved cube complex whose hyperplanes do not self-intersect. For a cube complex with word-hyperbolic fundamental group, we show that it is virtually special if and only if its hyperplane stabilizers are separable. In a final application, we show that the fundamental groups of every simple type uniform arithmetic hyperbolic manifolds are cubical and virtually special.

  • [AgolLongReid2001] Go to document I. Agol, D. D. Long, and A. W. Reid, "The Bianchi groups are separable on geometrically finite subgroups," Ann. of Math., vol. 153, iss. 3, pp. 599-621, 2001.
    @article {AgolLongReid2001, MRKEY = {1836283},
      AUTHOR = {Agol, I. and Long, D. D. and Reid, A. W.},
      TITLE = {The {B}ianchi groups are separable on geometrically finite subgroups},
      JOURNAL = {Ann. of Math.},
      FJOURNAL = {Annals of Mathematics. Second Series},
      VOLUME = {153},
      YEAR = {2001},
      NUMBER = {3},
      PAGES = {599--621},
      ISSN = {0003-486X},
      CODEN = {ANMAAH},
      MRCLASS = {20H10 (11F06)},
      MRNUMBER = {1836283},
      MRREVIEWER = {Leonid Vulakh},
      DOI = {10.2307/2661363},
      ZBLNUMBER = {1067.20067},
     }
  • [Agol06] I. Agol, Untitled, 2006.
    @misc{Agol06,
      author={Agol, I.},
      TITLE={untitled},
      YEAR={2006},
      NOTE={in preparation},
     }
  • [BallmannSwiatkowski99] Go to document W. Ballmann and J. Świcatkowski, "On groups acting on nonpositively curved cubical complexes," Enseign. Math., vol. 45, iss. 1-2, pp. 51-81, 1999.
    @article {BallmannSwiatkowski99, MRKEY = {1703363},
      AUTHOR = {Ballmann, Werner and {\'S}wi{\c{a}}tkowski, Jacek},
      TITLE = {On groups acting on nonpositively curved cubical complexes},
      JOURNAL = {Enseign. Math.},
      FJOURNAL = {L'Enseignement Mathématique. Revue Internationale. IIe Série},
      VOLUME = {45},
      YEAR = {1999},
      NUMBER = {1-2},
      PAGES = {51--81},
      ISSN = {0013-8584},
      CODEN = {ENMAAR},
      MRCLASS = {20E08 (20E05)},
      MRNUMBER = {1703363},
      MRREVIEWER = {Philip L. Bowers},
      ZBLNUMBER = {0989.20029},
      DOI = {10.5169/seals-64441},
     }
  • [BergeronHaglundWiseSimple] Go to document N. Bergeron, F. Haglund, and D. T. Wise, "Hyperplane sections in arithmetic hyperbolic manifolds," J. Lond. Math. Soc., vol. 83, iss. 2, pp. 431-448, 2011.
    @article {BergeronHaglundWiseSimple, MRKEY = {2776645},
      AUTHOR = {Bergeron, Nicolas and Haglund, Fr{é}d{é}ric and Wise, Daniel T.},
      TITLE = {Hyperplane sections in arithmetic hyperbolic manifolds},
      JOURNAL = {J. Lond. Math. Soc.},
      FJOURNAL = {Journal of the London Mathematical Society. Second Series},
      VOLUME = {83},
      YEAR = {2011},
      NUMBER = {2},
      PAGES = {431--448},
      ISSN = {0024-6107},
      MRCLASS = {57M50 (11F75 53C23)},
      MRNUMBER = {2776645},
      MRREVIEWER = {Pablo Su{á}rez-Serrato},
      DOI = {10.1112/jlms/jdq082},
      ZBLNUMBER = {1236.57021},
     }
  • [BonkSchrmm2000] Go to document M. Bonk and O. Schramm, "Embeddings of Gromov hyperbolic spaces," Geom. Funct. Anal., vol. 10, iss. 2, pp. 266-306, 2000.
    @article {BonkSchrmm2000, MRKEY = {1771428},
      AUTHOR = {Bonk, M. and Schramm, O.},
      TITLE = {Embeddings of {G}romov hyperbolic spaces},
      JOURNAL = {Geom. Funct. Anal.},
      FJOURNAL = {Geometric and Functional Analysis},
      VOLUME = {10},
      YEAR = {2000},
      NUMBER = {2},
      PAGES = {266--306},
      ISSN = {1016-443X},
      CODEN = {GFANFB},
      MRCLASS = {53C23 (54E40 57M07)},
      MRNUMBER = {1771428},
      MRREVIEWER = {Michel Coornaert},
      DOI = {10.1007/s000390050009},
      ZBLNUMBER = {0972.53021},
     }
  • [BuyaloSchroeder2005] Go to document S. Buyalo and V. Schroeder, "Embedding of hyperbolic spaces in the product of trees," Geom. Dedicata, vol. 113, pp. 75-93, 2005.
    @article {BuyaloSchroeder2005, MRKEY = {2171299},
      AUTHOR = {Buyalo, Sergei and Schroeder, Viktor},
      TITLE = {Embedding of hyperbolic spaces in the product of trees},
      JOURNAL = {Geom. Dedicata},
      FJOURNAL = {Geometriae Dedicata},
      VOLUME = {113},
      YEAR = {2005},
      PAGES = {75--93},
      ISSN = {0046-5755},
      CODEN = {GEMDAT},
      MRCLASS = {53C23},
      MRNUMBER = {2171299},
      MRREVIEWER = {Joseph E. Borzellino},
      DOI = {10.1007/s10711-005-3124-9},
      ZBLNUMBER = {1090.54029},
     }
  • [Gerasimov97] V. N. Gerasimov, "Semi-splittings of groups and actions on cubings," in Algebra, Geometry, Analysis and Mathematical Physics (Russian), Izdat. Ross. Akad. Nauk Sib. Otd. Inst. Mat., Novosibirsk, 1997, pp. 91-109, 190.
    @incollection {Gerasimov97, MRKEY = {1624115},
      AUTHOR = {Gerasimov, V. N.},
      TITLE = {Semi-splittings of groups and actions on cubings},
      BOOKTITLE = {Algebra, Geometry, Analysis and Mathematical Physics ({R}ussian)},
      VENUE={{N}ovosibirsk, 1996},
      PAGES = {91--109, 190},
      PUBLISHER = {Izdat. Ross. Akad. Nauk Sib. Otd. Inst. Mat., Novosibirsk},
      YEAR = {1997},
      MRCLASS = {20F32 (57M07)},
      MRNUMBER = {1624115},
      MRREVIEWER = {Igor Belegradek},
      ZBLNUMBER = {0906.20025},
     }
  • [Gitik99] Go to document R. Gitik, "Ping-pong on negatively curved groups," J. Algebra, vol. 217, iss. 1, pp. 65-72, 1999.
    @article {Gitik99, MRKEY = {1700476},
      AUTHOR = {Gitik, Rita},
      TITLE = {Ping-pong on negatively curved groups},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {217},
      YEAR = {1999},
      NUMBER = {1},
      PAGES = {65--72},
      ISSN = {0021-8693},
      CODEN = {JALGA4},
      MRCLASS = {20F65 (20E06 20E26 57M07)},
      MRNUMBER = {1700476},
      MRREVIEWER = {Michel Coornaert},
      DOI = {10.1006/jabr.1998.7789},
      ZBLNUMBER = {0936.20019},
     }
  • [GMRS98] Go to document R. Gitik, M. Mitra, E. Rips, and M. Sageev, "Widths of subgroups," Trans. Amer. Math. Soc., vol. 350, iss. 1, pp. 321-329, 1998.
    @article {GMRS98, MRKEY = {1389776},
      AUTHOR = {Gitik, Rita and Mitra, Mahan and Rips, Eliyahu and Sageev, Michah},
      TITLE = {Widths of subgroups},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {350},
      YEAR = {1998},
      NUMBER = {1},
      PAGES = {321--329},
      ISSN = {0002-9947},
      CODEN = {TAMTAM},
      MRCLASS = {20F32 (57M07)},
      MRNUMBER = {1389776},
      MRREVIEWER = {Athanase Papadopoulos},
      DOI = {10.1090/S0002-9947-98-01792-9},
      ZBLNUMBER = {0897.20030},
     }
  • [Gromov87] M. Gromov, "Hyperbolic groups," in Essays in Group Theory, New York: Springer-Verlag, 1987, vol. 8, pp. 75-263.
    @incollection {Gromov87, MRKEY = {0919829},
      AUTHOR = {Gromov, M.},
      TITLE = {Hyperbolic groups},
      BOOKTITLE = {Essays in Group Theory},
      SERIES = {Math. Sci. Res. Inst. Publ.},
      VOLUME = {8},
      PAGES = {75--263},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1987},
      MRCLASS = {20F32 (20F06 20F10 22E40 53C20 57R75 58F17)},
      MRNUMBER = {0919829},
      MRREVIEWER = {Christopher W. Stark},
      ZBLNUMBER = {0634.20015},
     }
  • [HaglundHabillitation] F. Haglund, Aspects combinatoires de la théorie géométrique des groupes.
    @misc{HaglundHabillitation,
      author={Haglund, Fr{é}d{é}ric},
      TITLE = {Aspects combinatoires de la th{é}orie g{é}om{é}trique des groupes},
      NOTE={Universit{é} Paris Sud, Orsay, 2007, Habilitation},
      SORTYEAR={2007},
     }
  • [HaglundGraphProduct] Go to document F. Haglund, "Finite index subgroups of graph products," Geom. Dedicata, vol. 135, pp. 167-209, 2008.
    @article {HaglundGraphProduct, MRKEY = {2413337},
      AUTHOR = {Haglund, Fr{é}d{é}ric},
      TITLE = {Finite index subgroups of graph products},
      JOURNAL = {Geom. Dedicata},
      FJOURNAL = {Geometriae Dedicata},
      VOLUME = {135},
      YEAR = {2008},
      PAGES = {167--209},
      ISSN = {0046-5755},
      CODEN = {GEMDAT},
      MRCLASS = {20F65 (20E26 20F36 20F55 20F67 51E24)},
      MRNUMBER = {2413337},
      MRREVIEWER = {Henry Wilton},
      DOI = {10.1007/s10711-008-9270-0},
      ZBLNUMBER = {1155.53025},
     }
  • [HaglundWiseSpecial] Go to document F. Haglund and D. T. Wise, "Special cube complexes," Geom. Funct. Anal., vol. 17, iss. 5, pp. 1551-1620, 2008.
    @article {HaglundWiseSpecial, KEY={HaW08},
      MRKEY = {2377497},
      AUTHOR = {Haglund, Fr{é}d{é}ric and Wise, Daniel T.},
      TITLE = {Special cube complexes},
      JOURNAL = {Geom. Funct. Anal.},
      FJOURNAL = {Geometric and Functional Analysis},
      VOLUME = {17},
      YEAR = {2008},
      NUMBER = {5},
      PAGES = {1551--1620},
      ISSN = {1016-443X},
      CODEN = {GFANFB},
      MRCLASS = {20F36 (20F55 20F67)},
      MRNUMBER = {2377497},
      MRREVIEWER = {Patrick Bahls},
      DOI = {10.1007/s00039-007-0629-4},
      ZBLNUMBER = {1155.53025},
     }
  • [HaglundWiseCoxeter] Go to document F. Haglund and D. T. Wise, "Coxeter groups are virtually special," Adv. Math., vol. 224, iss. 5, pp. 1890-1903, 2010.
    @article {HaglundWiseCoxeter, KEY={HaW10},
      MRKEY = {2646113},
      AUTHOR = {Haglund, Fr{é}d{é}ric and Wise, Daniel T.},
      TITLE = {Coxeter groups are virtually special},
      JOURNAL = {Adv. Math.},
      FJOURNAL = {Advances in Mathematics},
      VOLUME = {224},
      YEAR = {2010},
      NUMBER = {5},
      PAGES = {1890--1903},
      ISSN = {0001-8708},
      CODEN = {ADMTA4},
      MRCLASS = {20F65 (20F55)},
      MRNUMBER = {2646113},
      MRREVIEWER = {Piotr Przytycki},
      DOI = {10.1016/j.aim.2010.01.011},
      ZBLNUMBER = {1195.53055},
     }
  • [HruskaWiseAxioms] Go to document C. G. Hruska and D. T. Wise, Finiteness properties of cubulated groups, 2010.
    @misc{HruskaWiseAxioms,
      author = {Hruska, G. Christopher and Wise, Daniel T.},
      KEY={HrW10},
      TITLE = {Finiteness properties of cubulated groups},
      NOTE={preprint},
      YEAR={2010},
      URL={https://docs.google.com/file/d/0B45cNx80t5-2U05ST2liTEpEU3c/edit?pli=1},
     }
  • [HruskaWisePacking] Go to document C. G. Hruska and D. T. Wise, "Packing subgroups in relatively hyperbolic groups," Geom. Topol., vol. 13, iss. 4, pp. 1945-1988, 2009.
    @article {HruskaWisePacking, KEY={HrW09},
      MRKEY = {2497315},
      AUTHOR = {Hruska, G. Christopher and Wise, Daniel T.},
      TITLE = {Packing subgroups in relatively hyperbolic groups},
      JOURNAL = {Geom. Topol.},
      FJOURNAL = {Geometry \& Topology},
      VOLUME = {13},
      YEAR = {2009},
      NUMBER = {4},
      PAGES = {1945--1988},
      ISSN = {1465-3060},
      MRCLASS = {20F67 (20F65 20F69)},
      MRNUMBER = {2497315},
      MRREVIEWER = {Fran{ç}ois Dahmani},
      DOI = {10.2140/gt.2009.13.1945},
      ZBLNUMBER = {1188.20042},
     }
  • [Minasyan2006] Go to document A. Minasyan, "Separable subsets of GFERF negatively curved groups," J. Algebra, vol. 304, iss. 2, pp. 1090-1100, 2006.
    @article {Minasyan2006, MRKEY = {2264291},
      AUTHOR = {Minasyan, Ashot},
      TITLE = {Separable subsets of {GFERF} negatively curved groups},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {304},
      YEAR = {2006},
      NUMBER = {2},
      PAGES = {1090--1100},
      ISSN = {0021-8693},
      CODEN = {JALGA4},
      MRCLASS = {20F67},
      MRNUMBER = {2264291},
      MRREVIEWER = {Werner Nickel},
      DOI = {10.1016/j.jalgebra.2006.03.050},
      ZBLNUMBER = {1175.20034},
     }
  • [Roller98] Go to document M. A. Roller, Poc-sets, median algebras and group actions. An extended study of Dunwoody’s construction and Sageev’s theorem.
    @misc{Roller98,
      author={Roller, M. A.},
      TITLE={Poc-sets, median algebras and group actions. An extended study of {D}unwoody's construction and {S}ageev's theorem},
      URL = {www.personal.soton.ac.uk/gan/Roller.pdf},
     }
  • [Sageev95] Go to document M. Sageev, "Ends of group pairs and non-positively curved cube complexes," Proc. London Math. Soc., vol. 71, iss. 3, pp. 585-617, 1995.
    @article {Sageev95, MRKEY = {1347406},
      AUTHOR = {Sageev, Michah},
      TITLE = {Ends of group pairs and non-positively curved cube complexes},
      JOURNAL = {Proc. London Math. Soc.},
      FJOURNAL = {Proceedings of the London Mathematical Society. Third Series},
      VOLUME = {71},
      YEAR = {1995},
      NUMBER = {3},
      PAGES = {585--617},
      ISSN = {0024-6115},
      CODEN = {PLMTAL},
      MRCLASS = {20F32 (20E08)},
      MRNUMBER = {1347406},
      MRREVIEWER = {G. Peter Scott},
      DOI = {10.1112/plms/s3-71.3.585},
      ZBLNUMBER = {0861.20041},
     }
  • [Scott78] Go to document P. Scott, "Subgroups of surface groups are almost geometric," J. London Math. Soc., vol. 17, iss. 3, pp. 555-565, 1978.
    @article {Scott78, MRKEY = {0494062},
      AUTHOR = {Scott, Peter},
      TITLE = {Subgroups of surface groups are almost geometric},
      JOURNAL = {J. London Math. Soc.},
      FJOURNAL = {Journal of the London Mathematical Society. Second Series},
      VOLUME = {17},
      YEAR = {1978},
      NUMBER = {3},
      PAGES = {555--565},
      ISSN = {0024-6107},
      MRCLASS = {55A10},
      MRNUMBER = {0494062},
      MRREVIEWER = {John Hempel},
      DOI = {10.1112/jlms/s2-17.3.555},
      ZBLNUMBER = {0412.57006},
     }
  • [WiseCycHNN] Go to document D. T. Wise, "Subgroup separability of graphs of free groups with cyclic edge groups," Q. J. Math., vol. 51, iss. 1, pp. 107-129, 2000.
    @article {WiseCycHNN, MRKEY = {1760573},
      AUTHOR = {Wise, Daniel T.},
      TITLE = {Subgroup separability of graphs of free groups with cyclic edge groups},
      JOURNAL = {Q. J. Math.},
      FJOURNAL = {The Quarterly Journal of Mathematics},
      VOLUME = {51},
      YEAR = {2000},
      NUMBER = {1},
      PAGES = {107--129},
      ISSN = {0033-5606},
      MRCLASS = {20E26 (20F65 57M07)},
      MRNUMBER = {1760573},
      MRREVIEWER = {Ilya Kapovich},
      DOI = {10.1093/qmathj/50.1.107},
      ZBLNUMBER = {0991.05056},
     }
  • [WisePolygons] Go to document D. T. Wise, "The residual finiteness of negatively curved polygons of finite groups," Invent. Math., vol. 149, iss. 3, pp. 579-617, 2002.
    @article {WisePolygons, MRKEY = {1923477},
      AUTHOR = {Wise, Daniel T.},
      TITLE = {The residual finiteness of negatively curved polygons of finite groups},
      JOURNAL = {Invent. Math.},
      FJOURNAL = {Inventiones Mathematicae},
      VOLUME = {149},
      YEAR = {2002},
      NUMBER = {3},
      PAGES = {579--617},
      ISSN = {0020-9910},
      CODEN = {INVMBH},
      MRCLASS = {20E26 (20E06 20F67)},
      MRNUMBER = {1923477},
      MRREVIEWER = {Ilya Kapovich},
      DOI = {10.1007/s002220200224},
      ZBLNUMBER = {1040.20024},
     }
  • [MorrisWitteBook] D. W. Morris, Introduction to Arithmetic Groups, 2012.
    @misc{MorrisWitteBook,
      author={Morris, D. W.},
      TITLE={Introduction to Arithmetic Groups},
      YEAR={2012},
      ARXIV={math/0106063},
     }

Authors

Frédéric Haglund

Mathématiques
Université de Paris XI (Paris-Sud)
91405 Orsay
France

Daniel T. Wise

Department of Mathematics & Statistics
McGill University
805 Sherbrook Street West
Montreal, Quebec
Canada H3A 2K6