Algebra structures on some canonical resolutions (Q1122627)

Let R be a commutative noetherian local ring, F a finite free R-module of rank n and \(f: F\to R\) a homomorphism. The complex \(L^ kf\) (Schur complex) is given by \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Adv. Math. 18, 245-301 (1975; Zbl 0336.13007); cf. \textit{K. Akin}, \textit{D. A. Buchsbaum} and \textit{J. Weyman}, Adv. Math. 44, 207-278 (1982; Zbl 0497.15020)], and it is shown that if \(I=f(F)\neq R\) and \(\text{grad}e(I)=n\) then \(L^ kf\) is the minimal free resolution of \(R/I^ k.\) The purpose of the paper is to define an algebra structure on the complex \(L^ kf\). Further it is shown that if G is a free submodule of F and g is the restriction of f then \(L^ kg\) is a subalgebra of \(L^ kf\). As a corollary one can obtain that if I is an ideal generated by a regular sequence then \(R/I^ k\) has a minimal algebra resolution for \(k\geq 1\), which is an affirmative answer to a question of Avramov and Schlessinger. The author also proves that the Eagon-Northcott complex (the resolution of maximal minors) has the structure of an associative commutative differential graded algebra in the case of characteristic zero.