Когерентные D-модули

[posic]

Ограниченная производная категория когерентных D-модулей эквивалентна абсолютной производной категории O-когерентных (C)DG-модулей над комплексом де Рама, на любом гладком алгебраическом многообразии с достаточным количеством локально свободных пучков. Это отвечает на вопрос, который задал мне Й.Б. в 2002 году, когда я рассказал ему про соответствующий результат для неограниченной произвольной категории квазикогерентных D-модулей. Теперь неплохо бы понять, как описывать на языке D-Ω двойственности голономные D-модули...

Доказательство использует фильтрованные D-модули. Важно, что алгебра Риса фильтрованного кольца D нетерова и имеет конечную гомологическую размерность. Все это очень просто, и совершенно непонятно, почему на это ушло столько времени. Т.е., вернее сказать, понятно, что по свойственной тупости. Вот предыдущий постинг на эту тему.

Comments

[roma.livejournal.com]

"абсолютной" -- в каком смысле?

[posic.livejournal.com]

Имеется в виду факторкатегория гомотопической категории O-когерентных DG-модулей над комплексом де Рама по ее минимальной толстой подкатегории, содержащей тотальные DG-модули коротких точных последовательностей O-когерентных DG-модулей.