Еще о контракогерентных пучках

[posic]

В развитие Update'а к http://posic.livejournal.com/289487.html

Получается, задача стоит так: вложить категорию когерентных пучков на нетеровой схеме в абелеву категорию, удовлетворяющую аксиомам Ab3 и Ab4*, но так, чтобы для аффинной схемы получилась категория модулей над кольцом, т.е., квазикогерентных пучков -- которая в аффинном случае, понятно, удовлетворяет Ab5 и Ab4*, но в общем случае только Ab5 и Ab3*.

Невозможно поверить, что эта задача имеет решение.

Comments

[roma.livejournal.com]

da, nevozmozhno! :) (vo vsjakom sluchae ne vnikaja)

[posic]

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