The Davis complex is the geometric realization of the poset of cosets for spherical subsets . Equivalently, it is the basic construction of a Coxeter group obtained by gluing copies of the Davis chamber along mirrors. It is a contractible proper -CW complex.
New to topics? Read the docs here!