The conjugacy problem for UPG elements of $Out(F_n)$

Abstract

An element $\varphi$ of the outer automorphism group $\Out(\f)$ of the rank $n$ free group $F_n$ is {\it polynomially growing} if the word lengths of conjugacy classes in $\f$ grow at most polynomially under iteration by $\varphi$. It is {\it unipotent} if additionally its action on the first homology of $\f$ with integer coefficients is unipotent. In particular, if $\varphi$ is polynomially growing and acts trivially on first homology with coefficients the integers mod 3 then $\varphi$ is unipotent and also every polynomially growing element has a positive power that is unipotent. We solve the conjugacy problem in $\Out(\f)$ for the subset of unipotent elements. Specifically, there is an algorithm that decides if two such are conjugate in $\Out(\f)$.

References in corpus (3)

• On suspensions, and conjugacy of hyperbolic automorphisms (and of a few more)
• On the difficulty of presenting finitely presentable groups
• The Conjugacy Problem for $Out(F_3)$

Cited by in corpus (1)

• Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components