Cohen-Macaulay properties of the Koszul homology (Q1102332): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3964688 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the canonical module of the Rees algebra and the associated graded ring of an ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly Cohen-Macaulay Schemes and Residual Intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Numerical invariants of liaison classes / rank | |||
Normal rank |
Latest revision as of 17:08, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohen-Macaulay properties of the Koszul homology |
scientific article |
Statements
Cohen-Macaulay properties of the Koszul homology (English)
0 references
1986
0 references
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}))\).
0 references
maximal Cohen-Macaulay module
0 references
Koszul homology
0 references
graded canonical module
0 references
0 references