posic

под условным названием Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product.

Инд-схема плоско расслоена над инд-нетеровой инд-схемой с дуализирующим комплексом. Инд-схемы не инд-аффинные; морфизм расслоения квазикомпактный и полуотделимый. Построить тензорную структуру "двусторонне производного полутензорного произведения" на полупроизводной категории квазикогерентных пучков кручения на тотальном пространстве относительно базы. Вспомогательно использовать производную категорию точной категории про-плоских про-пучков. Начать со случая котензорного произведения (когда тотального пространства нет, а есть только база).

Сначала может быть лучше разобрать аффинный случай, прописав его в приложениях к контрагерентному препринту.