TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 359, Number 7, July 2007, Pages 3153–3183 S 0002-9947(07)04065-2 Article electronically published on February 8, 2007
PARAGEOMETRIC OUTER AUTOMORPHISMS OF FREE GROUPS
MICHAEL HANDEL AND LEE MOSHER
Abstract. We study those fully irreducible outer automorphisms φ of a finite rank free group Fr which are parageometric, meaning that the attracting fixed point of φ in the boundary of outer space is a geometric R-tree with respect to the action of Fr, but φ itself is not a geometric outer automorphism in that it is not represented by a homeomorphism of a surface. Our main result shows that the expansion factor of φ is strictly larger than the expansion factor of φ−1. As corollaries (proved independently by Guirardel), the inverse of a par- ageometric outer automorphism is neither geometric nor parageometric, and a fully irreducible outer automorphism φ is geometric if and only if its attract- ing and repelling fixed points in the boundary of outer space are geometric R-trees.
1. Introduction There is a growing dictionary of analogies between theorems about the mapping class group of a surface MCG(S) and theorems about the outer automorphism group of a free group Out(Fr). For example, the Tits alternative for MCG(S)[McC85] is proved using Thurston’s theory of measured geodesic laminations [FLP79], and for Out(Fr) it is proved using the Bestvina–Feighn–Handel theory of laminations ([BFH97], [BFH00], [BFH04]). Expansion factors. Expansion factors Here is a result about MCG(S)ofwhich one might hope to have an analogue in Out(Fr). Given a finitely generated group G, its outer automorphism group Out(G) acts on the set of conjugacy classes C of G.Givenc ∈Clet c be the smallest word length of a representative of c.Given φ ∈ Out(G) define the expansion factor λ(φ)=sup lim sup φn(c)1/n . c∈C n→+∞
If φ ∈MCG(S) ≈ Out(π1S) is pseudo-Anosov, then λ(φ) equals the pseudo-Anosov expansion factor [FLP79]. By combining results of Thurston and Bers one obtains: Theorem. If φ ∈MCG(S) is pseudo-Anosov, then there is a unique φ-invariant geodesic in Teichm¨uller space, consisting of the points in Teichm¨uller space which minimize the translation distance under φ. This translation distance equals log(λ(φ)).
Received by the editors December 9, 2004 and, in revised form, April 22, 2005. 2000 Mathematics Subject Classification. Primary 20E05; Secondary 20E36, 20F65. The first author was supported in part by NSF grant DMS0103435. The second author was supported in part by NSF grant DMS0103208.