
arXiv: 1512.04893
Let $H$ be an $n$-generated numerical semigroup such that its tangent cone $\operatorname{gr}_\mathfrak{m} K[H]$ is defined by quadratic relations. We show that if $n<5$ then $\operatorname{gr}_\mathfrak{m} K[H]$ is Cohen-Macaulay, and for $n=5$ we explicitly describe the semigroups $H$ such that $\operatorname{gr}_\mathfrak{m} K[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 $n\leq 5$ then $\operatorname{gr}_\mathfrak{m} K[H]$ is Koszul if and only if (possibly after a change of coordinates) its defining ideal has a quadratic Gröbner basis.
numerical semigroup ring, \(h\)-vector, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Koszul, Cohen-Macaulay, Mathematics - Algebraic Geometry, Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics, Commutative semigroups, \(G\)-quadratic, FOS: Mathematics, 13A30, 13H10, 16S37, 13D40, 16S36, 13P10, Algebraic Geometry (math.AG), tangent cone
numerical semigroup ring, \(h\)-vector, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Koszul, Cohen-Macaulay, Mathematics - Algebraic Geometry, Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics, Commutative semigroups, \(G\)-quadratic, FOS: Mathematics, 13A30, 13H10, 16S37, 13D40, 16S36, 13P10, Algebraic Geometry (math.AG), tangent cone
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
