Conditions for the Yoneda algebra of a local ring to be generated in low degrees (Q326567)

Let \((R,\mathfrak{m},k)\) be a local ring. For \(n\geq 1\) let \(\nu_n:\mathfrak{m}^n\to\mathfrak{m}^{n-1}\) denote the canonical inclusion and for each \(i\geq 0\) we consider the induced maps \[ \text{Tor}^R_i(\nu_n,k):\text{Tor}^R_i(\mathfrak{m}^n,k)\to\text{Tor}^R_i(\mathfrak{m}^{n-1},k). \] We say that \(\mathfrak{m}^n\) is a small submodule of \(\mathfrak{m}^{n-1}\) if \(\text{Tor}^R_i(\nu_n,k)=0\) for all \(i\geq 0\). It is known that \(\mathfrak{m}^2\) is a small submodule of \(\mathfrak{m}\) if and only if the Yoneda algebra \(\text{Ext}_R(k,k)\) is generated in degree 1. In the paper under review the following result is shown: Let \(Q/I\) be a minimal Cohen presentation of \(R\), with \((Q,\mathfrak{n},k)\) a regular local ring and \(I\subseteq \mathfrak{n}^2\). Let \(t\) be an integer such that \(I\subseteq \mathfrak{n}^t\). Then the following statements are equivalent: {\parindent=0.6cm\begin{itemize}\item[(1)] \(\mathfrak{m}^t\) is a small submodule of \(\mathfrak{m}^{t-1}\); \item[(2)] \(\rho_t:R\to R/\mathfrak{m}^t\) is Golod; \item[(3)] \(\rho_n:R\to R/\mathfrak{m}^n\) is Golod for all \(n\) such that \(t\leq n\leq 2t-2\); \item[(4)] \(I\cap\mathfrak{n}^{t+1}\subseteq \mathfrak{n}I\) and the algebra \(\text{Ext}^*_R(k,k)\) is generated by \(\text{Ext}^1_R(k,k)\) and \(\text{Ext}^2_R(k,k)\) \end{itemize}} In addition, a complete treatment of these properties is pursued in the case of compressed Gorentein local rings.