Гротендик локальная двойственность

В коммутативной алгебре локальная двойственность Гротендика — это теорема двойственности для когомологий модулей над локальными кольцами , аналогичная двойственности Серра когерентных пучков .

Заявление

Предположим, что R — локальное кольцо Коэна–Маколея размерности d с максимальным идеалом m и полем вычетов k  =  R / m . Пусть E ( k ) — модуль Матлиса , инъективная оболочка k , и пусть Ω — пополнение его дуализирующего модуля . Тогда для любого R -модуля M существует изоморфизм модулей над пополнением R :

Доп. Р я ( М , Ω ¯ ) Хом Р ( ЧАС м г я ( М ) , Э ( к ) ) {\displaystyle \operatorname {Ext} _{R}^{i}(M,{\overline {\Omega }})\cong \operatorname {Hom} _{R}(H_{m}^{di}(M),E(k))}

где H mлокальная группа когомологий .

Существует обобщение на нётеровы локальные кольца, не являющиеся кольцами Коэна–Маколея, которое заменяет дуализирующий модуль на дуализирующий комплекс .

Смотрите также

Ссылки


Retrieved from "https://en.wikipedia.org/w/index.php?title=Grothendieck_local_duality&oldid=1170050533"