Дифференциальная градуированная категория - Differential graded category

В математика, особенно гомологическая алгебра, а дифференциальная категория, часто сокращается до dg-категория или же Категория DG, это категория множества морфизмов которого наделены дополнительной структурой дифференциальной градуированной ${\displaystyle \mathbb {Z} }$-модуль.

В деталях это означает, что ${\displaystyle \operatorname {Hom} (A,B)}$, морфизмы от любого объекта А к другому объекту B категории - прямая сумма

${\displaystyle \bigoplus _{n\in \mathbb {Z} }\operatorname {Hom} _{n}(A,B)}$

и есть дифференциал d по этой оцениваемой группе, т.е. для каждого п есть линейная карта

${\displaystyle d\colon \operatorname {Hom} _{n}(A,B)\rightarrow \operatorname {Hom} _{n+1}(A,B)}$,

который должен удовлетворить ${\displaystyle d\circ d=0}$. Это эквивалентно тому, что ${\displaystyle \operatorname {Hom} (A,B)}$ это коцепьевой комплекс. Кроме того, композиция морфизмов${\displaystyle \operatorname {Hom} (A,B)\otimes \operatorname {Hom} (B,C)\rightarrow \operatorname {Hom} (A,C)}$ Требуется карта комплексов, а для всех объектов А категории требуется ${\displaystyle d(\operatorname {id} _{A})=0}$.

Примеры

• Любой аддитивная категория можно рассматривать как DG-категорию, налагая тривиальную градуировку (т. е. все ${\displaystyle \mathrm {Hom} _{n}(-,-)}$ исчезнуть для ${\displaystyle n\neq 0}$) и тривиальный дифференциал (${\displaystyle d=0}$).
• Чуть сложнее категория комплексов. ${\displaystyle C({\mathcal {A}})}$ над аддитивной категорией ${\displaystyle {\mathcal {A}}}$. По определению, ${\displaystyle \operatorname {Hom} _{C({\mathcal {A}}),n}(A,B)}$ это группа карт ${\displaystyle A\rightarrow B[n]}$ которые делают нет необходимо уважать дифференциалы комплексов А и B, т.е.

${\displaystyle \mathrm {Hom} _{C({\mathcal {A}}),n}(A,B)=\prod _{l\in \mathbb {Z} }\mathrm {Hom} (A_{l},B_{l+n})}$.

Дифференциал такого морфизма ${\displaystyle f=(f_{l}\colon A_{l}\rightarrow B_{l+n})}$ степени п определяется как

${\displaystyle f_{l+1}\circ d_{A}+(-1)^{n+1}d_{B}\circ f_{l}}$,

куда ${\displaystyle d_{A},d_{B}}$ дифференциалы А и B, соответственно. Это относится к категории комплексов квазикогерентные пучки на схема над кольцом.

• DG-категория с одним объектом - это то же самое, что DG-кольцо. DG-кольцо над полем называется DG-алгеброй, или дифференциальная градуированная алгебра.

Другие свойства

Категория малых dg-категорий может быть наделена категория модели структура такая, что слабые эквивалентности - это те функторы, которые индуцируют эквивалентность производные категории.^[1]

Учитывая dg-категорию C над кольцом р, есть понятие плавности и правильности C что сводится к обычным понятиям гладкий и правильные морфизмы в случае C - категория квазикогерентных пучков на некоторой схеме Икс над р.

Отношение к триангулированным категориям

Категория DG C называется пре-триангулированным, если он имеет функтор подвески${\displaystyle \Sigma }$ и класс выделенных треугольников, согласованных с подвеской, таких, что его гомотопическая категория Но (C) это триангулированная категория. Триангулированная категория Т говорят, что имеет расширение dg C если Cявляется предтриангулированной dg-категорией, гомотопическая категория которой эквивалентна Т.^[2] dg расширения точного функтора между триангулированными категориями определяются аналогично. Вообще говоря, нет необходимости в расширениях триангулированных категорий или функторов между ними, например стабильная гомотопическая категория можно показать, что они не возникают из категории dg таким образом. Однако существуют различные положительные результаты, например производная категория D(А) из Абелева категория Гротендика А допускает уникальное усовершенствование dg.

Смотрите также

• Дифференциальная алгебра
• Оценка (математика)
• Оцениваемая категория
• Дериватор

Рекомендации

1. Табуада, Гонсало (2005), «Дополнительные инварианты DG-категорий», Уведомления о международных математических исследованиях, 2005 (53): 3309–3339, Дои:10.1155 / IMRN.2005.3309, ISSN  1073-7928, S2CID  119162782
2. Видеть Альберто Канонако; Паоло Стеллари (2017), «Экскурсия о существовании и уникальности доработок и лифтов», Журнал геометрии и физики, 122: 28–52, arXiv:1605.00490, Bibcode:2017JGP ... 122 ... 28C, Дои:10.1016 / j.geomphys.2016.11.030, S2CID  119326832 для обзора существования и уникальности результатов расширений dg Расширения dg.

• Келлер, Бернхард (1994), «Получение категорий ГД», Научные Анналы Высшей Нормальной Школы, Сери 4, 27 (1): 63–102, Дои:10.24033 / asens.1689, ISSN  0012-9593, МИСТЕР  1258406, заархивировано из оригинал на 2011-06-05, получено 2011-08-11

внешняя ссылка

• http://ncatlab.org/nlab/show/dg-category