Finding simple curves in surface covers is undecidable
arXiv:1806.03700
Abstract
It is shown that various questions about the existence of simple closed curves in normal subgroups of surface groups are undecidable.
arXiv commentMade a correction to Corollary 4