Skip to main content
Post Reopened by Yemon Choi, Joonas Ilmavirta, HJRW, Lee Mosher, YCor
Clarified the question and context, added tags
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

InI would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after.

First recall that a limit group is a finitely generated group that is a limit of free groups in the statementspace 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 on page 1430(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 concludes: "Hence,recalls Rips' result that freely indecomposable finitely generated groups with a limit group can be obtained fromfree action on an $\mathbf{R}$-tree are either free abelian and surfaceor fundamental groups by a finite sequence of free products and amalgamations over Z"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: Why areAre HNN-extensions not necessary(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]

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 on page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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]

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]

deleted 6 characters in body
Source Link
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 inon page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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: arXiv:math/0306306 [math.GR]

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 in page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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]

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 on page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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]

added a couple of links
Source Link
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 in page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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
DOI: 10.2140/gt.2004.8.142710.2140/gt.2004.8.1427, arXiv:math/0306306arXiv:math/0306306 [math.GR]

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 in page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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]

In the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel, after the statement of Theorem 7.1 in page 1430, the author concludes: "Hence, a limit group can be obtained from abelian and surface groups by a finite sequence of free products and amalgamations over Z".

Question: Why are HNN-extensions not necessary 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]

cleaned up question and added bibliographic reference
Source Link
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69
Loading
deleted 1 character in body
Source Link
jhoel
  • 41
  • 2
Loading
Tried to improve the question. Feel free to revert changes.
Source Link
Joonas Ilmavirta
  • 8.1k
  • 5
  • 39
  • 66
Loading
added 205 characters in body
Source Link
jhoel
  • 41
  • 2
Loading
edited tags
Link
jhoel
  • 41
  • 2
Loading
Post Closed as "Needs details or clarity" by abx, YCor, Ricardo Andrade, Neil Strickland, Stefan Waldmann
edited body
Source Link
jhoel
  • 41
  • 2
Loading
edited tags
Link
jhoel
  • 41
  • 2
Loading
Source Link
jhoel
  • 41
  • 2
Loading