# Finite generation of intersections of free subgroups

Let $$G$$ be a finitely generated group, and let $$F_1, F_2$$ be two subgroups of $$G$$ which are free of finite rank at least 2. I am wondering what conditions can be placed on $$G$$ so that $$F_1\cap F_2$$ is finitely generated. For example:

• It is a classical result of Howson that if $$G$$ is itself free then $$F_1\cap F_2$$ will be finitely generated.
• I. Kapovich (Subgroup properties of fully residually free groups. Trans. Amer. Math. Soc. 354 (2002), no. 1, 335–362.) extended Howson's result to limit groups and certain hyperbolic groups. However, in these cases all finitely generated subgroups have pairwise intersections which are finitely generated. So this is stronger than the situation I am asking about.

On the other hand, if we set $$G$$ to be a free product of two free groups amalgamated across a non-finitely generated subgroup, so $$G=F_1\ast_CF_2$$ where $$C$$ is not finitely generated, then $$F_1\cap F_2=C$$ is not finitely generated. ($$G=F(a, b)\times\mathbb{Z}$$ gives a finitely presented example of this phenomenon - see wikipedia.)

I'm interested in any class of groups where for all $$F_1, F_2$$ free, $$F_1\cap F_2$$ is finitely generated, but I was specifically wondering:

1. Let $$G$$ be hyperbolic. Is $$F_1\cap F_2$$ necessarily finitely generated? (Rips' construction gives finitely generated $$H, K with $$H\cap K$$ not finitely generated, but the subgroups given by Rips are not in free.)
2. Let $$G$$ be a one-relator group. Is $$F_1\cap F_2$$ necessarily finitely generated? (The above example $$F_1\ast_C F_2$$ has cohomological dimension 2, so possibly can embed into a one-relator group.)
• If $F_1$ and $F_2$ are (not necessarily free) quasiconvex subgroup of a hyperbolic group, then so is $F_1 \cap F_2$. Jun 17 at 11:56