Sapko's annihilator conjecture for Buchsbaum tangent cones

Let RR be the numerical semigroup ring under consideration, let II be its defining ideal, and let II^* be the initial form ideal. Write grm(R)\operatorname{gr}_{\mathfrak m}(R) for the tangent cone, let M\mathcal M be the homogeneous maximal ideal of grn(S)\operatorname{gr}_{\mathfrak n}(S), and denote the image of fgrn(S)f\in\operatorname{gr}_{\mathfrak n}(S) in grm(R)=grn(S)/I\operatorname{gr}_{\mathfrak m}(R)=\operatorname{gr}_{\mathfrak n}(S)/I^* by fˉ\bar f.

Sapko's annihilator conjecture. If grm(R)\operatorname{gr}_{\mathfrak m}(R) is Buchsbaum, then for some k1k\geq 1,

0:grm(R)M=(x3kˉ)grm(R).0:_{\operatorname{gr}_{\mathfrak m}(R)}\mathcal M=(\bar{x_3^k})\operatorname{gr}_{\mathfrak m}(R).

This is one of Sapko's conjectures concerning tangent cones of 3-generated numerical semigroup rings when the tangent cone is Buchsbaum. Its resolution is not specified in the source.

Sources & referencesView supporting material

Primary source

Yi-Huang Shen, “Tangent Cone of Numerical Semigroup Rings of Embedding Dimension Three”, arXiv:0808.2162 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.