Еще наивный вопрос

[leblon]

Я раньше слышал краем уха про "DG-schemes" и "DG-geometry", но не знаю, зачем это надо. Еще бывают DG-категории не над полем, а над суперкоммутативной DG-алгеброй. А вот где встречаются такие штуки, "по жизни"? Может, при изучении пространств модулей? Например, если у нас пространтво модулей голоморфных расслоений на комплексном многообразии Х, следует ли думать про него как "пространство" над DG-алгеброй Дольбо многообразия Х?

Comments

[roma.livejournal.com]

А, вероятно, Антон имел в виду, что формальная окрестность точки в Bun_n, соответствующей расслоению E, можно описать через DGA, происходящую из комплекса Дольбо с коэффициентами в End(E)?

[leblon.livejournal.com]

Я имел в виду вот что. Если есть (производная) категория пучков на пространстве модулей чего-то на Х, то естественно рассматривать функторы на этой категории, которые имеют какие-то свойства локальности на Х (а не совсем уж произвольные). Например, операции Геке. Такие функторы сами должны образовывать DG-категорию над комплексом Дольбо на Х.

[roma.livejournal.com]

А почему они её должны образовывать? Какой пример?

офф-топ

[roma.livejournal.com]

А ты не хочешь ответить на мой вопрос про "large N duality"?