Separable homology of graphs and the Whitehead complex

Becky Eastham
2024-01-03
Abstract:We introduce the Whitehead complex, a one-complex associated to a finite regular cover of the rose and show that it is connected if and only if the fundamental group of the associated cover is generated by its intersection with the set of elements in proper free factors of $\mathbf{F}_n$. The Whitehead complex admits an action of $\mathrm{Out}(\mathbf{F}_n)$ by isometries if the associated cover corresponds to a characteristic subgroup of $\mathbf{F}_n$. We prove that the Whitehead complex of the rose has infinite diameter and is nonhyperbolic, implying it is not quasi-isometric to the free splitting complex or the free factor complex.
Geometric Topology,Group Theory
What problem does this paper attempt to address?