Sageev associated to a codimension 1 subgroup $H$ of a group $G$ a
cube complex on which $G$ acts by isometries, and proved this cube
complex is always CAT(0). Haglund and Wise developed a theory of
special cube complexes, whose fundamental groups...
Read More