Что считать группой Ли XXI века?

Бытует мнение что теория Ли ХХI века должна изучать эквивариантные симплектические разрешения (о важности которых люди узнали от Димы Каледина) и родственные им алгебраические многообразия. Можно задаться вопросом, что в этом мире следует считать аналогом группы Ли? Мой доклад будет спекуляцией на эту тему.