![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Доказательство основных результатов этой серии постингов в заявленной в http://posic.livejournal.com/2013/09/23/ форме все-таки не проходит. Я обманул себя в спешке начинавшегося семестра и хаосе черновиков.
Всякий элемент ядра отображения ExtFk+/lr2(X/lr,Y/lr) → ExtAk/lr+2(X/lr,Y/lr) (или, что все равно, ядра отображения ExtFk+/lr2(X/lr,Y/lr) → ExtFk/lr+2(X/lr,Y/lr), поскольку отображения ExtFk/lr+2(X/lr,Y/lr) → ExtAk/lr+2(X/lr,Y/lr) инъективны по теореме 3.1(2) из статьи Mixed Artin-Tate motives...) действительно удается поднять до проективной системы элементов таких ядер по возрастающим r. В постинге http://posic.livejournal.com/1001831.html речь шла о том, чтобы реализовать такую проективную систему индуктивной системой фильтрованных модулей в Fk/lr+, не принадлежащих Fk+/lr, но, размышляя об этом в том сентябре, я почему-то стал дальше думать о том, как построить индуктивную систему ионедовских точных последовательностей, реализующих классы Ext2.
Однако, ионедовская последовательность, представляющая нулевой класс в Ext2, вовсе не задает однозначно никакого трехчленно фильтрованного объекта; неединственность измеряется в терминах Ext1 между теми же двумя объектами -- крайними членами искомой фильтрации. (Соответствующая ошибка на MathOverflow -- http://mathoverflow.net/questions/191639/ext-functor-for-more-than-two-modules/191641#191641 .) Согласованность на уровне ионедовских точных последовательностей не влечет поэтому согласованности на уровне трехчленных фильтраций. А к тому, как построить индуктивную систему фильтрованных модулей, у меня нет никаких подходов.
В настоящий момент со страницы на narod.ru доступны две версии: в http://positselski.narod.ru/reduction.pdf имеется неоконченный отрывок неудавшегося доказательства, а в новой версии http://positselski.narod.ru/reduction.ps предполагавшиеся основные теоремы, сформулированные в консервативной форме, называются гипотезами, и имеется некоторое обсуждение. Эту версию с двумя гипотезами в конце я теперь посылаю в Архив как новую версию препринта http://arxiv.org/abs/1404.5011 . По крайней мере, материал, обещанный еще в первой архивной версии во введении, развернут теперь в появившейся третьей секции, а что доказать, что хотелось, не удалось пока -- ну, что ж, все своим чередом, не все сразу.
Всякий элемент ядра отображения ExtFk+/lr2(X/lr,Y/lr) → ExtAk/lr+2(X/lr,Y/lr) (или, что все равно, ядра отображения ExtFk+/lr2(X/lr,Y/lr) → ExtFk/lr+2(X/lr,Y/lr), поскольку отображения ExtFk/lr+2(X/lr,Y/lr) → ExtAk/lr+2(X/lr,Y/lr) инъективны по теореме 3.1(2) из статьи Mixed Artin-Tate motives...) действительно удается поднять до проективной системы элементов таких ядер по возрастающим r. В постинге http://posic.livejournal.com/1001831.html речь шла о том, чтобы реализовать такую проективную систему индуктивной системой фильтрованных модулей в Fk/lr+, не принадлежащих Fk+/lr, но, размышляя об этом в том сентябре, я почему-то стал дальше думать о том, как построить индуктивную систему ионедовских точных последовательностей, реализующих классы Ext2.
Однако, ионедовская последовательность, представляющая нулевой класс в Ext2, вовсе не задает однозначно никакого трехчленно фильтрованного объекта; неединственность измеряется в терминах Ext1 между теми же двумя объектами -- крайними членами искомой фильтрации. (Соответствующая ошибка на MathOverflow -- http://mathoverflow.net/questions/191639/ext-functor-for-more-than-two-modules/191641#191641 .) Согласованность на уровне ионедовских точных последовательностей не влечет поэтому согласованности на уровне трехчленных фильтраций. А к тому, как построить индуктивную систему фильтрованных модулей, у меня нет никаких подходов.
В настоящий момент со страницы на narod.ru доступны две версии: в http://positselski.narod.ru/reduction.pdf имеется неоконченный отрывок неудавшегося доказательства, а в новой версии http://positselski.narod.ru/reduction.ps предполагавшиеся основные теоремы, сформулированные в консервативной форме, называются гипотезами, и имеется некоторое обсуждение. Эту версию с двумя гипотезами в конце я теперь посылаю в Архив как новую версию препринта http://arxiv.org/abs/1404.5011 . По крайней мере, материал, обещанный еще в первой архивной версии во введении, развернут теперь в появившейся третьей секции, а что доказать, что хотелось, не удалось пока -- ну, что ж, все своим чередом, не все сразу.
