(no subject)

[leblon]

Интересное кино. Только что родилась новая DG-категория, которая является деформацией эквивариантной категории DG-модулей над алгеброй с действием алгебры Ли. Деформацией примерно в том же смысле, как категория CDG-модулей является деформацией категории DG-модулей. А именно, аналогия в том, что квадрат дифференцирования на модуле не равен нулю, а равен некоторому специальному эндоморфизму модуля. Но в отличие от CDG случая, этот эндоморфизм - не фиксированный элемент алгебры, а нечто такое, что зависит от модуля. Еще одно отличие в том, что на алгебре нужна дополнительная нетривиальная структура. А именно, она должна быть пуассоновой DG-алгеброй, а действие алгебры Ли должно быть "гамильтоновым" (т.е. происходить из скобки Пуассона с некторыми элементами алгебры - "моментами"). Далее, на пространстве, дуальном к алгебре Ли, должна быть задана симметричная билинейная форма, инвариантная по отношению к коприсоединенному представлению. И наконец квадрат "отображения момента" (в смысле этой билинейной формы) должен лежать в пуассоновом центре алгебры, т.е. пуассон-коммутировать со всем.

Вот по таким данным можно построить DG-категорию. Если билинейная форма равна нулю, все сводится к эквивариантной категории DG-модулей. Если скобка Пуассона равна нулю - аналогично.

Пример таких данных: разрешение Спрингера нильпотентного конуса алгебры Ли, с действием этой самой алгебры Ли. В качестве DG-алгебры берем комплекс Дольбо этого комплексного симплектического многообразия. Или же берем голоморфные функции на нем (с нулевым дифференциалом) и переходим к пучкам. Скобка Пуассона берется из симплектической структуры на разрешении Спрингера. В этом случае я ожидаю, что на категории будет нетривиальная сплетенная моноидальная структура.

Другой пример: берем супералгебру Ли с невырожденной инвариантной метрикой. В качестве алгебры берем полиномиальные функции на нечетной части, с действием четной подалгебры Ли. В этом случае категория должна быть эквивалентна категории представлений этой самой супералгебры Ли. Сплетенная моноидальная структура там тоже есть и соотвествует тому, что супералгебру Ли можно проквантовать.

Comments

[leblon.livejournal.com]

"В частности, любому CDG-модулю можно сопоставить "эквивалентный" ему CDG-модуль, инъективный/проективный как градуированный модуль."

Что это значит - "эквивалентный"? И как его построить? У меня очень естественно брать модули, свободные над А, но ведь есть еще универсальная обертывающая... Реально, из физики получается некий конкретный рецепт подсчета морфизмов, который выглядит как деформация стандартного способа вычисления морфизмов в эквивариантной производной категории модулей посредством резольвенты Кошуля (дифференциал в резольвенте Кошуля - это стандатный дифференциал БРСТ, ну а тут его приходится подправить, чтобы тотальный дифференциал все-таки в квадрате был равен нулю).

[posic.livejournal.com]

"Эквивалентный" -- значит изоморфный в копроизводной = контрапроизводной категории. Строится он так: пусть имеется CDG-модуль M над CDG-кольцом B. Рассмотрим M как градуированный B-модуль и представим его в виде образа морфизма из свободного градуированного B-модуля P'. Свободно породим градуированным B-модулем P' CDG-модуль P над B. Это значит, что элементами P будут формальные выражения вида p + d(q), где p и q принадлежат P'. Тогда CDG-модуль P тоже свободен как градуированный B-модуль, и имеется сюръективный морфизм CDG-модулей P -> M. Положим P_0 = P(M) = P, обозначим через K ядро морфизма CDG-модулей P -> М, применим ту же конструкцию к K, положим P_1 = P(K), и т.д.

Таким образом мы получим точную последовательность CDG-модулей ... -> P_2 -> P_1 -> P_0 -> M -> 0, где все CDG-модули P_i свободны как градуированные B-модули. Нам достаточно, чтобы они были проективны как градуированные B-модули. Поскольку кольцо B предполагается имеющим конечную гомологическую размерность, найдется такое n, что ядро Z отображения P_n -> P_{n-1} проективно как градуированный В-модуль. Возьмем тотальный CDG-модуль комплекса CDG-модулей (это как свертка бикомплекса) Z -> P_n -> P_{n-1} -> ... -> P_1 -> P_0. Это будет CDG-модуль над B, проективный как градуированный B-модуль и изоморфный M в копроизводной = контрапроизводной категории CDG-модулей над B. Если N -- другой CDG-модуль над B, то морфизмы M -> N в копроизводной = контрапроизводной категории CDG-модулей над B можно вычислять как морфизмы CDG-модулей P -> N с точностью до гомотопии. Это такая теория проективных резольвент для копроизводной = контрапроизводной категории CDG-модулей над CDG-кольцом конечной гомологической размерности.

Если гомологическая размерность бесконечна, приходится рассматривать бесконечную резольвенту ... -> P_2 -> P_1 -> P_0, и дальше есть выбор между построением ее тотального CDG-модуля с помощью взятия бесконечных прямых сумм или прямых произведений вдоль диагоналей двумерной таблицы. Прямые суммы брать плохо, надо брать произведения, но бесконечные произведения могут не сохранять проективность модулей. Если для конкретного кольца B они ее все-таки сохраняют, получается теория проективных резольвент для контрапроизводной категории CDG-модулей над B.