posic

https://posic.dreamwidth.org/2058460.html

Так и изучение ядра теории контрагерентных копучков на схемах было в основном закончено с доказательством очень плоской гипотезы летом 2017 года. Теоремы периодичности релевантны для ненетеровых схем (или нетеровых схем бесконечной размерности Крулля), так что это уже периферия.

Собственно, это меня и тревожит. Понятие о контрагерентных копучках и само по себе далеко от современного мейнстрима и не решает его задач. А кого заинтересует периферия этого понятия и его технические аспекты, такие как разница между локально контраприспособленными контрагерентными копучками и контрагерентными копучками локально кокручения? Какое значение будут иметь эти технические аспекты когда-если, в конечном итоге, контрагерентные копучки кому-то понадобятся?

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