Stable Translation Lengths on Free Splitting Complexes I: The Two Over All Theorem and its Applications

The outer automorphism group $\text{Out}(\Gamma;\mathscr A)$ of a group $\Gamma$ relative to a free factor system $\mathscr A$ of $\Gamma$ acts by isometries on the relative free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$, which is Gromov hyperbolic. This is the first of a multipart study of stable translation lengths of elements of this action, a quantitative generalization of earlier work on $\text{Out}(F_n)$. In this first part we state and prove the Two Over All Theorem, expressing a uniform exponential growth property along Stallings fold paths in $\mathcal{FS}(\Gamma;\mathscr A)$, and we give two applications of that theorem. First, the natural map from the outer space $\mathscr O(\Gamma;\mathscr A)$ to the free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$ is coarsely Lipschitz, with respect to the log-Lipschitz semimetric on $\mathscr O(\Gamma;\mathscr A)$. Second, if $\phi \in \text{Out}(\Gamma;\mathscr A)$ has a filling attracting lamination with expansion factor $\lambda>1$ then the stable translation length of $\phi$ on $\mathcal{FS}(\Gamma;\mathscr A)$ has an upper bounded of the form $B \log(\lambda)$.