Sapko's annihilator conjecture for Buchsbaum tangent cones

About 18 years old · traced to

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

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

0:gr⁡m(R)M=(x3kˉ)gr⁡m(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.

References

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.