7:42p |
Из бесед Контрапроизводные категории контрагерентных копучков на квазикомпактных полуотделимых схемах. Это то, чем я сейчас занимаюсь.
В скобках следует отметить, что эта формулировка содержит в себе сильнейшее упрощение. Потому, что бывают контрапроизводные категории в моем (Л.П.) смысле, а бывают контрапроизводные категории в смысле Беккера. Про мои контрапроизводные категории контрагерентных копучков на квазикомпактных полуотделимых схемах я все написал еще десять-двенадцать лет назад. А сейчас я занимаюсь беккеровскими контрапроизводными категориями контрагерентных копучков на квазикомпактных полуотделимых схемах.
Зачем два вида контрапроизводных категорий? Дело в том, что неизвестно ни одного примера, когда они отличались бы одна от другой. Это открытая проблема, совпадают ли они во всех разумных случаях или могут отличаться. Но пока это остается открытой проблемой, приходится с этим жить. И получается, что у каждого из подходов есть свои преимущества и недостатки. Контрапроизводные категории в моем смысле -- это особь статья, а контрапроизводные категории в смысле Беккера -- это особь статья.
Потому, что я развиваю методы гомологической алгебры, продумываю ее основания. Это понятно? |