Second symmetric powers of chain complexes

Authors Anders J. Frankild, Amelia Taylor, Sean Sather-Wagstaff

Publication date 16 November 2012

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0809.0018

chain complex symmetric power symmetric square

Projective and free modules and ideals in commutative rings (13C10) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: We investigate Buchbaum and Eisenbud's construction of the second symmetric power S^2_R(X) of a chain complex X of modules over a commutative ring R. We state and prove a number of results from the folklore of the subject for which we know of no good direct references. We also provide several explicit computations and examples. We use this construction to prove the following version of a result of Avramov, Buchweitz, and Sega: Let R o S be a module-finite ring homomorphism such that R is noetherian and local, and such that 2 is a unit in R. Let X be a complex of finite rank free S-modules such that X_n = 0 for each n < 0. If cup_n Ass_R(H_n(X otimes_S X)) subseteq Ass(R) and if X_P simeq S_P for each P in Ass(R), then X simeq S.

Review text

The paper ``Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension 3 by \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Am. J. Math. 99, 447--485 (1977; Zbl 0373.13006)] launched the study of identifying differential graded algebra structures on finite free resolutions and then used this idea to describe the structure of codimension three Gorenstein ideals. The notion of the the second symmetric power of a complex plays a critical role in the Buchsbaum-Eisenbud paper; although Buchsbaum and Eisenbud implicitly assume that two is a unit in their base ring. The paper under review contains a very careful and thorough account of the second symmetric power of a complex. It carefully states and proves all of the relevant facts from folklore and provides many examples. It compares both versions of the Buchsbaum-Eisenbud construction (with two a unit and the general case) to similar constructions by \textit{A. Dold} and \textit{D. Puppe} [Ann. Inst. Fourier 11, 201--312 (1961; Zbl 0098.36005)] and \textit{A. Tchernev} and \textit{J. Weyman} [J. Algebra 271, No. 1, 22--64 (2004; Zbl 1041.13009)] and it offers a new proof of a Theorem of \textit{L. Avramov, R.-O. Buchweitz} and \textit{L. M. Şega} [J. Pure Appl. Algebra 201, No. 1--3, 218--239 (2005; Zbl 1087.13010)]: the proof involves the second symmetric power of a complex, but the statement does not.

Recommendations

Cited in

(2)

This page was built for publication: Second symmetric powers of chain complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758773)