Graphs of actions on \(\mathbf R\)-trees (Q1327471): Difference between revisions

The main results are the following theorems: Let \(G\) be a finitely generated group acting minimally on an R-tree \(T\). If the action is free, then the associated metric space \(\widehat{T/G}\) is a finite graph. Let \(G\) be a finitely generated group acting on an R-tree \(T\), with length function \(l\). (1) There exists \(\varepsilon_ 0>0\) such that \(G(\varepsilon)\) is independent of \(\varepsilon\) for \(\varepsilon<\varepsilon_ 0\). Denote it by \(G_ 0\). (2) The quotient \(G/G_ 0\) is free of rank \(m(l)\). (3) The space \(T/G\) has the homotopy type of a wedge of \(m(l)\) circles. It has a universal covering: the R-tree \(\widehat{T/G_ 0}\). Let \(G\) be a finitely generated group acting freely and minimally on an R-tree \(T\). The graph \(\widehat{T/G}\) is homeomorphic to a segment iff, given \(g\in G\) and \(\varepsilon>0\), there exist \(g_ 1\) and \(g_ 2\) such that \(g= g_ 1 g_ 2\) and \(\max(l(g_ 1),l(g_ 2))<{1\over 2} l(g)+\varepsilon\).