English

The sphere complex of a locally finite graph

Geometric Topology 2024-10-03 v2 Group Theory

Abstract

For a locally finite graph Γ\Gamma, we consider its mapping class group Map(Γ)\text{Map}(\Gamma) as defined by Algom-Kfir-Bestvina. For these groups, we prove a generalization of the results of Laudenbach and Brendle-Broaddus-Putman, producing a 33-manifold MΓM_{\Gamma} whose mapping class group surjects onto Map(Γ)\text{Map}(\Gamma) 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 Map(Γ)\text{Map}(\Gamma) on the sphere complex S(MΓ)\mathcal{S}(M_{\Gamma}) of MΓM_{\Gamma}, which is the simplicial complex whose simplices are isotopy classes of finite collections of spheres in MΓM_{\Gamma} which are pairwise disjoint. When Γ\Gamma has finite rank, we further show that the action of Map(Γ)\text{Map}(\Gamma) 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 Γ\Gamma, Map(Γ)\text{Map}(\Gamma) is quasi-isometric to a particular subgraph of S(MΓ)\mathcal{S}(M_{\Gamma}), following Schaffer-Cohen. We also deduce analogs of the results of Domat-Hoganson-Kwak.

Keywords

Cite

@article{arxiv.2407.07976,
  title  = {The sphere complex of a locally finite graph},
  author = {Brian Udall},
  journal= {arXiv preprint arXiv:2407.07976},
  year   = {2024}
}

Comments

57 pages, 8 figures. Fixed the hypotheses of the first theorem, excluding finitely many sporadic cases from one part of the result. Expanded the proofs of all the main results for clarity. Comments are welcome!

R2 v1 2026-06-28T17:36:20.143Z