BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Catherine Pfaff appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that for the harmonic measure associated to a random walk on Out$(F_r)$ satisfying some mild conditions, a typical tree in the boundary of Outer space is trivalent and nongeometric. This answers a question of M. Bestvina.
In 1981 Masur proved the existence of a dense geodesic in the moduli space for a Teichmüller space. We prove an analogue theorem for reduced Outer Space endowed with the Lipschitz metric. We also prove two results possibly of independent interest: we show Brun's unordered algorithm weakly converges and from this prove that the set of Perron-Frobenius eigenvectors of positive integer $m \times m$ matrices is dense in the positive cone $\mathbb{R}^m_+$ (these matrices will in fact be the transition matrices of positive automorphisms). We give a proof in the appendix that not every point in the boundary of Outer Space is the limit of a flow line.
We let $φ$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langleφ\rangle)$ of the cyclic subgroup generated by $φ$ equals the stabilizer $\text{Stab}(Λ^+_φ)$ of the attracting lamination $Λ^+_φ$ and is isomorphic to $\mathbb Z$. We further show, via an analogous result about the commensurator, that the normalizer $N(\langleφ\rangle)$ of $\langle φ\rangle$ is isomorphic to either $\mathbb Z$ or $\mathbb Z_2 * \mathbb Z_2$.
Several known results, by Rivin, Calegari-Maher and Sisto, show that an element $ϕ_n\in Out(F_r)$, obtained after $n$ steps of a simple random walk on $Out(F_r)$, is fully irreducible with probability tending to 1 as $n\to\infty$. In this paper we construct a natural "train-track directed" random walk $\mathcal W$ on $Out(F_r)$ (where $r\ge 3$). We show that, for the element $ϕ_n\in Out(F_r)$, obtained after $n$ steps of this random walk, with asymptotically positive probability the element $ϕ_n$ has the following properties: $ϕ_n$ is an ageometric fully irreducible, which admits a train-track representative with no periodic Nielsen paths and exactly one nondegenerate illegal turn, that $ϕ_n$ has "rotationless index" $\frac{3}{2}-r$ (so that the geometric index of the attracting tree $T_{ϕ_n}$ of $ϕ_n$ is $2r-3$), has index list $\{\frac{3}{2}-r\}$ and the ideal Whitehead graph being the complete graph on $2r-1$ vertices, and that the axis bundle of $ϕ_n$ in the Outer space $CV_r$ consists of a single axis.
We provide an example in each rank of an ageometric fully irreducible outer automorphism whose ideal Whitehead graph has a cut vertex. Consequently, we show that there exist examples in each rank of Handel-Mosher axis bundles that are not just a single axis, as well as of "nongeneric" behavior in the sense of the "train track directed" random walk of Kapovich-Pfaff. The tools developed here also allow one to construct a whole new array of ideal Whitehead graphs achieved by ageometric fully irreducible outer automorphisms in all ranks.
Handel and Mosher define the axis bundle for a fully irreducible outer automorphism in "Axes in Outer Space." In this paper we give a necessary and sufficient condition for the axis bundle to consist of a unique periodic fold line. As a consequence, we give a setting, and means for identifying in this setting, when two elements of an outer automorphism group $Out(F_r)$ have conjugate powers.
By proving precisely which singularity index lists arise from the pair of invariant foliations for a pseudo-Anosov surface homeomorphism, Masur and Smillie determined a Teichmueller flow invariant stratification of the space of quadratic differentials. In this paper we determine an analog to the theorem for $Out(F_3)$. That is, we determine which index lists permitted by the Gaboriau-Jaeger-Levitt-Lustig index sum inequality are achieved by fully irreducible outer automorphisms of the rank-$3$ free group.
We show how to construct, for each $r \geq 3$, an ageometric, fully irreducible $ϕ\in Out(F_r)$ whose ideal Whitehead graph is the complete graph on $2r-1$ vertices. This paper is the second in a series of three where we show that precisely eighteen of the twenty-one connected, simplicial, five-vertex graphs are ideal Whitehead graphs of fully irreducible $ϕ\in Out(F_3)$. The result is a first step to an $Out(F_r)$ version of the Masur-Smillie theorem proving precisely which index lists arise from singular measured foliations for pseudo-Anosov mapping classes. In this paper we additionally give a method for finding periodic Nielsen paths and prove a criterion for identifying representatives of ageometric, fully irreducible $ϕ\in Out(F_r)$
By proving precisely which singularity index lists arise from the pair of invariant foliations for a pseudo-Anosov surface homeomorphism, Masur and Smillie 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(F_r)$ analog of the Masur-Smillie theorem. Since the ideal Whitehead graphs defined by Handel and Mosher give a strictly finer invariant in the analogous $Out(F_r)$ setting, we determine which of the twenty-one connected, simplicial, five-vertex graphs are ideal Whitehead graphs of fully irreducible outer automorphisms in $Out(F_3)$.
The main theorem of this document emulates, in the context of Out(F_r) theory, a mapping class group theorem (by H. Masur and J. Smillie) that determines precisely which index lists arise from pseudo-Anosov mapping classes. Since the ideal Whitehead graph gives a finer invariant in the analogous setting of a fully irreducible outer automorphism, we instead focus on determining which of the 21 connected, loop-free, 5-vertex graphs are ideal Whitehead graphs of ageometric, fully irreducible outer automorphisms of the free group of rank 3. Our main theorem accomplishes this by showing that there are precisely 18 graphs arising as such. We also give a method for identifying certain complications called periodic Nielsen paths, prove the existence of conveniently decomposed representatives of ageometric, fully irreducible outer automorphisms having connected, loop-free, (2r-1)-vertex ideal Whitehead graphs, and prove a criterion for identifying representatives of ageometric, fully irreducible outer automorphisms. The methods we use for constructing fully irreducible outer automorphisms of free groups, as well as our identification and decomposition techniques, can be used to extend our main theorem, as they are valid in any rank. Our methods of proof rely primarily on Bestvina-Feighn-Handel train track theory and the theory of attracting laminations.
H. Masur and J. Smillie proved precisely which singularity index lists arise from pseudo-Anosov mapping classes. In search of an analogous theorem for outer automorphisms of free groups, Handel and Mosher ask: Is each connected, simplicial, (2r-1)-vertex graph the ideal Whitehead graph of a fully irreducible outer automorphism in Out(F_r)? We answer this question in the negative by exhibiting, for each r, examples of connected (2r-1)-vertex graphs that are not the ideal Whitehead graph of any fully irreducible outer automorphism in Out(F_r)? In the course of our proof we also develop machinery used in "Constructing and Classifying Fully Irreducible Outer Automorphisms of Free Groups" to fully answer the question in the rank-three case.