Пучок модулей (Hrckt bk;rlyw)
Перейти к навигации
Перейти к поиску
.
В математике, пучок модулей — это пучок над окольцованным пространством , обладающий структурой модуля над структурным пучком .
Определение
[править | править код]Для окольцованного пространства , пучок -модулей (или просто -модуль) — это пучок над , такой что является -модулем для каждого открытого множества , и для каждого открытого множества , содержащегося в , отображение ограничения согласовано со структурой модулей: для каждых имеем
Морфизмом -модулей называется морфизм пучков, такой, что для любого открытого множества отображение является морфизмом -модулей.
Примеры
[править | править код]- Структурный пучок является -модулем. Пучок -модулей, являющийся подпучком пучка , называется пучком идеалов на .
- Если — морфизм -модулей, то ядро, образ и коядро являются -модулями.
- Любые прямые суммы, прямые произведения, прямые и обратные пределы -модулей являются -модулями. Пучок -модулей называется свободным, если он изоморфен прямой сумме нескольких копий . Пучок -модулей называется локально свободным (ранга ) если у каждой точки существует открытая окрестность, на которой свободен (изоморфен прямой сумме копий пучка ). Локально свободный пучок ранга 1 называется также обратимым пучком.
- Если — пучки -модулей, можно определить пучок морфизмов из в следующим образом:
Двойственный -модуль к --модулю — это модуль морфизмов из в . - Пучок, ассоциированный с предпучком обозначается . Его слой в точке канонически изоморфен . Аналогично определяется симметрическое и внешнее произведение.
Литература
[править | править код]- Хартсхорн Р. Алгебраическая геометрия / пер. с англ. В. А. Исковских. — М.: Мир, 1981.
- Grothendieck, Alexandre; Dieudonné, Jean. «Éléments de géométrie algébrique: I. Le langage des schémas». Publications Mathématiques de l’IHÉS. 4, 1960.