Detecting geometric splittings in finitely presented groups

Abstract

We present an algorithm which given a presentation of a group G G without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant κ \kappa outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if G G admits an essential free decomposition; the second is an algorithm which, if G G is relatively hyperbolic, decides if it admits an essential elementary splitting.