![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicпод условным названием Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product.
Инд-схема плоско расслоена над инд-нетеровой инд-схемой с дуализирующим комплексом. Инд-схемы не инд-аффинные; морфизм расслоения квазикомпактный и полуотделимый. Построить тензорную структуру "двусторонне производного полутензорного произведения" на полупроизводной категории квазикогерентных пучков кручения на тотальном пространстве относительно базы. Вспомогательно использовать производную категорию точной категории про-плоских про-пучков. Начать со случая котензорного произведения (когда тотального пространства нет, а есть только база).
Сначала может быть лучше разобрать аффинный случай, прописав его в приложениях к контрагерентному препринту.
Инд-схема плоско расслоена над инд-нетеровой инд-схемой с дуализирующим комплексом. Инд-схемы не инд-аффинные; морфизм расслоения квазикомпактный и полуотделимый. Построить тензорную структуру "двусторонне производного полутензорного произведения" на полупроизводной категории квазикогерентных пучков кручения на тотальном пространстве относительно базы. Вспомогательно использовать производную категорию точной категории про-плоских про-пучков. Начать со случая котензорного произведения (когда тотального пространства нет, а есть только база).
Сначала может быть лучше разобрать аффинный случай, прописав его в приложениях к контрагерентному препринту.
