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

Jone Lopez de Gamiz Zearra; Jordi Delgado; Mallika Roy; Marco Linton; Pascal Weil

arxiv: 2512.12635 · v2 · submitted 2025-12-14 · 🧮 math.GR

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

Jordi Delgado , Marco Linton , Jone Lopez de Gamiz Zearra , Mallika Roy , Pascal Weil This is my paper

Pith reviewed 2026-05-16 22:38 UTC · model grok-4.3

classification 🧮 math.GR

keywords finitely generated intersection propertygraphs of groupsfundamental groupshyperbolic groupsvirtually cyclic groupsBaumslag-Solitar groupsdecidabilitysubgroup intersections

0 comments

The pith

Fundamental groups of graphs of locally quasi-convex hyperbolic groups with virtually cyclic edge groups have the finitely generated intersection property precisely when they contain no F₂ × ℤ subgroup.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes general criteria that determine when the fundamental group of a graph of groups satisfies the finitely generated intersection property. These criteria depend on the nature of the vertex groups, double cosets formed by the edge groups, and the topology of the underlying graph. The criteria extend classical results of Burns and Cohen for amalgams and HNN extensions and also yield conditions for the strong version of the property in acylindrical cases. In the concrete setting of vertex groups that are locally quasi-convex hyperbolic and edge groups that are virtually infinite cyclic, the authors obtain an if-and-only-if characterization: the fundamental group has the property exactly when it avoids containing a subgroup isomorphic to the direct product of the free group of rank two with the integers, and they prove this forbidden-subgroup condition is algorithmically decidable.

Core claim

A graph of locally quasi-convex hyperbolic groups whose edge groups are virtually infinite cyclic has the finitely generated intersection property if and only if its fundamental group contains no subgroup isomorphic to F₂ × ℤ; moreover, the absence of such a subgroup is decidable.

What carries the argument

Explicit pullback constructions of immersions into the graph of groups together with a technical condition on the interactions between cosets of the edge groups.

If this is right

The finitely generated intersection property holds exactly when F₂ × ℤ is absent as a subgroup.
The absence of an F₂ × ℤ subgroup is decidable for any such graph.
Acylindrical graphs of groups satisfy criteria for the strong finitely generated intersection property.
The results apply directly to generalised Baumslag–Solitar groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The decidability result supplies an algorithmic test that can be run on any finite graph presentation of this type.
The coset-interaction condition may be checkable in additional classes of groups beyond the hyperbolic case treated here.
Avoidance of F₂ × ℤ could be used to certify the property for other families of groups assembled from hyperbolic pieces.

Load-bearing premise

The vertex groups are locally quasi-convex hyperbolic, the edge groups are virtually infinite cyclic, the pullback constructions apply, and the coset-interaction condition holds for the given graph.

What would settle it

A concrete graph of locally quasi-convex hyperbolic groups with virtually cyclic edge groups that either contains an F₂ × ℤ subgroup yet still has all pairwise intersections of finitely generated subgroups finitely generated, or lacks any F₂ × ℤ subgroup yet possesses two finitely generated subgroups whose intersection is infinitely generated.

Figures

Figures reproduced from arXiv: 2512.12635 by Jone Lopez de Gamiz Zearra, Jordi Delgado, Mallika Roy, Marco Linton, Pascal Weil.

**Figure 1.** Figure 1: A single edge in A If e is not a loop and the indices m and n do not satisfy m “ 1, or n “ 1, or m “ n “ 2, then Proposition 6.10 shows that π1pA, uq contains a copy of F2 ˆ Z and hence does not have the f.g.i.p. Similarly, if e is a loop and if k, ℓ ‰ 1, then Proposition 6.11 shows that π1pA, uq contains a copy of F2 ˆ Z and hence does not have the f.g.i.p. Therefore, if π1pA, uq has the f.g.i.p., then ev… view at source ↗

**Figure 2.** Figure 2: Case (a) and Case (b) factorisations in Lemma [PITH_FULL_IMAGE:figures/full_fig_p040_2.png] view at source ↗

