Talk:Grothendieck local duality