posic

Общефилософскую часть я комментировать не буду, но "произвольная бесконечномерная группа Ли", как и "бесконечномерное многообразие" для меня вещи не слишком абстрактные, а недоопределенные, ты прекрасно сам знаешь, что бесконечномерных пространств не бывает. И бесконечномерных многообразий не бывает. Вот когда ты скажешь, какую конкретную версию бесконечномерной линейной алгебры ты рассматриваешь, тут же "подсосется" (словечко Капранова) определение бесконечномерного нелинейного объекта. Если структура, которую ты фиксировал, достаточно жесткая, и группа Ли будет осмысленным понятием, и теория представлений будет интересная.