No label defined (Q4026069)

This is a survey on the multiplicative structures on finite free resolutions of cyclic modules over local rings. Let \((R,m,k)\) be a noetherian local ring and \(I\) an ideal of \(R\) and \[ F_ \bullet:0 \to F_ g \to \cdots \to F_ 1\to F_ 0 = R \to R/I \to 0 \] be a minimal finite free resolution of \(R/I\). Then a multiplicative structure on \(F_ \bullet\) is an associative multiplication \(F_ i \times F_ j \to F_{i+j}\) satisfying \(x_ ix_ j = (-1)^{i+j} x_ j x_ i\), \(x_ i^ 2=0\) if \(i\) is odd, \(d(x_ i x_ j) = d(x_ i) x_ j + (-1)^ ix_ i d(x_ j)\) for any \(x_ i \in F_ i\), \(x_ j \in F_ j\). The article contains 15 open problems (questions and conjectures) with a summary of known results which are divided in three categories: the existence, the nonexistence (obstructions), and the classification of multiplicative structures. For the entire collection see [Zbl 0745.00042].