Separable homology of graphs and the separability complex
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912835455418368 |
|---|---|
| author | Eastham, Becky |
| author_facet | Eastham, Becky |
| contents | 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 $\mathbf{F}_n$. The separability 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 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 $\mathbf{F}_n$ with generating set consisting of all primitive elements of $\mathbf{F}_n$ is nonhyperbolic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_01320 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Separable homology of graphs and the separability complex Eastham, Becky Geometric Topology Group Theory 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 $\mathbf{F}_n$. The separability 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 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 $\mathbf{F}_n$ with generating set consisting of all primitive elements of $\mathbf{F}_n$ is nonhyperbolic. |
| title | Separable homology of graphs and the separability complex |
| topic | Geometric Topology Group Theory |
| url | https://arxiv.org/abs/2401.01320 |