MGM-двойственность и ко-контра соответствие - 3 Окончание постингов
http://posic.livejournal.com/1096155.html и
http://posic.livejournal.com/1094998.htmlПучково-копучковая конструкция MGM-двойственности, изложенная в предыдущем постинге, применима к любой нетеровой формальной схеме Z, допускающей замкнутое вложение в обычную нетерову схему (по крайней мере, в предположениях типа полуотделимости). Нужно просто заменить упоминания R-модулей кручения на квазикогерентные пучки кручения на Z, а R-контрамодули на контрагерентные копучки контрамодулей. Хотелось бы обобщить эту конструкцию на случай произвольной нетеровой формальной схемы, избавившись от использования вложения в обычную схему и манипуляций с открытым дополнением.
Я не знаю, как это делать, но для начала можно вспомнить, в чем состояла классическая конструкция MGM. (Продолжение следует.)