posic ([personal profile] posic) wrote2024-06-11 11:47 am
Entry tags:

Dilute coresolutions

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

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

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

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

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

Post a comment in response:

(will be screened)
(will be screened if not on Access List)
(will be screened if not on Access List)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org