pith. sign in

arxiv: 2605.30535 · v1 · pith:DFZPP2LBnew · submitted 2026-05-28 · 🧮 math.GR

Undecidable Diophantine problems in generalisations of one-relator groups

classification 🧮 math.GR
keywords diophantineproblemthereundecidablegroupone-relatorgroupsprove
0
0 comments X
read the original abstract

Motivated by the open problem of whether all one-relator groups have decidable Diophantine problem, in this paper we prove a collection of undecidability results about the Diophantine problem for several families of groups that are close to one-relator groups in various ways. We prove that there is a generalised Baumslag--Solitar group with an undecidable Diophantine problem. Using our example we show there is a group with an undecidable Diophantine problem that is quasi-isometric to a one-relator group. Also, we prove that there is a one-relator product of cyclic groups with an undecidable Diophantine problem. In addition, we show that there there is a one-relator group $G$, with a single fixed finite rank free subgroup $H$, such that the Diophantine problem for $G$ with $H$-constraints is undecidable. The related open question of whether there is a free-by-cyclic group with undecidable Diophantine problem is also discussed, and we prove that there is a free-by-free group of the form $F_3 \rtimes F_2$ with an undecidable Diophantine problem.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.