Canonical modules of complexes
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\).
- A generalization of the dualizing complex structure and its applications
- Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
- Finiteness of cousin cohomologies
- Gorenstein dimensions
- scientific article; zbMATH DE number 1305010 (Why is no real title available?)
- scientific article; zbMATH DE number 2046147 (Why is no real title available?)
- scientific article; zbMATH DE number 2202902 (Why is no real title available?)
- On birational Macaulayfications and Cohen-Macaulay canonical modules
- On the structure of Cousin complexes
- Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
- Sequences for complexes
- Sequences for complexes II
- Syzygies and tensor product of modules
- Vanishing of local homology
- Canonical modules of certain edge subrings
- A generalization of the dualizing complex structure and its applications
- When does the canonical module of a module have finite injective dimension?
- A canonical module characterization of Serre's \((\mathrm{R}_1)\)
- scientific article; zbMATH DE number 3861292 (Why is no real title available?)
- scientific article; zbMATH DE number 589383 (Why is no real title available?)
- A STUDY OF COUSIN COMPLEXES THROUGH THE DUALIZING COMPLEXES
- scientific article; zbMATH DE number 939805 (Why is no real title available?)
- The canonical module of a Cox ring
This page was built for publication: Canonical modules of complexes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q272992)
