Ацикличные комплексы Резольвентой чего является ацикличный комплекс? Кажется, философия гомологической алгебры знает два возможных ответа на этот вопрос.
1. Ацикличный комплекс как резольвента своего модуля циклов в степени 0. На этой идее основана теория
когомологий Тейта, где ключевую роль играет категория бесконечных в обе стороны ацикличных комплексов с какими-то там свойствами приспособленности. Типичный пример -- внешняя алгебра с одной образующей Λ и известный бесконечный в обе стороны, нестягиваемый, ацикличный комплекс проективно-инъективных Λ-модулей (с одной (ко)образующей).
2. Ацикличный комплекс как резольвента не вполне понятно, чего, помещенного в степень плюс или минус бесконечность. На эту тему рассуждает А.В. в своей известной статье, (преувеличенно громко, на мой взгляд) озаглавленной "Полубесконечная гомологическая алгебра".
Типичным примером может служить симметрическая коалгебра C с бесконечным числом кообразующих. Если рассмотреть тривиальный C-комодуль k, написать ему правую инъективную резольвенту в категории С-комодулей, и применить функтор комодульно-контрамодульного соответствия &Psi
C = Hom_C(C,-), получится ацикличный комплекс свободных C-контрамодулей, который можно представлять себе, как проективную резольвенту тривиального контрамодуля k, помещенного в когомологическую степень +∞. На самом деле в плюс бесконечности сидит, конечно, не k, а некое условное одномерное векторное пространство, не вполне существующее, поскольку бесконечно подкрученное. Чтобы понять, что происходит, можно заменить C на симметрическую коалгебру с конечным числом n кообразующих; тогда RΨ
C(k) будет одномерным контрамодулем, сидящим в когомологической градуировке n. На более привычном языке алгебр, речь здесь идет о вычислении Ext*
A(k,A) для кольца многочленов A от конечного или бесконечного числа переменных.
( Read more... )Мораль: с точки зрения пункта 2, не следует ограничиваться одними только ацикличными комплексами. Просто любой объект контрапроизводной категории имеет, наряду с когомологиями в конечных степенях, некие очень условные "когомологии на плюс бесконечности". А объект копроизводной категории -- имеет "когомологии на минус бесконечности". В отдельных случаях объекты контрапроизводной категории могут мыслиться как (проективные) резольвенты чего-то там, живущего на плюс бесконечности. Что это за отдельные случаи -- трудно сказать, но вопрос не обязательно сводится к рассмотрению подкатегории в контрапроизводной категории, состоящей из ацикличных комплексов.