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