Cubulating malnormal amalgams. (Q2257724)

In the 1990s, Sageev showed how to obtain an action of a hyperbolic group on a \(\mathrm{CAT}(0)\) cube complex from codimension-\(1\) subgroups. The present paper provides this type of action for a much wider class of relatively hyperbolic groups. The results can be viewed as an explicit geometrization of these groups. Together with the previous work of Haglund and Wise the results can be applied to investigate linearity and quasiconvex subgroup separability of many groups arising naturally in geometric group theory. A special case of the main theorem can be stated as follows: Theorem. A group \(G\) acts properly and cocompactly on a \(\mathrm{CAT}(0)\) cube complex provided:{\parindent=6mm\begin{itemize}\item[(1)] \(G\) splits as \(G_1*_{G_e}G_2\) [or \(G_1*_{G^t_e}\)].\item[(2)] \(G\) is hyperbolic relative to free-abelian subgroups.\item[(3)] \(G_1\), \(G_2\) [or \(G_1\)] act properly, cocompactly, and virtually specially on \(\mathrm{CAT}(0)\) cube complexes.\item[(4)] \(G_e\) is hyperbolic and \(G_e\) is quasiconvex and malnormal in \(G\). \end{itemize}} The results of the paper markedly generalize the previous work of the authors [in Am. J. Math. 132, No. 5, 1153-1188 (2010; Zbl 1244.20040)] where they cubulated hyperbolic groups that split as graphs of free groups with cyclic edge groups.