MGM-двойственность и ко-контра соответствие - 5

Окончание серии постингов http://posic.livejournal.com/1099805.html

Конструкция в духе параграфа 4.1 и предложения 6.10 из работы Dwyer-Greenlees, использующая тензорное произведение для построения комплексов модулей кручения и Hom для построения комплексов контрамодулей, представляется более подходящей для наших целей. Прежде чем перейти к деталям в интересующей нас сейчас ситуации, можно вспомнить уже известные конструкции функторов "наивного" и "не-наивного" ко-контра соответствия, прописанные в текущей (февральской архивной) версии контрагерентного препринта.

Во всех случаях, к комплексу контрамодулей или контрагерентных копучков применяется функтор контратензорного произведения, к комплексу модулей кручения или квазикогерентных пучков применяется функтор (контрагерентных) гомоморфизмов из некоторого фиксированного (одного и того же для функторов в обе стороны) конечного комплекса квазикогерентных пучков или модулей кручения. Вопрос в том, что это за комплекс пучков или модулей кручения, который нужно использовать в качестве ядра.

(Продолжение следует.)