Год назад: Ходить по прямой https://posic.livejournal.com/2684294.htmlhttps://posic.livejournal.com/2701965.htmlВ этом постинге от 27 ноября 2022 года речь шла про теорему периодичности кокручения для контрагерентных копучков на квазикомпактных полуотделимых схемах. Год прошел, и теперь опубликованы уже три доказательства этой теоремы. "Прямое" доказательство, о котором речь шла год назад, теперь понято гораздо лучше и стало намного проще. Современную версию его можно найти в новой версии препринта
https://arxiv.org/abs/2212.09639 (теорема 9.2, основанная на теореме 2.4).
Другое доказательство, основанное на идее из работы Кристенсена, Эстрады и Томпсона (но исправляющее ошибку, допущенную в их работе), можно найти в том же препринте, замечание 9.3.
Ну, и наконец "косвенное" доказательство, оно же контрагерентное доказательство квазикогерентной периодичности кокручения, появилось на Архиве сегодня. См.
https://arxiv.org/abs/2311.14179 , раздел 8 (теорема 8.3).