Тоже объект
Apr. 17th, 2011 03:44 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicСхема. Над ней некоммутативная квазикогерентная алгебра. Над ней квазикогерентный пучок коколец. Над ним квазикогерентный пучок полуалгебр.
Построить для всего этого квазикогерентные пучки полубесконечных гомологий. Заменить, так сказать, коммутативное кольцо k из моей зеленой книжки на схему.
Контрамодулей там, конечно, не будет (ну т.е. я сейчас не имею понятия, какие над неаффинной схемой могли бы быть контрамодули), а комодули -- вполне. Т.е. программа-минимум -- обобщить на этот случай главы 1-2. Программа-максимум -- также и соответствующие куски аппендикса D (и F, но это легче). Но тут я уж не знаю.
Построить для всего этого квазикогерентные пучки полубесконечных гомологий. Заменить, так сказать, коммутативное кольцо k из моей зеленой книжки на схему.
Контрамодулей там, конечно, не будет (ну т.е. я сейчас не имею понятия, какие над неаффинной схемой могли бы быть контрамодули), а комодули -- вполне. Т.е. программа-минимум -- обобщить на этот случай главы 1-2. Программа-максимум -- также и соответствующие куски аппендикса D (и F, но это легче). Но тут я уж не знаю.
