Canonical modules of complexes (Q272992)

The notion of the canonical module of a module, which was defined by \textit{P. Schenzel} [Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe. Lecture Notes in Mathematics. 907. Berlin-Heidelberg-New York: Springer-Verlag. (1982; Zbl 0484.13016)], is an important tool in commutative algebra. In the paper under review, the authors generalize this concept to complexes. Let \((R, \mathfrak m)\) be a commutative Noetherian local ring admitting a dualizing complex. Let \(D_R\) denotes the dualizing complex normalized with \(\sup D_R=\dim R\) and \(\inf D_R=\mathrm{depth }R\). Let \(D(R)\) be the category of complexes of \(R\)-modules and \(M\in D_b^f(R)\) where the subscripts ``b'' and ``f'' denote the homological boundness and the homological finiteness, respectively. For every \(i\in \mathbb Z\), set \(K^i_M = H_i(M^{\dagger})\) where \(M^{\dagger}=\mathbf{R}\mathrm{Hom}_R(M, D_R)\). The module \(K^{\dim R}_M\), denoted by \(K_M\), is called the canonical module of \(M\). Let \(k\in \mathbb Z\) and \(N\in D_b^f(R)\). A complex \(M\in D_b^f(R)\) is said to satisfy the Serre's condition \((S_{k,N})\) if NEWLINE\[NEWLINE\mathrm{depth}_{R_{\mathfrak p}} \mathbf{R}\mathrm{Hom}_{R_{\mathfrak p}} (N_{\mathfrak p}, M_{\mathfrak p}) \geq \min\{ k, \dim_{R_{\mathfrak p}} M_{\mathfrak p} + \inf N_{\mathfrak p}\}\text{ for all }\mathfrak p\in \mathrm{Spec }R.NEWLINE\]NEWLINE One of the main results of the paper says that if \(t=\dim_R M\) and \(M\) is equidimensional, then the following conditions are equivalent: (i) \(M\) satisfies condition \((S_{k,N})\); (ii) The natural homomorphism \(\mathrm{Ext}^{-i}_R(N, M)\longrightarrow K^{i+t}_{N\otimes^{L}_{R}{K_M}}\) is bijective for all \(i\geq{-k+2}\), and injective for \(i=-k+1\).