JSJ decompositions and polytopes for two-generator one-relator groups
arXiv:2101.02193
Abstract
We provide a direct connection between the Z_{max} (or essential) JSJ decomposition and the Friedl--Tillmann polytope of a hyperbolic two-generator one-relator group with abelianisation of rank . We deduce various structural and algorithmic properties, like the existence of a quadratic-time algorithm computing the Z_{max}-JSJ decomposition of such groups.
41 pages. Final version accepted for publication