Abstract
Consider the ideal \((x_{1} , \dotsc , x_{n})^{d} \subseteq k[x_{1} , \dotsc , x_{n}]\), where k is any field. This ideal can be resolved by both the L-complexes of Buchsbaum and Eisenbud, and the Eliahou-Kervaire resolution. Both of these complexes admit the structure of an associative DG algebra, and it is a question of Peeva as to whether these DG structures coincide in general. In this paper, we construct an isomorphism of complexes between the aforementioned complexes that is also an isomorphism of algebras with their respective products, thus giving an affirmative answer to Peeva’s question.
Similar content being viewed by others
References
Avramov, L.L.: Infinite Free Resolutions. In: Six Lectures on Commutative Algebra, pp. 1–118. Springer (1998)
Buchsbaum, D.A., Eisenbud, D.: Generic free resolutions and a family of generically perfect ideals. Adv. Math. 18(3), 245–301 (1975)
Buchsbaum, D.A., Eisenbud, D.: Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3. Am. J. Math. 99(3), 447–485 (1977)
El Khoury, S., Kustin, A.R.: Artinian gorenstein algebras with linear resolutions. J. Algebra 420, 402–474 (2014)
Eliahou, S., Kervaire, M.: Minimal resolutions of some monomial ideals. J. Algebra 129(1), 1–25 (1990)
Kustin, A.R.: Gorenstein algebras of codimension four and characteristic two. Comm. Algebra 15(11), 2417–2429 (1987)
Kustin, A.R.: The minimal resolution of a codimension 4 almost complete intersection is a dg-algebra. J. Algebra 168, 371–399 (1994)
Kustin, A.R.: Resolutions of length four which are differential graded algebras. arXiv:1904.12405 (2019)
Kustin, A.R., Miller, M.: Algebra structures on minimal resolutions of gorenstein rings of embedding codimension four. Math. Z. 173(2), 171–184 (1980)
Peeva, I.: 0-borel fixed ideals. J. Algebra 184(3), 945–984 (1996)
Peeva, I.: Graded Syzygies, vol. 14. Springer Science & Business Media (2010)
Peeva, I., Stillman, M.: The minimal free resolution of a borel ideal. Expo. Math. 26(3), 237–247 (2008)
Sköldberg, E.: Resolutions of modules with initially linear syzygies. arXiv:1106.1913 (2011)
Sköldberg, E.: The minimal resolution of a cointerval edge ideal is multiplicative. arXiv:1609.07356 (2016)
Srinivasan, H.: Algebra structures on some canonical resolutions. J. Algebra 122(1), 150–187 (1989)
Weyman, J.: Cohomology of Vector Bundles and Syzygies, vol. 149. Cambridge University Press (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
VandeBogert, K. The DG Products of Peeva and Srinivasan Coincide. Acta Math Vietnam 47, 817–832 (2022). https://doi.org/10.1007/s40306-021-00474-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-021-00474-7