MGM-двойственность и ко-контра соответствие - 13 Окончание серии постингов
http://posic.livejournal.com/1114558.html и далее по ссылкам.
Обсудив пересечение, можно попытаться теперь приблизительно описать сами два больших класса алгеброгеометрических объектов, выступающих в роли "колец" и "коалгебр" при ко-контра соответствии.
До недавнего времени я думал, что "кольца" в алгебраической геометрии -- это квазикомпактные полуотделимые схемы (а также, как обычно бывает, еще произвольные нетеровы схемы, которые не обязаны быть полуотделимыми, хотя, конечно, всегда квазиотделимы). Этот взгляд отражен, например, в обсуждении предполагаемой картины "полубесконечной алгебраической геометрии" в
http://posic.livejournal.com/1044622.html и предшествующих аналогичных постингах.
Обсуждение в постинге по верхней ссылке и в целом в этой серии показывает, однако, что в роли "колец" могут выступать также нетеровы формальные схемы -- и в этой связи уже, конечно, хочется иметь некий разумный класс алгеброгеометрических объектов, объединяющий эти два, -- попросту, хороший класс не обязательно нетеровых (но, вероятно, квазикомпактных) формальных схем.
(Продолжение следует.)