arXiv subjects
Publications and source records attributed to Harry Iveson.
We construct a `nice' subcomplex of the Outer Space for a free product in order to give a geometric proof that the pure symmetric outer automorphisms of a given splitting of a free product are generated by factor outer automorphisms and Whitehead outer automorphisms relative to the splittting.
We show that an accessible group with infinitely many ends has property $R_{\infty}$. That is, it has infinitely many twisted conjugacy classes for any twisting automorphism. We deduce that having property $R_{\infty}$ is undecidable amongst finitely presented groups. We also show that the same is true for a wide class of relatively hyperbolic groups, filling in some of the gaps in the literature. Specifically, we show that a non-elementary, finitely presented relatively hyperbolic group with finitely generated peripheral subgroups which are not themselves relatively hyperbolic, has property $R_{\infty}$.
We give a concise presentation for the group of pure symmetric outer automorphisms of a given splitting of a free product $G_{1}\ast\dots\ast G_{n}$. These are the (outer) automorphisms which preserve the conjugacy classes of the free factors $G_{i}$. This is achieved by considering the action of these automorphisms on a particular subcomplex of `Outer Space', which we show to be simply connected. We then apply a theorem of K. S. Brown to extract our presentation.