Abstract. By proving precisely which singularity index lists arise from the pair of invariant foliations for a pseudo-Anosov surface homeomorphism, Masur and Smillie [MS93] determined a Teichmüller flow invariant stratification of the space of quadratic differentials. In this final paper of a three-paper series, we give a first step to an Out(Fr) analog of the Masur-Smillie theorem. Since the ideal Whitehead graphs defined by Handel and Mosher [HM11] give a strictly finer invariant in the analogous Out(Fr) setting, we determine which of the twenty-one connected, simplicial, five-vertex graphs are ideal Whitehead graphs of fully irreducible outer automorphisms in Out(F3).
IntroductionLet F r denote the free group of rank r and Out(F r ) its outer automorphism group. In this paper we prove realization results for an invariant dependent only on the conjugacy class (within Out(F r )) of the outer automorphism, namely the "ideal Whitehead graph." 1.1. Main result. A "fully irreducible" (iwip) outer automorphism is the most commonly used analogue to a pseudo-Anosov mapping class and is generic. An element φ ∈ Out(F r ) is fully irreducible if no positive power φ k fixes the conjugacy class of a proper free factor of F r .We give in Subsection 2.3 the exact Out(F r ) definition of an ideal Whitehead graph. For now, to give context, we remark that, for a pseudo-Anosov surface homeomorphism, the component of an ideal Whitehead graph coming from a foliation singularity is a polygon with edges corresponding to the lamination leaf lifts bounding a principal region in the universal cover [NH86].Handel and Mosher define in [HM11] a notion of an ideal Whitehead graph for a fully irreducible outer automorphism, a finite graph whose isomorphism type is an invariant of the conjugacy class of the outer automorphism. In this paper we investigate the extent to which the Out(F r ) situation is more complicated by giving a partial answer to a question posed by Handel and Mosher in [HM11]: Question 1.1. For each r ≥ 2, which isomorphism types of graphs occur as IW(φ) for a fully irreducible φ ∈ Out(F r )? Theorem. A. Exactly eighteen of the twenty-one connected, simplicial five-vertex graphs are the ideal Whitehead graph IW(φ) for a fully irreducible outer automorphism φ ∈ Out(F 3 ).The twenty-one connected, simplicial five-vertex graphs ([CP84]