Contraherent cosheaves on schemes
Jan. 16th, 2025 07:37 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicДвадцать вторая версия, или шестнадцатая в новой серии -- https://arxiv.org/abs/1209.2995
Ошибка, внесенная при предыдущей правке доказательства леммы 6.7.2 + ошибка, обнаруженная в доказательстве основной теоремы главы 8 (о чем я писал здесь) в новой версии исправлены.
Плюс к тому добавлен контрпример к сохранению контрагерентности прямыми образами при неаффинных морфизмах. Производный функтор прямого образа контрагерентных копучков при неаффинных морфизмах, конечно, существует и обсуждается в тексте в разных вариантах, а непроизводный функтор прямого образа лишь частично определен (определен только на приспособленных объектах), как это бывает с неточными функторами между точными категориями.
Ошибка, внесенная при предыдущей правке доказательства леммы 6.7.2 + ошибка, обнаруженная в доказательстве основной теоремы главы 8 (о чем я писал здесь) в новой версии исправлены.
Плюс к тому добавлен контрпример к сохранению контрагерентности прямыми образами при неаффинных морфизмах. Производный функтор прямого образа контрагерентных копучков при неаффинных морфизмах, конечно, существует и обсуждается в тексте в разных вариантах, а непроизводный функтор прямого образа лишь частично определен (определен только на приспособленных объектах), как это бывает с неточными функторами между точными категориями.
