Examples of hyperbolic groups with non-hyperbolic subgroups In a previous question, I asked about hyperbolic groups in which every finitely generated subgroup is hyperbolic. I am now curious about the reverse question: what are some examples of hyperbolic groups containing finitely generated non-hyperbolic groups?
Any non-coherent hyperbolic group will give an example (e.g. via the Rips construction). Do there exist examples of coherent hyperbolic groups containing f.g. non-hyperbolic subgroups?
 A: It's a bit too long for a comment: Brady's example is not coherent. Below is a sketch of the proof. The example constructed by Brady (see the reference in HJRW's answer) is obtained as a certain ramified covering over the space $X=\Theta^3$, where $\Theta$ is the theta-graph (two vertices and three edges). This graph is the union of two circles $C_1, C_2$. In particular, the space $X$ contains two 3-dimensional tori $C_1^3, C_2^3$, whose intersection contains a 2-dimensional torus $T$. Taking a ramified covering $Y\to X$, we obtain lifts $M_1, M_2$ of the tori $C_1^3, C_2^3$ to $Y$, such that $M_1, M_2$ are 3-dimensional compact hyperbolic manifolds intersecting in a subset containing a compact hyperbolic surface $S$ which is incompressible in both $M_1, M_2$ (the surface $S$ is a lift of the torus $T$). Furthermore, the manifolds $M_1, M_2$ are $\pi_1$-injective in $Y$. In particular, $\pi_1(Y)$ contains the amalgam $\pi_1(M_1)\star_H \pi_1(M_2)$, where $H$ is a certain quasiconvex subgroup of infinite index in both $\pi_1(M_1), \pi_1(M_2)$. Now, one uses the fact that both manifolds $M_1, M_2$ fiber over the circle, let $G_1, G_2$ denote surface fiber subgroups in $\pi_1(M_1), \pi_1(M_2)$. The intersection $G_1\cap H=G_2\cap H=F$ is a free group of infinite rank. Thus, the subgroup
$$
G=\langle G_1, G_2\rangle= G_1\star_F G_2
$$
is finitely generated but not finitely presentable (this can be checked, for instance, by looking at the 2-nd cohomology group of $G$ using the Mayer-Vietoris sequence).
I omitted many details in this proof but they are not hard to check once one understands details of Brady's construction.
A: It is an open problem to find a coherent hyperbolic group with a finitely generated, non-hyperbolic subgroup. See Wise's survey article for the state of the art on coherent groups.
Wise, Daniel T. (3-MGL)
An invitation to coherent groups.
What's next?—the mathematical legacy of William P. Thurston, 326–414,
Ann. of Math. Stud., 205, Princeton Univ. Press, Princeton, NJ, 2020.
I suspect this is listed as a question there, but if not, it's very much in that spirit.
The theorem of Gersten that I mentioned in answer to your last question showed that there is no 2-dimensional example. All known coherent 3-dimensional groups are essentially 3-manifold groups. Sam Nead's answer to that question explained why finitely generated subgroups of hyperbolic 3-manifold groups are also hyperbolic.
As Matt Zaremsky mentions in comments, the key examples of finitely presented non-hyperbolic subgroups of hyperbolic groups are given by the original example of Noel Brady and the recent work of Italiano--Martelli--Migliorini. There are also related constructions by Fujiwara, Groves--Manning, Kropholler, Llosa Isenrich--Martelli--Py and  Lodha.
It would be very surprising if any of these examples were to turn out to be coherent. In fact, it is reasonable to conjecture that these examples are all incoherent, but I believe it is unknown in each case. Proving that Brady's example (say) is incoherent wouldn't answer your question, but would be a nice thing to do.
