Limit Group decomposition I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel.
First recall that a limit group is a finitely generated group that is a limit of free groups in the space of marked groups (regardless of a choice of marking). This is (non-trivially) equivalent to: a finitely generated group that is fully residually free. Such groups are automatically finitely presented. (And they are obviously torsion-free, so that in the next few lines "cyclic" means "either trivial or infinite cyclic".)
Here are now the relevant excerpts. First, Corollary 3.4 (p1429), with reference to Remeslennikov: Any limit group has a free action on an $\mathbf{R}^n$-tree [for some $n$].
Then, Theorem 7.1 (p1430): "dévissage theorem": if a finitely generated, freely indecomposable group has a free action on an $\mathbf{R}^n$-tree ($n\ge 2$), then it decomposes as the Bass-Serre fundamental group of a finite graph of groups, with cyclic edge groups and each of whose vertex groups admits a free action on an $\mathbf{R}^{n-1}$-tree.
Just after the statement of this theorem, the author recalls Rips' result that freely indecomposable finitely generated groups with a free action on an $\mathbf{R}$-tree are either free abelian or fundamental groups of closed surfaces (of negative curvature).
Then he deduces Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over $\mathbf{Z}$.
Question: Are HNN-extensions (with cyclic edge groups) really unnecessary in this decomposition?
Here is the full reference to the cited article:
Vincent Guirardel, Limit groups and groups acting freely on $\mathbb{R}^n$-trees, Geometry & Topology 8 (2004), pages 1427-1470
DOI: 10.2140/gt.2004.8.1427, arXiv: math/0306306 [math.GR]
 A: The question seems to arise from taking the quoted informal sentence a bit too literally: 

Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z.

It certainly isn't the case that every group which acts freely on an $\mathbb{R}^{n}$-tree can be written as an amalgamated free product; rather, I think the author meant the term `amalgamation' as an informal way of referring to graphs of groups, and hence to include HNN extensions.
On the other hand, because of special properties of limit groups, it is true that you don't need to consider the case of HNN extensions if you don't mind passing to subgroups.   Recall that for any group $G$ and element $g$, the corresponding extension of centralizers is the amalgamated free product $G*_{C(g)}(C(g)\times \mathbb{Z})$ (where $C(g)$ of course denotes the centralizer of $g$).  The class of iterated extensions of centralizers is the class of groups obtained by starting with finitely generated free groups and inductively extending centralizers.  Kharlampovich--Myasnikov proved:
Theorem: Every limit group is a subgroup of an iterated extension of centralizers.
You may like to look at the proof given by Champetier and Guirardel here.
