MGM-двойственность и ко-контра соответствие - 2
Пусть A -- нетерово коммутативное кольцо и I -- идеал в нем. Обозначим через X аффинную схему Spec A, через U -- открытое дополнение к замкнутой подсхеме Spec A/I в Spec A, и через R -- полное топологическое кольцо lim_n R/Iⁿ в I-адической топологии, и через Z -- аффинную формальную схему Specf R.

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

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