Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(R,m,k)$ be a (noetherian) regular local ring of depth=dimension $d$, and let $D$ be a dualizing module for $R$ (say, the injective envelope of $R/m$).

Then is $D_p$ dualizing for $R_p$ for any prime $p$ of $R$ (more generally, if $R$ is Gorenstein and $p$ is a prime such that $R_p$ is also Gorenstein)? If it is true, could I have a reference for a proof?


share|cite|improve this question
it may be time to ask your question on Math Overflow. – Pete L. Clark Mar 22 '11 at 20:31
@Pete L. Clark: I found out that this is actually true. It's an exercise in section 9.5 (9.6 maybe; the section on local duality anyhow) in Enochs Relative homological algebra, but I'm still not sure on how to prove it. – dtripleez Mar 22 '11 at 22:40
See for example, Hartshorne - Residues and duality, Chapter V, Corollary 2.3 for a proof that being a dualizing complex is a local property. – the L Apr 27 '11 at 12:59

I hope by dualizing module you mean canonical module. Please check page no 110 theorem 3.3.5 of the book Cohen Macaulay ring by Bruns and Herzog. Please do inform me if you have still difficulties.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.