Производная категория контрагерентных копучков локально кокручения

Вернулся на минутку к размышлениям о контрагерентных копучках и внезапно осознал следующее. На всякой квазикомпактной полуотделимой схеме имеется достаточно много локально инъективных контрагерентных копучков -- всякий контрагерентный копучок можно вложить в локально инъективный. В частности, всякий (локально контраприпособленный) контрагерентный копучок можно вложить в контрагерентный копучок локально кокручения.

Далее, в категории контрагерентных копучков функторы бесконечного произведения точны. При этом классы локально инъективных контрагерентных копучков и контрагерентных копучков локально кокручения замкнуты относительно бесконечных произведений. Отсюда следует, с помощью стандартного аргумента, что из всякого комплекса контрагерентных копучков бьет квазиизоморфизм в комплекс локально инъективных контрагерентных копучков. С помощью другого стандартного аргумента отсюда следует, что (обычная) производная категория контрагерентных копучков эквивалентна факторкатегории комплексов локально инъективных контрагерентных копучков по ацикличным (в категории всех, т.е., локально контраприспособленных контрагерентных копучков) комплексам, а также факторкатегории комплексов контрагерентных копучков локально кокручения по ацикличным (в категории локально контраприспособленных контрагерентных копучков) комплексам.

Все вышесказанное более-менее всегда было понятно. Фокус в том, что всякий ацикличный комплекс модулей кокручения (над любым кольцом) ацикличен в точной категории модулей кокручения. То есть, его модули коциклов являются модулями кокручения. Это один из основных результатов работы https://arxiv.org/abs/1704.06672 (восходящий к одному из результатов работы https://arxiv.org/abs/1412.1615 ). Из него следует, что всякий ацикличный (в категории локально контраприспособленных контрагерентных копучков) комплекс контрагерентных копучков локально кокручения ацикличен уже в категории контрагерентных копучков локально кокручения.

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

И тогда, если это действительно работает, то очень плоская гипотеза оказывается не так уж и нужна...

К предыдущему

И тогда встает в полный рост вопрос о плоской теории кокручения в категории контрамодулей. Вернее сказать, о распространении на нее результатов статьи, процитированной в предыдущем постинге.

Пусть R -- коммутативное кольцо и I -- слабо прорегулярный конечно-порожденный идеал в R. Тогда есть только одна абелева категория I-контрамодульных R-модулей (совпадающая с категорией контрамодулей над топологическим кольцом -- I-адическим пополнением кольца R), так что применимы результаты моей работы с Й.Р. и мы получаем полную, наследственную плоскую теорию кокручения в категории I-контрамодульных R-модулей. Вопросы:

1. Верно ли, что I-контрамодульный R-модуль является I-контрамодульным R-модулем кокручения тогда и только тогда, когда он является R-модулем кокручения?

2. Если нет, то можно ли доказать, что у всякого точного комплекса I-контрамодульных R-модулей кокручения модули коциклов являются I-контрамодульными R-модулями кокручения?