The domino problem is undecidable on surface groups
arXiv:1811.08420 · doi:10.4230/LIPIcs.MFCS.2019.46
Abstract
We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed orientable surface of genus at least 2.
18 spectacular figures