On the new intersection theorem for totally reflexive modules (Q785502)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the new intersection theorem for totally reflexive modules |
scientific article |
Statements
On the new intersection theorem for totally reflexive modules (English)
0 references
7 August 2020
0 references
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\).
0 references
big Cohen-Macaulay module
0 references
complete intersection dimension
0 references
deformation
0 references
Gorenstein dimension
0 references
quasi-deformation
0 references
totally reflexive module
0 references
0 references