[personal profile] posic
Похоже, что кроме вялых пучков и ковялых копучков, мне нужны еще разведенные пучки. Разведенные -- не в смысле divorced, а в смысле dilute. Их придумал Мурфет много лет назад, и я читал о них в его знаменитых заметках, но почему-то у меня было внутреннее сопротивление к их использованию. Мне казалось, что у меня есть мои контраприспособленные пучки, которые совсем как разведенные, только лучше.

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

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

Ну, не самодвойственно понятие схемы (или стэка), и ничего с этим не поделаешь. Нет полной двойственность-аналогии между пучками и копучками, есть только частичная. В чем-то и копучки ведут себя проще, чем пучки. Постепенно приходится к этому привыкать.

В общем, у химиков бывают dilute solutions, а у меня, вслед за Мурфетом, похоже, будут dilute coresolutions.

Profile

Leonid Positselski

January 2026

S M T W T F S
     12 3
4 5678910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 7th, 2026 06:02 pm
Powered by Dreamwidth Studios