Cubulation of a group

ID: cubulation-of-a-group

A cubulation of a group is a metrically proper action by cubical automorphisms on a CAT(0) cube complex. It is cocompact when the action is also a cocompact group action.

New to topics? Read the docs here!