On the new intersection theorem for totally reflexive modules

DOI10.1007/S13348-019-00264-3MaRDI QIDQ785502zbMATH OpenOpenAlexWikidataFDO

Authors Kamran Divaani-Aazar, Fatemeh Mohammadi Aghjeh Mashhad, Ehsan Tavanfar, Massoud Tousi

Publication date 7 August 2020

Published in Collectanea Mathematica (Search for Journal in Brave)

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

big Cohen-Macaulay module complete intersection dimension deformation Gorenstein dimension quasi-deformation totally reflexive module

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Homological dimension and commutative rings (13D05) Homological conjectures (intersection theorems) in commutative ring theory (13D22)

Abstract: Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_Motimes_RM is zero. When R is a quasi-specialization of a G-regular local ring or when M has complete intersection dimension zero, we show the existence of such a big Cohen-Macaulay R-module. It is conjectured that if R admits a non-zero Cohen-Macaulay module of finite Gorenstein dimension, then it is Cohen-Macaulay. We prove this conjecture if either R is a quasi-specialization of a G-regular local ring or a quasi-Buchsbaum local ring.

Review text

Let \((R,\mathfrak{m},k)\) be a local ring. This article deals with the validity of the following two assertions. 1) Let \(0 \to G_s \to \ldots \to G_1 \to G_0 \to 0\) be a non-exact complex of totally reflexive \(R\)-modules with finite length homology. Then \(s \geq \dim(R)\). 2) Assume that there exists a non-zero Cohen-Macaulay \(R\)-module of finite Gorenstein dimension. Then \(R\) is Cohen-Macaulay. The first statement can be seen as a ``totally-reflexive version of the celebrated New Intersection Theorem [\textit{C. Peskine} and \textit{L. Szpiro}, Publ. Math., Inst. Hautes Étud. Sci. Journal Profile 42, 47--119 (1972; Zbl 0268.13008); \textit{M. Hochster}, Bull. Am. Math. Soc. Journal Profile 80, 683--686 (1974; Zbl 0289.13007); \textit{P. C. Roberts}, Multiplicities and Chern classes in local algebra. Cambridge: Cambridge University Press (1998; Zbl 0917.13007)]. The authors show that the first statement holds true provided every totally reflexive \(R\)-module \(M\) admits a big Cohen-Macaulay module \(B_M\) such that \(\mathrm{soc}(M \otimes_R B_M)=0\). They show that this happens if either \(R\) is a quasi-specialization of a G-regular ring, or when \(M\) has complete intersection dimension equal to zero. The authors observe that rings for which the first statement holds true, also satisfy the second. As a consequence, they show that the second assertion holds for rings which are a quasi-specialization of G-regular rings. In the final section of this article, the authors show that the second statment holds true also for quasi-Buchsbaum rings, i.e., for rings such that \(\mathfrak{m}H^i_{\mathfrak{m}}(R)=0\) for all \(i=0,\ldots,\dim(R)-1\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the new intersection theorem for totally reflexive modules

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