Testing for the Gorenstein property

DOI10.1007/S13348-015-0163-XMaRDI QIDQ314658zbMATH OpenOpenAlexFDO

Authors Olgur Celikbas, Sean Sather-Wagstaff

Publication date 16 September 2016

Published in Collectanea Mathematica (Search for Journal in Brave)

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

G-dimension integrally closed ideals projective dimension semidualizing complexes test complexes

Integral closure of commutative rings and ideals (13B22) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Derived categories and commutative rings (13D09) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring

(R, m a t h f r a k m)

is Gorenstein if and only if it admits an integrally closed

m a t h f r a k m

-primary ideal of finite Gorenstein dimension. This is accomplished through a detailed study of certain test complexes. Along the way we construct such a test complex that detect finiteness of Gorenstein dimension, but not that of projective dimension.

Review text

Assume \((R,\mathfrak{m}, k)\) is a commutative Noetherian local ring. A celebrated theorem due to Auslander-Buchbaum and Serre says that \(R\) is regular if and only if \(k\) has finite projective dimension. In [Proc. Camb. Philos. Soc. 64, 941--948 (1968; Zbl 0172.32302)], \textit{L. Burch} extended this result by proving that \(R\) is regular if and only if \(\mathrm{pd}(R/I)\) is finite for some integrally closed \(\mathfrak{m}\)-primary ideal \(I\). On the other hand, \textit{M. Auslander} and \textit{M. Bridger} [``Stable module theory, Mem. Am. Math. Soc. 94, 146 p. (1969; Zbl 0204.36402)] introduced the G-dimension as a generalization of projective dimension. Analogous to the regular setting, the finiteness of \(\mathrm{G-dim}(k)\) characterizes the Gorensteinness of \(R\). In the paper under review the authors give a generalization of Burch's result for G-dimension. More precisely, they show that if \(I\) is an integrally closed ideal with \(\mathrm{depth}(R/I) = 0\), e.g., such that \(I\) is \(\mathfrak{m}\)-primary, then \(R\) is Gorenstein if and only if \(\mathrm{G-dim}(R/I)\) is finite.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Testing for the Gorenstein property

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