Using semidualizing complexes to detect Gorenstein rings

DOI10.1007/S00013-015-0769-YMaRDI QIDQ2350499zbMATH OpenOpenAlexFDO

Authors Jonathan P. Totushek, Sean Sather-Wagstaff

Publication date 24 June 2015

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.7125

zbMATH Keywords

depthflat dimensionGorenstein ringinjective dimensionsemidualizing complexsmall support

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Homological dimension and commutative rings (13D05) Derived categories and commutative rings (13D09)

Abstract: A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions involving a semidualizing complex and improve on Foxby's result by answering a question of Takahashi and White. In particular, we prove for a semidualizing complex $C$, if there exists a complex with finite depth, finite $mathcal{F}_C$-projective dimension, and finite $mathcal{I}_C$-injective dimension over a local ring $R$, then $R$ is Gorenstein.

Review text

Let \(R\) be a commutative noetherian ring with identity. A result of \textit{H.-B. Foxby} [J. Pure Appl. Algebra 15, 149--172 (1979; Zbl 0411.13006)] (proposition 2.10) states that if there exist complex with finite depth, finite flat dimension, and finite injective dimension over a local ring \(R\), then \(R\) is Gorenstein. In the paper under review, the authors improve Foxby's result by answering a question of \textit{R. Takahashi} and \textit{D. White} [Math. Scand. 106, No. 1, 5--22 (2010; Zbl 1193.13012)]. The main result of the paper is the following: Theorem. If there exist an \(R\)-complex \(X\in \mathcal{D}_b(R)\) such that \(\mathcal{F}_C-pd_R(X)<\infty\) and \(\mathcal{I}_C-\mathrm{id}_R(X)<\infty\), then \(R_{\mathfrak{p}}\) is Gorenstein for all \(\mathfrak{p}\in \mathrm{supp}_R(X)\).

Recommendations

• A generalization of a theorem of Foxby
• A test complex for Gorensteinness
• Extensions of a dualizing complex by its ring: Commutative versions of a conjecture of Tachikawa
• Gorenstein flatness and injectivity over Gorenstein rings.
• Testing for the Gorenstein property

Cites work

• A generalization of a theorem of Foxby
• Bass numbers and semidualizing complexes
• Bounded complexes of flat modules
• Complete intersection dimensions and Foxby classes
• Gorenstein Modules and Related Modules.
• Homological aspects of semidualizing modules
• Homological dimensions of unbounded complexes
• Homological dimensions with respect to a semidualizing complex
• Homological invariants associated to semi-dualizing bimodules.
• scientific article; zbMATH DE number 2046147 (Why is no real title available?)
• scientific article; zbMATH DE number 914172 (Why is no real title available?)
• Modules of finite homological dimension with respect to a semidualizing module
• Relations between semidualizing 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
• Ring Homomorphisms and Finite Gorenstein Dimension
• Semi-dualizing complexes and their Auslander categories. -- Appendix: Chain defects
• Support and adic finiteness for complexes
• The set of semidualizing complexes is a nontrivial metric space
• Width of complexes of modules

Cited in

(5)

• Homological dimensions with respect to a semidualizing complex
• Testing for the Gorenstein property
• Adically finite chain complexes
• On the Gorenstein locus of simplicial affine semigroup rings
• On the theory and applications of G-dimension with respect to a semidualizing module

This page was built for publication: Using semidualizing complexes to detect Gorenstein rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2350499)