Написал на четыре страницы рассуждений, как бороться с проблемой, что внешнее тензорное произведение инъективных пучков неинъективно. В контексте квазикогерентных пучков кручения на инд-схеме. То есть, оно, конечно, не инъективно, но как бы "инъективно в координатных направлениях". А неинъективно только в диагональных. Еще не закончил это объяснять (но уже почти).
На свет рождается раздел про то, что котензорное произведение -- это просто-напросто всем известное !-ограничение внешнего тензорного произведения на диагональ. 105 страниц в текущей версии статейки. Понятия не имею, на какую читательскую аудиторию может рассчитывать или надеяться этот текст.
На свет рождается раздел про то, что котензорное произведение -- это просто-напросто всем известное !-ограничение внешнего тензорного произведения на диагональ. 105 страниц в текущей версии статейки. Понятия не имею, на какую читательскую аудиторию может рассчитывать или надеяться этот текст.