Semi-dualizing complexes and their Auslander categories. -- Appendix: Chain defects (Q2701683)

In this paper the author studies complexes with certain excellent duality properties, and the notion of a semi-dualizing complex plays a key role in his theory. The paper consists of an introduction, eight sections and an appendix. Section one gives a summary of homological algebra for complexes. In section 2 the definition of a semi-dualizing complex is given. Let \(R\) be a commutative Noetherian ring. A bounded \(R\)-complex \(C\) with finitely generated homology modules is said to be semi-dualizing for \(R\) if the homothety homomorphism \(\chi_C^R \to \text{\textbf{R}Hom}_R(C,C)\) is an isomorphism in the derived category of \(R\). The related category with respect to \(C\) is defined and the dagger duality theorem is established. In section 3 some inequalities and equalities concerning invariants of \(C\)-reflexive complexes are given. The \(G\)-dimension with respect to \(C\) is defined and it is proven that the Auslander-Buchsbaum equality holds. In section 4 the \(C\)-Auslander class and the \(C\)-Bass class are defined, and the Foxby duality theorem is established. The author studies the behavior of semi-dualizing complexes and Auslander classes under base change in section 5, and the following theorem is given in section 6: Let \(f : R \to S\) be a finite local homomorphism of local rings and \(C\) a semi-dualizing complex for \(R\), and assume \(G\text{-dim}_C S\) is finite. Then \(D = \text{\textbf{R}Hom}_R(S,C)\) is semi-dualizing for \(S\) and the equality \(G\text{-dim}_C Z = G\text{-dim}_C S + G\text{-dim}_D Z\) holds for a bounded \(S\)-complex \(Z\) with finitely generated homology modules. In section 7 Cohen-Macaulay local rings with any finite number of semi-dualizing modules are constructed. The two main theorems of section 8 characterize \(R\) and a dualizing complex for \(R\) in terms of special properties of their associated dagger and Foxby duality functors. NEWLINENEWLINENEWLINEIn the appendix the notion of the catenary defect is defined and it is shown that catenary defects of \(R\) and \(C\) govern the difference between the two sides in the inequality NEWLINE\[NEWLINE\text{cmd} R \leq \text{amp} C + \text{cmd}_R CNEWLINE\]NEWLINE where \(R\) is a local ring and \(C\) is a semi-dualizing complex for \(R\).