Тоже объект

[posic]

Схема. Над ней некоммутативная квазикогерентная алгебра. Над ней квазикогерентный пучок коколец. Над ним квазикогерентный пучок полуалгебр.

Построить для всего этого квазикогерентные пучки полубесконечных гомологий. Заменить, так сказать, коммутативное кольцо k из моей зеленой книжки на схему.

Контрамодулей там, конечно, не будет (ну т.е. я сейчас не имею понятия, какие над неаффинной схемой могли бы быть контрамодули), а комодули -- вполне. Т.е. программа-минимум -- обобщить на этот случай главы 1-2. Программа-максимум -- также и соответствующие куски аппендикса D (и F, но это легче). Но тут я уж не знаю.

Comments

[french-man.livejournal.com]

Очень много квазикогерентных этажоп.

[hippie57.livejournal.com]

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