MGM-двойственность и ко-контра соответствие - 3
Окончание постингов http://posic.livejournal.com/1096155.html и http://posic.livejournal.com/1094998.html

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

Я не знаю, как это делать, но для начала можно вспомнить, в чем состояла классическая конструкция MGM. (Продолжение следует.)