Еще немного терминологии

[posic]

- Контрагерентными копучками дело не ограничивается. Бывают еще производно контрагерируемые копучки.
- Что это такое?
- Это копучки, на которых определен производный функтор контрагератора.
- А которые не контрагерируемые, они что? Ты их контрагерируешь, контрагерируешь, а они не контрагерируются? Даже производно??
- Нет, еще хуже. Ты для них вычисляешь свой производный функтор контрагератора, и вроде все идет как по маслу. А потом выясняется, что результат зависит от аффинного покрытия, по которому ты его вычислял.
- Например?
- Например, если копучок не контрагерентен, но локально контрагерентен, его нельзя производно контрагерировать.
- Но можно производно локально контрагерировать, да?
- Да, так что бывают еще \W-локально производно контрагерируемые копучки.
- И когда их контрагерируешь, получаются комплексы локально контрагерентных копучков?
- Да нет, даже глобально контрагерентных. Просто надо это дело считать с помощью мелкого покрытия (подчиненного \W). Иначе неправильный ответ получится.

Comments

[66george.livejournal.com]

Леонид, а вот посоветуйте совет (или кого спросить). Есть теорема Гёльдера: архимедова группа коммутативна. Есть такой же результат для полугрупп: линейно упорядоченная архимедова полугруппа, в которой нуль является наименьшим элементом, коммутативна, если из большего элемента можно вычесть меньший как справа, так и слева. Что будет, если оставить вычитание только с одной стороны? Сохранится ли коммутативность?

[posic.livejournal.com]

Увы, я слишком далек от этой области, и о результатах, которые вы упоминаете, сейчас впервые слышу. Единственный человек, имя которого мне вспоминается в этой связи, к которому можно было бы обратиться -- это А.В. Тищенко -- http://www.math.fa.ru/staff.asp?=0#33 . Я сам с ним не знаком, о существовании его знаю от мамы, которая с ним вместе работала. Координаты его, я думаю, можно разыскать через место работы или по публикациям.