The sphere complex of a locally finite graph

Abstract

For a locally finite graph $Γ$, we consider its mapping class group $\text{Map}(Γ)$ as defined by Algom-Kfir-Bestvina. For these groups, we prove a generalization of the results of Laudenbach and Brendle-Broaddus-Putman, producing a $3$-manifold $M_Γ$ whose mapping class group surjects onto $\text{Map}(Γ)$ with kernel a compact abelian group of sphere twists so that the corresponding short exact sequence splits. Along the way we obtain an induced faithful action of $\text{Map}(Γ)$ on the sphere complex $\mathcal{S}(M_Γ)$ of $M_Γ$, which is the simplicial complex whose simplices are isotopy classes of finite collections of spheres in $M_Γ$ which are pairwise disjoint. When $Γ$ has finite rank, we further show that the action of $\text{Map}(Γ)$ on a certain natural subcomplex has elements with positive translation length, and also consider a candidate for an Outer space of such a graph. As another application, we prove that for many $Γ$, $\text{Map}(Γ)$ is quasi-isometric to a particular subgraph of $\mathcal{S}(M_Γ)$, following Schaffer-Cohen. We also deduce analogs of the results of Domat-Hoganson-Kwak.