Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product

Четвертая версия, все еще неполная -- https://arxiv.org/abs/2104.05517 . Восемь разделов написаны, девятый остается в планах.

К предыдущему

Два с половиной месяца (с 20-х чисел февраля) ушли у меня на то, чтобы написать эти 114 страниц. Это если не считать тринадцать лет или четверть века предшествовавших размышлений.

Полная версия, если все получится, составит страниц 130-140. Это текст размером с "мемуар" (брошюру). Перспективы публикации крайне туманны, конечно. Но словосочетание "полубесконечная алгебраическая геометрия" получает теперь конкретное наполнение.

Кроме того, признаться, меня тешит надежда, что этот текст может стать чем-то вроде квазиучебника или базового источника ссылок по инд-схемам и (особенно) квазикогерентным пучкам на них. Написанного на как бы до-бесконечность-категорном уровне (с эмфазисом на абелевых и точных, а не только триангулированных категориях и их утончениях).

При этом в нем прописана (в примерах) и связь концепциями полубесконечной гомологической алгебры из моей монографии 2010 года -- коалгебрами, комодулями, контрамодулями, полуалгебрами, полумодулями.