Asymmetry of Outer Space of a free product

Abstract

For every free product decomposition $G=G_1\ast ...\ast G_q\ast F_r$ of a group of finite Kurosh rank $G$, where $F_r$ is a finitely generated free group, we can associate some (relative) outer space $\mathcal{O}$. We study the asymmetry of the Lipschitz metric $d_R$ on the (relative) Outer space $\mathcal{O}$. More specifically, we generalise the construction of Algom-Kfir and Bestvina, introducing an (asymmetric) Finsler norm $\Vert \cdot {\Vert }^L$ that induces $d_R$. Let's denote by $Out(G,\mathcal{O})$ the outer automorphisms of $G$ that preserve the set of conjugacy classes of $G_i$'s. Then there is an $Out(G,\mathcal{O})$-invariant function $\Psi :\mathcal{O}\to \mathbb{R}$ such that when $\Vert \cdot {\Vert }^L$ is corrected by $d\Psi$, the resulting norm is quasisymmetric. As an application, we prove that if we restrict $d_R$ to the $\epsilon$-thick part of the relative Outer space for some $\epsilon >0$, is quasi-symmetric . Finally, we generalise for IWIP automorphisms of a free product a theorem of Handel and Mosher, which states that there is a uniform bound which depends only on the group, on the ratio of the relative expansion factors of any IWIP $\varphi \in Out(F_n)$ and its inverse.

arXiv comment28 pages, 2 figures. arXiv admin note: text overlap with arXiv:1408.0544 by other authors