Наши коммутаторные игры с Баумслагом:
http://arxiv.org/abs/1301.4629 Прикольно, в этой статье мы ссылаемся на работу Баумслага 62-го года. Полвека прошло.
Заметка очень непростая. В таких делах крайне легко совершить ошибку. Кто играет с коммутаторами - тот знает. В один момент используем результаты Кима-Маккарона, хитрые свойства групп Гидры и т п. Своего рода карточные манипуляции. Особенно рад примеру
Дико надеюсь, что еще наши две работы (с Б. и Орром) в ближайшие месяцы появятся в архиве.
А группа мигающих лампочек не прошла. У нее оказался несчетный lim^1 инвариантов Бэра. Поэтому схема Боусфилда не проходит.
Баумслаг когда-то классно вложил группу мигающих лампочек в конечно-представленную группу, но у этой группы совсем лажовое пронильпотентное пополнение. Думаем дальше.
Забыл сказать. Недавно проснулся с осознанием существования бесконечной промежуточной фильтрации между \omega-пополнением Левина (для метабелевых групп это как раз телескоп) и пронильпотентным пополнением. Что за фильтрация - неясно, но она предчувствуется.