Computing minimal Gorenstein covers

DOI10.1016/J.JPAA.2019.106280MaRDI QIDQ2301456zbMATH OpenOpenAlexWikidataFDO

Authors J. Elias, Roser Homs, Bernard Mourrain

Publication date 24 February 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Hilbert functionsGorenstein idealsArtin rings

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15) Computational aspects and applications of commutative rings (13P99)

Abstract: We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A=k[[x1,\mathrm{...}xn]]/I$, compute an Artin Gorenstein $k$-algebra $G=k[[x1,\mathrm{...}xn]]/J$ such that $ell(G)--ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein covers. We propose new characterizations of the minimal Gorenstein cover and present a new algorithm for the effective computation of the variety of all minimal Gorenstein covers of A for low Gorenstein colength. Experimentation illustrates the practical behavior of the method.

Recommendations

• The structure of the inverse system of Gorenstein \(k\)-algebras
• A constructive approach to one-dimensional Gorenstein ${\mathbf {k}}$-algebras
• Computing Gorenstein colength
• Isomorphism classes of short Gorenstein local rings via Macaulay's inverse system
• The explicit minimal resolution constructed from a Macaulay inverse system

Cites work

• scientific article; zbMATH DE number 5356115 (Why is no real title available?)
• Computing Gorenstein colength
• Introduction to the solution of polynomial systems
• Isolated points, duality and residues
• On Teter rings
• On low Gorenstein colength
• Rings that are almost Gorenstein
• Rings which are a factor of a Gorenstein ring by its socle
• Stretched Gorenstein Rings
• Structure theorems for certain Gorenstein ideals
• The Gorenstein colength of an Artinian local ring

Cited in

(5)

• Covers of algebraic varieties IV. A Bertini theorem for scandinavian covers
• Computing Gorenstein colength
• The Gorenstein colength of an Artinian local ring
• Canonical Hilbert-Burch matrices for power series
• On low Gorenstein colength

Describes a project that uses

Uses Software

• inverse-syst.lib
• Inverse-syst
• SINGULAR

This page was built for publication: Computing minimal Gorenstein covers

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