Cohen-Macaulay properties of the Koszul homology
type: Item
instance of: scholarly article
title: Cohen-Macaulay properties of the Koszul homology
zbMATH Open document ID: 0644.13005
DOI: 10.1007/BF01186650
author: Herbert Sanders
published in: Manuscripta Mathematica
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/155143
review text: The Koszul homology \(H_\bullet(\underline y,N)\) which is constructed with respect to a sequence \(\underline y\) and a maximal Cohen-Macaulay (CM) module \(N\) over a local CM ring \(A\) admitting a canonical module \(\omega_ A\) will be compared with the Koszul homology \(H_\bullet(\underline y,\Hom_ A(N,\omega_ A))\). If \(R:=A/I\) with \(I=(\underline y)\) is a CM ring, then the canonical \(module\quad \omega_ R\) of R exists and we will mainly show the existence of a natural isomorphism \(H_{\bullet}(\underline y,\Hom_ A(N,\omega_ A))\simeq\Hom_ R(H_{\bullet}(\underline y,N),\omega_ R)\), if \(H_{\bullet}(\underline y,N)\) is a maximal CM module over R. This generalizes a result of \textit{J. Herzog} in his Habilitationsschrift, ``Komplexe, Auflösungen und Dualität in der lokalen Algebra'' (Univ. Regenburg 1974). - Using this isomorphism we are able to compute the graded canonical module of the graded ring \(gr_ I(A)\) in a certain case. In the last part of this paper we define a polynomial \(U^N(\underline y,\underline x)\) associated with the Koszul homology \(H_{\bullet}(\underline y,N)\) similar to the one defined by \textit{C. Huneke} in Commutative algebra: Analytical methods, Conf. Fairfax/Va. 1979, Lect. Notes Pure Appl. Math. 68, 173-199 (1982; Zbl 0499.13008). Huneke proved that \(H_ j(\underline y,N)\) is CM, if \(j<\text{mindeg} (U^N(\underline{y},\underline{x}))\). We will proceed to show that\(H_ j(\underline y,N)\) is CM, if \(j>\text{deg}(U^N(\underline{y},\underline{x}))\).
Mathematics Subject Classification ID: 13D03
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 4049757
zbMATH Keywords: maximal Cohen-Macaulay module
zbMATH Keywords: Koszul homology
zbMATH Keywords: graded canonical module
MaRDI profile type: Publication
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
cites work: Q3964688
cites work: On the canonical module of the Rees algebra and the associated graded ring of an ideal
cites work: Strongly Cohen-Macaulay Schemes and Residual Intersections
cites work: Numerical invariants of liaison classes
description: scientific article; zbMATH DE number 4049757