Superexponential distortion of free groups in virtually special Groups

Abstract

For all integers $k, m > 0$, we construct a virtually special group $G$ containing a finite rank free subgroup $F$ whose distortion function in $G$ grows like $\exp^k(x^m)$. We also construct examples of virtually special groups containing finite rank free subgroups whose distortion functions grow bigger than any iterated exponential.