On the Cohen-Macaulay property for quadratic tangent cones

Abstract: Let

H

be an

n

-generated numerical semigroup such that its tangent cone

o p e r a t o r n a m e {g r}_{m} a t h f r a k m K [H]

is defined by quadratic relations. We show that if

n < 5

then

o p e r a t o r n a m e {g r}_{m} a t h f r a k m K [H]

is Cohen-Macaulay, and for

n = 5

we explicitly describe the semigroups

H

such that

o p e r a t o r n a m e {g r}_{m} a t h f r a k 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 l e q 5

then

o p e r a t o r n a m e {g r}_{m} a t h f r a k m K [H]

is Koszul if and only if (possibly after a change of coordinates) its defining ideal has a quadratic Gr"obner basis.

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

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

Recommendations

Cites Work

Cited In (5)

Uses Software

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