A group is cubulated when it admits a <cubulation of a group>, namely a <metrically proper group action> by cubical automorphisms on a <CAT(0) cube complex>. It is cocompactly cubulated when that action is also a <cocompact group action>. Thus a cocompact cubulation is a proper, cocompact cubical action.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 134 / 2 / a / Solution

 Solution (source code)