Growth of automorphisms of hyperbolic groups
Joint with Rémi Coulon, Arnaud Hilion and Gilbert Levitt.
Conjugacy length is infimum of lengths of conjugates of .
Question. For an outer automorphism , what are the possible behaviours of as tends to infinity, and as varies in ?
Surface group case is Thurston’s theory. In that case, conjugacy length is equivalent to length with respect to some hyperbolic metric on the surface.
Theorem 1 (Thurston)
- If is pseudo-Anosov, all curves grow at the same exponential speed, given by the stretching factor.
- If is reducible, some power of preserves a splitting into several pseudo-Anosov’s, growth is again exponential, governed by the maximal stretching factor.
- If no piece is pseudo-Anosov, is made of commuting Dehn twists, growth is linear, unless it is bounded.
Free group case started by Bestvina-Handel, who defined train tracks for free groups.
Theorem 2 (Bestvina-Handel, Levitt) Growth is exponential times polynomial, with a finite choice of exponents. Mixed exponential/polynomial arises. Polynomial degree can take any value between 0 and for .
Theorem 3 (Coulon, Hilion, Horbez, Levitt) Let be torsion free hyperbolic. Then for all ,
or, if ,
with only finitely many choices for and , which are algebraic integers.
3. The one-ended case
Theorem 4 (Coulon, Hilion, Horbez, Levitt) If furthermore is one-ended, the growth is either purely exponential or linear, or bounded.
This relies on Bowditch’s canonical JSJ decomposition: splitting with cyclic edge groups. Vertex groups are either elementary (i.e. cyclic) or nonelementary, either surface of rigid. Rigid vertex groups have finite outer automorphism groups. Pseudo-Anosov maps of surface vertex groups are responsible for exponential growth. Symmetries of the decomposition and Dehn-like twists contribute to polynomial growth.
4. The general case
No train tracks available. We use probabilistic arguments instead.
Step 1. Finding the top rate.
There is a nontrivial very small -tree such that maximal exponential growth is encontered precisely by those elements which are loxodromic in that tree.
Step 2. Induction on a measurement of complexity. Possible due to the fact that point stabilizers in are -invariant and simpler. For free group , complexity is .
5. Proof of top rate characterization
Consider action on Cayley graph twisted by .
Bestvina-Paulin: renormalize and extract converging sequence in equivariant Gromov-Hausdorff topology, obtain limiting action on tree. Non canonical!
Instead, consider all actions on hyperbolic metric spaces at once, they form a compact space. Use a weak limit of averages of atomic measures based at twisted actions. The assertions are proved for a.e. limiting tree actions, according to this measure.
The top exponent has the following alternative description,
where is the equivariant Lipschitz distance on actions.
Indeed, the upper bound is general. The lower bound uses Karlsson-Ledrappier’s claim that, for a.e. action on a tree ,
this shows that loxodromic elements grow at exponential speed .
Exponents arise from actions on trees or from the JSJ decomposition of one-ended pieces of , in either case, they are algebraic integers.
5.1. Polynomial growth
Assume that tends to 1. Levitt-Lusztig show that preserves a free splitting of . Behaviour of under free product is not that obvious.