Пусть A -- нетерово коммутативное кольцо и I -- идеал в нем. Обозначим через X аффинную схему Spec A, через U -- открытое дополнение к замкнутой подсхеме Spec A/I в Spec A, и через R -- полное топологическое кольцо limn R/In в I-адической топологии, и через Z -- аффинную формальную схему Specf R.
Одно из определений модулей кручения над R -- это квазикогерентные пучки над Spec A, зануляющиеся в ограничении на U. Контрамодули над R можно определить приблизительно как контрагерентные копучки на Spec A, зануляющиеся в ограничении на U (если быть точным, то так получается не вся абелева категория R-контрамодулей, а только ее точная подкатегория контраприспособленных R-контрамодулей, но разница невелика -- всякий R-контрамодуль имеет двучленную правую резольвенту из контраприспособленных).
(Продолжение следует.)
Другие новости от posic.livejournal.com
Реклама на проекте
MGM-двойственность и ко-контра соответствие - 2
Saturday, 30 August, 19:08,
posic.livejournal.com
Комментарии (0)