The Golod property of powers of the maximal ideal of a local ring (Q1645351): Difference between revisions

\textit{M. E. Rossi} and \textit{L. M. Şega} [Adv. Math. 259, 421--447 (2014; Zbl 1297.13016)] proved that all finitely generated modules over an arbitrary, but fixed, generic Artinian Gorenstein algebra have rational Poincaré series with a common denominator. They also proved that if \((R,\mathfrak m)\) is a compressed Artinian Gorenstein local ring with socle degree \(s=2\) or \(4\leq s\), then \(R/\mathfrak m^i\) is a Golod ring for \(2\leq i \leq s\). The present paper focuses on the case \(s=3\). It shows that a generic Artinian Gorenstein local ring \((R, \mathfrak m)\) with embedding dimension at least three and socle degree equals three has \(R/\mathfrak m^3\) not Golod. The main result in the paper is a list of of five conditions which are equivalent for an Artinian Gorenstein local ring of embedding dimension \(3\) and socle degree \(3\). Some of these conditions are \(R/\mathfrak m^3\) is not Golod; \(R\) is compressed and Koszul; and \(R\) is a complete intersection.