The non-existence of a minimal algebra resolution despite the vanishing of Avramov obstructions (Q1184180)

Let \(R\) be a commutative noetherian local ring with maximal ideal \(m\) and residue field \(k\). Every cyclic \(R\)-module \(R/I\) has a free resolution with an algebra structure, namely the Tate resolution. However the minimal free resolution of \(R/I\) need not have an algebra structure, as shown by \textit{L. L. Avramov} [Am. J. Math. 103, 1-31 (1981; Zbl 0447.13006)]. In the present paper the author constructs an example of a ring \(R\) and cyclic \(R\)-module \(R/I\) for which all of Avramov's obstructions to the existence of an algebra structure on the minimal free resolution vanish, but still there is no algebra structure on the minimal free resolution. The example is constructed as follows: \(R\) is the formal power series ring \(k[[x_{ij},1\leq i<j\leq 6]]\), \(k\) a field of characteristic not 2. Let \(X=(x_{ij})\) be a generic \(6\times 6\) alternating matrix. The ideal \(I\) is generated by the Pfaffians of \(4\times 4\) alternating submatrices of \(X\) (obtained by taking any four rows, and the corresponding columns). The minimal resolution of \(R/I\) has been worked out by \textit{T. Józefiak} and \textit{P. Pragacz} [J. Algebra 61, 189-198 (1979; Zbl 0432.14030)]. If this minimal resolution is assumed to have an algebra structure, then an algebraic relation amongst the \(x_{ij}\) is obtained, which is a contradiction.