A characterization of cofinite complexes over complete Gorenstein domains (Q412563): Difference between revisions

Let \(R\) be a Noetherian ring and \(J\) and ideal of \(R\). An \(R\)-module is said to be \(J\)-cofinite if \(\text{Supp} N \subset V(J)\) and \(\text{Ext}^i(R/J, N)\) is finitely generated for each \(j \geq 0\). On the other hand, the definition of \(J\)-cofiniteness of complexes is quite different. That is, a complex \(N^\bullet\) of \(R\)-modules is said to be \(J\)-cofinite if there is a complex \(M^\bullet\) with finitely generated cohomologies such that \[ N^\bullet \cong \text{RHom}(M^\bullet, {R \Gamma_J}(D^\bullet)), \] where \(D^\bullet\) is a dualizing complex of \(R\). In [Math. Z. 269, No. 1-2, 587--608 (2011; Zbl 1228.13020)], the second author proved that if \(R\) is a regular local ring, it is \(J\)-adic compete and \(\dim R/J = 1\), then a bounded-below complex \(N^\bullet\) is \(J\)-cofinite if and only if all the cohomology modules of \(N^\bullet\) are \(J\)-cofinite. It is a partial answer to \textit{R. Hartshorne}'s question [Invent. Math. 9, 145--164 (1970; Zbl 0196.24301)]. In the present paper, the authors replace the assumption ``\(R\) is a regular local ring and \(J\)-adic complete'' with ``\(R\) is a Gorenstein local domain.''