4
$\begingroup$

My curiosity was raised by the following question and the huge variety of comments and suggestions it attracted. I wondered if a converse statement might be equally interesting.

Let $G$ be a finitely presented group which admits a non-trivial graph of groups decomposition. Does it follow that each vertex stabiliser is finitely presented? How about if every edge stabiliser is finite?

Dunwoody comments that if $G$ is finitely generated and each edge stabiliser is finite then each vertex stabiliser is finitely generated.

$\endgroup$
2
  • 1
    $\begingroup$ A silly example: Take $F= \langle a_1,a_2,\ldots \mid \ \rangle$ a free group of infinite rank, and $f : a_i \mapsto a_{i+1}$ be an isomorphism between the subgroups $\langle a_1,a_2, \ldots \rangle$ and $\langle a_2,a_3, \ldots \rangle$. Then, the associated HNN extension is just $$ \langle t, a_1,a_2, \ldots, \mid ta_1t^{-1}=a_2, ta_2t^{-1} =a_3,\ldots \rangle \simeq \langle t \mid \ \rangle \simeq \mathbb{Z}.$$ $\endgroup$
    – Seirios
    Commented Feb 27, 2015 at 17:40
  • 1
    $\begingroup$ In my example I assumed the vertex stabilizers to be finitely generated, indeed otherwise there are even easier examples. $\endgroup$
    – YCor
    Commented Feb 27, 2015 at 18:55

1 Answer 1

4
$\begingroup$

Does it follow that each vertex stabiliser is finitely presented: No.

Just notice that there exist infinitely presented groups $H$ with an automorphism such that the corresponding semidirect product $G=H\rtimes\mathbf{Z}$ is finitely presented. This is a non-trivial graph of groups decomposition, namely an HNN-decomposition where the vertex group and edge group coincide; in case you find this too degenerate, just add some further flourish to the graph of groups, so that $H$ still appears as a vertex group and the resulting group is still finitely presented. One example is when $G=BS(1,2)^2=\mathbf{Z}[1/2]^2\rtimes\mathbf{Z}^2$ where the generators of $\mathbf{Z}$ act by the diagonal matrices $(2,1)$ and $(1,2)$, and $H=\mathbf{Z}[1/2]^2\rtimes\mathbf{Z}$ where $\mathbf{Z}$ acts by the diagonal matrix $(2,1/2)$.

On the other hand, for the second question "How about if every edge stabiliser is finite?", the answer is yes. Indeed, write $H$ as a limit of truncated presentations $H_n$ (this limit here means: inductive limit of surjections between f.g. groups). For $n$ large enough (say $n\ge n_0$), all finite subgroups of $G$ occurring in the graph of groups decomposition of $G$ are well-defined, and this allows to write $G$ as (non-attained) limit of corresponding graph of groups $G_n$ for $n\ge 0$, where in the graph of groups, $H$ was replaced with $H_n$). The argument still works if the edge groups are finitely presented instead of finite.

$\endgroup$
3
  • $\begingroup$ Another good example is the finitely presented hnn extension of the grigorchuk group using the L-presentation. $\endgroup$ Commented Feb 27, 2015 at 17:09
  • $\begingroup$ Thanks @YCor, is there a good reference for this? $\endgroup$
    – DavidHume
    Commented Mar 3, 2015 at 8:39
  • $\begingroup$ @DavidHume: no I'm not aware of a reference (especially for the second argument). $\endgroup$
    – YCor
    Commented Mar 3, 2015 at 9:37

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .