e3fe6ea472380cb1.tex
1: \begin{abstract}
2: We prove that a group
3: $G^\sigma_{n,k} := F_n \rtimes_\sigma \F{k}$, where $\F{n}$ and $\F{k}$
4: are respectively rank $n$ and rank $k$ free groups, and $\sigma \colon \F{k} \hookrightarrow \Aut{\F{n}}$
5: is a monomorphism such that $\sigma(\F{k})$ is a subgroup consisting entirely of polynomially growing automorphisms of $\F{n}$,
6: acts properly isometrically on a finite dimensional CAT(0) cube complex if some finite-index unipotent subgroup of $\sigma(\F{k})$ admits a Bestvina-Feighn-Handel representative satisfying two additional combinatorial properties.
7: This is achieved by exhibiting a proper space-with-walls structure in the sense of Haglund-Paulin.
8: In particular any such group $G^\sigma_{n,k}$ is a-T-menable in the sense of Gromov (equivalently satisfies the Haagerup property).
9: \end{abstract}
10: