Год назад: Ходить по прямой
Nov. 27th, 2023 11:30 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posichttps://posic.dreamwidth.org/2666656.html
https://posic.dreamwidth.org/2684182.html
В этом постинге от 27 ноября 2022 года речь шла про теорему периодичности кокручения для контрагерентных копучков на квазикомпактных полуотделимых схемах. Год прошел, и теперь опубликованы уже три доказательства этой теоремы. "Прямое" доказательство, о котором речь шла год назад, теперь понято гораздо лучше и стало намного проще. Современную версию его можно найти в новой версии препринта https://arxiv.org/abs/2212.09639 (теорема 9.2, основанная на теореме 2.4).
Другое доказательство, основанное на идее из работы Кристенсена, Эстрады и Томпсона (но исправляющее ошибку, допущенную в их работе), можно найти в том же препринте, замечание 9.3.
Ну, и наконец "косвенное" доказательство, оно же контрагерентное доказательство квазикогерентной периодичности кокручения, появилось на Архиве сегодня. См. https://arxiv.org/abs/2311.14179 , раздел 8 (теорема 8.3).
https://posic.dreamwidth.org/2684182.html
В этом постинге от 27 ноября 2022 года речь шла про теорему периодичности кокручения для контрагерентных копучков на квазикомпактных полуотделимых схемах. Год прошел, и теперь опубликованы уже три доказательства этой теоремы. "Прямое" доказательство, о котором речь шла год назад, теперь понято гораздо лучше и стало намного проще. Современную версию его можно найти в новой версии препринта https://arxiv.org/abs/2212.09639 (теорема 9.2, основанная на теореме 2.4).
Другое доказательство, основанное на идее из работы Кристенсена, Эстрады и Томпсона (но исправляющее ошибку, допущенную в их работе), можно найти в том же препринте, замечание 9.3.
Ну, и наконец "косвенное" доказательство, оно же контрагерентное доказательство квазикогерентной периодичности кокручения, появилось на Архиве сегодня. См. https://arxiv.org/abs/2311.14179 , раздел 8 (теорема 8.3).
