A constructive approach to one-dimensional Gorenstein {\mathbf {k}}-algebras

DOI10.1090/TRAN/8376MaRDI QIDQ4992379zbMATH OpenOpenAlexFDO

Authors J. Elias, M. E. Rossi

Publication date 8 June 2021

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Gorenstein algebras over fieldMatlis dualitypolynomial ringspower series rings

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Formal power series rings (13F25) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Multiplicity theory and related topics (13H15) Parametrization (Chow and Hilbert schemes) (14C05)

Abstract: Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I$ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided power series ring $Gamma.$ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle degree $s.$ In a recent paper, the authors extended Macaulay's correspondence characterizing the $R$-submodules of $Gamma$ in one-to-one correspondence with Gorenstein d-dimensional $k$-algebras. However, these submodules in positive dimension are not finitely generated. Our goal is to give constructive and finite procedures for the construction of Gorenstein $k$-algebras of dimension one and any codimension. This has been achieved through a deep analysis of the $G$-admissible submodules of $Gamma.$ Applications to the Gorenstein linkage of zero-dimensional schemes and to Gorenstein affine semigroup rings are discussed.

Recommendations

• A characterization of the Macaulay dual generators for quadratic complete intersections
• Gorenstein liaison for toric ideals of graphs
• Gorenstein Artin Algebras and Points in Projective Space
• scientific article; zbMATH DE number 247038
• Linkage and the generic homology of modules
• The explicit minimal resolution constructed from a Macaulay inverse system
• Glicci ideals
• A function on the set of isomorphism classes in the stable category of maximal Cohen-Macaulay modules over a Gorenstein ring: with applications to liaison theory
• Extending the idea of compressed algebra to arbitrary socle-vectors.
• Gorenstein liaison and ACM sheaves

Cites work

• A construction of codimension three arithmetically Gorenstein subschemes of projective space
• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Artinian Gorenstein algebras of embedding dimension four: components of \(\mathbb P\)Gor\((H)\) for \(H=(1,4,7,\ldots,1)\)
• Associated graded algebra of a Gorenstein Artin algebra
• Conjectures on the quotient ring by diagonal invariants
• Constructing big Gorenstein ideals from small ones
• Gorenstein in codimension 4 - the general structure theory
• Gorenstein liaison, complete intersection liaison invariants and unobstructedness
• Gröbner flags and Gorenstein algebras
• Géométrie des points épais
• Hilbert functions of filtered modules
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 889125 (Why is no real title available?)
• scientific article; zbMATH DE number 1406260 (Why is no real title available?)
• scientific article; zbMATH DE number 7374774 (Why is no real title available?)
• scientific article; zbMATH DE number 3339465 (Why is no real title available?)
• scientific article; zbMATH DE number 2217232 (Why is no real title available?)
• Infective Envelopes and Inverse Polynomials
• Inverse systems of zero-dimensional schemes in P^n
• Isomorphism classes of short Gorenstein local rings via Macaulay's inverse system
• On the analytic equivalence of curves
• On the Hilbert function of one-dimensional local complete intersections
• On the ubiquity of Gorenstein rings
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• The leading ideal of a complete intersection of height two. II.
• The structure of the inverse system of Gorenstein \(k\)-algebras
• The structure of the inverse system of level \(K\)-algebras
• The variety of polar simplices
• Twenty Points in P^3

Cited in

(8)

• Computing minimal Gorenstein covers
• Implementing the Kustin-Miller complex construction
• The structure of the inverse system of Gorenstein \(k\)-algebras
• scientific article; zbMATH DE number 3948448 (Why is no real title available?)
• How to determine a curve singularity
• Almost finitely generated inverse systems and reduced \(\mathbf{k}\)-algebras
• Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
• Inverse system of Gorenstein points in \(\mathbb{P}_{\mathbf{k} }^n\)

Describes a project that uses

Uses Software

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

This page was built for publication: A constructive approach to one-dimensional Gorenstein ${\mathbf {k}}$-algebras

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