5e098a20adab6da9.tex
1: \begin{abstract}
2: We describe a procedure called \emph{panel collapse} for replacing a CAT(0) cube 
3: complex $\Psi$ by a ``lower complexity'' CAT(0) cube complex $\Psi_\bullet$ 
4: whenever $\Psi$ contains a codimension--$2$ hyperplane that is \emph{extremal} 
5: in one of the codimension--$1$ hyperplanes containing it.  Although 
6: $\Psi_\bullet$ is not in general a subcomplex of $\Psi$, it is a subspace 
7: consisting of a subcomplex together with some cubes that sit inside $\Psi$ 
8: ``diagonally''.  The hyperplanes of $\Psi_\bullet$ extend to hyperplanes of 
9: $\Psi$.  Applying this procedure, we prove: if a group $G$ acts cocompactly on 
10: a CAT(0) cube complex $\Psi$, then there is a CAT(0) cube complex $\Omega$ so 
11: that $G$ acts cocompactly on $\Omega$ and for each hyperplane 
12: $H$ of $\Omega$, the stabiliser in $G$ of $H$ acts on $H$ essentially.  
13: 
14: Using panel collapse, we obtain a new proof of Stallings's theorem on
15: groups with more than one end.  As another illustrative example, we
16: show that panel collapse applies to the exotic cubulations of free
17: groups constructed by Wise in~\cite{Wise:recube}.  Next, we show that
18: the CAT(0) cube complexes constructed by Cashen-Macura
19: in~\cite{cashen-macura} can be collapsed to trees while preserving all
20: of the necessary group actions.  (It also illustrates that
21: our result applies to actions of some non-discrete groups.)  We also discuss possible applications to quasi-isometric rigidity for certain classes of graphs of free groups with cyclic edge groups. Panel collapse is also used in forthcoming work of the
22: first-named author and Wilton to study fixed-point sets of finite
23: subgroups of $\Out(F_n)$ on the free splitting complex.  Finally, we apply panel collapse to a conjecture of Kropholler, obtaining a short proof under a natural extra hypothesis.
24: \end{abstract}
25: