| 1:43p |
Производное полутензорное произведение как тензорная структура на полу(ко)производной категории
В процессе подготовки слайдов к выступлению на конференции в Праге родилась идея/формулировка: двусторонний производный функтор полутензорного произведения квазикогерентных пучков кручения на полубесконечном многообразии должен быть тензорной структурой на полупроизводной категории квазикогерентных пучков кручения.
Стал размышлять про простейший пример "не совсем даже еще полубесконечного" многообразия -- аффинная схема, плоская над спектром когерентного кольца с дуализирующим комплексом -- рассмотренный в апрельском препринте "Coherent rings, fp-injective modules ..." Обнаружилось, что трудности связаны скорее со словами про "двусторонний производный функтор" -- т.е., он, конечно, двусторонний, но построить его именно как производный функтор от чего-либо с ходу не получается. В то же время, тензорная структура, насколько я вижу, налицо.
Теорема. Пусть А -- когерентное коммутативное кольцо, над которым всякий fp-инъективный модуль имеет конечную инъективную размерность (для этого достаточно, скажем, чтобы всякий идеал в A допускал не более, чем счетное множество образующих). Пусть DA -- дуализирующий комплекс для A, т.е., конечный комплекс fp-инъективных A-модулей с конечно представимыми A-модулями когомологий, такой что отображение гомотетии A → HomD(A-mod)(DA,DA[*]) -- изоморфизм.
Пусть A → R -- гомоморфизм коммутативных колец, превращающий R в плоский A-модуль. Тогда на полукопроизводной категории R-модулей относительно A, DsicoA(R-mod), имеется структура тензорной триангулированной категории с единичным объектом R ⊗A DA.
Доказательство: согласно результатам упомянутого препринта, выбор дуализирующего комплекса DA индуцирует эквивалентность между полукопроизводной категорией R-модулей относительно A и их полуконтрапроизводной категорией DsictrA(R-mod), причем последняя эквивалентна факторкатегории гомотопической категории комплексов A-плоских R-модулей по толстой подкатегории комплексов, абсолютно ацикличных как комплексы (плоских) A-модулей. Одночленному комплексу плоских A-модулей R соответствует при этой эквивалентности объект полукопроизводной категории R ⊗A DA.
Остается построить тензорную структуру с единичным объектом R на факторкатегории гомотопической категории комплексов A-плоских R-модулей по абсолютно ацикличным над A комплексом. Будем называть, для краткости, эту категорию "полупроизводной категорией A-плоских R-модулей". Утверждается, что здесь применима обычная конструкция (уже одностороннего по факту в данном случае -- левого -- но, вообще говоря, и двустороннего) производного функтора двух аргументов (в роли которого используется функтор тензорного произведения комплексов R-модулей).
Аналогичным образом, мы хотим построить также функтор тензорного произведения объектов полупроизводной категории A-плоских R-модулей с объектами полукопроизводной категории R-модулей относительно A, принимающий значения в полукопроизводной категории R-модулей относительно A. Эквивалентность между полупроизводной категорией A-плоских R-модулей и полукопроизводной категорией R-модулей относительно A, упомянутая в первом абзаце этого доказательства, будет преобразовывать это тензорное произведение в ту же самую тензорную структуру на полукопроизводной категории.
Будем называть комплекс A-плоских R-модулей F относительно гомотопически R-плоским, если для любого A-коацикличного комплекса R-модулей N комплекс R-модулей F ⊗R N ацикличен (просто как комплекс абелевых групп). Для построения тензорной структуры на полупроизводной категории A-плоских R-модулей достаточно показать, что для любого комплекса A-плоских R-модулей M найдется относительно гомотопически R-плоский комплекс A-плоских R-модулей F вместе с морфизмом комплексов R-модулей F → M, конус которого абсолютно ацикличен как комплекс A-модулей. (На самом деле, в нашей конструкции конус будет даже A-стягиваем.)
Заметим, что полная подкатегория относительно гомотопически R-плоских комплексов A-плоских R-модулей в гомотопической категории комплексов A-плоских R-модулей замкнута относительно сдвигов, конусов, и бесконечных прямых сумм (а следовательно, и гомотопических прямых пределов последовательностей). Кроме того, эта подкатегория содержит все комплексы R-модулей, индуцированные с комплексов плоских A-модулей. Теперь для любого комплекса A-плоских R-модулей M рассмотрим бар-комплекс
… → R⊗AR⊗AR⊗AM → R⊗AR⊗AM → R⊗AM.
(Окончание следует.) |
| 4:31p |
24 года назад
я лежал, смешно сказать, в больнице в Москве с несложной наружной операцией в районе копчика. 19 августа я проснулся в 6 утра от включенного моими сопалатниками на полную громкость радио, зачитывавшего по кругу официальные заявления и документы ГКЧП.
Что сложнее мне было бы тогда себе представить имеющим место через 24 года? путинский режим в Москве? войну в Донбассе? себя новым репатриантом в Хайфе? себя автором монографии по полубесконечной гомологической алгебре, изданной в "польской" серии в Базеле, готовящимся к докладу о полубесконечной алгебраической геометрии в Праге?
Очевидно, последнее. Оглядывась назад, поражаешься банальности большой политики по сравнению с частной жизнью.
С одной стороны, независимость Тбилиси и Киева + свобода выезда за границу из Москвы остаются на сегодняшний день едва ли не единственными фундаментальными завоеваниями победителей августа 1991, не отмененными последующей историей. С другой стороны, возможность столь продуктивно провести эти 24 года тоже была отчасти обеспечена мне исходом попытки переворота, случившейся в Москве в год моего 18-летия. |