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.
We deduce various structural and algorithmic properties, like the existence of a quadratic-time algorithm computing the Z_{max}-JSJ decomposition of such groups.
| Original language | English |
|---|---|
| Journal | Mathematical Proceedings of the Cambridge Philosophical Society |
| Publication status | Accepted/In press - 17 Oct 2025 |