Oct. 3rd, 2014

Окончание серии постингов http://posic.livejournal.com/1114558.html и далее по ссылкам.

Обсудив пересечение, можно попытаться теперь приблизительно описать сами два больших класса алгеброгеометрических объектов, выступающих в роли "колец" и "коалгебр" при ко-контра соответствии.

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

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

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

Вместо этого, в работе Schenzel (Math. Scand. 92, 2003) появляется понятие слабо прорегулярной конечной последовательности элементов, порождающей идеал (восходящее, говорят, еще к некой лемме у Гротендика; всякая последовательность в нетеровом кольце слабо прорегулярна). Дальше это определение используется в работах Porta-Shaul-Yekutieli и последующих. Таким образом, можно предположительно говорить о том, что в этой серии работ появляется правильное определение ненетеровой квазикомпактной формальной схемы, подходящей для целей "квазинаивного" ко-контра соответствсия.
всплеск интереса к комплементарному вопросу -- "как сделать, чтобы не уезжали":

http://pargentum.livejournal.com/1638687.html
http://ivanov-petrov.livejournal.com/1901325.html

Ранее уже обсуждалось -- http://ivanov-petrov.livejournal.com/1887728.html

Мои два совета:

1. как-нибудь так жить, чтобы не было слов типа "двушечка" (в значении "небольшой срок тюремного заключения в годах");

2. выучить такой (праксео)логический аргумент, как "никто не может одновременно выкатывать требования-претензии и огорчаться, что с ним отказываются иметь дело", научиться распознавать область его применимости.

September 2025

S M T W T F S
  1 2 3 4 5 6
7 8 9 10 11 1213
14 15 16 17 18 19 20
21 22 23 24 25 26 27
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 28th, 2025 04:10 pm
Powered by Dreamwidth Studios