posic

Ну если твои петли -- полиномиальные (Лорана), то можно подставлять в полином любое значение, будет отображение в конечномерную алгебру Ли, у той можно брать представления, поднимать на аффинную алгебру. Конечно, такие представления неградуированы. Групповые инд-схемы типа тех, которые ты определил, имеют смысл, например, бесконечные матрицы с конечным числом ненулевых элементов вне диагонали. Таким занимается, например, Пенков. Насчёт того, вписываются ли дискретные модули в Тейтовский формализм, конечно, вписываются, кто бы спорил, проблема в том, что до сих пор задача теории представлений (описать -- что? неприводимые? разложение на блоки? ...) для такой "большой" категории не ставилась. Соответствующая задача для конечномерной простой алгебры Ли в каком-то виде решена Бейлинсоном: модули над универсальной обертывающей с нулевым центральным характером -- это Д-модули на флагах.