Local rings of embedding codepth 3. Examples (Q2015173): Difference between revisions

Let \((R,\mathfrak{m})\) be a commutative Noetherian local ring. The \textit{embedding codepth} \(c\) of \(R\), is defined as \(\mu(\mathfrak{m})-\mathrm{depth}(R)\). By Cohen structure theorem, the \(\mathfrak{m}\)-adic completion of \(R\), \(\widehat{R}=Q/I\), for some complete regular local ring \(Q\) and \(I\subset Q\), an ideal of projective dimension \(c\). For \(c\leq 3\), the induced graded algebra structure on \(\mathrm{Tor}^Q_{*}(\widehat{R},R/\mathfrak{m})\) identifies \(R\) as belonging to one of six classes due to \textit{J. Weyman} [J. Algebra 126, No. 1, 1--33 (1989; Zbl 0705.13008)] and \textit{L. L. Avramov} et al. [J. Algebra 118, No. 1, 162--204 (1988; Zbl 0648.13008)]. \vskip 1mm In the paper under review, the authors prove that for \(c=3\), the classes \(\mathbf{G}(2),\mathbf{G}(3)\) and \(\mathbf{G}(4)\) are not empty and the rings in the class \(\mathbf{G}(5)\) need not be Gorenstein. These are counterexamples to the conjecture 3.10 in [\textit{L. L. Avramov}, J. Pure Appl. Algebra 216, No. 11, 2489--2506 (2012; Zbl 1259.13010)]. The authors discover these examples by using the computer algebra package \texttt{MACAULAY 2}.