Особенные группы, заданные одним определяющим соотношением

Будет рассказано о недавней работе Giles Gardam and Daniel J. Woodhouse "The geometry of  one-relator groups satisfying a polynomial isoperimetric inequality" (https://arxiv.org/abs/1711.08755)
В этой работе авторы строят примеры групп с одним определяющим соотношением, которые отрицательно отвечают на два вопроса: 1) всякая ли группа, заданная одним соотношением и не содержащая подгрупп Баумслага-Солитэра, является автоматной (по Тёрстону), 2) всякая ли группа без кручения, заданная одним соотношением, действует свободно на кубическом комплексе с условием CAT(0).