scientific article; zbMATH DE number 1340216
Let \(I\) be an ideal of a Noetherian local ring \(A\) and \(M\) a finite \(A/I\)-module. Then a free resolution \((\overline{U}_\bullet,\overline{h}_\bullet)\) of \(M\) over \(A/I\) is constructed from minimal resolutions \((Q_\bullet,e_\bullet)\) and \((P_\bullet,d_\bullet)\) of \(M\) and \(I\), respectively, over \(A\), where \(U_0 = Q_0\), \(U_1 = Q_1\), \(U_n = Q_n \oplus (\bigoplus_{i=0}^{n-2} P_{n-i-2}\otimes_AU_i)\) for \(n \geq 2\) and \(\overline{U}_i = U_i\otimes_AA/I\). It is said that \((M,I)\) is a Golod pair over \(A\) if the resolution \(\overline{U}_\bullet\) is minimal. In the following \(A\) denotes a Cohen-Macaulay local ring and \(I\) is an ideal of \(A\). For a finite \(A\)-module \(M\), \(\delta(M)\) is the Auslander's delta invariant and \(\Omega_A^i(M)\) is the \(i\)-th syzygy module of \(M\) over \(A\). The main result is as follows: Assume that \(R = A/I\) is Cohen-Macaulay, and let \(M\) be a finite \(R\)-module. If \((M,I)\) is a Golod pair, then for any \(i \geq 0\) we have \(\delta(\Omega^i_R(M)/J\Omega^i_R(M)) = 0\), where \(J\) is the ideal generated by the components of the presenting matrix \(\varphi\) of \(I\) (\(A^r @>\varphi>> A^s \to I \to 0\)). In section 2 the author states the relation between the vanishing of \(\delta\)-invariant and the monomial conjecture. Let \(R\) be a complete intersection and \(I\) an ideal such that \(\dim R/I = \dim R\). He remarks that \(\delta(R/\text{Ann}_RI) = 0\) implies the monomial conjecture for \(R/I\), and raises the following question: Under what conditions does \(\delta(R/\text{Ann}_RP) = 0\) hold for a minimal prime ideal \(P\)?
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265754)
