Pullbacks and intersections in categories of graphs of groups
Jordi Delgado, Marco Linton, Jone Lopez de Gamiz Zearra, Mallika Roy, Pascal Weil

TL;DR
This paper develops a categorical framework for graphs of groups, focusing on pullbacks and intersections, and relates these to classical theories and subgroup properties, with explicit computations for Baumslag--Solitar groups.
Contribution
It introduces an explicit construction of the $ ext{A}$-product for morphisms into a graph of groups and characterizes pullbacks in pointed and unpointed categories, linking to subgroup intersection theory.
Findings
Pullbacks always exist in the category of pointed graphs of groups.
Pullbacks correspond to pointed $ ext{A}$-products in pointed categories.
Explicit computation classifies Baumslag--Solitar groups with the finitely generated intersection property.
Abstract
We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called -product of two morphisms into a graph of groups -- a graph of groups which, within the appropriate categorical setting, captures the intersection of subgroups of the fundamental group of . We show that, in the category of pointed graphs of groups, pullbacks always exist and correspond precisely to pointed -products. In contrast, pullbacks do not always exist in the category of unpointed graphs of groups. However, when they do exist, and we show that it is the case, in particular, under certain acylindricity conditions, they are again closely related to -products. We trace, all along, the parallels with…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
