Koszul cycles and Golod rings
- 37 Downloads
Let S be the power series ring or the polynomial ring over a field K in the variables \(x_1,\ldots ,x_n\), and let \(R=S/I\), where I is proper ideal which we assume to be graded if S is the polynomial ring. We give an explicit description of the cycles of the Koszul complex whose homology classes generate the Koszul homology of \(R=S/I\) with respect to \(x_1,\ldots ,x_n\). The description is given in terms of the data of the free S-resolution of R. The result is used to determine classes of Golod ideals, among them proper ordinary powers and proper symbolic powers of monomial ideals. Our theory is also applied to stretched local rings.
Mathematics Subject Classification13A02 13D40
Unable to display preview. Download preview PDF.
The second author was jointly supported by the Iran National Science Foundation (INSF) and Alzahra University grant No. 95001343. This research was also in part supported by a grant from IPM (No. 95130111).
- 4.Croll, A., Dellaca, R., Gupta, A., Hoffmeier, J., Mukundan, V., Tracy, Denise R., Sega, Liana M., Sosa, G., Thompson, P.: Detecting Koszulness and related homological properties from the algebra structure of Koszul homology. arXiv:1611.04001 [math.AC]
- 6.Fröberg, R.: Koszul algebras. In: Dobbs, D.E., Fontana, M., Kabbaij, S.-E. (eds.) Advanced in Commutative Ring Theory (Fez 1997) 337–350, Lecture Notes in Pure and Application Mathematics (1999)Google Scholar
- 9.Maleki, R.A.: Golod property of powers of ideals and of ideals with linear resolutions. arXiv:1510.04435 [math.AC]
- 11.Serre, J.P.: Algèbre locale. Multiplicités, Lecture Notes Mathematics, vol. 11. Springer, Berlin (1965)Google Scholar