Relative Free Splitting Complexes II: Stable Translation Lengths and the Two Over All Theorem

This is the second of a three part study of relative free splitting complexes $\mathcal{F}\mathcal{S}(\mathrm{\Gamma };\mathcal{A})$, known from Part~I to be Gromov hyperbolic. Here and in~Part III we focus on stable translation lengths ${\tau }_{\phi }\ge 0$ of the simplicial isometries of $\mathcal{F}\mathcal{S}(\mathrm{\Gamma };\mathcal{A})$ induced by relative outer automorphisms $\phi \in \text{Out}(\mathrm{\Gamma };\mathcal{A})$, stating and proving quantitative generalizations of earlier theorems for $\text{Out}(F_n)$. The main technical result proved here in Part~II is the \emph{Two Over All Theorem}, which expresses a uniform exponential flaring property along arbitrary Stallings fold paths in $\mathcal{F}\mathcal{S}(\mathrm{\Gamma };\mathcal{A})$, a new result even for $\text{Out}(F_n)$. We give two applications of this theorem. First, the natural map from the relative outer space $\mathcal{O}(\mathrm{\Gamma };\mathcal{A})$ to the relative free splitting complex $\mathcal{F}\mathcal{S}(\mathrm{\Gamma };\mathcal{A})$ is coarsely Lipschitz, with respect to the log-Lipschitz semimetric on~$\mathcal{O}(\mathrm{\Gamma };\mathcal{A})$. Second, if $\phi \in \text{Out}(\mathrm{\Gamma };\mathcal{A})$ has a filling attracting lamination with expansion factor $\lambda >1$ then the stable translation length of $\phi$ acting on $\mathcal{F}\mathcal{S}(\mathrm{\Gamma };\mathcal{A})$ has an upper bound of the form~$B\log (\lambda )$.