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.