The Conjugacy Problem for $Out(F_3)$

Abstract

We present a solution to the Conjugacy Problem in the group of outer-automorphisms of $F_3$, a free group of rank 3. We distinguish according to several computable invariants, such as irreducibility, subgroups of polynomial growth, and subgroups carrying the attracting lamination. We establish, by considerations on train tracks, that the conjugacy problem is decidable for the outer-automorphisms of $F_3$ that preserve a given rank 2 free factor. Then we establish, by consideration on mapping tori, that it is decidable for outer-automorphisms of $F_3$ whose maximal polynomial growth subgroups are cyclic. This covers all the cases left by the state of the art.

arXiv comment27 pages

References in corpus (13)

• JSJ decompositions of groups
• The Tits alternative for the automorphism group of a free product
• Algorithmic detectability of iwip automorphisms
• Presenting parabolic subgroups
• Relative hyperbolicity for automorphisms of free products
• A remark on thickness of free-by-cyclic groups
• On the one-endedness of graphs of groups
• On suspensions, and conjugacy of hyperbolic automorphisms (and of a few more)
• Free-by-cyclic groups, automorphisms and actions on nearly canonical trees
• Centralisers of Dehn twist automorphisms of free groups
• Maximal index automorphisms of free groups with no attracting fixed points on the boundary are Dehn twists
• Unipotent linear suspensions of free groups
• Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components

Cited by in corpus (2)

• The conjugacy problem for UPG elements of $Out(F_n)$
• Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components