Counting growth types of automorphisms of free groups.

From MaRDI portal
Publication:2655439



Abstract: Given an automorphism of a free group Fn, we consider the following invariants: e is the number of exponential strata (an upper bound for the number of different exponential growth rates of conjugacy classes); d is the maximal degree of polynomial growth of conjugacy classes; R is the rank of the fixed subgroup. We determine precisely which triples (e,d,R) may be realized by an automorphism of Fn. In particular, the inequality (due to Levitt-Lustig) always holds. In an appendix, we show that any conjugacy class grows like a polynomial times an exponential under iteration of the automorphism.


Let \(F_n\) be the free group of rank \(n\). Given an automorphism \(\alpha\) of \(F_n\) three invariants are considered. Let \(\Phi\in\text{Out}(F_n)\) be the outer automorphism represented by \(\alpha\), there exists \(q\geq 1\) such that \(\Phi^q\) is represented by an improved relative train track map [see \textit{M. Bestvina, M. Feighn, M. Handel}, Ann. Math. (2) 151, No. 2, 517-623 (2000; Zbl 0984.20025), Th.5.1.5]. \(e\) is the number of exponential strata of any improved relative train track map representing a power of \(\Phi\). It is also the number of attracting laminations of \(\Phi\) [loc. cit., \S3.1]. \(d\) is the maximal degree of polynomial growth of conjugacy classes. Namely it is the maximal degree such that the length of some conjugacy class grows as a polynomial of degree \(d\) under iteration of \(\alpha\). \(R\) is the rank of the fixed subgroup of \(\alpha\). In this paper the author characterizes the triple \((e,d,R)\) for an automorphism of \(F_n\). Theorem 1. Given \(\alpha\in\Aut(F_n)\), the numbers \(e\) and \(d\) satisfy: \(e+d\leq n-1\), \(4e+2d\leq 3n-2\) (\(\leq 3n-3\) if \(d>0\)). Conversely, any \((e,d)\) satisfying these inequalities may be realized by some \(\alpha\in\Aut(F_n)\). In unpublished notes (1998) it is proved, by \textit{G. Levitt} and \textit{M. Lustig}, that \(e\leq\tfrac{3n-2}{4}\). Theorem 2. Given \(e\) and \(d\) satisfying the conditions above, the possible values of \(R=\text{rk\,Fix\,}\alpha\) for an automorphism \(\alpha\) of \(F_n\) are exactly those allowed by the following inequalities: \(e+\max(d-1,0)+R\leq n\), \(4e+2d+2R\leq 3n+1\) (\(\leq 3n\) if \(d=0\)).




Cited in
(37)








This page was built for publication: Counting growth types of automorphisms of free groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655439)