posic | Математика: производная категория D-модулей

на гладком многообразии таки-да эквивалентна "производной категории второго рода" DG-модулей над комплексом Де Рама. Я, наконец, убедил себя в том, что располагаю поистине незамысловатым доказательством этого факта (но поля этого дневника все-таки слишком узки и проч.)

Релевантный вопрос: какая структура на коалгебре поливекторных полей (над кольцом функций) соответствует дерамовскому дифференциалу на алгебре форм? Ответ: не-O-линейный дифференциал, конечно, дуализировать нельзя; однако можно дуализировать алгебру, которая получается добавлением к алгебре Де Рама элемента "d".