On the Cohen-Macaulay property for quadratic tangent cones

MaRDI QIDQ311516zbMATHFDO

Authors Dumitru I. Stamate

Publication date 13 September 2016

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Cohen-Macaulaytangent cone\(h\)-vector\(G\)-quadraticKoszulnumerical semigroup ring

Mathematics Subject Classification ID

Commutative semigroups (20M14) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30)

Abstract: Let $H$ be an $n$-generated numerical semigroup such that its tangent cone $operatorname{gr}_{m}athfrakmK[H]$ is defined by quadratic relations. We show that if $n<5$ then $operatorname{gr}_{m}athfrakmK[H]$ is Cohen-Macaulay, and for $n=5$ we explicitly describe the semigroups $H$ such that $operatorname{gr}_{m}athfrakmK[H]$ is not Cohen-Macaulay. As an application we show that if the field $K$ is algebraically closed and of characteristic different from two, and $nleq5$ then $operatorname{gr}_{m}athfrakmK[H]$ is Koszul if and only if (possibly after a change of coordinates) its defining ideal has a quadratic Gr"obner basis.

Recommendations

• Quadratic numerical semigroups and the Koszul property
• The Koszul property for spaces of quadrics of codimension three
• Quadratic Gorenstein Rings and the Koszul Property II
• Defining ideals of cohen-macaulay semigroup rings
• Gröbner flags and Gorenstein algebras

Cites work

• scientific article; zbMATH DE number 592836 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• A toric ring with irrational Poincaré-Betti series
• Associated graded rings of one-dimensional analytically irreducible rings
• Cohen-macaulayness of the associated graded of a semigroup rings
• Gröbner bases for spaces of quadrics of codimension 3
• Gröbner bases for spaces of quadrics of low codimension.
• Gröbner bases in commutative algebra
• Gröbner flags and Gorenstein algebras
• Koszul algebras and regularity
• Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals.
• Koszul property for points in projective spaces
• Multiplicity andt-isomultiple ideals
• On the Hilbert function of the tangent cone of a monomial curve
• On the associated graded ring of a local Cohen-Macaulay ring
• On the equations defining tangent cones
• Poincaré series of short Artinian rings
• Quadratic numerical semigroups and the Koszul property
• Sous-monoïdes d'intersection complète de $N$
• When is a regular sequence super regular?
• When the associated graded ring of a semigroup ring is complete intersection

Cited in

(6)

• The structure of Koszul algebras defined by four quadrics
• scientific article; zbMATH DE number 4175109 (Why is no real title available?)
• Tangent cone of numerical semigroup rings of embedding dimension three
• Cohen-Macaulayness of tangent cones
• Quadratic numerical semigroups and the Koszul property
• Upper bound on the colength of the trace of the canonical module in dimension one

Describes a project that uses

Uses Software

• SINGULAR

This page was built for publication: On the Cohen-Macaulay property for quadratic tangent cones

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