Grothendieck local duality

In commutative algebra, Grothendieck local duality is a duality theorem for cohomology of modules over local rings, analogous to Serre duality of coherent sheaves. == Statement == Suppose that R is a Cohen–Macaulay local ring of dimension d with maximal ideal m and residue field k = R/m.