I have been reading Levitt's paper *Automorphisms of Hyperbolic groups and Graphs of Groups*. I am having some trouble trying to fit all the bits together, and would appreciate some help with this last step.


In the paper, Levitt considers *minimal* graphs of groups, and gives results regarding (a specific subgroup of) the outer automorphism group of the fundamental group of an arbitrary graph of groups. A graph of groups is *minimal* if edge groups are proper subgroups of adjacent vertex groups.


Levitt applies this work to the (canonical) JSJ-decomposition of a (one-ended) hyperbolic group. The "canonical" means that we can forget that we are looking at a specific subgroup of the outer automorphism group: his analysis can be applied to the whole outer automorphism group. Which is good, and is the point.


Now, I (believe that I) understand all of the fiddly bits of this paper. However, I have come across a stumbling block when trying to pin it all together. You see, the canonical JSJ-decomposition Levitt is using is due to Bowditch (from Bowditch's paper *Cut points and canonical splittings of hyperbolic groups*). This decomposition is entirely canonical, unlike the one Sela obtains for the torsion-free case (where it is canonical up to certain "moves"). Bowditch's decomposition is canonical because of the addition of "elementary" vertices, that is, vertices whose stabiliser is virtually cyclic. My problem is as follows: I believe that these vertices imply that the graph of groups is not necessarily minimal.


For example, pin together two hyperbolic triangle groups $H$ and $K$ across an infinite cyclic subgroup, so $G=H\_{C\_1=C\_2}K$, and ensure that these subgroups are malnormal infinite cyclic. Then the JSJ-decomposition of this (one-ended hyperbolic group) looks like $H-C-K$, where the edge stabilisers are $C\_1$ and $C\_2$, and where $C\_1=C=C\_2$. A contradiction. No?


I am sure I am just missing something silly, something obvious, something I should have seen a long time ago. However, I have no idea what that could possibly be!



Automorphisms of Hyperbolic groups and Graphs of Groups
This has been dealt with in comments, but since MO works better if answers are given, I'll elaborate a little bit here.


A graph of groups satisfying your definition of 'minimal' is usually called 'reduced'. You're absolutely correct that Bowditch's JSJ is often not reduced (though note that, in your example, the graph of groups that you write down is only the JSJ if neither $H$ nor $K$ splits over a 0- or 2-ended subgroup relative to $C$).


The relevant definition in Levitt's paper is on page 53:



> 
> We assume that $\Gamma$ is *minimal*: $G\_e$ is a proper subgroup of $G\_v$ for every terminal vertex $v$ (equivalently, $\pi\_1(\Gamma')$ is a proper subgroup of $\pi\_1(\Gamma)$ for every proper connected subgraph $\Gamma'$).
> 
> 
> 


The non-parenthetical part of the sentence is indeed very easy to misunderstand in the way you have; I suppose by 'terminal vertex' he must (unusually) mean 'leaf'.


The parenthetical part, though, makes it absolutely clear: his definition of `minimal' coincides with the usual one. That is, a splitting is minimal if the the Bass--Serre tree has no proper invariant subtrees. Bowditch's JSJ is always minimal, as can be seen, for instance, from the fact that orbits in the boundary are dense.


