posic | Ну хорошо, допустим, мне удастся доказать антилокальность

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

А вот зачем я взялся доказывать эту антилокальность, если не только для полноты изложения? Я перестал это понимать. Я думал, мне это понадобится для доказательства эквивалентности производных категорий квазикогерентных пучков модулей и контрагерентных копучков модулей над квазиалгебрами. Но теперь мне кажется, что для этой цели достаточно результатов про антилокальность пучков и копучков модулей над структурным пучком схемы, уже известных из поданной в печать рукописи про контрагерентные копучки (на самом деле, даже из старой ее версии).

Ну, может быть, еще пригодится. Посмотрим.