English

On the stable Harbourne conjecture for ideals defining space monomial curves

Commutative Algebra 2023-01-27 v1

Abstract

For the ideal p\mathfrak{p} in k[x,y,z]k[x, y, z] defining a space monomial curve, we show that p(2n1)mpn\mathfrak{p}^{(2 n - 1)} \subseteq \mathfrak{m} \mathfrak{p}^{n} for some positive integer nn, where m\mathfrak{m} is the maximal ideal (x,y,z)(x, y, z). Moreover, the smallest such nn is determined. It turns out that there is a counterexample to a claim due to Grifo, Huneke, and Mukundan, which states that p(3)mp2\mathfrak{p}^{(3)} \subseteq \mathfrak{m} \mathfrak{p}^2 if kk is a field of characteristic not 33; however, the stable Harbourne conjecture holds for space monomial curves as they claimed.

Keywords

Cite

@article{arxiv.2203.15493,
  title  = {On the stable Harbourne conjecture for ideals defining space monomial curves},
  author = {Kosuke Fukumuro and Yuki Irie},
  journal= {arXiv preprint arXiv:2203.15493},
  year   = {2023}
}
R2 v1 2026-06-24T10:29:59.465Z