The Isomorphism Problem for Toral Relatively Hyperbolic Groups

Abstract

We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and (ii) fully residually free groups (Bumagin, Kharlampovich and Miasnikov). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-manifolds, for $n\ge 3$. In the course of the proof of the main result, we prove that a particular JSJ decomposition of a freely indecomposable torsion-free relatively hyperbolic group with abelian parabolics is algorithmically constructible.

Version 3 is 90 pages (the increased length is due mostly to typesetting). Lots of rewriting due to referee's comments. Publications Mathematiques de l'IHES, to appear

Cited by in corpus (13)

• The isomorphism problem for all hyperbolic groups
• Recognizing a relatively hyperbolic group by its Dehn fillings
• Detecting free splittings in relatively hyperbolic groups
• McCool groups of toral relatively hyperbolic groups
• Deciding Isomorphy using Dehn fillings, the splitting case
• Relative hyperbolicity for automorphisms of free products
• On suspensions, and conjugacy of hyperbolic automorphisms (and of a few more)
• Actions, length functions, and non-archemedian words
• Helly groups, coarsely Helly groups, and relative hyperbolicity
• Detecting geometric splittings in finitely presented groups
• On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups
• Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components
• Remarks and problems about algorithmic descriptions of groups