On the minimal free resolution of the universal ring for resolutions of length two (Q2370131): Difference between revisions

\textit{M. Hochster} [``Topics in the homological theory of modules over commutative rings.'' Conference Board of the Mathematical Sciences. Regional Conference Series in Mathematics. No.~24 (1975; Zbl 0302.13003)] established the existence of a commutative noetherian ring \(\tilde{C}\) and a universal resolution \[ 0\to \tilde{C}^e\to\tilde{C}^f\to\tilde{C}^g\to 0. \] For \(f=e+g\), the authors describe the syzygies of \(\tilde{C}\), i.e., the minimal resolution of \(\tilde{C}\) as a module over the polynomial algebra of which \(\tilde{C}\) is a factor. The modules of the resolution are described in terms of Schur functors.