Free resolutions and Koszul homology (Q1909733): Difference between revisions

Let \(M\) be a module over a regular local ring \((R, {\mathfrak m})\). The minimal free resolution \(F\) of \(M\) has a natural \({\mathfrak m}\)-adic filtration. This paper establishes an isomorphism of the spectral sequence which is associated to the filtered complex \(F\) and the spectral sequence associated to a double complex derived from the Koszul complex of \(M\) with respect to a minimal set of generators of \({\mathfrak m}\). The result is used to explicitly describe the ``pure part'' of the resolution \(F\) in terms of Koszul cycles. In particular, if \(F\) is a pure resolution, then all of \(F\) is described in this manner. The analogous program has already been completed if \(F\) is a linear resolution [see \textit{D. Eisenbud} and \textit{S. Goto}, J. Algebra 88, 89-133 (1984; Zbl 0531.13015) or \textit{J. Herzog}, \textit{A. Simis} and \textit{W. V. Vasconcelos}, J. Algebra 82, 53-83 (1983; Zbl 0515.13018)]. The paper concludes by applying the main theorem to the Stanley-Reisner ring associated to a simplicial complex. (Of course, in this situation, Hochster has shown that Koszul homology of a Stanley-Reisner ring may be interpreted as reduced simplicial cohomology.) If the simplicial complex is one-dimensional and has no cycles (a forest), then the minimal resolution of the Stanley-Reisner ring is pure and hence is described completely in terms of Koszul cycles (or simplicial cohomology).