Пучок алгебр
- Пучок алгебр в кольцевом пространстве X является квазикогерентным пучком O X — модулей.
- Глобальная спецификация квазикогерентного пучка алгебр приводит к контравариантному функтору.
- Аффинные морфизмы между схемами являются квазикомпактными и разделенными.
- Базовое изменение аффинного морфизма также является аффинным.
- Существует категория C S из пар (f, M), состоящих из кольцевого пространственного морфизма и O X — модуля M.
- Формирование прямых образов определяет контравариантный функтор между C S и категорией пар, состоящих из O S — алгебры A и A-модуля M.
- Аффинная эквивалентность между подкатегорией Афф S и категорией пар (A, M) состоит из O S — алгебры А и квазикогерентной A-модуль M.
Полный текст статьи: