Очень плоские контрамодули - 2

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

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

Идея очень простая: в то время, как мы по-прежнему хотим называть контраприспособленными контрамодулями над пополнением R по I такие контрамодули, которые являются контраприспособленными R-модулями, класс очень плоских контрамодулей мы будем описывать по-другому. В самом деле, ниоткуда, насколько я знаю, не следует, что контрамодули, являющиеся очень плоскими модулями, вообще существуют. Вместо этого, мы хотим считать контрамодуль над пополнением очень плоским, если его приведение по модулю Iⁿ является очень плоским R/Iⁿ-модулем для всех n. Типичным примером очень плоского контрамодуля у нас будет I-адическое пополнение какого-нибудь очень плоского R-модуля.

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