How to assign an abelian or exact category to a geometric shape?

Аннотация:

Let us define the context of the discussion by saying that to an affine scheme we assign the abelian category of arbitrary modules over the commutative ring of functions. What categories can one then assign to a nonaffine scheme, a formal scheme, or an ind-scheme? We'd argue that there are two abelian categories to be assigned to an ind-affine ind-scheme, one abelian and one exact category to be assigned to a nonaffine scheme or stack, and one abelian and three exact categories to be assigned to a nonaffine formal scheme. Subcategories are not counted.

В принципе, если так подумать, то если устраивать в следующем учебном году такой семинар по контрамодулям и контрагерентным копучкам, то моя деятельность закончившегося учебного года -- и предшествующих лет тоже, но в частности и в особенности, 22-23 учебного года -- была к тому неплохой подготовкой. С очень плоской гипотезой мы в основном разобрались в предшествующие годы. Но говоря о произвольных плоских модулях -- одно дело только размахивать руками, заявляя что, мол, теоремы периодичности иллюстрируют, что плоские модули не так уж далеко ушли от проективных -- другое дело, когда есть серия архивных препринтов про это.

Кстати, другой вариант названия семинара: Contramodules and contraherent cosheaves in algebraic geometry.
- с аффинной схемой можно связать одну абелеву категорию
- с аффинной формальной схемой (или инд-аффинной инд-схемой) можно связать две абелевы категории
- с неаффинной схемой можно связать одну абелеву и одну точную категорию
- с неаффинной формальной схемой можно связать одну абелеву и три точные категории

Это не считая подкатегорий -- выше посчитаны только такие категории, которые не вкладываются одна в другую. (Иначе уже с аффинной схемой можно связать категорию всех модулей, инъективных, плоских, проективных и т.д.)

Более того -- все это только разновидности когерентных пучков. Ну, квазикогерентных. Ничего конструктивного, ничего D-модульного здесь не посчитано. Пучки модулей над пучком колец функций, не обладающие свойствами когерентности, не рассматриваются.

С каждой абелевой или точной категорией можно связать две-три триангулированные категории (обычную и экзотические производные категории неограниченных комплексов). Многочисленные триангулированные эквивалентности связывают между собой многочисленные триангулированные категории, которые можно породить из упомянутых абелевых и точных категорий...

Вот я думаю: by any stretch of the imagination, конструкции и свойства таких категорий могут представлять интерес для алгебраического геометра?
65 страниц. На очереди +вычитка книжной рукописи по полубесконечной алгебраической геометрии, +поездка в Штутгарт, дальше, видимо, надо будет писать +статью про некоммутативные стэки и инд-аффинные инд-схемы. Потом про +контрагерентное доказательство квазикогерентной периодичности кокручения, а потом уже +про локально когерентные точные категории. В общем, все это, видимо, растянется примерно на все лето. Нелинейность такая: пять препринтов можно написать за два с половиной месяца, но на десять препринтов уйдут, как минимум, три квартала.
В общем и в целом, последние два года (начиная с сентября 2019, и особенно с апреля 2020) отмечены возвратом к идеям московского периода. Революция 2016-18 годов постепенно выдыхается. Доля работ с соавторами снижается. Среди препринтов появляются книжные рукописи, содержание которых никак или почти никак не связано с научным общением периода эмиграции.

Все это очень естественно ввиду обстановки -- можно сказать, что я пока что неплохо использовал время, высвободившееся из-за резкого снижения интенсивности научного общения в период локдаунов. В планах остаются две книжки, замысел одной из которых восходит целиком к научному общению в Брно и Праге, а другая была в основном написана еще в Москве, но предназначается теперь к доработке с учетом нового знания, появившегося в период эмиграции.

В общем, сейчас больше идей насчет книжек, чем насчет статей. Где-то там на горизонте маячит еще идея полупопулярной книжки про парадоксы и контрпримеры в гомологической алгебре...
1. Обзор по контрамодулям -- см., в частн., http://posic.livejournal.com/1017999.html
2. Статья под условным названием "Dedualizing complexes and MGM duality" -- см. http://posic.livejournal.com/1160333.html и далее по ссылкам
3. Новая версия контрагерентного препринта -- см. http://posic.livejournal.com/1044832.html , http://posic.livejournal.com/1044622.html и http://posic.livejournal.com/1044405.html

Ранее на ту же тему -- http://posic.livejournal.com/1065136.html и далее по ссылкам; ср. http://posic.livejournal.com/1046118.html и http://posic.livejournal.com/1059896.html
Page generated Jun. 14th, 2025 06:44 pm
Powered by Dreamwidth Studios