In this talk I will discuss group equations with non-rational constraints, a topic inspired by the long line of work on word equations with length constraints. Deciding algorithmically whether a word equation has solutions satisfying linear length constraints is a major open question, with deep theoretical and practical implications. I will introduce equations in groups and several kinds of constraints, and show that equations with length, abelian or context-free constraints are decidable in virtually abelian groups (joint with Alex Evetts and Alex Levine). This contrasts the fact that solving equations with abelian constraints is undecidable for non-abelian right-angled Artin groups and hyperbolic groups with ‘large’ abelianisation (joint work with Albert Garreta).
This video is part of the New York Group Theory Cooperative‘s group theory seminar series.
