English

Separable homology of graphs and the separability complex

Geometric Topology 2026-01-21 v2 Group Theory

Abstract

We introduce the separability 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 Fn\mathbf{F}_n. The separability complex admits an action of Out(Fn)\mathrm{Out}(\mathbf{F}_n) by isometries if the associated cover corresponds to a characteristic subgroup of Fn\mathbf{F}_n. We prove that the separability 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. As a consequence, we obtain that the Cayley graph of Fn\mathbf{F}_n with generating set consisting of all primitive elements of Fn\mathbf{F}_n is nonhyperbolic.

Keywords

Cite

@article{arxiv.2401.01320,
  title  = {Separable homology of graphs and the separability complex},
  author = {Becky Eastham},
  journal= {arXiv preprint arXiv:2401.01320},
  year   = {2026}
}

Comments

52 pages, 20 figures

R2 v1 2026-06-28T14:07:07.198Z