Local rings of embedding codepth 3. Examples

Theory of modules and ideals in commutative rings (13C99) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur.

Review text

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}.

Recommendations

Cites work

Cited in

(12)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Local rings of embedding codepth 3. Examples

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2015173)