The Diophantine problem in Thompson's group F

Luna Elliott, Alex Levine

We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar…