Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let A be a noetherian ring and D(A) be the derived category of modules on A. Recall that a dualizing complex for A is an object R in D(A) of finite injective dimension, with cohomology of finite type and such that the natural morphism of functors $ Id \longrightarrow R\mathcal{H}om(R\mathcal{H}om(., R), R )$ is an isomorphism of functors.

In the book "Residues and Duality" (R. Hartshorne) (V.10), it is presented as an open problem to know if a noetherian local domain of dimension 1 admits a dualizing complex.

What is the state of the art on this question ?

share|improve this question
add comment

2 Answers

up vote 7 down vote accepted

R.Y. Sharp proved in the 80s that a Noetherian ring with a dualizing complex must be "acceptable". This is a weakening of "excellent" obtained by replacing every occurence of the word "regular" with "Gorenstein", so means (1) universally catenary, (2) Gorenstein formal fibers, and (3) Gorenstein locus open in any finitely generated algebra.

There is an example due to Ferrand and Raynaud of a one-dimensional noetherian domain for which the generic formal fiber is not Gorenstein. Such a ring does not, by Sharp's result, have a dualizing complex.

share|improve this answer
    
As reference, I mention that the title of the article of Ferrand and Raynaud is "Fibres formelles d'un anneau local noetherien" (available on numdam). The fact that a local domain with a dualizing complex has Gorenstein formal fiber is in Hartshorne's book so I don't need the stronger results of Sharp. Thanks a lot for the answer. –  user25309 Oct 18 '12 at 9:37
add comment

Actually, more has been determined since Sharp's work in the 1980s. It is easy to see that a homomorphic image of a Gorenstein ring of finite Krull dimension has a dualizing complex. Sharp conjectured that this is the only way for a Noetherian ring to have a dualizing complex. In a pair of papers (2000 and 2002) in Transactions of the AMS, Takesi Kawasaki showed that Sharp's conjecture is true. That is, a Noetherian ring has a dualizing complex if and only if (1) it has finite Krull dimension and (2) it is the homomorphic image of a Gorenstein ring.

share|improve this answer
add comment

Your Answer

 
discard

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.