**Figure 3.** Figure 3: A 4-gon between 1, f, c and f b “ cg If |b|SB ą L, there exist 1 ď i ă k ă n such that hi “ hj : let h be this common value. Let also b1 “ x1 ¨ ¨ ¨ xi , b2 “ bi`1 . . . bj and b3 “ bj`1 . . . bn, so that b “ b1b2b3 is a geodesic factorisation. In particular, b2 ‰ 1. Note that jpiq ‰ jpkq. If jpiq ă jpkq, we let c1 “ y1 . . . yjpiq , c2 “ yjpiq`1 . . . yjpkq and c3 “ yjpkq`1 . . . ym. Then c “ c1c2c3 is a g… view at source ↗

**Figure 4.** Figure 4: 1 bb´1 0 b bf bf a0 bf a bf ag´1 “ f 1a 1 pg 1 q ´1 c f 1 f 1a 1 f 1a 1 pg 1 q ´1 b0 f a0 g f 1 a 1 g 1 h0 c [PITH_FULL_IMAGE:figures/full_fig_p042_4.png] view at source ↗

**Figure 5.** Figure 5: The 8-gon in the proof of Lemma 7.3 Suppose that |b|SB ą 2L ` 1 and let b “ b0b1 be a geodesic factorisation of b in B such that |b0|SB “ Y |b|SB 2 ] ą L. Then, reasoning as in the proof of Lemma 7.2, vertex b0 is within S-distance λ 2 from a vertex w on the translate of qa, qa1 or qc. Letting h0 “ pb0q ´1w, we have |h0|S ď λ 2 and one of the following conditions holds: (1) there exists a geodesic factoris… view at source ↗

**Figure 6.** Figure 6: The 6-gon in the proof of Lemma 7.3 Then pbfqa0 is within S-distance λ 2 from a vertex w 1 in B and b0 ¨ qb1 , in h0C and h0 ¨ qc3 or in ph0 . If w 1 is on ph0 , then a0 is within distance 2λ 2 from vertex b0, that is, there exists h1 P G such that |h1|S ď 2λ 2 and b1f a0 “ h1. Claim 7.4 again shows that |b0|SB ď L, a contradiction. Therefore w 1 is on b0 ¨ qb1 (and hence in qb) or in h0 ¨ qc3 (and hence i… view at source ↗

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives usable criteria for the f.g.i.p. in graphs of groups, generalizes Burns-Cohen, and delivers a clean decidable characterization for the hyperbolic case with virtually Z edges.

read the letter

This paper supplies usable criteria for the finitely generated intersection property in fundamental groups of graphs of groups. It generalizes two classical theorems of Burns and Cohen and adds a decidability result for an important class. The new material is the general criteria that depend on double-coset behavior and a fresh coset-interaction condition, together with the if-and-only-if statement for locally quasi-convex hyperbolic vertex groups with virtually Z edge groups: the f.g.i.p. holds precisely when F2 × Z is absent as a subgroup, and this is decidable. The pullbacks from the authors' prior paper are the main tool, but the criteria and the hyperbolic application look independent of any circularity. The paper does well in making the criteria explicit and in delivering a clean characterization plus decidability. The argument for the concrete case is internally consistent: absence of F2 × Z guarantees the coset condition, the pullbacks go through, and standard algorithms for hyperbolic groups give the decidability. Soft spots are limited. The work rests on the prior constructions, but the stress-test shows no load-bearing gap. Without the full proofs it is hard to verify every step, but the stated results and tools line up without contradiction. This is for geometric group theorists interested in subgroup finiteness properties. A reader working on graphs of hyperbolic groups or generalized Baumslag-Solitar groups would get concrete value from the criteria and the decidability test. It deserves a serious referee. The generalization is clean and the application is sharp enough to warrant review.

Referee Report

0 major / 3 minor

Summary. The manuscript develops general criteria for the finitely generated intersection property (f.g.i.p.) in fundamental groups of graphs of groups. These criteria depend on properties of the vertex groups, a technical condition on double-coset interactions of the edge groups, and the structure of the underlying graph. For acylindrical graphs of groups the authors also obtain criteria for the strong f.g.i.p. The results generalize classical theorems of Burns and Cohen for amalgams and HNN extensions. As a concrete application, the paper proves that a graph of locally quasi-convex hyperbolic groups with virtually infinite-cyclic edge groups (including generalized Baumslag–Solitar groups) has the f.g.i.p. if and only if it contains no subgroup isomorphic to F₂×ℤ, and that this absence is decidable. The proofs rely on explicit pullback constructions of immersions developed in the authors’ prior work together with the new coset-interaction condition introduced here.

Significance. If the central claims hold, the work supplies a flexible framework for studying the f.g.i.p. in a wide class of graphs of groups, extending classical results in a manner that is directly applicable to hyperbolic groups and their graphs. The if-and-only-if characterization together with decidability for the locally quasi-convex hyperbolic case with virtually ℤ edge groups provides a concrete, checkable criterion that should be useful for concrete families such as generalized Baumslag–Solitar groups. The explicit use of pullback constructions and the introduction of a verifiable coset condition constitute technical strengths that may enable further applications in geometric group theory.

minor comments (3)

[Abstract] Abstract: the phrase 'virtually Z edge groups' is standard but would be clearer if expanded to 'virtually infinite cyclic' on first use, especially for readers outside geometric group theory.
[Application section] The decidability claim in the application section would benefit from an explicit reference to the algorithms (e.g., the standard solution to the membership problem in hyperbolic groups) used to check the absence of F₂×ℤ.
[Section introducing coset condition] Notation for the new coset-interaction condition should be introduced with a short illustrative diagram or example immediately after its definition to improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript on the finitely generated intersection property in fundamental groups of graphs of groups. We appreciate the recognition that our criteria generalize classical results of Burns and Cohen, provide a flexible framework applicable to hyperbolic groups, and yield a concrete decidable characterization for graphs of locally quasi-convex hyperbolic groups with virtually cyclic edge groups. The report recommends minor revision, but no specific major comments were listed.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper develops general criteria for the f.g.i.p. in graphs of groups depending on vertex group properties, double-coset conditions, and graph structure, then introduces a new technical condition on coset interactions. It applies prior explicit pullback constructions (from a separate earlier paper) as a tool to prove the criteria, and verifies that the new condition holds precisely when F_2 × Z is absent in the hyperbolic case. No step reduces by definition to its own inputs, renames a known result, or forces the central claim via a self-citation chain; the prior constructions are independent established tools, and the equivalence to absence of F_2 × Z is derived from the new criteria rather than assumed.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition of graphs of groups and their fundamental groups, the theory of hyperbolic and locally quasi-convex groups, and the pullback constructions from the authors' earlier paper; no new free parameters or invented entities are introduced.

axioms (2)

standard math Standard axioms and definitions of graphs of groups and their fundamental groups
Invoked throughout to define the objects under study.
domain assumption Local quasi-convexity and hyperbolicity of vertex groups
Used in the concrete application to obtain the iff statement.

pith-pipeline@v0.9.0 · 5566 in / 1514 out tokens · 47598 ms · 2026-05-16T22:38:52.814834+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a graph of locally quasi-convex hyperbolic groups with virtually Z edge groups ... has the f.g.i.p. if and only if it does not contain F_2×Z as a subgroup ... decidable. The main tools ... pullbacks of immersions ... and a technical condition on coset interactions
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 5.2 ... finite coset interaction property ... map ⊔ (A∩B^f)zA/(A∩C^g) → BzG/C

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · 1 internal anchor

[1]

Pullbacks and intersections in categories of graphs of groups

[ASS15] V.Araújo, P. V.Silva, and M.Sykiotis. “Finiteness results for subgroups of finite exten- sions”.Journal of Algebra423 (Feb. 2015), pp. 592–614. [Arz98] G. N.Arzhantseva. “Generic properties of finitely presented groups and Howson’s theorem”. Commun. Algebra26.11 (1998), pp. 3783–3792. [BW22] J.Bamberger and D. T.Wise. “Failure of the finitely gene...

work page internal anchor Pith review Pith/arXiv arXiv 2015
[2]

Cambridge: Cambridge University Press, 1993, pp. 75–78. [Fin+14] B.Fine, A.Gaglione, A.Myasnikov, G.Rosenberger, and D.Spellman.The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures. De Gruyter, Oct. 29,

work page 1993
[3]

Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture: with an appendix by Warren Dicks

[Fri15] J.Friedman. “Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture: with an appendix by Warren Dicks”.Memoirs of the American Math- ematical Society233.1100 (Jan. 2015). [GH90] É.Ghys and P.de laHarpe, eds.Sur les groupes hyperboliques d’après Mikhael Gromov. Vol

work page 2015
[4]

Discrete Groups of Motions

Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1990, pp. xii+285. [Gre60] L.Greenberg. “Discrete Groups of Motions”.Canadian Journal of Mathematics12 (Jan. 1960), pp. 415–426. [HW21] F.Haglund and D. T.Wise. “A note on finiteness properties of graphs of groups”.Proceed- ings of the American Mathematical Society. Series B8 (2021), pp. 121–12...

work page 1990
[5]

On the intersection of finitely generated free groups

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1976, pp. xii+195. [How54] A. G.Howson. “On the intersection of finitely generated free groups”.Journal of the London Mathematical Societys1-29.4 (Oct. 1954), pp. 428–434. [Imr84] W.Imrich. “Grushko’s theorem”.Archiv der Mathematik43.5 (1984), pp. 3...

work page 1976
[6]

Subgroups of HNN groups and groups with one defining rela- tion

[KS71] A.Karrass and D.Solitar. “Subgroups of HNN groups and groups with one defining rela- tion”.Canadian Journal of Mathematics23 (1971), pp. 627–643. [KMW17] O.Kharlampovich,A.Miasnikov,andP.Weil.“Stallingsgraphsforquasi-convexsubgroups”. Journal of Algebra488 (Oct. 2017), pp. 442–483. [Lin21] M.Linton.On the intersections of finitely generated subgrou...

work page 1971
[7]

[Lin25] M.Linton.The geometry of subgroups of mapping tori of free groups

arXiv:2108.10814 [math.GR]. [Lin25] M.Linton.The geometry of subgroups of mapping tori of free groups

work page arXiv
[8]

Submultiplicativity and the Hanna Neumann Conjecture

arXiv:2510. 03145 [math.GR]. [Min12] I.Mineyev. “Submultiplicativity and the Hanna Neumann Conjecture”.Annals of Mathe- matics175.1 (Jan. 2012), pp. 393–414. [Mol68] D. I.Moldavanski˘ ı. “The intersection of finitely generated subgroups”.Sibirsk. Mat. Zh.9 (1968), pp. 1422–1426. [Neu57] H.Neumann. “On the intersection of finitely generated free groups. Ad...

work page 2012
[9]

On the Howson property of HNN-extensions with abelian base group and amalgamated free products of abelian groups

Springer Berlin Heidelberg, 1990, pp. 161–170. [Par12] P. A.Paramantzoglou. “On the Howson property of HNN-extensions with abelian base group and amalgamated free products of abelian groups”.Archiv der Mathematik98.2 (2012), pp. 115–128. [Ser80] J.-P.Serre.Trees. Trans. by J.Stillwell. Berlin; New York: Springer-Verlag, 1980.Arbres, amalgames,SL

work page 1990
[10]

The finite basis extension property and graph groups

[SDS90] H.Servatius, C.Droms, and B.Servatius. “The finite basis extension property and graph groups”. In:Topology and Combinatorial Group Theory: Proceedings of the Fall Foliage Topology Seminars held in New Hampshire 1986–1988. Ed. by P.Latiolais. Berlin, Heidel- berg: Springer, 1990, pp. 52–58. [Sho91] H.Short. “Quasiconvexity and a theorem of Howson’s...

work page 1986

[1] [1]

Pullbacks and intersections in categories of graphs of groups

[ASS15] V.Araújo, P. V.Silva, and M.Sykiotis. “Finiteness results for subgroups of finite exten- sions”.Journal of Algebra423 (Feb. 2015), pp. 592–614. [Arz98] G. N.Arzhantseva. “Generic properties of finitely presented groups and Howson’s theorem”. Commun. Algebra26.11 (1998), pp. 3783–3792. [BW22] J.Bamberger and D. T.Wise. “Failure of the finitely gene...

work page internal anchor Pith review Pith/arXiv arXiv 2015

[2] [2]

Cambridge: Cambridge University Press, 1993, pp. 75–78. [Fin+14] B.Fine, A.Gaglione, A.Myasnikov, G.Rosenberger, and D.Spellman.The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures. De Gruyter, Oct. 29,

work page 1993

[3] [3]

Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture: with an appendix by Warren Dicks

[Fri15] J.Friedman. “Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture: with an appendix by Warren Dicks”.Memoirs of the American Math- ematical Society233.1100 (Jan. 2015). [GH90] É.Ghys and P.de laHarpe, eds.Sur les groupes hyperboliques d’après Mikhael Gromov. Vol

work page 2015

[4] [4]

Discrete Groups of Motions

Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1990, pp. xii+285. [Gre60] L.Greenberg. “Discrete Groups of Motions”.Canadian Journal of Mathematics12 (Jan. 1960), pp. 415–426. [HW21] F.Haglund and D. T.Wise. “A note on finiteness properties of graphs of groups”.Proceed- ings of the American Mathematical Society. Series B8 (2021), pp. 121–12...

work page 1990

[5] [5]

On the intersection of finitely generated free groups

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1976, pp. xii+195. [How54] A. G.Howson. “On the intersection of finitely generated free groups”.Journal of the London Mathematical Societys1-29.4 (Oct. 1954), pp. 428–434. [Imr84] W.Imrich. “Grushko’s theorem”.Archiv der Mathematik43.5 (1984), pp. 3...

work page 1976

[6] [6]

Subgroups of HNN groups and groups with one defining rela- tion

[KS71] A.Karrass and D.Solitar. “Subgroups of HNN groups and groups with one defining rela- tion”.Canadian Journal of Mathematics23 (1971), pp. 627–643. [KMW17] O.Kharlampovich,A.Miasnikov,andP.Weil.“Stallingsgraphsforquasi-convexsubgroups”. Journal of Algebra488 (Oct. 2017), pp. 442–483. [Lin21] M.Linton.On the intersections of finitely generated subgrou...

work page 1971

[7] [7]

[Lin25] M.Linton.The geometry of subgroups of mapping tori of free groups

arXiv:2108.10814 [math.GR]. [Lin25] M.Linton.The geometry of subgroups of mapping tori of free groups

work page arXiv

[8] [8]

Submultiplicativity and the Hanna Neumann Conjecture

arXiv:2510. 03145 [math.GR]. [Min12] I.Mineyev. “Submultiplicativity and the Hanna Neumann Conjecture”.Annals of Mathe- matics175.1 (Jan. 2012), pp. 393–414. [Mol68] D. I.Moldavanski˘ ı. “The intersection of finitely generated subgroups”.Sibirsk. Mat. Zh.9 (1968), pp. 1422–1426. [Neu57] H.Neumann. “On the intersection of finitely generated free groups. Ad...

work page 2012

[9] [9]

On the Howson property of HNN-extensions with abelian base group and amalgamated free products of abelian groups

Springer Berlin Heidelberg, 1990, pp. 161–170. [Par12] P. A.Paramantzoglou. “On the Howson property of HNN-extensions with abelian base group and amalgamated free products of abelian groups”.Archiv der Mathematik98.2 (2012), pp. 115–128. [Ser80] J.-P.Serre.Trees. Trans. by J.Stillwell. Berlin; New York: Springer-Verlag, 1980.Arbres, amalgames,SL

work page 1990

[10] [10]

The finite basis extension property and graph groups

[SDS90] H.Servatius, C.Droms, and B.Servatius. “The finite basis extension property and graph groups”. In:Topology and Combinatorial Group Theory: Proceedings of the Fall Foliage Topology Seminars held in New Hampshire 1986–1988. Ed. by P.Latiolais. Berlin, Heidel- berg: Springer, 1990, pp. 52–58. [Sho91] H.Short. “Quasiconvexity and a theorem of Howson’s...

work page 1986