The finitely generated intersection property in fundamental groups of graphs of groups

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Delgado, Jordi, Linton, Marco, Zearra, Jone Lopez de Gamiz, Roy, Mallika, Weil, Pascal
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866915935706677248
author Delgado, Jordi
Linton, Marco
Zearra, Jone Lopez de Gamiz
Roy, Mallika
Weil, Pascal
author_facet Delgado, Jordi
Linton, Marco
Zearra, Jone Lopez de Gamiz
Roy, Mallika
Weil, Pascal
contents A group $G$ is said to satisfy the finitely generated intersection property (f.g.i.p.) if the intersection of any two finitely generated subgroups of $G$ is again finitely generated. The aim of this article is to understand when the fundamental group of a graph of groups has the f.g.i.p. Our main results are general criteria for the f.g.i.p. in graphs of groups which depend on properties of the vertex groups, properties of certain double cosets of the edge groups and the structure of the underlying graph. For acylindrical graphs of groups, we also obtain criteria for the strong f.g.i.p. (s.f.g.i.p.). Our results generalise classical results due to Burns and Cohen on the f.g.i.p. for amalgamated free products and HNN extensions. As a concrete application, we show that a graph of locally quasi-convex hyperbolic groups with virtually $\mathbb{Z}$ edge groups (for instance, a generalised Baumslag--Solitar group) has the f.g.i.p. if and only if it does not contain $F_2\times\mathbb{Z}$ as a subgroup. In addition, we show that this condition is decidable. The main tools we use are the explicit constructions of pullbacks of immersions into a graph of group, obtained by the authors in a previous paper, and a technical condition on coset interactions, introduced in this paper.
format Preprint
id arxiv_https___arxiv_org_abs_2512_12635
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle The finitely generated intersection property in fundamental groups of graphs of groups
Delgado, Jordi
Linton, Marco
Zearra, Jone Lopez de Gamiz
Roy, Mallika
Weil, Pascal
Group Theory
20F65 (Primary) 0E06, 20E07, 20E08(Secondary)
A group $G$ is said to satisfy the finitely generated intersection property (f.g.i.p.) if the intersection of any two finitely generated subgroups of $G$ is again finitely generated. The aim of this article is to understand when the fundamental group of a graph of groups has the f.g.i.p. Our main results are general criteria for the f.g.i.p. in graphs of groups which depend on properties of the vertex groups, properties of certain double cosets of the edge groups and the structure of the underlying graph. For acylindrical graphs of groups, we also obtain criteria for the strong f.g.i.p. (s.f.g.i.p.). Our results generalise classical results due to Burns and Cohen on the f.g.i.p. for amalgamated free products and HNN extensions. As a concrete application, we show that a graph of locally quasi-convex hyperbolic groups with virtually $\mathbb{Z}$ edge groups (for instance, a generalised Baumslag--Solitar group) has the f.g.i.p. if and only if it does not contain $F_2\times\mathbb{Z}$ as a subgroup. In addition, we show that this condition is decidable. The main tools we use are the explicit constructions of pullbacks of immersions into a graph of group, obtained by the authors in a previous paper, and a technical condition on coset interactions, introduced in this paper.
title The finitely generated intersection property in fundamental groups of graphs of groups
topic Group Theory
20F65 (Primary) 0E06, 20E07, 20E08(Secondary)
url https://arxiv.org/abs/2512.12635