Computing Gorenstein colength

DOI10.1216/JCA-2009-1-3-343zbMATH Open1184.13083arXiv0810.4542OpenAlexW2063198116MaRDI QIDQ847962FDOQ847962

H. Ananthnarayan

Publication date: 19 February 2010

Published in: Journal of Commutative Algebra (Search for Journal in Brave)

Abstract: Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R=T/I$ satisfies the inequality $g(R)leqlambda(R/soc(R))$ in the following two cases: (a) $T$ is a power series ring over a field of characteristic zero and $I$ an ideal that is the power of a system of parameters or (b) $T$ is a 2-dimensional regular local ring with infinite residue field and $I$ is primary to the maximal ideal of $T$. In the first case, we compute $g(R)$ by constructing a Gorenstein Artin local ring mapping onto $R$. We further use this construction to show that an ideal that is the $n$th power of a system of parameters is directly linked to the $(n-1)$st power via Gorenstein ideals. A similar method shows that such ideals are also directly linked to themselves via Gorenstein ideals. Keywords: Gorenstein colength; Gorenstein linkage.

Full work available at URL: https://arxiv.org/abs/0810.4542

Recommendations

• Computing minimal Gorenstein covers
• Computing families of Cohen-Macaulay and Gorenstein rings
• A numerical characterization of Gorenstein complexes
• scientific article; zbMATH DE number 708902
• Computation of Gröbner bases
• Gorenstein Hilbert coefficients
• Computations in Galois cohomology
• Computing Schur complexes
• scientific article
• Computing with toric varieties

zbMATH Keywords

Gorenstein colengthGorenstein linkage

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Computational aspects and applications of commutative rings (13P99)

Cites Work

• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Gorenstein liaison, complete intersection liaison invariants and unobstructedness
• Integral closure of ideals, rings, and modules
• On Complete Intersections and Their Hilbert Functions
• Infective Envelopes and Inverse Polynomials
• On the length formula of Hoskin and Deligne and associated graded rings of two-dimensional regular local rings
• The Gorenstein colength of an Artinian local ring

Cited In (5)

• Trace ideals of canonical modules, annihilators of Ext modules, and classes of rings close to being Gorenstein
• Computing minimal Gorenstein covers
• On low Gorenstein colength
• Some inequalities concerning colengths in noetherian rings
• Trace ideals of semidualizing modules and two generalizations of nearly Gorenstein rings

This page was built for publication: Computing Gorenstein colength

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