The Recognition Theorem for Out(F_n)
arXiv:math/0612702
Abstract
Our goal is to find dynamic invariants that completely determine elements of the outer automorphism group $\Out(F_n)$ of the free group of rank . To avoid finite order phenomena, we do this for {\it forward rotationless} elements. This is not a serious restriction. For example, there is depending only on such that, for all $ϕ\in\Out(F_n)$, is forward rotationless. An important part of our analysis is to show that rotationless elements are represented by particularly nice relative train track maps.
68 pages