Еще о контракогерентных пучках
May. 4th, 2009 09:28 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicВ развитие Update'а к http://posic.livejournal.com/289487.html
Получается, задача стоит так: вложить категорию когерентных пучков на нетеровой схеме в абелеву категорию, удовлетворяющую аксиомам Ab3 и Ab4*, но так, чтобы для аффинной схемы получилась категория модулей над кольцом, т.е., квазикогерентных пучков -- которая в аффинном случае, понятно, удовлетворяет Ab5 и Ab4*, но в общем случае только Ab5 и Ab3*.
Невозможно поверить, что эта задача имеет решение.
Получается, задача стоит так: вложить категорию когерентных пучков на нетеровой схеме в абелеву категорию, удовлетворяющую аксиомам Ab3 и Ab4*, но так, чтобы для аффинной схемы получилась категория модулей над кольцом, т.е., квазикогерентных пучков -- которая в аффинном случае, понятно, удовлетворяет Ab5 и Ab4*, но в общем случае только Ab5 и Ab3*.
Невозможно поверить, что эта задача имеет решение.
