Some special cases of a conjecture of Sharp (Q1089390): Difference between revisions

Let A be a commutative noetherian ring. It is well known that if A is a homomorphic image of a finite-dimensional Gorenstein ring then A has a dualizing complex. The converse is Sharp's conjecture (SC): If A has a dualizing complex then A is a homomorphic image of a finite-dimensional Gorenstein ring. \textit{R. Y. Sharp} himself proved that (SC) holds for Cohen-Macaulay rings [Sémin. Algèbre P. Dubreil, Proc., Paris 1977/78, 31ème Année, Lect. Notes Math. 740, 213-229 (1979; Zbl 0421.13003)]. The authors prove (SC) in some special cases which include the following: \((1)\quad (A,{\mathfrak m})\) is local and for every \(p\neq \dim (A)\) the local cohomology module \(H^ p_{{\mathfrak m}}(A)\) is of finite length. \((2)\quad A\quad is\) local and dim(A)\(\leq 4\). \((3)\quad A\quad is\) local of dimension \(d\geq 5\), A is \((S_{d-2})\), depth(A)\(\geq d-1\) and \(depth(K_ A)\geq 3\), where \(K_ A\) is the canonical module of A. In the process of proving \(case\quad (2)\) the authors also obtain the following interesting result: If (SC) holds for all (S\({}_ 2\)) local rings then it holds for all local rings.