Abstract
We study Koszul homology over local Gorenstein rings. It is well known that if an ideal is strongly Cohen–Macaulay the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen–Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.
Similar content being viewed by others
References
Avramov, L.L., Golod, E.S.: The homology of algebra of the Koszul complex of a local Gorenstein ring. Mat. Zametki 9, 53–58 (1971)
Avramov, L.L., Herzog, J.: The Koszul algebra of a codimension 2 embedding. Math. Z. 175(3), 249–260 (1980)
Bruns, W., Herzog, J.: Cohen–Macaulay Rings, Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Chardin, M.: Regularity of ideals and their powers. Institut de Mathematiques de Jussieu, Prepublication 364 (2004)
Golod, E.S.: On duality in the homology algebra of a Koszul complex. Fundam. Prikl. Mat. 9(1), 77–81 (2003)
Hartshorne, R., Ogus, A.: On the factoriality of local rings of small embedding codimension. Commun. Algebra 1, 415–437 (1974)
Herzog, J., Simis, A., Vasconcelos, W.V.: On the arithmetic and homology of algebras of linear type. Trans. Am. Math. Soc. 283(2), 661–683 (1984)
Herzog, J., Vasconcelos, W.V., Villareal, R.: Ideals with sliding depth. Nagoya Math. J. 99, 159–172 (1985)
Herzog, J.: Komplexe Auflösungen und Dualität in der lokalen Algebra. Universität Regensburg, Habilitationsschrift (1974)
Huneke, C.: Linkage and the Koszul homology of ideals. Am. J. Math. 104(5), 1043–1062 (1982)
Huneke, C.: Strongly Cohen–Macaulay schemes and residual intersections. Trans. Am. Math. Soc. 277(2), 739–763 (1983)
Huneke, C.: The Koszul homology of an ideal. Adv. Math. 56, 295–318 (1985)
Kunz, E.: Almost complete intersections are not Gorenstein rings. J. Algebra 28, 111–115 (1974)
Simis, A., Vasconcelos, W.V.: The syzygies of the conormal module. Am. J. Math. 103(2), 203–224 (1981)
Valla, G.: On the symmetric and Rees algebras of an ideal. Manuscr. Math. 30(3), 239–255 (1980)
Acknowledgments
The authors would like to thank Craig Huneke for useful conversations regarding this paper, including comments which simplified the proof of Theorem 2.2.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was partly supported by NSF grant DMS 0901427 (J.S.), and NSF grant DMS 100334 (C.M.).
Rights and permissions
About this article
Cite this article
Miller, C., Rahmati, H. & Striuli, J. Duality for Koszul homology over Gorenstein rings. Math. Z. 276, 329–343 (2014). https://doi.org/10.1007/s00209-013-1202-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-013-1202-5